Cs-Lo
Bisimilarity of Probabilistic Pushdown Automata
Minimization of semilinear automata
Nexus Authorization Logic (NAL): Logical Results
Automated Verification of Quantum Protocols using MCMAS
Towards Interactive Logic Programming
Refining Inductive Types
Proof Hints for Event-B
Formal Design and Verification of N-M Switching Control System
Terminating Calculi for Propositional Dummett Logic with Subformula Property
PAGAI: a path sensitive static analyzer
Towards an Intelligent Tutor for Mathematical Proofs
Revisiting Timed Specification Theories: A Linear-Time Perspective
Non-null Infinitesimal Micro-steps: a Metric Temporal Logic Approach
Asynchronous Multi-Tape Automata Intersection: Undecidability and Approximation
On the complexity of the model checking problem
Learning Onto-Relational Rules with Inductive Logic Programming
Homotopy type theory and Voevodskys univalent foundations
Machine Learning in Proof General: Interfacing Interfaces
Dialetheism, Game Theoretic Semantics, and Paraconsistent Team Semantics
Epistemic Temporal Logic for Information Flow Security
Concrete Semantics of Programs with Non-Deterministic and Random Inputs
Continuous Markovian Logics - Axiomatization and Quantified Metatheory
