Christel Baier
Informatikerin,
Mathematikerin
Hat mitgewirkt an:
-
Static Partial Order Reduction for Probabilistic Concurrent Systems
-
Compositional Synthesis and Most General Controllers
-
Verification of Branching-Time and Alternating-Time Properties for Exogenous Coordination Models
-
Theoretische Informatik : eine Einführung in Berechenbarkeit, Komplexität und formale Sprachen mit 101 Beispielen