The following pages link to Andreas Bauer (Q216969):
Displaying 18 items.
- Decentralised LTL monitoring (Q346789) (← links)
- Prognosis of \(\omega\)-languages for the diagnosis of *-languages: a topological perspective (Q843994) (← links)
- The ins and outs of first-order runtime verification (Q888417) (← links)
- Competitive location on a network (Q2367390) (← links)
- Identifying security holes in OLAP applications (Q2765479) (← links)
- Tableaux for Verification of Data-Centric Processes (Q2851931) (← links)
- LTL Goal Specifications Revisited (Q2999221) (← links)
- A First-Order Policy Language for History-Based Transaction Monitoring (Q3393401) (← links)
- Comparing LTL Semantics for Runtime Verification (Q3569195) (← links)
- Matching Trace Patterns with Regular Policies (Q3618572) (← links)
- Runtime Verification Using a Temporal Description Logic (Q3655197) (← links)
- (Q4679544) (← links)
- Monitoring of Real-Time Properties (Q5385991) (← links)
- Simplifying Diagnosis Using LSAT: A Propositional Approach to Reasoning from First Principles (Q5450921) (← links)
- Minimizing total tardiness on a single machine using ant colony optimization (Q5949873) (← links)
- A unified diagrammatic approach to topological fixed point models (Q6354436) (← links)
- Towards topological fixed-point models beyond gappable boundaries (Q6384287) (← links)
- Disentangling modular Walker-Wang models via fermionic invertible boundaries (Q6407124) (← links)