Christel Baier

	2012
123		Paolo Zuliani, Christel Baier, Edmund M. Clarke: Rare-event verification for stochastic hybrid systems. HSCC 2012: 217-226
122		Clemens Dubslaff, Christel Baier, Manuela Berg: Model checking probabilistic systems against pushdown specifications. Inf. Process. Lett. 112(8-9): 320-328 (2012)
121		Christel Baier, Marcus Größer, Nathalie Bertrand: Probabilistic ω-automata. J. ACM 59(1): 1 (2012)
	2011
120		Christel Baier, Joachim Klein, Sascha Klüppelholz: A Compositional Framework for Controller Synthesis. CONCUR 2011: 512-527
119		Joachim Klein, Sascha Klüppelholz, Andries Stam, Christel Baier: Hierarchical Modeling and Formal Verification. An Industrial Case Study Using Reo and Vereofy. FMICS 2011: 228-243
118		Christel Baier, Joachim Klein, Sascha Klüppelholz: Modeling and Verification of Components and Connectors. SFM 2011: 114-147
117		Sun Meng, Farhad Arbab, Christel Baier: Synthesis of Reo circuits from scenario-based interaction specifications. Sci. Comput. Program. 76(8): 651-680 (2011)
	2010
116		Christel Baier: On Model Checking Techniques for Randomized Distributed Systems. IFM 2010: 1-11
115		Christel Baier, Tobias Blechmann, Joachim Klein, Sascha Klüppelholz, Wolfgang Leister: Design and Verification of Systems with Exogenous Coordination Using Vereofy. ISoLA (2) 2010: 97-111
114		Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen: Performance evaluation and model checking join forces. Commun. ACM 53(9): 76-85 (2010)
113		Immo Grabe, Mohammad Mahdi Jaghoori, Bernhard K. Aichernig, Christel Baier, Tobias Blechmann, Frank S. de Boer, Andreas Griesmayer, Einar Broch Johnsen, Joachim Klein, Sascha Klüppelholz, Marcel Kyas, Wolfgang Leister, Rudolf Schlatte, Andries Stam, Martin Steffen, Simon Tschirner, Liang Xuedong, Wang Yi: Credo Methodology: Modeling and Analyzing A Peer-to-Peer System in Credo. Electr. Notes Theor. Comput. Sci. 266: 33-48 (2010)
112		Christel Baier, Lucia Cloth, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen: Performability assessment by model checking of Markov reward models. Formal Methods in System Design 36(1): 1-36 (2010)
111		Kai Lampka, Markus Siegle, Jörn Ossowski, Christel Baier: Partially-shared zero-suppressed multi-terminal BDDs: concept, algorithms and applications. Formal Methods in System Design 36(3): 198-222 (2010)
110		Sascha Klüppelholz, Christel Baier: Alternating-time stream logic for multi-agent systems. Sci. Comput. Program. 75(6): 398-425 (2010)
	2009
109		Christel Baier, Marcus Größer, Frank Ciesinski: Quantitative Analysis under Fairness Constraints. ATVA 2009: 135-150
108		Christel Baier, Nathalie Bertrand, Marcus Größer: The Effect of Tossing Coins in Omega-Automata. CONCUR 2009: 15-29
107		Christel Baier, Tobias Blechmann, Joachim Klein, Sascha Klüppelholz: A Uniform Framework for Modeling and Verifying Components and Connectors. COORDINATION 2009: 247-267
106		Christel Baier, Nathalie Bertrand, Marcus Größer: Probabilistic Automata over Infinite Words: Expressiveness, Efficiency, and Decidability DCFS 2009: 3-16
105		Immo Grabe, Mohammad Mahdi Jaghoori, Joachim Klein, Sascha Klüppelholz, Andries Stam, Christel Baier, Tobias Blechmann, Bernhard K. Aichernig, Frank S. de Boer, Andreas Griesmayer: The Credo Methodology - (Extended Version). FMCO 2009: 41-69
104		Mathieu Tracol, Christel Baier, Marcus Größer: Recurrence and Transience for Probabilistic Automata. FSTTCS 2009: 395-406
103		Christel Baier, Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye: When Are Timed Automata Determinizable? ICALP (2) 2009: 43-54
102		Christel Baier, Nathalie Bertrand, Marcus Größer: Probabilistic Acceptors for Languages over Infinite Words. SOFSEM 2009: 19-33
101		Farhad Arbab, Sun Meng, Christel Baier: Synthesis of Reo Circuits from Scenario-based Specifications. Electr. Notes Theor. Comput. Sci. 229(2): 21-41 (2009)
100		Christel Baier, Alessandra Di Pierro: Preface. Electr. Notes Theor. Comput. Sci. 253(3): 1-2 (2009)
99		Sascha Klüppelholz, Christel Baier: Symbolic model checking for channel-based component connectors. Sci. Comput. Program. 74(9): 688-701 (2009)
	2008
98		Christel Baier, Joost-Pieter Katoen: Principles of model checking. MIT Press 2008: I-XVII, 1-975
97		Sascha Klüppelholz, Christel Baier: Alternating-Time Stream Logic for Multi-agent Systems. COORDINATION 2008: 184-198
96		Christel Baier, Tobias Blechmann, Joachim Klein, Sascha Klüppelholz: Formal Verification for Components and Connectors. FMCO 2008: 82-101
95		Christel Baier, Nathalie Bertrand, Marcus Größer: On Decision Problems for Probabilistic Büchi Automata. FoSSaCS 2008: 287-301
94		Christel Baier, Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Marcus Größer: Almost-Sure Model Checking of Infinite Paths in One-Clock Timed Automata. LICS 2008: 217-226
93		Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen: Reachability in continuous-time Markov reward decision processes. Logic and Automata 2008: 53-72
92		Frank Ciesinski, Christel Baier, Marcus Größer, Joachim Klein: Reduction Techniques for Model Checking Markov Decision Processes. QEST 2008: 45-54
91		Frank Ciesinski, Christel Baier, Marcus Größer, David Parker: Generating Compact MTBDD-Representations from ProbmelaSpecifications. SPIN 2008: 60-76
90		Tobias Blechmann, Christel Baier: Checking Equivalence for Reo Networks. Electr. Notes Theor. Comput. Sci. 215: 209-226 (2008)
89		Alessandro Aldini, Christel Baier: Preface. Electr. Notes Theor. Comput. Sci. 220(3): 1-3 (2008)
88		Christel Baier, Holger Hermanns: Special issue: CONCUR 2006. Inf. Comput. 206(5): 491 (2008)
87		Jörn Ossowski, Christel Baier: A uniform framework for weighted decision diagrams and its implementation. STTT 10(5): 425-441 (2008)
	2007
86		Farhad Arbab, Christel Baier: Proceedings of the International Workshop on Synthesis and Analysis of Component Connectors: in conjunction with the 6th ESEC/FSE joint meeting, SYANCO 2007, Dubrovnik, Croatia, September 3-4, 2007 ACM 2007
85		Joachim Klein, Christel Baier: On-the-Fly Stuttering in the Construction of Deterministic omega -Automata. CIAA 2007: 51-61
84		Farhad Arbab, Christel Baier: Syanco 2007: international workshop on synthesis and analysis of component connectors. ESEC/SIGSOFT FSE 2007: 607-608
83		Farhad Arbab, Christel Baier: SYANCO 2007: international workshop on synthesis and analysis of component connectors. ESEC/SIGSOFT FSE (Companion) 2007: 607-608
82		Christel Baier, Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Marcus Größer: Probabilistic and Topological Semantics for Timed Automata. FSTTCS 2007: 179-191
81		Christel Baier, Tomás Brázdil, Marcus Größer, Antonín Kucera: Stochastic Game Logic. QEST 2007: 227-236
80		Christel Baier, Nathalie Bertrand, Ph. Schnoebelen: Verifying nondeterministic probabilistic channel systems against ω-regular linear-time properties. ACM Trans. Comput. Log. 9(1): (2007)
79		Sascha Klüppelholz, Christel Baier: Symbolic Model Checking for Channel-based Component Connectors. Electr. Notes Theor. Comput. Sci. 175(2): 19-37 (2007)
78		Christel Baier, Lucia Cloth, Boudewijn R. Haverkort, Matthias Kuntz, Markus Siegle: Model Checking Markov Chains with Actions and State Labels. IEEE Trans. Software Eng. 33(4): 209-224 (2007)
77		Farhad Arbab, Christel Baier, Frank S. de Boer, Jan J. M. M. Rutten: Models and temporal logical specifications for timed component connectors. Software and System Modeling 6(1): 59-82 (2007)
	2006
76		Christel Baier, Holger Hermanns: CONCUR 2006 - Concurrency Theory, 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006, Proceedings Springer 2006
75		Christel Baier, Verena Wolf: Stochastic Reasoning About Channel-Based Component Connectors. COORDINATION 2006: 1-15
74		Marjan Sirjani, Mohammad Mahdi Jaghoori, Christel Baier, Farhad Arbab: Compositional Semantics of an Actor-Based Language Using Constraint Automata. COORDINATION 2006: 281-297
73		Christel Baier, Nathalie Bertrand, Ph. Schnoebelen: Symbolic Verification of Communicating Systems with Probabilistic Message Losses: Liveness and Fairness. FORTE 2006: 212-227
72		Marcus Größer, Gethin Norman, Christel Baier, Frank Ciesinski, Marta Z. Kwiatkowska, David Parker: On Reduction Criteria for Probabilistic Reward Models. FSTTCS 2006: 309-320
71		Christel Baier, Nathalie Bertrand, Ph. Schnoebelen: On Computing Fixpoints in Well-Structured Regular Model Checking, with Applications to Lossy Channel Systems. LPAR 2006: 347-361
70		Frank Ciesinski, Christel Baier: LiQuor: A tool for Qualitative and Quantitative Linear Time analysis of Reactive Systems. QEST 2006: 131-132
69		Christel Baier, Nathalie Bertrand, Ph. Schnoebelen: On computing fixpoints in well-structured regular model checking, with applications to lossy channel systems CoRR abs/cs/0606091: (2006)
68		Jörn Ossowski, Christel Baier: Symbolic Reasoning with Weighted and Normalized Decision Diagrams. Electr. Notes Theor. Comput. Sci. 151(1): 39-56 (2006)
67		Verena Wolf, Christel Baier, Mila E. Majster-Cederbaum: Trace Machines for Observing Continuous-Time Markov Chains. Electr. Notes Theor. Comput. Sci. 153(2): 259-277 (2006)
66		Christel Baier, Pedro R. D'Argenio, Marcus Größer: Partial Order Reduction for Probabilistic Branching Time. Electr. Notes Theor. Comput. Sci. 153(2): 97-116 (2006)
65		Christel Baier, Holger Hermanns, Joost-Pieter Katoen, Verena Wolf: Bisimulation and Simulation Relations for Markov Chains. Electr. Notes Theor. Comput. Sci. 162: 73-78 (2006)
64		Verena Wolf, Christel Baier, Mila E. Majster-Cederbaum: Trace Semantics for Stochastic Systems with Nondeterminism. Electr. Notes Theor. Comput. Sci. 164(3): 187-204 (2006)
63		Christel Baier, Nathalie Bertrand, Ph. Schnoebelen: A note on the attractor-property of infinite-state Markov chains. Inf. Process. Lett. 97(2): 58-63 (2006)
62		Christel Baier, Marjan Sirjani, Farhad Arbab, Jan J. M. M. Rutten: Modeling component connectors in Reo by constraint automata. Sci. Comput. Program. 61(2): 75-113 (2006)
61		Joachim Klein, Christel Baier: Experiments with deterministic omega-automata for formulas of linear temporal logic. Theor. Comput. Sci. 363(2): 182-195 (2006)
	2005
60		Joachim Klein, Christel Baier: Experiments with Deterministic omega-Automata for Formulas of Linear Temporal Logic. CIAA 2005: 199-212
59		Farhad Arbab, Christel Baier, Frank S. de Boer, Jan J. M. M. Rutten, Marjan Sirjani: Synthesis of Reo Circuits for Implementation of Component-Connector Automata Specifications. COORDINATION 2005: 236-251
58		Marcus Größer, Christel Baier: Partial Order Reduction for Markov Decision Processes: A Survey. FMCO 2005: 408-427
57		Wolfgang Lenders, Christel Baier: Genetic Algorithms for the Variable Ordering Problem of Binary Decision Diagrams. FOGA 2005: 1-20
56		Christel Baier, Marcus Größer: Recognizing omega-regular Languages with Probabilistic Automata. LICS 2005: 137-146
55		Christel Baier, Nathalie Bertrand, Ph. Schnoebelen: Verifying nondeterministic probabilistic channel systems against $\omega$-regular linear-time properties CoRR abs/cs/0511023: (2005)
54		Parosh Aziz Abdulla, Christel Baier, S. Purushothaman Iyer, Bengt Jonsson: Simulating perfect channels with probabilistic lossy channels. Inf. Comput. 197(1-2): 22-40 (2005)
53		Christel Baier, Joost-Pieter Katoen, Holger Hermanns, Verena Wolf: Comparative branching-time semantics for Markov chains. Inf. Comput. 200(2): 149-214 (2005)
52		Christel Baier: Probabilistic Models for Reo Connector Circuits. J. UCS 11(10): 1718-1748 (2005)
51		Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen: Model checking meets performance evaluation. SIGMETRICS Performance Evaluation Review 32(4): 10-15 (2005)
50		Christel Baier, Frank Ciesinski, Marcus Größer: ProbMela and verification of Markov decision processes. SIGMETRICS Performance Evaluation Review 32(4): 22-27 (2005)
49		Christel Baier, Holger Hermanns, Joost-Pieter Katoen, Boudewijn R. Haverkort: Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes. Theor. Comput. Sci. 345(1): 2-26 (2005)
	2004
48		Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle: Validation of Stochastic Systems - A Guide to Current Research Springer 2004
47		Christel Baier, Lucia Cloth, Boudewijn R. Haverkort, Matthias Kuntz, Markus Siegle: Model Checking Action- and State-Labelled Markov Chains. DSN 2004: 701-710
46		Christel Baier, Marcus Größer, Martin Leucker, Benedikt Bollig, Frank Ciesinski: Controller Synthesis for Probabilistic Systems. IFIP TCS 2004: 493-506
45		Christel Baier, Frank Ciesinski, Marcus Größer: PROBMELA: a modeling language for communicating probabilistic processes. MEMOCODE 2004: 57-66
44		Christel Baier, Marcus Größer, Frank Ciesinski: Partial Order Reduction for Probabilistic Systems. QEST 2004: 230-239
43		Farhad Arbab, Christel Baier, Frank S. de Boer, Jan J. M. M. Rutten: Models and Temporal Logics for Timed Component Connectors. SEFM 2004: 198-207
42		Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen: Efficient Computation of Time-Bounded Reachability Probabilities in Uniform Continuous-Time Markov Decision Processes. TACAS 2004: 61-76
41		Farhad Arbab, Christel Baier, Jan J. M. M. Rutten, Marjan Sirjani: Modeling Component Connectors in Reo by Constraint Automata: (Extended Abstract). Electr. Notes Theor. Comput. Sci. 97: 25-46 (2004)
40		Christel Baier, Holger Hermanns, Joost-Pieter Katoen: Probabilistic weak simulation is decidable in polynomial time. Inf. Process. Lett. 89(3): 123-130 (2004)
	2003
39		Christel Baier, Holger Hermanns, Joost-Pieter Katoen, Verena Wolf: Comparative Branching-Time Semantics. CONCUR 2003: 482-497
38		Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen: Model-Checking Algorithms for Continuous-Time Markov Chains. IEEE Trans. Software Eng. 29(6): 524-541 (2003)
	2002
37		Alexander Asteroth, Christel Baier: Theoretische Informatik - eine Einführung in Berechenbarkeit, Komplexität und formale Sprachen mit 101 Beispielen. Pearson Studium 2002: 1-424
36		Christel Baier, Joost-Pieter Katoen, Holger Hermanns, Boudewijn R. Haverkort: Simulation for Continuous-Time Markov Chains. CONCUR 2002: 338-354
35		Boudewijn R. Haverkort, Lucia Cloth, Holger Hermanns, Joost-Pieter Katoen, Christel Baier: Model Checking Performability Properties. DSN 2002: 103-112
34		Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen: Automated Performance and Dependability Evaluation Using Model Checking. Performance 2002: 261-289
	2001
33		Alexander Asteroth, Christel Baier, Ulrich Aßmann: Model Checking with Formula-Dependent Abstract Models. CAV 2001: 155-168
32		Joost-Pieter Katoen, Christel Baier, Diego Latella: Metric semantics for true concurrent real time. Theor. Comput. Sci. 254(1-2): 501-542 (2001)
	2000
31		Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen: Model Checking Continuous-Time Markov Chains by Transient Analysis. CAV 2000: 358-372
30		Parosh Aziz Abdulla, Christel Baier, S. Purushothaman Iyer, Bengt Jonsson: Reasoning about Probabilistic Lossy Channel Systems. CONCUR 2000: 320-333
29		Christel Baier, Mariëlle Stoelinga: Norm Functions for Probabilistic Bisimulations with Delays. FoSSaCS 2000: 1-16
28		Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen: On the Logical Characterisation of Performability Properties. ICALP 2000: 780-792
27		Christel Baier, Marta Z. Kwiatkowska: On Topological Hierarchies of Temporal Properties. Fundam. Inform. 41(3): 259-294 (2000)
26		Christel Baier, Bettina Engelen, Mila E. Majster-Cederbaum: Deciding Bisimilarity and Similarity for Probabilistic Processes. J. Comput. Syst. Sci. 60(1): 187-231 (2000)
25		Christel Baier, Marta Z. Kwiatkowska: Domain equations for probabilistic processes. Mathematical Structures in Computer Science 10(6): 665-717 (2000)
	1999
24		Christel Baier, Bettina Engelen: Establishing Qualitative Properties for Probabilistic Lossy Channel Systems: An Algorithmic Approach. ARTS 1999: 34-52
23		Christel Baier, Joost-Pieter Katoen, Holger Hermanns: Approximate Symbolic Model Checking of Continuous-Time Markov Chains. CONCUR 1999: 146-161
22		Christel Baier, Michael Huth, Marta Z. Kwiatkowska, Mark Ryan: Preface. Electr. Notes Theor. Comput. Sci. 22: 1-2 (1999)
21		Christel Baier, Marta Z. Kwiatkowska, Gethin Norman: Computing Probability Bounds for Linear Time Formulas over Concurrent Probabilistic Systems. Electr. Notes Theor. Comput. Sci. 22: 29 (1999)
20		Christel Baier, Edmund M. Clarke, Vasilili Hartonas-Garmhausen: On the Semantic Foundations of Probabilistic Synchronous Reactive Programs. Electr. Notes Theor. Comput. Sci. 22: 3-28 (1999)
	1998
19		Christel Baier, Joost-Pieter Katoen, Diego Latella: Metric Semantics for True Concurrent Real Time. ICALP 1998: 568-579
18		Christel Baier, Marta Z. Kwiatkowska: Model Checking for a Probabilistic Branching Time Logic with Fairness. Distributed Computing 11(3): 125-155 (1998)
17		Christel Baier, Marta Z. Kwiatkowska: On the Verification of Qualitative Properties of Probabilistic Processes under Fairness Constraints. Inf. Process. Lett. 66(2): 71-79 (1998)
	1997
16		Christel Baier, Holger Hermanns: Weak Bisimulation for Fully Probabilistic Processes. CAV 1997: 119-130
15		Christel Baier, Holger Hermanns: Weak Bisimulation for Fully Probabilistic Processes. FBT 1997: 59-68
14		Christel Baier, Edmund M. Clarke, Vassili Hartonas-Garmhausen, Marta Z. Kwiatkowska, Mark Ryan: Symbolic Model Checking for Probabilistic Processes. ICALP 1997: 430-440
13		Christel Baier, Marta Z. Kwiatkowska: Automatic Verification of Liveness Properties of Randomized Systems. PODC 1997: 295
12		Christel Baier, Mila E. Majster-Cederbaum: Metric Semantics from Partial Order Semantics. Acta Inf. 34(9): 701-735 (1997)
11		Christel Baier, Marta Z. Kwiatkowska: Domain equations for probabilistic processes. Electr. Notes Theor. Comput. Sci. 7: 34-54 (1997)
10		Christel Baier, Mila E. Majster-Cederbaum: The Connection Between Initial and Unique Solutions of Domain Equations in the Partial Order and Metric Approach. Formal Asp. Comput. 9(4): 425-445 (1997)
9		Christel Baier, Mila E. Majster-Cederbaum: How to Interpret and Establish Consistency Results for Semantics of Concurrent Programming Languages. Fundam. Inform. 29(3): 225-256 (1997)
8		Christel Baier: Trees and Semantics. Theor. Comput. Sci. 179(1-2): 217-250 (1997)
	1996
7		Christel Baier, Mila E. Majster-Cederbaum: A Categorical Characterization of Consistency Results. AMAST 1996: 473-486
6		Christel Baier: Polynomial Time Algorithms for Testing Probabilistic Bisimulation and Simulation. CAV 1996: 50-61
5		Christel Baier, Mila E. Majster-Cederbaum: Denotational Linear Time Semantics and Sequential Composition. Inf. Process. Lett. 59(3): 135-143 (1996)
4		Mila E. Majster-Cederbaum, Christel Baier: Metric Completion versus Ideal Completion. Theor. Comput. Sci. 170(1-2): 145-171 (1996)
	1994
3		Christel Baier, Mila E. Majster-Cederbaum: The Connection between an Event Structure Semantics and an Operational Semantics for TCSP. Acta Inf. 31(1): 81-104 (1994)
2		Christel Baier, Mila E. Majster-Cederbaum: Denotational Semantics in the CPO and Metric Approach. Theor. Comput. Sci. 135(2): 171-220 (1994)
	1991
1		Christel Baier, Mila E. Majster-Cederbaum: The Consistency of a Noninterleaving and an Interleaving Model for Full TCSP. FCT 1991: 105-120

Coauthor Index

1	Parosh Aziz Abdulla	[30] [54]
2	Bernhard K. Aichernig	[105] [113]
3	Alessandro Aldini	[89]
4	Farhad Arbab	[41] [43] [59] [62] [74] [77] [83] [84] [86] [101] [117]
5	Ulrich Aßmann	[33]
6	Alexander Asteroth	[33] [37]
7	Manuela Berg	[122]
8	Nathalie Bertrand	[55] [63] [69] [71] [73] [80] [82] [94] [95] [102] [103] [106] [108] [121]
9	Tobias Blechmann	[90] [96] [105] [107] [113] [115]
10	Frank S. de Boer	[43] [59] [77] [105] [113]
11	Benedikt Bollig	[46]
12	Patricia Bouyer (Patricia Bouyer-Decitre)	[82] [94] [103]
13	Tomás Brázdil	[81]
14	Thomas Brihaye	[82] [94] [103]
15	Frank Ciesinski	[44] [45] [46] [50] [70] [72] [91] [92] [109]
16	Edmund M. Clarke	[14] [20] [123]
17	Lucia Cloth	[35] [47] [78] [112]
18	Pedro R. D'Argenio	[66]
19	Clemens Dubslaff	[122]
20	Bettina Engelen	[24] [26]
21	Immo Grabe	[105] [113]
22	Andreas Griesmayer	[105] [113]
23	Marcus Größer	[44] [45] [46] [50] [56] [58] [66] [72] [81] [82] [91] [92] [94] [95] [102] [104] [106] [108] [109] [121]
24	Vasilili Hartonas-Garmhausen	[20]
25	Vassili Hartonas-Garmhausen	[14]
26	Boudewijn R. Haverkort	[28] [31] [34] [35] [36] [38] [42] [47] [48] [49] [51] [78] [93] [112] [114]
27	Holger Hermanns	[15] [16] [23] [28] [31] [34] [35] [36] [38] [39] [40] [42] [48] [49] [51] [53] [65] [76] [88] [93] [112] [114]
28	Michael Huth	[22]
29	S. Purushothaman Iyer (S. Purushothaman)	[30] [54]
30	Mohammad Mahdi Jaghoori	[74] [105] [113]
31	Einar Broch Johnsen	[113]
32	Bengt Jonsson	[30] [54]
33	Joost-Pieter Katoen	[19] [23] [28] [31] [32] [34] [35] [36] [38] [39] [40] [42] [48] [49] [51] [53] [65] [93] [98] [112] [114]
34	Joachim Klein	[60] [61] [85] [92] [96] [105] [107] [113] [115] [118] [119] [120]
35	Sascha Klüppelholz	[79] [96] [97] [99] [105] [107] [110] [113] [115] [118] [119] [120]
36	Antonín Kucera	[81]
37	Matthias Kuntz	[47] [78]
38	Marta Z. Kwiatkowska	[11] [13] [14] [17] [18] [21] [22] [25] [27] [72]
39	Marcel Kyas	[113]
40	Kai Lampka	[111]
41	Diego Latella	[19] [32]
42	Wolfgang Leister	[113] [115]
43	Wolfgang Lenders	[57]
44	Martin Leucker	[46]
45	Mila E. Majster-Cederbaum	[1] [2] [3] [4] [5] [7] [9] [10] [12] [26] [64] [67]
46	Sun Meng	[101] [117]
47	Gethin Norman	[21] [72]
48	Jörn Ossowski	[68] [87] [111]
49	David Parker	[72] [91]
50	Alessandra Di Pierro	[100]
51	Jan J. M. M. Rutten	[41] [43] [59] [62] [77]
52	Mark Ryan (Mark Dermot Ryan)	[14] [22]
53	Rudolf Schlatte	[113]
54	Ph. Schnoebelen (Philippe Schnoebelen)	[55] [63] [69] [71] [73] [80]
55	Markus Siegle	[47] [48] [78] [111]
56	Marjan Sirjani	[41] [59] [62] [74]
57	Andries Stam	[105] [113] [119]
58	Martin Steffen	[113]
59	Mariëlle Stoelinga	[29]
60	Mathieu Tracol	[104]
61	Simon Tschirner	[113]
62	Verena Wolf	[39] [53] [64] [65] [67] [75]
63	Liang Xuedong	[113]
64	Wang Yi	[113]
65	Paolo Zuliani	[123]

Colors in the list of coauthors

Last update Sat May 26 04:23:17 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page