Cs-Lo
Aspects Regarding Operations with Fuzzy Processes
Controller Synthesis for Safety and Reachability via Approximate Bisimulation
Yet Another Deep Embedding of B:Extending de Bruijn Notations
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
