Christel Baier

Computational Theory and Mathematics · 2002–2012

A researcher in the Science corpus: 5 papers; trusts 23 researchers and is trusted by 15 researchers here, as inferred from the citation graph.

Subfields

Whom Christel Baier trusts overall

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

  1. Kim Guldstrand Larsen
  2. Gerard J. Holzmann
  3. Alexander Schrijver
  4. T. Lindvall
  5. Edmund M. Clarke
  6. A. Cimatti
  7. Thomas Ball
  8. Marta Z. Kwiatkowska
  9. Martin L. Puterman
  10. John E. Hopcroft

Who trusts Christel Baier overall

  1. Alexandre Mouradian
  2. Marta Z. Kwiatkowska
  3. Nguyen Quang Uy
  4. Pashootan Vaezipoor
  5. Himanshu Sahni
  6. Joost-Pieter Katoen
  7. Michael L. Littman
  8. Yuqian Jiang
  9. Matthias Althoff
  10. Ufuk Topcu

Papers from Christel Baier's perspective

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

  1. Bisimulation through Probabilistic Testing
  2. Introduction to Automata Theory, Languages and Computation
  3. Model-checking continuous-time Markov chains (ACM Transactions on Computational Logic)
  4. Design and Synthesis of Synchronization Skeletons Using Branching Time Temporal Logic (25 Years of Model Checking)
  5. Dynamic Programming and Markov Processes
  6. Markov Decision Processes: Discrete Stochastic Dynamic Programming
  7. NUSMV: a new symbolic model checker (International Journal on Software Tools for Technology Transfer (STTT))
  8. Dynamic Programming: Deterministic and Stochastic Models
  9. Probabilistic Verification of Discrete Event Systems Using Acceptance Sampling (International Conference on Computer Aided Verification)
  10. Model-Checking Algorithms for Continuous-Time Markov Chains (IEEE Trans. Software Eng.)

Their papers