| Publication | Date of Publication | Type |
|---|
| A Process Algebra for (Delimited) Persistent Stochastic Non-Interference | 2024-03-14 | Paper |
| Quantum encoding of dynamic directed graphs | 2024-02-12 | Paper |
| Mirrors and memory in quantum automata | 2023-06-02 | Paper |
| Parameter synthesis of polynomial dynamical systems | 2022-12-08 | Paper |
| Directed graph encoding in quantum computing supporting edge-failures | 2022-11-11 | Paper |
| Proportional lumpability and proportional bisimilarity | 2022-05-17 | Paper |
| Reasoning about proportional lumpability | 2022-03-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3384915 | 2021-12-17 | Paper |
| Persistent Stochastic Non-Interference | 2021-10-25 | Paper |
| \textit{D\_PSNI}: delimited persistent stochastic non-interference | 2021-08-27 | Paper |
| Proportional lumpability | 2020-05-05 | Paper |
| Parameter Synthesis Through Temporal Logic Specifications | 2019-12-19 | Paper |
| Lumping-based equivalences in Markovian automata: algorithms and applications to product-form analyses | 2018-05-30 | Paper |
| A uniform approach to constraint-solving for lists, multisets, compact lists, and sets | 2017-07-12 | Paper |
| Parallelotope Bundles for Polynomial Reachability | 2017-05-19 | Paper |
| Reachability computation for polynomial dynamical systems | 2017-05-12 | Paper |
| Towards Quantum Programs Verification: From Quipper Circuits to QPMC | 2016-08-10 | Paper |
| Is hyper-extensionality preservable under deletions of graph elements? | 2016-08-05 | Paper |
| Rank and simulation: the well-founded case | 2015-12-28 | Paper |
| A graph-theoretic approach to map conceptual designs to XML schemas | 2015-09-03 | Paper |
| External Interactions on Hybrid Models of Biological Systems | 2015-08-06 | Paper |
| Unwinding biological systems | 2015-06-10 | Paper |
| External Control in Process Algebra for Systems Biology | 2015-03-19 | Paper |
| \(\epsilon\)-semantics computations on biological systems | 2014-06-06 | Paper |
| Hybrid Automata in Systems Biology: How Far Can We Go? | 2014-03-21 | Paper |
| Rank-Based Symbolic Bisimulation | 2013-04-19 | Paper |
| Transforming Processes to Check and Ensure Information Flow Security* | 2011-05-06 | Paper |
| A Proof System for Information Flow Security | 2011-03-04 | Paper |
| Hybrid automata, reachability, and systems biology | 2010-05-11 | Paper |
| Theoretical Computer Science | 2010-02-23 | Paper |
| Discrete semantics for hybrid automata. Avoiding misleading assumptions in systems biology | 2010-01-18 | Paper |
| Inclusion dynamics hybrid automata | 2009-02-03 | Paper |
| Action Refinement in Process Algebra and Security Issues | 2009-01-22 | Paper |
| Decidable Compositions of O-Minimal Automata | 2008-11-20 | Paper |
| Unwinding Conditions for Security in Imperative Languages | 2008-04-24 | Paper |
| Symbolic graphs: Linear solutions to connectivity related problems | 2008-02-18 | Paper |
| Translating Time-Course Gene Expression Profiles into Semi-algebraic Hybrid Automata Via Dimensionality Reduction | 2007-11-29 | Paper |
| Tools and Algorithms for the Construction and Analysis of Systems | 2007-09-28 | Paper |
| Ackermann encoding, bisimulations and OBDDs | 2005-04-15 | Paper |
| Simulating polyadic modal logics by monadic ones | 2005-02-09 | Paper |
| Disunification in ACI1 theories | 2005-01-19 | Paper |
| Nesting analysis of mobile ambients | 2004-11-18 | Paper |
| Verifying persistent security properties | 2004-11-18 | Paper |
| An efficient algorithm for computing bisimulation equivalence | 2004-10-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4736985 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4472257 | 2004-08-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4474008 | 2004-08-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4471346 | 2004-07-28 | Paper |
| From bisimulation to simulation: Coarsest partition problems | 2004-05-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4417947 | 2003-07-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4414382 | 2003-07-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4414391 | 2003-07-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4413206 | 2003-07-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4551136 | 2002-09-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2721208 | 2001-07-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4944864 | 2000-12-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4518875 | 2000-12-03 | Paper |
