Cs-Lo
From Causal Semantics To Duration Timed Models
A constructive version of Birkhoffs ergodic theorem for Martin-L"of random points
A Metric Encoding for Bounded Model Checking (extended version)
On the Hybrid Extension of CTL and CTL+
Efficient Description Logic Reasoning in Prolog: The DLog system
Kripke Models for Classical Logic
A Generic Framework for Reasoning about Dynamic Networks of Infinite-State Processes
An Algebraic Dexter-Based Hypertext Reference Model
Bifinite Chu Spaces
The Surprise Examination Paradox and the Second Incompleteness Theorem
Resumptions, Weak Bisimilarity and Big-Step Semantics for While with Interactive I/O: An Exercise in Mixed Induction-Coinduction
The Category Theoretic Solution of Recursive Program Schemes
SAT-Based Complete Dont-Care Computation for Network Optimization
Nowhere dense graph classes, stability, and the independence property
Redundancy, Deduction Schemes, and Minimum-Size Bases for Association Rules
Query strategy for sequential ontology debugging
Industrial-Strength Formally Certified SAT Solving
The Complexity of Nash Equilibria in Simple Stochastic Multiplayer Games
Termination Criteria for Solving Concurrent Safety and Reachability Games
A view of canonical extension
Characterizations of Stable Model Semantics for Logic Programs with Arbitrary Constraint Atoms
Normalization of IZF with Replacement
