Andreas Bauer

Available identifiers

zbMath Open bauer.andreasMaRDI QIDQ216969

List of research outcomes

Publication	Date of Publication	Type
Bulk-to-boundary anyon fusion from microscopic models	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	2016-11-30	Paper
The ins and outs of first-order runtime verification	2015-10-30	Paper
Tableaux for Verification of Data-Centric Processes	2013-10-04	Paper
Decentralised LTL monitoring	2012-11-08	Paper
LTL Goal Specifications Revisited	2011-05-11	Paper
Comparing LTL Semantics for Runtime Verification	2010-06-17	Paper
Prognosis of \(\omega\)-languages for the diagnosis of *-languages: a topological perspective	2010-01-18	Paper
Runtime Verification Using a Temporal Description Logic	2010-01-07	Paper
A First-Order Policy Language for History-Based Transaction Monitoring	2009-08-20	Paper
Matching Trace Patterns with Regular Policies	2009-04-02	Paper
Monitoring of Real-Time Properties	2008-04-17	Paper
Simplifying Diagnosis Using LSAT: A Propositional Approach to Reasoning from First Principles	2008-03-17	Paper
https://portal.mardi4nfdi.de/entity/Q4679544	2005-06-17	Paper
https://portal.mardi4nfdi.de/entity/Q2765479	2002-01-24	Paper
Minimizing total tardiness on a single machine using ant colony optimization	2001-12-05	Paper
Competitive location on a network	1993-08-25	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Andreas Bauer