Cs-Lo
A Modal Characterization of Alternating Approximate Bisimilarity
A Method for Constructing Minimally Unsatisfiable CNFs
Obligation Blackwell Games and p-Automata
A Robust Specification Theory for Modal Event-Clock Automata
ProofPeer - A Cloud-based Interactive Theorem Proving System
Implementing the Stochastics Brane Calculus in a Generic Stochastic Abstract Machine
Graphic lambda calculus and knot diagrams
Computably Categorical Fields via Fermats Last Theorem
Generalized powerlocales via relation lifting
Strategy Synthesis for Multi-dimensional Quantitative Objectives
Characteristic formulas over intermediate logics
Parallel BioScape: A Stochastic and Parallel Language for Mobile and Spatial Interactions
A General Form of Attribute Exploration
UPPAAL-SMC: Statistical Model Checking for Priced Timed Automata
On the correctness of a branch displacement algorithm
Adding Time to Pushdown Automata
RNA interference and Register Machines (extended abstract)
Coherent Minimisation: Towards efficient tamper-proof compilation
Adjunctions for exceptions
Counting and generating lambda terms
Data types with symmetries and polynomial functors over groupoids
LTL to B"uchi Automata Translation: Fast and More Deterministic
