Cs-Lo
Computing Optimal Coverability Costs in Priced Timed Petri Nets
Lower Bounds for the Complexity of Monadic Second-Order Logic
Automated Synthesis of Tableau Calculi
Probabilistic Model-Based Safety Analysis
Monotonicity Constraints for Termination in the Integer Domain
Quantitative Games on Probabilistic Timed Automata
On Bisimulations for Description Logics
TRX: A Formally Verified Parser Interpreter
Solving Functional Constraints by Variable Substitution
Ultrametric and Generalized Ultrametric in Computational Logic and in Data Analysis
Termination Proofs in the Dependency Pair Framework May Induce Multiple Recursive Derivational Complexity
Binary Sequent Calculi for Truth-invariance Entailment of Finite Many-valued Logics
Scope Logic with Local Reasoning and Pre/Post-State Properties
Courcelles Theorem - A Game-Theoretic Approach
The Cardinality of an Oracle in Blum-Shub-Smale Computation
Efficient Implementation of Rewriting Revisited Technical Report
Fixed-Point Definability and Polynomial Time on Chordal Graphs and Line Graphs
Three qubit entanglement within graphical Z/X-calculus
Generic Traces and Constraints, GenTra4CP revisited
The Question of Expressiveness in the Generation of Referring Expressions
Playing Muller Games in a Hurry
Extended Computation Tree Logic
