| Publication | Date of Publication | Type |
|---|
| Explorations in Subexponential Non-associative Non-commutative Linear Logic | 2024-03-14 | Paper |
| Undecidability of a newly proposed calculus for CatLog3 | 2024-02-06 | Paper |
| On the complexity of pointer arithmetic in separation logic | 2023-08-02 | Paper |
| On the formalization and computational complexity of resilience problems for cyber-physical systems | 2023-07-28 | Paper |
| Explorations in Subexponential non-associative non-commutative Linear Logic (extended version) | 2023-07-06 | Paper |
| Bracket induction for Lambek calculus with bracket modalities | 2023-06-12 | Paper |
| Non-associative, non-commutative multi-modal linear logic | 2022-12-07 | Paper |
| Soft subexponentials and multiplexing | 2022-11-09 | Paper |
| Efficient program synthesis: Semantics, logic, complexity | 2022-08-16 | Paper |
| On the complexity of verification of time-sensitive distributed systems | 2022-07-13 | Paper |
| Language models for some extensions of the Lambek calculus | 2022-06-13 | Paper |
| The multiplicative-additive Lambek calculus with subexponential and bracket modalities | 2021-06-25 | Paper |
| Language Models for Some Extensions of the Lambek Calculus | 2020-07-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5111913 | 2020-05-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5111318 | 2020-05-26 | Paper |
| Reconciling Lambek’s restriction, cut-elimination and substitution in the presence of exponential modalities | 2020-04-29 | Paper |
| The complexity of multiplicative-additive Lambek calculus: 25 years later | 2020-03-04 | Paper |
| L-models and R-models for Lambek calculus enriched with additives and the multiplicative unit | 2020-03-04 | Paper |
| A multiset rewriting model for specifying and verifying timing aspects of security protocols | 2020-03-03 | Paper |
| Subexponentials in non-commutative linear logic | 2019-10-09 | Paper |
| A logical framework with commutative and non-commutative subexponentials | 2018-10-18 | Paper |
| Timed Multiset Rewriting and the Verification of Time-Sensitive Distributed Systems | 2018-02-16 | Paper |
| Undecidability of the Lambek calculus with subexponential and bracket modalities | 2017-11-22 | Paper |
| Biabduction (and related problems) in array separation logic | 2017-09-22 | Paper |
| On Lambek’s Restriction in the Presence of Exponential Modalities | 2017-07-21 | Paper |
| A rewriting framework and logic for activities subject to regulations | 2017-04-03 | Paper |
| Undecidability of the Lambek Calculus with a Relevant Modality | 2016-12-01 | Paper |
| Model checking for symbolic-heap separation logic with inductive predicates | 2016-10-24 | Paper |
| Reconciling Lambek's restriction, cut-elimination, and substitution in the presence of exponential modalities | 2016-08-07 | Paper |
| The undecidability theorem for the Horn-like fragment of linear logic (Revisited) | 2016-07-28 | Paper |
| Bounded memory protocols | 2015-03-31 | Paper |
| Bounded memory Dolev-Yao adversaries in collaborative systems | 2014-10-20 | Paper |
| Undecidability of Propositional Separation Logic and Its Neighbours | 2014-09-12 | Paper |
| Multiset rewriting over Fibonacci and tribonacci numbers | 2014-06-10 | Paper |
| Foundations for Decision Problems in Separation Logic with General Inductive Predicates | 2014-04-16 | Paper |
| Light linear logics with controlled weakening: expressibility, confluent strong normalization | 2012-04-10 | Paper |
| Linear logic as a tool for planning under temporal uncertainty | 2011-05-10 | Paper |
| Light Linear Logic with Controlled Weakening | 2009-02-24 | Paper |
| A Note on Rewriting Proofs and Fibonacci Numbers | 2008-01-04 | Paper |
| Strong planning under uncertainty in domains with numerous but identical elements (a generic approach) | 2007-07-16 | Paper |
| Computer Science Logic | 2007-06-21 | Paper |
| The two-way rewriting in action: removing the mystery of Euler-Glaisher's map | 2007-05-23 | Paper |
| Intuitionistic phase semantics is almost classical | 2006-05-22 | Paper |
| Finding direct partition bijections by two-directional rewriting techniques | 2004-08-19 | Paper |
| Phase semantics for light linear logic | 2003-07-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4411814 | 2003-07-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4783300 | 2002-12-04 | Paper |
| The classical AI planning problems in the mirror of Horn linear logic: semantics, expressibility, complexity | 2002-10-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4501150 | 2000-09-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4490754 | 2000-07-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222893 | 1998-12-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4209093 | 1998-11-09 | Paper |
| Linear logic automata | 1996-07-24 | Paper |
| Petri nets, Horn programs, linear logic and vector games | 1995-10-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4842971 | 1995-08-16 | Paper |
| The complexity of Horn fragments of linear logic | 1995-05-16 | Paper |
| Linear logic as a logic of computations | 1995-01-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3977209 | 1992-06-25 | Paper |
| Efficient program synthesis in computational models | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3352490 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3495341 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3826527 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5202633 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3804686 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4205440 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5752550 | 1987-01-01 | Paper |
| Complexity of hierarchical networks of finite automata | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3765752 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3780506 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3774920 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3745277 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3747766 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3220573 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3703885 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3714066 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3319778 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3340153 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3676132 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3680821 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5184898 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3043139 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3690801 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4198479 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4175269 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4177554 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4125745 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4128014 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4146719 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4151128 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4163524 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4075445 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4088804 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4091915 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4053627 | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4053635 | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4065033 | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4090316 | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4044556 | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4053634 | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4770385 | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5686026 | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5686025 | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5643960 | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5643961 | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3214901 | 1970-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4053631 | 1970-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5668464 | 1970-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3214900 | 1969-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4079591 | 1969-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5571716 | 1969-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5685058 | 1969-01-01 | Paper |
