Artur Kornilowicz
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
13
Venues
7
Active years
2002–2023
Best venue rank
C
Where they publish
Papers
13 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | ITP | Implementing More Explicit Definitional Expansions in Mizar (Short Paper). | Adam Grabowski, Artur Kornilowicz |
| 2021 | ITP | Syntactic-Semantic Form of Mizar Articles. | Czeslaw Bylinski, Artur Kornilowicz, Adam Naumowicz |
| 2017 | FedCSIS | Formalization of the Algebra of Nominative Data in Mizar. | Artur Kornilowicz, Andrii Kryvolap, Mykola S. Nikitchenko, Ievgen Ivanov |
| 2017 | FedCSIS | Introducing Euclidean Relations to Mizar. | Adam Naumowicz, Artur Kornilowicz |
| 2017 | ICTERI | An Approach To Formalization of an Extension of Floyd-Hoare Logic. | Artur Kornilowicz, Andrii Kryvolap, Mykola S. Nikitchenko, Ievgen Ivanov |
| 2017 | ICTERI | Extended Floyd-Hoare Logic over Relational Nominative Data. | Mykola Nikitchenko, Ievgen Ivanov, Artur Kornilowicz, Andrii Kryvolap |
| 2016 | CIKM | Registrations vs Redefinitions in Mizar. | Artur Kornilowicz |
| 2016 | FedCSIS | On algebraic hierarchies in mathematical repository of Mizar. | Adam Grabowski, Artur Kornilowicz, Christoph Schwarzweller |
| 2015 | FedCSIS | Equality in computer proof-assistants. | Adam Grabowski, Artur Kornilowicz, Christoph Schwarzweller |
| 2012 | AISC | Tentative Experiments with Ellipsis in Mizar. | Artur Kornilowicz |
| 2002 | AISC | Integrating Boolean and Mathematical Solving: Foundations, Basic Algorithms, and Requirements. | Gilles Audemard, Piergiorgio Bertoli, Alessandro Cimatti, Artur Kornilowicz, Roberto Sebastiani |
| 2002 | CADE | A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical Propositions. | Gilles Audemard, Piergiorgio Bertoli, Alessandro Cimatti, Artur Kornilowicz, Roberto Sebastiani |
| 2002 | FORTE | Bounded Model Checking for Timed Systems. | Gilles Audemard, Alessandro Cimatti, Artur Kornilowicz, Roberto Sebastiani |