Andreas Bauer

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
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
Towards topological fixed-point models beyond gappable boundaries	2021-11-29	Paper
A unified diagrammatic approach to topological fixed point models	2020-11-24	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
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

Research outcomes over time

This page was built for person: Andreas Bauer