Lattice of Substitutions. - Adam Grabowski (Reports Math. Log., 1999)

Managing Heterogeneous Theories within a Mathematical Knowledge Repository. - Adam Grabowski; Markus Moschner (MKM, 2004)

Rough Concept Analysis - Theory Development in the Mizar System. - Adam Grabowski; Christoph Schwarzweller (MKM, 2004)

On the Computer-Assisted Reasoning about Rough Sets. - Adam Grabowski (MSRAS, 2004)

Solving Two Problems in General Topology Via Types. - Adam Grabowski (TYPES, 2004)

Translating Mathematical Vernacular into Knowledge Repositories. - Adam Grabowski; Christoph Schwarzweller (MKM, 2005)

Revisions as an Essential Tool to Maintain Mathematical Repositories. - Adam Grabowski; Christoph Schwarzweller (Calculemus/MKM, 2007)

Rough Set Theory from a Math-Assistant Perspective. - Adam Grabowski; Magdalena Jastrzebska (RSEISP, 2007)

Orthomodular Lattices. - Elzbieta Madra; Adam Grabowski (Formaliz. Math., 2008)

On the Lattice of Intervals and Rough Sets. - Adam Grabowski; Magdalena Jastrzebska (Formaliz. Math., 2009)

On Duplication in Mathematical Repositories. - Adam Grabowski; Christoph Schwarzweller (AISC/MKM/Calculemus, 2010)

A Note on a Formal Approach to Rough Operators. - Adam Grabowski; Magdalena Jastrzebska (RSCTC, 2010)

Mizar in a Nutshell. - Adam Grabowski; Artur Kornilowicz; Adam Naumowicz (J. Formaliz. Reason., 2010)

Computer-Driven Searching for Axiomatization of Rough Sets. - Adam Grabowski (CS&P, 2012)

Towards Automatically Categorizing Mathematical Knowledge. - Adam Grabowski; Christoph Schwarzweller (FedCSIS, 2012)

On the computer certification of fuzzy numbers. - Adam Grabowski (FedCSIS, 2013)

Relational Formal Characterization of Rough Sets. - Adam Grabowski (Formaliz. Math., 2013)

Polygonal Numbers. - Adam Grabowski (Formaliz. Math., 2013)

On Square-Free Numbers. - Adam Grabowski (Formaliz. Math., 2013)

Prime Filters and Ideals in Distributive Lattices. - Adam Grabowski (Formaliz. Math., 2013)

Introduction to Formal Preference Spaces. - Eliza Niewiadomska; Adam Grabowski (Formaliz. Math., 2013)

Automated Discovery of Properties of Rough Sets. - Adam Grabowski (Fundam. Informaticae, 2013)

Topological Interpretation of Rough Sets. - Adam Grabowski (Formaliz. Math., 2014)

Cauchy Mean Theorem. - Adam Grabowski (Formaliz. Math., 2014)

Formalization of Generalized Almost Distributive Lattices. - Adam Grabowski (Formaliz. Math., 2014)

The Formal Construction of Fuzzy Numbers. - Adam Grabowski (Formaliz. Math., 2014)

Preface. - Adam Grabowski; Yasunari Shidama (Formaliz. Math., 2014)

Definition of Flat Poset and Existence Theorems for Recursive Call. - Kazuhisa Ishida; Yasunari Shidama; Adam Grabowski (Formaliz. Math., 2014)

Tarski Geometry Axioms. - William Richter; Adam Grabowski; Jesse Alama (Formaliz. Math., 2014)

Efficient Rough Set Theory Merging. - Adam Grabowski (Fundam. Informaticae, 2014)

Lattice Theory for Rough Sets - An Experiment in Mizar. - Adam Grabowski (CS&P, 2015)

Equality in computer proof-assistants. - Adam Grabowski; Artur Kornilowicz; Christoph Schwarzweller (FedCSIS, 2015)

Initial Comparison of Formal Approaches to Fuzzy and Rough Sets. - Adam Grabowski; Takashi Mitsuishi (ICAISC (1), 2015)

Mizar: State-of-the-art and Beyond. - Grzegorz Bancerek; Czeslaw Bylinski; Adam Grabowski; Artur Kornilowicz; Roman Matuszewski; Adam Naumowicz; Karol Pak; Josef Urban (CICM, 2015)

Formalizing Lattice-Theoretical Aspects of Rough and Fuzzy Sets. - Adam Grabowski; Takashi Mitsuishi (RSKT, 2015)

Two Axiomatizations of Nelson Algebras. - Adam Grabowski (Formaliz. Math., 2015)

Stone Lattices. - Adam Grabowski (Formaliz. Math., 2015)

Mechanizing Complemented Lattices Within Mizar Type System. - Adam Grabowski (J. Autom. Reason., 2015)

Four Decades of Mizar - Foreword. - Adam Grabowski; Artur Kornilowicz; Adam Naumowicz (J. Autom. Reason., 2015)

Tarski's Geometry and the Euclidean Plane in Mizar. - Adam Grabowski; Roland Coghetto (FM4M/MathUI/ThEdu/DP/WIP@CIKM, 2016)

Tarski's geometry modelled in Mizar computerized proof assistant. - Adam Grabowski (FedCSIS, 2016)

On algebraic hierarchies in mathematical repository of Mizar. - Adam Grabowski; Artur Kornilowicz; Christoph Schwarzweller (FedCSIS, 2016)

Tarski Geometry Axioms - Part II. - Roland Coghetto; Adam Grabowski (Formaliz. Math., 2016)

Binary Relations-based Rough Sets - an Automated Approach. - Adam Grabowski (Formaliz. Math., 2016)

Lattice Theory for Rough Sets - A Case Study with Mizar. - Adam Grabowski (Fundam. Informaticae, 2016)

Extending Formal Fuzzy Sets with Triangular Norms and Conorms. - Adam Grabowski; Takashi Mitsuishi (EUSFLAT/IWIFSGN (2), 2017)

Topological structures as a tool for formal modelling of rough sets. - Adam Grabowski; Roland Coghetto (FedCSIS (Position Papers), 2017)

Expressing the Notion of a Mathematical Structure in the Formal Language of Mizar. - Adam Grabowski (ICMMI, 2017)

Computer Certification of Generalized Rough Sets Based on Relations. - Adam Grabowski (IJCRS (1), 2017)

Tarski Geometry Axioms. Part III. - Roland Coghetto; Adam Grabowski (Formaliz. Math., 2017)

Basic Formal Properties of Triangular Norms and Conorms. - Adam Grabowski (Formaliz. Math., 2017)

Formal Introduction to Fuzzy Implications. - Adam Grabowski (Formaliz. Math., 2017)

Introduction to Liouville Numbers. - Adam Grabowski; Artur Kornilowicz (Formaliz. Math., 2017)

All Liouville Numbers are Transcendental. - Artur Kornilowicz; Adam Naumowicz; Adam Grabowski (Formaliz. Math., 2017)

Sequences of Prime Reciprocals. Preliminaries. - Adam Grabowski (Formaliz. Math., 2018)

Fundamental Properties of Fuzzy Implications. - Adam Grabowski (Formaliz. Math., 2018)

Formalizing Two Generalized Approximation Operators. - Adam Grabowski; Michal Sielwiesiuk (Formaliz. Math., 2018)

On Two Alternative Axiomatizations of Lattices by McKenzie and Sholander. - Adam Grabowski; Damian Sawicki (Formaliz. Math., 2018)

The Role of the Mizar Mathematical Library for Interactive Proof Development in Mizar. - Grzegorz Bancerek; Czeslaw Bylinski; Adam Grabowski; Artur Kornilowicz; Roman Matuszewski; Adam Naumowicz; Karol Pak (J. Autom. Reason., 2018)

RIFs as the Formal Tool of Measuring Similarity between Sets (short paper). - Adam Grabowski (CS&P, 2019)

Constructing Examples of Fuzzy Implications within the Mizar Mathematical Library. - Adam Grabowski (CICM Workshops, 2019)

Building a Framework of Rough Inclusion Functions by Means of Computerized Proof Assistant. - Adam Grabowski (IJCRS, 2019)

Tarski Geometry Axioms. Part IV - Right Angle. - Roland Coghetto; Adam Grabowski (Formaliz. Math., 2019)

Formal Development of Rough Inclusion Functions. - Adam Grabowski (Formaliz. Math., 2019)

Developing Complementary Rough Inclusion Functions. - Adam Grabowski (Formaliz. Math., 2020)

On Fuzzy Negations Generated by Fuzzy Implications. - Adam Grabowski (Formaliz. Math., 2020)

Formalization of Quasilattices. - Dominik Kulesza; Adam Grabowski (Formaliz. Math., 2020)

Fuzzy Implications in the Mizar System. - Adam Grabowski (FUZZ-IEEE, 2021)

Automatization of Ternary Boolean Algebras. - Wojciech Kusmierowski; Adam Grabowski (Formaliz. Math., 2021)

On Weakly Associative Lattices and Near Lattices. - Damian Sawicki; Adam Grabowski (Formaliz. Math., 2021)

Automated Comparative Study of Some Generalized Rough Approximations. - Adam Grabowski (Fundam. Informaticae, 2021)

Elementary Number Theory Problems. Part VI. - Adam Grabowski (Formaliz. Math., 2022)

Computer-Supported Encoding of Fuzzy Negations and Laws of Contraposition. - Adam Grabowski (FUZZ, 2023)

Implementing More Explicit Definitional Expansions in Mizar (Short Paper). - Adam Grabowski; Artur Kornilowicz (ITP, 2023)

FastSample: Accelerating Distributed Graph Neural Network Training for Billion-Scale Graphs. - Hesham Mostafa; Adam Grabowski; Md Asadullah Turja; Juan Cerviño; Alejandro Ribeiro; Nageen Himayat (CoRR, 2023)

Tarski Geometry Axioms. Part V - Half-planes and Planes. - Roland Coghetto; Adam Grabowski (Formaliz. Math., 2023)

On Fuzzy Negations and Laws of Contraposition. Lattice of Fuzzy Negations. - Adam Grabowski (Formaliz. Math., 2023)

Elementary Number Theory Problems. Part XII - Primes in Arithmetic Progression. - Adam Grabowski (Formaliz. Math., 2023)

Formalization of Trellises and Tolerance Relations. - Adam Grabowski; Franciszek Turowski (Formaliz. Math., 2024)