Christel Baier (Technische Universit\"at Dresden)

Identifiers

• name variant Christel Baier (Technische Universit\"at Dresden) 0.60 · backfill

Papers (2)

1. Stochastic Timed Automata cs.LO · 2014 · author #5
2. Probabilistic Automata over Infinite Words: Expressiveness, Efficiency, and Decidability cs.FL · 2009 · author #1

Mentions

• 1410.2128 #5 · backfill · confidence 0.70 Christel Baier (Technische Universit\"at Dresden)
• 0907.4760 #1 · backfill · confidence 0.70 Christel Baier (Technische Universit\"at Dresden)

Frequent Coauthors

• Marcin Jurdzinski (University of Warwick) 1 shared papers
• Marcus Groesser (Technische Universit\"at Dresden) 1 shared papers
• Marcus Gr\"o{\ss}er (Technische Universit\"at Dresden) 1 shared papers
• Nathalie Bertrand (INRIA Rennes) 1 shared papers
• Nathalie Bertrand (INRIA Rennes - Bretagne Atlantique) 1 shared papers
• Patricia Bouyer (LSV & ENS Cachan) 1 shared papers
• Quentin Menet (Universit\'e de Mons) 1 shared papers
• Thomas Brihaye (Universit\'e de Mons) 1 shared papers