Cs-Lo
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
Axiomatizing Causal Reasoning
The Mathematical Abstraction Theory, The Fundamentals for Knowledge Representation and Self-Evolving Autonomous Problem Solving Systems
A Fragment of Dependence Logic Capturing Polynomial Time
Reasoning about Explanations for Negative Query Answers in DL-Lite
Decidability and Undecidability Results for Propositional Schemata
