Cs-Lo
A Framework for Concurrent Imperative Programming
Model-Checking of Linear-Time Properties in Multi-Valued Systems
A call-by-value lambda-calculus with lists and control
Systematic Construction of Temporal Logics for Dynamical Systems via Coalgebra
Refinement and Difference for Probabilistic Automata
Complexity fits the fittest
A Logic of Interactive Proofs (Formal Theory of Knowledge Transfer)
Meditations on Quantified Constraint Satisfaction
Ramified Structural Recursion and Corecursion
Word Automaticity of Tree Automatic Scattered Linear Orderings Is Decidable
Mean-Payoff Pushdown Games
Descriptive complexity for pictures languages (extended abstract)
A Transformation-based Implementation for CLP with Qualification and Proximity
Sciduction: Combining Induction, Deduction, and Structure for Verification and Synthesis
A Synthesis of the Procedural and Declarative Styles of Interactive Theorem Proving
On paths-based criteria for polynomial time complexity in proof-nets
Queue-Dispatch Asynchronous Systems
Termination of Nondeterministic Quantum Programs
An Exercise in Invariant-based Programming with Interactive and Automatic Theorem Prover Support
Weighted Modal Transition Systems
A Formal Model of a Virtual Filesystem Switch
Membrane Systems and Petri Net Synthesis
