| Publication | Date of Publication | Type |
|---|
| Favoring Eagerness for Remaining Items: Designing Efficient, Fair, and Strategyproof Mechanisms | 2023-03-13 | Paper |
| Multi resource allocation with partial preferences | 2023-01-04 | Paper |
| Reasoning about block-based cloud storage systems via separation logic | 2022-10-21 | Paper |
| Zero-freeness and approximation of real Boolean Holant problems | 2022-05-31 | Paper |
| Learning from interpretation transition using differentiable logic programming semantics | 2022-04-20 | Paper |
| An adaptation-complete proof system for local reasoning about cloud storage systems | 2022-02-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3307709 | 2020-08-12 | Paper |
| FPRAS for the Potts Model and the Number of $k$-colorings | 2019-02-25 | Paper |
| Reducing Interval-Valued Decision Trees to Conventional Ones: Comments on Decision Trees with Single and Multiple Interval-Valued Objectives | 2018-10-24 | Paper |
| Polynomial-time algorithms for computing distances of fuzzy transition systems | 2018-05-17 | Paper |
| Conditional anonymity with non-probabilistic adversary | 2018-05-17 | Paper |
| Similarity-Based Supervisory Control of Discrete-Event Systems | 2017-07-27 | Paper |
| Reliability of Mobile Processes with Noisy Channels | 2017-07-12 | Paper |
| Differential privacy in probabilistic systems | 2017-05-18 | Paper |
| Model checking fuzzy computation tree logic | 2017-05-18 | Paper |
| Discussion on: ``Decentralized supervisory control of fuzzy discrete event systems | 2017-04-19 | Paper |
| Nondeterministic fuzzy automata with membership values in complete residuated lattices | 2017-02-22 | Paper |
| Model checking computation tree logic over finite lattices | 2015-12-15 | Paper |
| Simulation for lattice-valued doubly labeled transition systems | 2015-07-10 | Paper |
| Lattice-valued simulations for quantitative transition systems | 2014-11-24 | Paper |
| Behavioural equivalences of a probabilistic pi-calculus | 2013-08-20 | Paper |
| Probabilistic automata for computing with words | 2013-02-21 | Paper |
| Nondeterministic fuzzy automata | 2012-10-17 | Paper |
| Value-passing CCS with noisy channels | 2012-06-25 | Paper |
| On Model Checking Boolean BI | 2009-11-12 | Paper |
| CARTAN DETERMINANTS OF CELLULAR ALGEBRAS | 2007-03-20 | Paper |
| Cyclotomic blob algebra and its representation theory. | 2006-01-09 | Paper |
| On the projective-injective modules over cellular algebras | 2004-03-29 | Paper |
| On the quasi-heredity and the semi-simplicity of cellular algebras. | 2003-08-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4778323 | 2002-11-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4778366 | 2002-11-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2746511 | 2001-10-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4521845 | 2001-05-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4489503 | 2001-04-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4503648 | 2001-02-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4489496 | 2000-07-11 | Paper |
