Cs-Lo
Topological Modal Logics with Difference Modality
Pattern Unification for the Lambda Calculus with Linear and Affine Types
Performance Evaluation of Components Using a Granularity-based Interface Between Real-Time Calculus and Timed Automata
Disjunctive ASP with Functions: Decidable Queries and Effective Computation
Classical Mathematics for a Constructive World
Implicit Real Vector Automata
Towards A Shape Analysis for Graph Transformation Systems
On Infinitary Rational Relations and Borel Sets
Probabilistic Weighted Automata
The Complexity of Satisfiability for Fragments of Hybrid Logic -- Part I
A Faithful Semantics for Generalised Symbolic Trajectory Evaluation
Homomorphism Preservation on Quasi-Wide Classes
Lower Bounds on Syntactic Logic Expressions for Optimization Problems and Duality using Lagrangian Dual to characterize optimality conditions
Undirected Graphs of Entanglement Two
Decision Problems for Nash Equilibria in Stochastic Games
Inferring Loop Invariants using Postconditions
Correctness Kernels of Abstract Interpretations
Forward analysis for WSTS, Part I: Completions
A Logic of Reachable Patterns in Linked Data-Structures
On the Parameterised Intractability of Monadic Second-Order Logic
Optimal Tableau Decision Procedures for PDL
From Nondeterministic B"uchi and Streett Automata to Deterministic Parity Automata
