Andreas Klaus Bauer

Computational Theory and Mathematics · 2011

A researcher in the Science corpus: 1 paper; trusts 2 researchers and is trusted by 0 researchers here, as inferred from the citation graph.

Subfields

Whom Andreas Klaus Bauer trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

  1. Paul Gastin
  2. Fabio Barbon
  3. Edmund M. Clarke
  4. Ben D'Angelo
  5. Denis Oddoux
  6. Paolo Traverso
  7. Klaus Havelund

Who trusts Andreas Klaus Bauer overall

  1. Martin Leucker

Papers from Andreas Klaus Bauer's perspective

Ordered by how strongly the researchers Andreas Klaus Bauer trusts endorse each paper. Same corpus, a different order for every researcher.

  1. LOLA: runtime monitoring of synchronous systems (Time)
  2. Fast LTL to Büchi Automata Translation (International Conference on Computer Aided Verification)
  3. Model checking (Communications of the ACM)
  4. Run-Time Monitoring of Instances and Classes of Web Service Compositions (2006 IEEE International Conference on Web Services (ICWS'06))
  5. The Temporal Rover and the ATG Rover (SPIN)
  6. Rule-Based Runtime Verification (International Conference on Verification, Model Checking and Abstract Interpretation)
  7. Synthesizing Monitors for Safety Properties (International Conference on Tools and Algorithms for Construction and Analysis of Systems)
  8. Towards Dynamic Monitoring of WS-BPEL Processes (International Conference on Service Oriented Computing)
  9. Optimizing Büchi Automata (International Conference on Concurrency Theory)
  10. Efficient Büchi Automata from LTL Formulae (International Conference on Computer Aided Verification)

Their papers