Cs-Lo
Symmetry Breaking for Maximum Satisfiability
Lower Bound for the Communication Complexity of the Russian Cards Problem
Canonical calculi with (n,k)-ary quantifiers
Relational Parametricity and Separation Logic
Model Checking One-clock Priced Timed Automata
Pattern-based Model-to-Model Transformation: Long Version
Shallow Models for Non-Iterative Modal Logics
Reasoning in Abella about Structural Operational Semantics Specifications
The Geometry of Interaction of Differential Interaction Nets
A Logic Programming Framework for Combinational Circuit Synthesis
Data linkage algebra, data linkage dynamics, and priority rewriting
Causal models have no complete axiomatic characterization
Semi-continuous Sized Types and Termination
Experiments in Model-Checking Optimistic Replication Algorithms
On the Expressiveness and Complexity of ATL
Wadge Degrees of Infinitary Rational Relations
Binary Decision Diagrams for Affine Approximation
Logic Learning in Hopfield Networks
On the Expressive Power of Multiple Heads in CHR
From formal proofs to mathematical proofs: a safe, incremental way for building in first-order decision procedures
Mechanizing the Metatheory of LF
Generalized Modal Satisfiability
