| Publication | Date of Publication | Type |
|---|
Quadratic tensors as a unification of Clifford, Gaussian, and free-fermion physics
(available as arXiv preprint) | 2026-01-01 | Paper |
Bulk-to-boundary anyon fusion from microscopic models
Journal of Mathematical Physics | 2023-12-11 | Paper |
| Disentangling modular Walker-Wang models via fermionic invertible boundaries | 2022-08-05 | Paper |
| Tensor types and their use in physics | 2022-08-01 | Paper |
Tensor types and their use in physics
(available as arXiv preprint) | 2022-01-01 | Paper |
Disentangling modular Walker-Wang models via fermionic invertible boundaries
(available as arXiv preprint) | 2022-01-01 | Paper |
| Towards topological fixed-point models beyond gappable boundaries | 2021-11-29 | Paper |
Towards topological fixed-point models beyond gappable boundaries
(available as arXiv preprint) | 2021-01-01 | Paper |
| A unified diagrammatic approach to topological fixed point models | 2020-11-24 | Paper |
A unified diagrammatic approach to topological fixed point models
(available as arXiv preprint) | 2020-01-01 | Paper |
| Generalized topological state-sum constructions and their universality | 2019-09-06 | Paper |
| Towards a mathematical formalism for classifying phases of matter | 2019-03-13 | Paper |
Towards a mathematical formalism for classifying phases of matter
(available as arXiv preprint) | 2019-01-01 | Paper |
Generalized topological state-sum constructions and their universality
(available as arXiv preprint) | 2019-01-01 | Paper |
Decentralised LTL monitoring
Formal Methods in System Design | 2016-11-30 | Paper |
The ins and outs of first-order runtime verification
Formal Methods in System Design | 2015-10-30 | Paper |
Tableaux for verification of data-centric processes
Lecture Notes in Computer Science | 2013-10-04 | Paper |
Decentralised LTL monitoring
Lecture Notes in Computer Science | 2012-11-08 | Paper |
| LTL goal specifications revisited | 2011-05-11 | Paper |
Comparing LTL semantics for runtime verification
Journal Of Logic And Computation | 2010-06-17 | Paper |
Prognosis of \(\omega\)-languages for the diagnosis of *-languages: a topological perspective
Discrete Event Dynamic Systems | 2010-01-18 | Paper |
Runtime verification using a temporal description logic
Frontiers of Combining Systems | 2010-01-07 | Paper |
A First-Order Policy Language for History-Based Transaction Monitoring
Theoretical Aspects of Computing - ICTAC 2009 | 2009-08-20 | Paper |
Matching Trace Patterns with Regular Policies
Language and Automata Theory and Applications | 2009-04-02 | Paper |
Monitoring of Real-Time Properties
FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science | 2008-04-17 | Paper |
Simplifying Diagnosis Using LSAT: A Propositional Approach to Reasoning from First Principles
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems | 2008-03-17 | Paper |
| scientific article; zbMATH DE number 2176508 (Why is no real title available?) | 2005-06-17 | Paper |
| Identifying security holes in OLAP applications | 2002-01-24 | Paper |
Minimizing total tardiness on a single machine using ant colony optimization
CEJOR. Central European Journal of Operations Research | 2001-12-05 | Paper |
Competitive location on a network
European Journal of Operational Research | 1993-08-25 | Paper |
