Cs-Lo
Tableau-based decision procedure for full coalitional multiagent temporal-epistemic logic of linear time
Resource control of object-oriented programs
Considerations on P vs NP
Common knowledge logic in a higher order proof assistant?
Theorem proving support in programming language semantics
Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets
I, Quantum Robot: Quantum Mind control on a Quantum Computer
Flux Analysis in Process Models via Causality
Universal Structures and the logic of Forbidden Patterns
About raising and handling exceptions
The Complexity of Model Checking Higher-Order Fixpoint Logic
The convex hull of a regular set of integer vectors is polyhedral and effectively computable
Computability of simple games: A characterization and application to the core
Complexity of Existential Positive First-Order Logic
Dependency Pairs and Polynomial Path Orders
Strong normalization results by translation
Unsatisfiable Linear k-CNFs Exist, for every k
Computability Closure: Ten Years Later
On the Protocol Composition Logic PCL
Automating Quantified Multimodal Logics in Simple Type Theory -- A Case Study
Knots as processes: a new kind of invariant
Causality in the Semantics of Esterel: Revisited
