| Publication | Date of Publication | Type |
|---|
| Proof-carrying parameters in certified symbolic execution | 2024-11-15 | Paper |
| Unification in matching logic | 2024-03-14 | Paper |
| Operationally-based program equivalence proofs using LCTRSs | 2023-09-25 | Paper |
| A matching logic foundation for Alk | 2023-07-28 | Paper |
| Unification Modulo Builtins | 2023-04-26 | Paper |
| Connecting Constrained Constructor Patterns and Matching Logic | 2022-12-22 | Paper |
| Towards a \(\mathbb{K}\)ool future | 2021-05-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5208779 | 2020-01-10 | Paper |
| A coinductive approach to proving reachability properties in logically constrained term rewriting systems | 2018-10-18 | Paper |
| Symbolic execution based on language transformation | 2018-05-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4594004 | 2017-11-16 | Paper |
| A language-independent proof system for full program equivalence | 2017-02-14 | Paper |
| A generic framework for symbolic execution: a coinductive approach | 2017-02-06 | Paper |
| Language definitions as rewrite theories | 2016-12-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3187618 | 2016-09-02 | Paper |
| A Theoretical Foundation for Programming Languages Aggregation | 2016-02-25 | Paper |
| Verifying Reachability-Logic Properties on Rewriting-Logic Specifications | 2015-09-14 | Paper |
| Language Definitions as Rewrite Theories | 2015-09-09 | Paper |
| Program equivalence by circular reasoning | 2015-09-03 | Paper |
| Strategy-Based Proof Calculus for Membrane Systems | 2015-03-19 | Paper |
| Patterns for Maude Metalanguage Applications | 2015-03-19 | Paper |
| Strategy-Based Rewrite Semantics for Membrane Systems Preserves Maximal Concurrency of Evolution Rule Actions | 2014-07-22 | Paper |
| On Automation of OTS/CafeOBJ Method | 2014-03-25 | Paper |
| Behavioral Rewrite Systems and Behavioral Productivity | 2014-03-25 | Paper |
| Regular strategies as proof tactics for \textsf{CIRC} | 2014-01-24 | Paper |
| Operational semantics and rewriting logic in membrane computing | 2013-10-07 | Paper |
| Communicating concurrent objects in hiddenCCS | 2013-09-20 | Paper |
| Bounded Model Checking of Recursive Programs with Pointers in K | 2013-09-13 | Paper |
| On Abstractions for Timing Analysis in the $\mathbb{K}$ Framework | 2012-11-02 | Paper |
| CIRC: A Behavioral Verification Tool Based on Circular Coinduction | 2012-06-01 | Paper |
| Circular Coinduction: A Proof Theoretical Foundation | 2012-06-01 | Paper |
| A Decision Procedure for Bisimilarity of Generalized Regular Expressions | 2011-05-12 | Paper |
| REWRITING LOGIC-BASED SEMANTICS OF P SYSTEMS AND THE MAXIMAL CONCURRENCY | 2009-06-30 | Paper |
| Verification, Model Checking, and Abstract Interpretation | 2009-05-15 | Paper |
| Integrated Formal Methods | 2009-05-07 | Paper |
| CIRC: A Circular Coinductive Prover | 2009-03-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5457687 | 2008-04-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5457693 | 2008-04-14 | Paper |
| Events, Causality, and Concurrency in Membrane Systems | 2008-03-28 | Paper |
| Semantic Web Languages – Towards an Institutional Perspective | 2007-09-07 | Paper |
| Expressing Control Mechanisms of Membranes by Rewriting Strategies | 2007-09-03 | Paper |
| A rewriting logic framework for operational semantics of membrane systems | 2007-04-19 | Paper |
| Membrane Computing | 2006-11-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5699560 | 2005-10-26 | Paper |
| Membrane Computing | 2005-09-14 | Paper |
| Relaxed models for rewriting logic | 2003-01-21 | Paper |
| On refinement in rewriting logic | 2001-08-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4520820 | 2001-02-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4934346 | 2000-07-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4841291 | 2000-06-27 | Paper |
| Bisimulation and Hidden Algebra | 1999-07-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4866585 | 1996-07-01 | Paper |
| Algebraic structures of directed acyclic graphs: application to concurrent calculus | 1996-06-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3976967 | 1992-06-25 | Paper |
| Several properties of array languages | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3783609 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3489465 | 1987-01-01 | Paper |
