Electronic Proceedings in Theoretical Computer Science

Title Publication Date Language Citations
How to Compute Using Quantum Walks2020/04/03English1
Modeling the Raft Distributed Consensus Protocol in LNT2020/04/26English1
Generating Randomness from a Computable, Non-random Sequence of Qubits2020/05/01English1
Why FHilb is Not an Interesting (Co)Differential Category2020/05/01English1
Effects Without Monads: Non-determinism – Back to the Meta Language2019/05/16English1
Ultimate TreeAutomizer (CHC-COMP Tool Description)2019/07/09English1
Finitely Supported Sets Containing Infinite Uniformly Supported Subsets2019/09/02English1
Probabilities in Session Types2019/09/02English1
Cartesian product of hypergraphs: properties and algorithms2009/09/30English1
Integrating Testing and Interactive Theorem Proving2011/10/20English1
Toward the Verification of a Simple Hypervisor2011/10/20English1
Declarative Event-Based Workflow as Distributed Dynamic Condition Response Graphs2011/10/18English1
Relaxed Operational Semantics of Concurrent Programming Languages2012/08/12English1
The Expectation Monad in Quantum Foundations2012/10/01English1
Software model refactoring based on performance analysis: better working on software or performance side?2013/02/20English1
Encoding CSP into CCS2015/08/26English1
A Study of Entanglement in a Categorical Framework of Natural Language2014/12/28English1
The ZX-calculus is complete for the single-qubit Clifford+T group2014/12/28English1
Depicting qudit quantum mechanics and mutually unbiased qudit theories2014/12/28English1
Stochastic Relational Presheaves and Dynamic Logic for Contextuality2014/12/28English1
Dilation of states and processes in operational-probabilistic theories2014/12/28English1
The ZX-calculus is incomplete for quantum mechanics2014/12/28English1
Report on a User Test and Extension of a Type Debugger for Novice Programmers2014/12/12English1
Polymonadic Programming2014/06/05English1
Analyzing Catastrophic Backtracking Behavior in Practical Regular Expression Matching2014/05/21English1
Efficient Decomposition of Bimatrix Games (Extended Abstract)2014/04/01English1
Teaching Functional Programmers Logic and Metatheory2022/07/26English1
Generating Safe Autonomous Decision-Making in ROS2022/09/27English1
Operadic Modeling of Dynamical Systems: Mathematics and Computation2022/11/03English1
Towards Foundations of Categorical Cybernetics2022/11/03English1