| Publication | Date of Publication | Type |
|---|
| Labelled tableaux for linear time bunched implication logic | 2024-10-21 | Paper |
A separation logic with histories of epistemic actions as resources
Logic, Language, Information, and Computation | 2024-02-28 | Paper |
| Internal and External Calculi: Ordering the Jungle without Being Lost in Translations | 2023-12-06 | Paper |
An epistemic separation logic with action models
Journal of Logic, Language and Information | 2023-08-16 | Paper |
| scientific article; zbMATH DE number 7700618 (Why is no real title available?) | 2023-06-23 | Paper |
Labelled cyclic proofs for separation logic
Journal Of Logic And Computation | 2021-09-22 | Paper |
| Relating labelled and label-free bunched calculi in BI logic | 2020-05-14 | Paper |
A substructural epistemic resource logic: theory and modelling applications
Journal Of Logic And Computation | 2020-02-17 | Paper |
A substructural epistemic resource logic
Logic and Its Applications | 2019-07-24 | Paper |
A public announcement separation logic
Mathematical Structures in Computer Science | 2019-05-27 | Paper |
Tree-sequent calculi and decision procedures for intuitionistic modal logics
Journal Of Logic And Computation | 2019-01-31 | Paper |
A modal separation logic for resource dynamics
Journal Of Logic And Computation | 2019-01-31 | Paper |
| scientific article; zbMATH DE number 6863640 (Why is no real title available?) | 2018-04-23 | Paper |
Separation logic with one quantified variable
Theory of Computing Systems | 2017-10-20 | Paper |
A logic of separating modalities
Theoretical Computer Science | 2016-06-03 | Paper |
A modal BI logic for dynamic resource properties
Logical Foundations of Computer Science | 2015-12-11 | Paper |
An epistemic separation logic
Logic, Language, Information, and Computation | 2015-09-24 | Paper |
Nondeterministic phase semantics and the undecidability of Boolean BI
ACM Transactions on Computational Logic | 2015-09-17 | Paper |
A connection-based characterization of bi-intuitionistic validity
Journal of Automated Reasoning | 2015-06-23 | Paper |
Looking at separation algebras with Boolean BI-eyes
Advanced Information Systems Engineering | 2014-09-15 | Paper |
Separation logic with one quantified variable
Computer Science - Theory and Applications | 2014-06-24 | Paper |
| Resource graphs and countermodels in resource logics | 2013-09-25 | Paper |
Label-free natural deduction systems for intuitionistic and classical modal logics
Journal of Applied Non-Classical Logics | 2012-07-17 | Paper |
Sequent calculi and decidability for intuitionistic hybrid logic
Information and Computation | 2012-03-13 | Paper |
A connection-based characterization of bi-intuitionistic validity
Lecture Notes in Computer Science | 2011-07-29 | Paper |
| Some remarks on relations between proofs and games | 2011-06-21 | Paper |
A family of Gödel hybrid logics
Journal of Applied Logic | 2011-03-22 | Paper |
Label-free proof systems for intuitionistic modal logic IS5
Logic for Programming, Artificial Intelligence, and Reasoning | 2011-01-07 | Paper |
| Connection-based proof construction in non-commutative logic | 2010-02-24 | Paper |
Tableaux and resource graphs for separation logic
Journal Of Logic And Computation | 2010-02-19 | Paper |
FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
Lecture Notes in Computer Science | 2009-08-06 | Paper |
Exploring the relation between Intuitionistic BI and Boolean BI: an unexpected embedding
Mathematical Structures in Computer Science | 2009-06-30 | Paper |
Labelled Calculi for Łukasiewicz Logics
Logic, Language, Information and Computation | 2008-07-10 | Paper |
Characterizing Provability in BI’s Pointer Logic Through Resource Graphs
Logic for Programming, Artificial Intelligence, and Reasoning | 2008-05-27 | Paper |
Expressivity Properties of Boolean BI Through Relational Models
FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science | 2008-04-17 | Paper |
Models and Separation Logics for Resource Trees
Journal Of Logic And Computation | 2007-11-19 | Paper |
The semantics of BI and resource tableaux
Mathematical Structures in Computer Science | 2006-02-21 | Paper |
| scientific article; zbMATH DE number 2242591 (Why is no real title available?) | 2006-01-02 | Paper |
| scientific article; zbMATH DE number 2090291 (Why is no real title available?) | 2004-08-12 | Paper |
Semantic Labelled Tableaux for Propositional BI
Journal Of Logic And Computation | 2004-01-28 | Paper |
| scientific article; zbMATH DE number 1950271 (Why is no real title available?) | 2003-07-17 | Paper |
| scientific article; zbMATH DE number 1948162 (Why is no real title available?) | 2003-07-10 | Paper |
| scientific article; zbMATH DE number 1770113 (Why is no real title available?) | 2002-07-22 | Paper |
| scientific article; zbMATH DE number 1678379 (Why is no real title available?) | 2001-12-04 | Paper |
| Proof-search and proof nets in mixed linear logic | 2001-05-07 | Paper |
| Labelled proof systems for intuitionistic provability | 2001-03-12 | Paper |
| scientific article; zbMATH DE number 1531367 (Why is no real title available?) | 2001-02-28 | Paper |
| scientific article; zbMATH DE number 1500555 (Why is no real title available?) | 2001-01-14 | Paper |
| scientific article; zbMATH DE number 1499088 (Why is no real title available?) | 2000-09-03 | Paper |
Connection methods in linear logic and proof nets construction
Theoretical Computer Science | 2000-08-23 | Paper |
Proof-search in type-theoretic languages: An introduction
Theoretical Computer Science | 2000-08-23 | Paper |
| scientific article; zbMATH DE number 1324433 (Why is no real title available?) | 1999-08-16 | Paper |
| scientific article; zbMATH DE number 1231699 (Why is no real title available?) | 1999-01-10 | Paper |
| scientific article; zbMATH DE number 1231698 (Why is no real title available?) | 1999-01-10 | Paper |
On proof normalization in linear logic
Theoretical Computer Science | 1995-01-11 | Paper |
| scientific article; zbMATH DE number 517012 (Why is no real title available?) | 1994-03-17 | Paper |
| scientific article; zbMATH DE number 140006 (Why is no real title available?) | 1993-03-28 | Paper |
Program development in constructive type theory
Theoretical Computer Science | 1992-09-26 | Paper |
Constructive system for automatic program synthesis
Theoretical Computer Science | 1990-01-01 | Paper |
