| Publication | Date of Publication | Type |
|---|
| Completeness of the first-order logic of partial quasiary predicates with the complement composition | 2020-11-02 | Paper |
| On an algorithmic algebra over simple-named complex-valued nominative data | 2019-07-10 | Paper |
| On algebras of algorithms and specifications over uninterpreted 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 |
| Implementation of the composition-nominative approach to program formalization in Mizar | 2018-07-03 | 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 |
| Simple-named complex-valued nominative data -- definition and basic operations | 2018-01-11 | Paper |
| Properties of quasiary specification algebras | 2017-11-21 | Paper |
| Algebras and logics of partial quasiary predicates | 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 |
| Composition of preimage condition construction in monotone Floyd-Hoare logics | 2015-06-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2933402 | 2014-12-10 | Paper |
| \(V\)-singular semantic models of first-order logics | 2014-12-10 | Paper |
| Satisfiability in composition-nominative logics | 2014-04-14 | Paper |
| Logics of partial predicates with extended renominations and quantifiers | 2014-02-17 | Paper |
| Composition-nominative logics of quasi-ary predicates: semantic aspects | 2013-09-26 | Paper |
| Algebras of multivalued tolerant-stable predicates | 2013-09-26 | Paper |
| Sequent calculi construction for pure first-order composition-nominative logics of single-valued partial predicates | 2013-09-26 | Paper |
| Semantic properties of monotone Floyd-Hoare logics | 2013-09-26 | Paper |
| Two-valued and many-valued composition-nominative logics | 2013-01-08 | Paper |
| First-order composition-nominative logics | 2012-07-16 | Paper |
| Construction of modal logics of temporal and epistemic type on the basis of the composition-nominative approach | 2012-07-16 | Paper |
| Composition-nominative aspects of address programming | 2010-01-22 | Paper |
| Algebra of multivalued equiton predicates | 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 |
| Composition nominative first order logics | 2001-10-09 | Paper |
| Investigation of properties of pure neoclassical calculi | 2001-10-09 | Paper |
| Composition nominative first order calculi | 2001-10-09 | Paper |
| Pure composition nominative calculi | 2001-09-11 | Paper |
