| Publication | Date of Publication | Type |
|---|
| Abstract interpretation, Hoare logic, and incorrectness logic for quantum programs | 2023-09-27 | Paper |
| On quotients of formal power series | 2022-06-08 | Paper |
| Verification of Distributed Quantum Programs | 2022-04-29 | Paper |
| Qubit Mapping Based on Subgraph Isomorphism and Filtered Depth-Limited Search | 2022-03-24 | Paper |
| On constructing the largest and smallest uninorms on bounded lattices | 2021-07-22 | Paper |
| Computation tree logic model checking based on multi-valued possibility measures | 2020-11-27 | Paper |
| On Redundancy in Simple Temporal Networks | 2018-07-12 | Paper |
| On tree-preserving constraints | 2018-01-11 | Paper |
| The quintuple implication principle of fuzzy reasoning | 2017-05-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3455580 | 2015-12-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3455606 | 2015-12-11 | Paper |
| On redundant topological constraints | 2015-11-17 | Paper |
| Qualitative constraint satisfaction problems: an extended framework with landmarks | 2015-08-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4982401 | 2015-04-09 | Paper |
| Realizing RCC8 networks using convex regions | 2015-02-02 | Paper |
| Reasoning about topological and cardinal direction relations between 2-dimensional spatial objects | 2014-11-13 | Paper |
| Reasoning with topological and directional spatial information | 2013-11-01 | Paper |
| Extension Properties of Boolean Contact Algebras | 2012-09-21 | Paper |
| On standard models of fuzzy region connection calculus | 2012-07-05 | Paper |
| Reasoning about cardinal directions between extended objects: the NP-hardness result | 2012-05-23 | Paper |
| Reasoning about cardinal directions between extended objects | 2010-09-02 | Paper |
| A representation theorem for minmax regret policies | 2009-07-09 | Paper |
| A representation theorem for minmax regret policies | 2009-03-24 | Paper |
| Soft constraint abstraction based on semiring homomorphism | 2008-09-16 | Paper |
| RCC8 binary constraint network can be consistently extended | 2007-10-23 | Paper |
| On topological consistency and realization | 2006-11-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5472862 | 2006-06-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5472929 | 2006-06-19 | Paper |
| On the complemented disk algebra | 2006-03-16 | Paper |
| Region connection calculus: Its models and composition table | 2006-02-07 | Paper |
| Generalized region connection calculus | 2006-02-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4659256 | 2005-03-21 | Paper |
| A note on stratified \(L\)-real line and unit \(L\)-interval | 2004-11-23 | Paper |
| A Non-topologically Generated Hutton-lowen Uniformizable Space | 2004-10-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4432966 | 2003-10-29 | Paper |
| \(\mathbf{FNS}\) is not isomorphic to \(\mathbf{FTS}\) | 2003-05-27 | Paper |
| Generalized Lowen functors | 2003-02-13 | Paper |
| A negative answer to T. Kubiak's question | 2003-02-13 | Paper |
| Urysohn's lemma and arcwise connected completely distributive lattices | 2002-08-28 | Paper |
| A note on super uniform spaces | 2002-06-19 | Paper |
| A note on Artico-Moresco fuzzy proximity spaces | 2002-04-23 | Paper |
| On level-structure in linear fuzzy neighbourhood spaces | 2002-04-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4489746 | 2000-12-26 | Paper |
