Cs-Lo
A Framework for Specifying, Prototyping, and Reasoning about Computational Systems
A parameterization process as a categorical construction
Algebraic Ordinals
Heuristics in Conflict Resolution
Size-Change Termination, Monotonicity Constraints and Ranking Functions
Tuplix Calculus
Rewrite based Verification of XML Updates
Proviola: A Tool for Proof Re-animation
Modelling Concurrency with Comtraces and Generalized Comtraces
On Brambles, Grid-Like Minors, and Parameterized Intractability of Monadic Second-Order Logic
An Exponential Lower Bound on OBDD Refutations for Pigeonhole Formulas
Two algorithms in search of a type system
A Formal Foundation for XrML
The Complexity of Enriched Mu-Calculi
On combinations of local theory extensions
Efficiently Simulating Higher-Order Arithmetic by a First-Order Theory Modulo
Valid formulas, games and network protocols
Design and Implementation of Aggregate Functions in the DLV System
Clones and Genoids in Lambda Calculus and First Order Logic
Two Forms of One Useful Logic: Existential Fixed Point Logic and Liberal Datalog
From Qualitative to Quantitative Proofs of Security Properties Using First-Order Conditional Logic
How to combine diagrammatic logics
