Cs-Lo
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
Completeness for Two Left-Sequential Logics
ILP Modulo Theories
Logic as a complex network
Recording Completion for Finding and Certifying Proofs in Equational Logic
Modal Functional (Dialectica) Interpretation
The Complexity of Integer Bound Propagation
Hypertableau Reasoning for Description Logics
