| The Effects of Adding Reachability Predicates in Quantifier-Free Separation Logic | 0 | 0.34 | 2021 |
| Internal Calculi for Separation Logics. | 0 | 0.34 | 2020 |
| Multi-buffer simulations: Decidability and complexity. | 0 | 0.34 | 2018 |
| The Effects of Adding Reachability Predicates in Propositional Separation Logic. | 1 | 0.35 | 2018 |
| On Symbolic Heaps Modulo Permission Theories. | 2 | 0.38 | 2017 |
| Synchronizability of Communicating Finite State Machines is not Decidable. | 1 | 0.35 | 2017 |
| Space-Efficient Fragments of Higher-Order Fixpoint Logic. | 0 | 0.34 | 2017 |
| Two-Buffer Simulation Games | 1 | 0.37 | 2016 |
| Multi-Buffer Simulations For Trace Language Inclusion | 2 | 0.45 | 2016 |
| Shared contract-obedient channels. | 2 | 0.36 | 2015 |
| Conjunctive Visibly-Pushdown Path Queries | 0 | 0.34 | 2015 |
| A Type-Directed Negation Elimination | 3 | 0.40 | 2015 |
| Buffered Simulation Games for Büchi Automata. | 0 | 0.34 | 2014 |
| Capturing Bisimulation-Invariant Complexity Classes with Higher-Order Modal Fixpoint Logic. | 2 | 0.40 | 2014 |
| Buffered Simulation Games For Buchi Automata | 4 | 0.47 | 2014 |
| Revealing vs. Concealing: More Simulation Games for Büchi Inclusion. | 5 | 0.50 | 2013 |
| Model-Checking The Higher-Dimensionalmodal Mu-Calculus | 3 | 0.42 | 2012 |
| Model-checking process equivalences. | 5 | 0.43 | 2012 |
| Shared Contract-Obedient Endpoints | 1 | 0.35 | 2012 |
| Reliable contracts for unreliable half-duplex communications | 3 | 0.45 | 2011 |
| Multiple congruence relations, first-order theories on terms, and the frames of the applied pi-calculus | 0 | 0.34 | 2011 |
| Tracking heaps that hop with heap-hop | 12 | 0.60 | 2010 |
| Separability in the Ambient Logic. | 4 | 0.48 | 2008 |
| Towards Model-Checking Programs with Lists | 3 | 0.38 | 2007 |
| Elimination of quantifiers and undecidability in spatial logics for concurrency | 12 | 0.66 | 2006 |
| On the Expressiveness of the Ambient Logic | 0 | 0.34 | 2005 |
| Elimination of spatial connectives in static spatial logics | 7 | 0.56 | 2005 |
| Adjuncts elimination in the static ambient logic | 9 | 0.83 | 2004 |
| Minimality Results for the Spatial Logics | 15 | 0.89 | 2003 |
| Separability, expressiveness, and decidability in the ambient logic | 24 | 1.54 | 2002 |
