Skip to content
cs-conference-ranking.org

Adam Grabowski

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

11

Venues

6

Active years

2010–2023

Best venue rank

C

Where they publish

Papers

11 indexed papers, newest first.

YearVenueTitleAuthors
2023ITPImplementing More Explicit Definitional Expansions in Mizar (Short Paper).Adam Grabowski, Artur Kornilowicz
2017EUSFLATExtending Formal Fuzzy Sets with Triangular Norms and Conorms.Adam Grabowski, Takashi Mitsuishi
2017FedCSISTopological structures as a tool for formal modelling of rough sets.Adam Grabowski, Roland Coghetto
2016CIKMTarski's Geometry and the Euclidean Plane in Mizar.Adam Grabowski, Roland Coghetto
2016FedCSISTarski's geometry modelled in Mizar computerized proof assistant.Adam Grabowski
2016FedCSISOn algebraic hierarchies in mathematical repository of Mizar.Adam Grabowski, Artur Kornilowicz, Christoph Schwarzweller
2015FedCSISEquality in computer proof-assistants.Adam Grabowski, Artur Kornilowicz, Christoph Schwarzweller
2015ICAISCInitial Comparison of Formal Approaches to Fuzzy and Rough Sets.Adam Grabowski, Takashi Mitsuishi
2013FedCSISOn the computer certification of fuzzy numbers.Adam Grabowski
2012FedCSISTowards Automatically Categorizing Mathematical Knowledge.Adam Grabowski, Christoph Schwarzweller
2010AISCOn Duplication in Mathematical Repositories.Adam Grabowski, Christoph Schwarzweller