Baier, Christel.
Baier, Christel 1965-
Christel Baier deutsche Informatikerin und Hochschullehrerin
Baier, C. (Christel)
VIAF ID: 52611758 ( Personal )
Permalink: http://viaf.org/viaf/52611758
Preferred Forms
-
-
-
- 100 | _ ‡a Baier, Christel
- 100 1 _ ‡a Baier, Christel
- 100 1 _ ‡a Baier, Christel
-
-
-
- 100 1 _ ‡a Baier, Christel
-
- 100 1 _ ‡a Baier, Christel ‡d 1965-
-
- 100 0 _ ‡a Christel Baier ‡c deutsche Informatikerin und Hochschullehrerin
4xx's: Alternate Name Forms (5)
5xx's: Related Names (6)
- 510 2 _ ‡a Centre for Telematics and Information Technology (Enschede)
- 510 2 _ ‡a Rheinische Friedrich-Wilhelms-Universität Bonn ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
- 510 2 _ ‡a Rheinische Friedrich-Wilhelms-Universität Bonn
- 510 2 _ ‡a Technische Universität Dresden ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
- 510 2 _ ‡a Technische Universität Dresden
- 510 2 _ ‡a ebrary, Inc
Works
Title | Sources |
---|---|
Certificates and Witnesses for Probabilistic Model Checking | |
Chiefly Symmetric: Results on the Scalability of Probabilistic Model Checking for Operating-System Code | |
Comparative branching-time semantics for Markov chains | |
Complexité des stratégies des jeux sur graphes à somme nulle. | |
Compositional Synthesis and Most General Controllers | |
CONCUR 2006 : concurrency theory : 17th international conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006 : proceedings | |
COORDINATION 2018 | |
DAIS 2018 | |
Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes | |
Formal Techniques for Distributed Objects, Components, and Systems : 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings | |
FORTE 2018 | |
Model-checking algorithms for continuous-time Markov chains | |
On Non-Classical Stochastic Shortest Path Problems | |
Principles of model checking | |
A Probabilistic Quantitative Analysis of Probabilistic-Write/Copy-Select | |
Le problème de la valeur dans les jeux stochastiques | |
Propriétés structurelles des automates sur les mots infinis et mémoire pour les jeux | |
Quantitative Analysis of Configurable and Reconfigurable Systems | |
SOFSEM 2017: Theory and Practice of Computer Science 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings | |
Strategy complexity of zero-sum games on graphs | |
Structural properties of automata over infinite words and memory for games. | |
Theoretische Informatik eine Einführung in Berechenbarkeit, Komplexität und formale Sprachen mit 101 Beispielen | |
Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings | |
Validation of Stochastic Systems A Guide to Current Research | |
Vérification des automates temporisés et stochastiques. | |
Verification of Branching-Time and Alternating-Time Properties for Exogenous Coordination Models | |
Volumétrie des langages temporisés et applications. | |
Waiting for Locks: How Long Does It Usually Take? | |
Weak bisimulation for fully probabilistic processes |