| Publication | Date of Publication | Type |
|---|
| Completeness of the first-order logic of partial quasiary predicates with the complement composition | 2020-11-02 | Paper |
| On algebras of algorithms and specifications over uninterpreted data | 2019-07-10 | Paper |
| On an algorithmic algebra over simple-named complex-valued nominative data | 2019-07-10 | Paper |
| An inference system of an extension of Floyd-Hoare logic for partial predicates | 2019-07-10 | Paper |
| Partial correctness of GCD algorithm | 2019-07-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4557967 | 2018-11-27 | Paper |
| Kleene algebra of partial predicates | 2018-10-17 | Paper |
| Composition-nominative logics as institutions | 2018-08-06 | Paper |
| Semantic properties of \(T\)-consequence relation in logics of quasiary predicates | 2018-07-03 | Paper |
| Set-theoretic analysis of nominative data | 2018-07-03 | Paper |
| Proving properties of programs on hierarchical nominative data | 2018-07-03 | Paper |
| Nominative data with ordered set of names | 2018-07-03 | Paper |
| Implementation of the composition-nominative approach to program formalization in Mizar | 2018-07-03 | Paper |
| Simple-named complex-valued nominative data -- definition and basic operations | 2018-01-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4593227 | 2017-11-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5365463 | 2017-10-06 | Paper |
| Event-based proof of the mutual exclusion property of Peterson's algorithm | 2016-04-20 | Paper |
| Basics of intensionalized data: presets, sets, and nominats | 2015-08-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5254639 | 2015-06-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2933402 | 2014-12-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2933445 | 2014-12-10 | Paper |
| Satisfiability in composition-nominative logics | 2014-04-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5746017 | 2014-02-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2850235 | 2013-09-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2850296 | 2013-09-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2850352 | 2013-09-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2850426 | 2013-09-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4899541 | 2013-01-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2897444 | 2012-07-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2897499 | 2012-07-16 | Paper |
| Composition-nominative aspects of address programming | 2010-01-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5467804 | 2006-05-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4675424 | 2005-05-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4418112 | 2003-08-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4798419 | 2003-03-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4782555 | 2002-12-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2745129 | 2001-10-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2745130 | 2001-10-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2745194 | 2001-10-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2737108 | 2001-09-11 | Paper |
