Cs-Lo
Detecting Spurious Counterexamples Efficiently in Abstract Model Checking
On the confluence of lambda-calculus with conditional rewriting
Generalized Post Embedding Problems
The Information Flow Framework: New architecture
Introducing LoCo, a Logic for Configuration Problems
Side Effects in Steering Fragments
Structural focalization
A KIF Formalization for the IFF Category Theory Ontology
Handling Conflicts in Depth-First Search for LTL Tableau to Debug Compliance Based Languages
Timed Automata Semantics for Visual e-Contracts
Note on a simple type system for non-interference
The Standard Aspect of Dialectical Logic
Power of Randomization in Automata on Infinite Strings
Multiple verification in computational modeling of bone pathologies
Optimal Placement of Valves in a Water Distribution Network with CLP(FD)
(Re)configuration based on model generation
Common Knowledge in Email Exchanges
Dependence logic with a majority quantifier
Lifted Unit Propagation for Effective Grounding
Kripke Semantics for Martin-L"ofs Extensional Type Theory
Distributed System Contract Monitoring
Static Dependency Pair Method based on Strong Computability for Higher-Order Rewrite Systems
