| Publication | Date of Publication | Type |
|---|
Explorations in Subexponential Non-associative Non-commutative Linear Logic
Electronic Proceedings in Theoretical Computer Science | 2024-03-14 | Paper |
Undecidability of a newly proposed calculus for CatLog3
Formal Grammar | 2024-02-06 | Paper |
On the complexity of pointer arithmetic in separation logic
Programming Languages and Systems | 2023-08-02 | Paper |
On the formalization and computational complexity of resilience problems for cyber-physical systems
Lecture Notes in Computer Science | 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
Formal Grammar 2018 | 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
Lecture Notes in Computer Science | 2022-08-16 | Paper |
On the complexity of verification of time-sensitive distributed systems
(available as arXiv preprint) | 2022-07-13 | Paper |
Language models for some extensions of the Lambek calculus
Information and Computation | 2022-06-13 | Paper |
The multiplicative-additive Lambek calculus with subexponential and bracket modalities
Journal of Logic, Language and Information | 2021-06-25 | Paper |
Language Models for Some Extensions of the Lambek Calculus
(available as arXiv preprint) | 2020-07-31 | Paper |
| A rewriting framework for activities subject to regulations | 2020-05-27 | Paper |
scientific article; zbMATH DE number 7204441 (Why is no real title available?)
(available as arXiv preprint) | 2020-05-26 | Paper |
Reconciling Lambek's restriction, cut-elimination and substitution in the presence of exponential modalities
Journal Of Logic And Computation | 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
Mathematical Structures in Computer Science | 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
Lecture Notes in Computer Science | 2018-02-16 | Paper |
Undecidability of the Lambek calculus with subexponential and bracket modalities
(available as arXiv preprint) | 2017-11-22 | Paper |
Biabduction (and related problems) in array separation logic
(available as arXiv preprint) | 2017-09-22 | Paper |
| Biabduction (and related problems) in array separation logic | 2017-09-22 | Paper |
On Lambek's restriction in the presence of exponential modalities
Logical Foundations of Computer Science | 2017-07-21 | Paper |
A rewriting framework and logic for activities subject to regulations
Mathematical Structures in Computer Science | 2017-04-03 | Paper |
Undecidability of the Lambek calculus with a relevant modality
Formal Grammar | 2016-12-01 | Paper |
Model checking for symbolic-heap separation logic with inductive predicates
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | 2016-10-24 | Paper |
Reconciling Lambek's restriction, cut-elimination, and substitution in the presence of exponential modalities
(available as arXiv preprint) | 2016-08-07 | Paper |
The undecidability theorem for the Horn-like fragment of linear logic (revisited)
Mathematical Structures in Computer Science | 2016-07-28 | Paper |
Bounded memory protocols
Computer Languages, Systems & Structures | 2015-03-31 | Paper |
Bounded memory Dolev-Yao adversaries in collaborative systems
Information and Computation | 2014-10-20 | Paper |
Undecidability of propositional separation logic and its neighbours
Journal of the ACM | 2014-09-12 | Paper |
Multiset rewriting over Fibonacci and tribonacci numbers
Journal of Computer and System Sciences | 2014-06-10 | Paper |
Foundations for decision problems in separation logic with general inductive predicates
Lecture Notes in Computer Science | 2014-04-16 | Paper |
Light linear logics with controlled weakening: expressibility, confluent strong normalization
Annals of Pure and Applied Logic | 2012-04-10 | Paper |
Linear logic as a tool for planning under temporal uncertainty
Theoretical Computer Science | 2011-05-10 | Paper |
Light Linear Logic with Controlled Weakening
Logical Foundations of Computer Science | 2009-02-24 | Paper |
A Note on Rewriting Proofs and Fibonacci Numbers
Logical Foundations of Computer Science | 2008-01-04 | Paper |
Strong planning under uncertainty in domains with numerous but identical elements (a generic approach)
Theoretical Computer Science | 2007-07-16 | Paper |
Computer Science Logic
Lecture Notes in Computer Science | 2007-06-21 | Paper |
The two-way rewriting in action: removing the mystery of Euler-Glaisher's map
Discrete Mathematics | 2007-05-23 | Paper |
Intuitionistic phase semantics is almost classical
Mathematical Structures in Computer Science | 2006-05-22 | Paper |
Finding direct partition bijections by two-directional rewriting techniques
Discrete Mathematics | 2004-08-19 | Paper |
Phase semantics for light linear logic
Theoretical Computer Science | 2003-07-29 | Paper |
| scientific article; zbMATH DE number 1948153 (Why is no real title available?) | 2003-07-10 | Paper |
| scientific article; zbMATH DE number 1841812 (Why is no real title available?) | 2002-12-04 | Paper |
The classical AI planning problems in the mirror of Horn linear logic: semantics, expressibility, complexity
Mathematical Structures in Computer Science | 2002-10-13 | Paper |
| scientific article; zbMATH DE number 1499096 (Why is no real title available?) | 2000-09-03 | Paper |
| scientific article; zbMATH DE number 1479638 (Why is no real title available?) | 2000-07-20 | Paper |
| scientific article; zbMATH DE number 1231574 (Why is no real title available?) | 1998-12-20 | Paper |
| scientific article; zbMATH DE number 1206051 (Why is no real title available?) | 1998-11-09 | Paper |
Linear logic automata
Annals of Pure and Applied Logic | 1996-07-24 | Paper |
Petri nets, Horn programs, linear logic and vector games
Annals of Pure and Applied Logic | 1995-10-04 | Paper |
| scientific article; zbMATH DE number 786490 (Why is no real title available?) | 1995-08-16 | Paper |
The complexity of Horn fragments of linear logic
Annals of Pure and Applied Logic | 1995-05-16 | Paper |
Linear logic as a logic of computations
Annals of Pure and Applied Logic | 1995-01-16 | Paper |
| scientific article; zbMATH DE number 14802 (Why is no real title available?) | 1992-06-25 | Paper |
Efficient program synthesis in computational models
The Journal of Logic Programming | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4168654 (Why is no real title available?) | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4101150 (Why is no real title available?) | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4195902 (Why is no real title available?) | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4203709 (Why is no real title available?) | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4125400 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4072945 (Why is no real title available?) | 1988-01-01 | Paper |
Complexity of hierarchical networks of finite automata
American Mathematical Society Translations: Series 2 | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4023248 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4187780 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4043322 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4035102 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3980485 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3984620 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3928984 (Why is no real title available?) | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3885886 (Why is no real title available?) | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3941520 (Why is no real title available?) | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3874616 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3850476 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3902638 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3893186 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3896920 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3914303 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3836025 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3639594 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3611344 (Why is no real title available?) | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3613023 (Why is no real title available?) | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3551874 (Why is no real title available?) | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3555469 (Why is no real title available?) | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3577194 (Why is no real title available?) | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3581584 (Why is no real title available?) | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3595172 (Why is no real title available?) | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3494387 (Why is no real title available?) | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3508480 (Why is no real title available?) | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3512078 (Why is no real title available?) | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3468802 (Why is no real title available?) | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3468813 (Why is no real title available?) | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3481838 (Why is no real title available?) | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3510279 (Why is no real title available?) | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3445226 (Why is no real title available?) | 1973-01-01 | Paper |
| scientific article; zbMATH DE number 3458601 (Why is no real title available?) | 1973-01-01 | Paper |
| scientific article; zbMATH DE number 3468812 (Why is no real title available?) | 1973-01-01 | Paper |
| scientific article; zbMATH DE number 3424002 (Why is no real title available?) | 1972-01-01 | Paper |
| scientific article; zbMATH DE number 3424003 (Why is no real title available?) | 1972-01-01 | Paper |
| scientific article; zbMATH DE number 3372020 (Why is no real title available?) | 1971-01-01 | Paper |
| scientific article; zbMATH DE number 3372021 (Why is no real title available?) | 1971-01-01 | Paper |
| scientific article; zbMATH DE number 3402606 (Why is no real title available?) | 1970-01-01 | Paper |
| scientific article; zbMATH DE number 3427325 (Why is no real title available?) | 1970-01-01 | Paper |
| scientific article; zbMATH DE number 3468807 (Why is no real title available?) | 1970-01-01 | Paper |
| scientific article; zbMATH DE number 3288611 (Why is no real title available?) | 1969-01-01 | Paper |
| scientific article; zbMATH DE number 3420721 (Why is no real title available?) | 1969-01-01 | Paper |
| scientific article; zbMATH DE number 3427324 (Why is no real title available?) | 1969-01-01 | Paper |
| scientific article; zbMATH DE number 3497874 (Why is no real title available?) | 1969-01-01 | Paper |
