On the Parameterized Intractability of Monadic Second-Order Logic
On the problem of computing the well-founded semantics
On the Refinement of Liveness Properties of Distributed Systems
On the relation between Differential Privacy and Quantitative Information Flow
On the relation between size-based termination and semantic labelling
On the Scope of the Universal-Algebraic Approach to Constraint Satisfaction
On the Sets of Real Numbers Recognized by Finite Automata in Multiple Bases
On the strength of proof-irrelevant type theories
On the Theory of Structural Subtyping
On the Topological Complexity of Infinitary Rational Relations
On the Undecidability of Fuzzy Description Logics with GCIs with Lukasiewicz t-norm
On the Unification of Process Semantics: Logical Semantics
On the word problem for SP-categories, and the properties of two-way communication
On timed automata with input-determined guards
On using floating-point computations to help an exact linear arithmetic decision procedure
On Various Negative Translations
On Winning Conditions of High Borel Complexity in Pushdown Games
One useful logic that defines its own truth
Open Bisimulation for Quantum Processes
Open Graphs and Computational Reasoning