| Publication | Date of Publication | Type |
|---|
| A subexponential view of domains in session types | 2025-01-13 | Paper |
| A rewriting-logic-with-SMT-based formal analysis and parameter synthesis framework for parametric time Petri nets | 2024-10-22 | Paper |
| Symbolic analysis and parameter synthesis for time Petri nets using Maude and SMT solving | 2023-11-16 | Paper |
| An assertion language for slicing constraint logic languages | 2023-11-09 | Paper |
| A logical framework for modelling breast cancer progression | 2023-10-20 | Paper |
| Proving structural properties of sequent systems in rewriting logic | 2023-07-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6159917 | 2023-06-23 | Paper |
| A linear logic framework for multimodal logics | 2023-04-19 | Paper |
| A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems | 2022-11-16 | Paper |
| A focused linear logical framework and its application to metatheory of object logics | 2022-01-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5018490 | 2021-12-20 | Paper |
| Slicing concurrent constraint programs | 2021-05-20 | Paper |
| A fresh view of linear logic as a logical framework | 2021-02-22 | Paper |
| A constraint-based language for multiparty interactions | 2021-02-22 | Paper |
| A Rewriting Logic Approach to Specification, Proof-search, and Meta-proofs in Sequent Systems | 2021-01-08 | Paper |
| Verification Techniques for a Network Algebra | 2020-11-09 | Paper |
| A game model for proofs with costs | 2020-05-14 | Paper |
| Mechanizing focused linear logic in Coq | 2019-11-12 | Paper |
| Hybrid linear logic, revisited | 2019-10-09 | Paper |
| A uniform framework for substructural logics with modalities | 2019-01-10 | Paper |
| A concurrent constraint programming interpretation of access permissions | 2018-05-31 | Paper |
| From cut-free calculi to automated deduction: the case of bounded contraction | 2018-04-23 | Paper |
| Hybrid and subexponential linear logics | 2018-04-23 | Paper |
| Abstract interpretation of temporal concurrent constraint programs | 2017-11-09 | Paper |
| Slicing concurrent constraint programs | 2017-10-13 | Paper |
| On subexponentials, focusing and modalities in concurrent systems | 2017-09-12 | Paper |
| On concurrent behaviors and focusing in linear logic | 2017-06-15 | Paper |
| Symbolic Semantics for Multiparty Interactions in the Link-Calculus | 2017-04-04 | Paper |
| Verification of spatial and temporal modalities in biochemical systems | 2016-12-16 | Paper |
| A symbolic model for timed concurrent constraint programming | 2016-08-01 | Paper |
| Proving concurrent constraint programming correct, revisited | 2016-08-01 | Paper |
| A proof theoretic view of spatial and temporal dependencies in biochemical systems | 2016-07-15 | Paper |
| Dynamic spaces in concurrent constraint programming | 2016-05-10 | Paper |
| A Declarative View of Signaling Pathways | 2016-01-08 | Paper |
| Subexponential concurrent constraint programming | 2015-12-08 | Paper |
| Foundations for Reliable and Flexible Interactive Multimedia Scores | 2015-08-20 | Paper |
| Models and emerging trends of concurrent constraint programming | 2015-06-15 | Paper |
| A Proof Theoretic Study of Soft Concurrent Constraint Programming | 2014-11-25 | Paper |
| A General Proof System for Modalities in Concurrent Constraint Programming | 2013-08-12 | Paper |
| Declarative Diagnosis of Temporal Concurrent Constraint Programs | 2009-03-05 | Paper |
