Mizar: State-of-the-art and Beyond G Bancerek, C Byliński, A Grabowski, A Korniłowicz, R Matuszewski, ... Intelligent Computer Mathematics, 261-279, 2015 | 268 | 2015 |

Mizar in a Nutshell A Grabowski, A Kornilowicz, A Naumowicz Journal of Formalized Reasoning 3 (2), 153-245, 2010 | 220 | 2010 |

The Role of the Mizar Mathematical Library for Interactive Proof Development in Mizar G Bancerek, C Byliński, A Grabowski, A Korniłowicz, R Matuszewski, ... Journal of Automated Reasoning, 1-24, 2018 | 203 | 2018 |

Four Decades of Mizar A Grabowski, A Korniłowicz, A Naumowicz Journal of Automated Reasoning 55 (3), 191-198, 2015 | 131 | 2015 |

Boolean posets, posets under inclusion and products of relational structures A Grabowski, R Milewski Formalized Mathematics 6 (1), 117-121, 1997 | 62 | 1997 |

On the category of posets A Grabowski Formalized Mathematics 5 (4), 501-505, 1996 | 38 | 1996 |

On algebraic hierarchies in mathematical repository of Mizar A Grabowski, A Korniłowicz, C Schwarzweller 2016 Federated Conference on Computer Science and Information Systems …, 2016 | 37 | 2016 |

Mechanizing Complemented Lattices Within Mizar Type System A Grabowski Journal of Automated Reasoning 55 (3), 211-221, 2015 | 35 | 2015 |

Efficient Rough Set Theory Merging A Grabowski Proceedings of CS&P 2013, http://ceur-ws.org/Vol-10, 2013 | 30 | 2013 |

Revisions as an essential tool to maintain mathematical repositories A Grabowski, C Schwarzweller Towards Mechanized Mathematical Assistants: 14th Symposium, Calculemus 2007 …, 2007 | 30 | 2007 |

Basic properties of rough sets and rough membership function A Grabowski Formalized Mathematics 12 (1), 21-28, 2004 | 30 | 2004 |

Automated discovery of properties of rough sets A Grabowski Fundamenta Informaticae 128 (1-2), 65-79, 2013 | 27 | 2013 |

On duplication in mathematical repositories A Grabowski, C Schwarzweller Intelligent Computer Mathematics, 300-314, 2010 | 27 | 2010 |

Robbins algebras vs. Boolean algebras A Grabowski Formalized Mathematics 9 (4), 681-690, 2001 | 24 | 2001 |

Equality in Computer Proof-Assistants A Grabowski, A Kornilowicz, C Schwarzweller | 23 | 2015 |

Introduction to the homotopy theory A Grabowski Formalized Mathematics 6 (4), 449-454, 1997 | 22 | 1997 |

Translating mathematical vernacular into knowledge repositories A Grabowski, C Schwarzweller Mathematical Knowledge Management, 49-64, 2006 | 21 | 2006 |

On the computer-assisted reasoning about rough sets A Grabowski Monitoring, security, and rescue techniques in multiagent systems, 215-226, 2005 | 21 | 2005 |

Lattice Theory for Rough Sets–A Case Study with Mizar A Grabowski Fundamenta Informaticae 147 (2-3), 223-240, 2016 | 20 | 2016 |

On the computer certification of fuzzy numbers A Grabowski 2013 Federated Conference on Computer Science and Information Systems, 51-54, 2013 | 18 | 2013 |