Electronic Proceedings in Theoretical Computer Science

Title Publication Date Language Citations
Four Geometry Problems to Introduce Automated Deduction in Secondary Schools2022/02/08English2
Causality and the Semantics of Provenance2010/06/09English2
Moving fast with software verification2015/08/14English2
A Formal Model For Real-Time Parallel Computation2012/12/29English2
Making the stabilizer ZX-calculus complete for scalars2015/11/04English2
Quantum Algorithms for Compositional Natural Language Processing2016/08/02English2
Categorical Probabilistic Theories2018/02/27English2
A Shortcut from Categorical Quantum Theory to Convex Operational Theories2018/02/27English2
A Finite Presentation of CNOT-Dihedral Operators2018/02/27English2
The Category CNOT2018/02/27English2
QWIRE Practice: Formal Verification of Quantum Circuits in Coq2018/02/27English2
On Stochastic Rewriting and Combinatorics via Rule-Algebraic Methods2021/02/08English2
Synthesizing Strategies for Needle Steering in Gelatin Phantoms2020/04/26English2
A Hybrid Quantum-Classical Paradigm to Mitigate Embedding Costs in Quantum Annealing—Abridged Version2018/07/02English1
One-Sided Device-Independent Certification of Unbounded Random Numbers2018/07/02English1
Real Vector Spaces and the Cauchy-Schwarz Inequality in ACL2(r)2018/10/29English1
Smtlink 2.02018/10/29English1
Divide and Conquer: Variable Set Separation in Hybrid Systems Reachability Analysis2017/07/12English1
Exchange of Geometric Information Between Applications2018/03/02English1
Verification of Shared-Reading Synchronisers2018/06/25English1
A Compositional Approach for Schedulability Analysis of Distributed Avionics Systems2018/06/25English1
Natural Deduction and the Isabelle Proof Assistant2018/03/02English1
Learning how to Prove: From the Coq Proof Assistant to Textbook Style2018/03/02English1
Introducing Liveness into Multi-lane Spatial Logic lane change controllers using UPPAAL2018/04/10English1
Almost Equivalent Paradigms of Contextuality2018/02/27English1
Information Theoretically Secure Hypothesis Test for Temporally Unstructured Quantum Computation (Extended Abstract)2018/02/27English1
Space in Monoidal Categories2018/02/27English1
Bounded-oscillation Pushdown Automata2016/09/13English1
Relating Knowledge and Coordinated Action: The Knowledge of Preconditions Principle2016/06/23English1
Interacting Conceptual Spaces2016/08/02English1