O-Minimal Hybrid Reachability Games
Object-oriented Programming Laws for Annotated Java Programs
Object-oriented solutions
Object-oriented tools for advanced applications
Objects and their computational framework
Observational Equivalence and Full Abstraction in the Symmetric Interaction Combinators
Ologs: a categorical framework for knowledge representation
On (Omega-)Regular Model Checking
On a Non-Context-Free Extension of PDL
On a Partial Decision Method for Dynamic Proofs
On affine usages in signal-based communication
On Barbs and Labels in Reactive Systems
On Berry's conjectures about the stable order in PCF
On Bisimulations for Description Logics
On characterising strong bisimilarity in a fragment of CCS with replication
On coalgebra based on classes
On combinations of local theory extensions
On Combining Linear-Based Strategies for Tabled Evaluation of Logic Programs
On commutativity of quantum weakest preconditions
On Completeness of Logical Relations for Monadic Types