dblp.uni-trier.dewww.uni-trier.de

Joost-Pieter Katoen Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
117EETaolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre: LTL Model Checking of Time-Inhomogeneous Markov Chains. ATVA 2009: 104-119
116EEMarco Bozzano, Alessandro Cimatti, Marco Roveri, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll: Verification and performance evaluation of aadl models. ESEC/SIGSOFT FSE 2009: 285-286
115EEJoost-Pieter Katoen, Daniel Klink, Martin R. Neuhäußer: Compositional Abstraction for Stochastic Systems. FORMATS 2009: 195-211
114EEMartin R. Neuhäußer, Mariëlle Stoelinga, Joost-Pieter Katoen: Delayed Nondeterminism in Continuous-Time Markov Decision Processes. FOSSACS 2009: 364-379
113EEMarco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri: The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems. SAFECOMP 2009: 173-186
112EETingting Han, Joost-Pieter Katoen, Berteun Damman: Counterexample Generation in Probabilistic Model Checking. IEEE Trans. Software Eng. 35(2): 241-257 (2009)
2008
111EEManuela L. Bujorianu, Joost-Pieter Katoen: Symmetry reduction for stochastic hybrid systems. CDC 2008: 233-238
110EEBenedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker: Smyle: A Tool for Synthesizing Distributed Models from Scenarios by Learning. CONCUR 2008: 162-166
109EEJoost-Pieter Katoen, Daniel Klink, Martin Leucker, Verena Wolf: Abstraction for Stochastic Systems by Erlang's Method of Stages. CONCUR 2008: 279-294
108EEJoost-Pieter Katoen: Quantitative Evaluation in Embedded System Design: Trends in Modeling and Analysis Techniques. DATE 2008: 86-87
107EEJoost-Pieter Katoen, Alexandru Mereacre: Model Checking HML on Piecewise-Constant Inhomogeneous Markov Chains. FORMATS 2008: 203-217
106EETingting Han, Joost-Pieter Katoen, Alexandru Mereacre: Compositional Modeling and Minimization of Time-Inhomogeneous Markov Chains. HSCC 2008: 244-258
105EEMani Swaminathan, Martin Fränzle, Joost-Pieter Katoen: The Surprising Robustness of (Closed) Timed Automata against Clock-Drift. IFIP TCS 2008: 537-553
104EEBerteun Damman, Tingting Han, Joost-Pieter Katoen: Regular Expressions for PCTL Counterexamples. QEST 2008: 179-188
103EETaolue Chen, Tingting Han, Joost-Pieter Katoen: Time-Abstracting Bisimulation for Probabilistic Timed Automata. TASE 2008: 177-184
102EEJoost-Pieter Katoen: Perspectives in Probabilistic Verification. TASE 2008: 3-10
2007
101 Boudewijn R. Haverkort, Joost-Pieter Katoen, Lothar Thiele: Quantitative Aspects of Embedded Systems, 04.03. - 09.03.2007 Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007
100EETingting Han, Joost-Pieter Katoen: Providing Evidence of Likely Being on Time: Counterexample Generation for CTMC Model Checking. ATVA 2007: 331-346
99EEJoost-Pieter Katoen, Daniel Klink, Martin Leucker, Verena Wolf: Three-Valued Abstraction for Continuous-Time Markov Chains. CAV 2007: 311-324
98EEMartin R. Neuhäußer, Joost-Pieter Katoen: Bisimulation and Logical Preservation for Continuous-Time Markov Decision Processes. CONCUR 2007: 412-427
97EEJoost-Pieter Katoen: Abstraction of Probabilistic Systems. FORMATS 2007: 1-3
96EEDavid N. Jansen, Joost-Pieter Katoen, Marcel Oldenkamp, Mariëlle Stoelinga, Ivan S. Zapreev: How Fast and Fat Is Your Probabilistic Model Checker? An Experimental Performance Comparison. Haifa Verification Conference 2007: 69-85
95EEBoudewijn R. Haverkort, Joost-Pieter Katoen, Lothar Thiele: 07101 Abstracts Collection -- Quantitative Aspects of Embedded Systems. Quantitative Aspects of Embedded Systems 2007
94EEBoudewijn R. Haverkort, Joost-Pieter Katoen, Lothar Thiele: 07101 Executive Summary -- Quantitative Aspects of Embedded Systems. Quantitative Aspects of Embedded Systems 2007
93EEBenedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker: Replaying Play In and Play Out: Synthesis of Design Models from Scenarios by Learning. TACAS 2007: 435-450
92EEHenrik C. Bohnenkamp, Holger Hermanns, Joost-Pieter Katoen: motor: The modestTool Environment. TACAS 2007: 500-504
91EETingting Han, Joost-Pieter Katoen: Counterexamples in Probabilistic Model Checking. TACAS 2007: 72-86
90EEJoost-Pieter Katoen, Tim Kemna, Ivan S. Zapreev, David N. Jansen: Bisimulation Minimisation Mostly Speeds Up Probabilistic Model Checking. TACAS 2007: 87-101
89EERocco De Nicola, Joost-Pieter Katoen, Diego Latella, Michele Loreti, Mieke Massink: Model checking mobile stochastic logic. Theor. Comput. Sci. 382(1): 42-70 (2007)
2006
88EEJoost-Pieter Katoen, Ivan S. Zapreev: Safe On-The-Fly Steady-State Detection for Time-Bounded Reachability. QEST 2006: 301-310
87EEJasper Berendsen, David N. Jansen, Joost-Pieter Katoen: Probably on Time and within Budget: On Reachability in Priced Probabilistic Timed Automata. QEST 2006: 311-322
86EERocco De Nicola, Joost-Pieter Katoen, Diego Latella, Mieke Massink: Towards a Logic for Performance and Mobility. Electr. Notes Theor. Comput. Sci. 153(2): 161-175 (2006)
85EEMario Bravetti, Holger Hermanns, Joost-Pieter Katoen: YMCA: - Why Markov Chain Algebra? - . Electr. Notes Theor. Comput. Sci. 162: 107-112 (2006)
84EEChristel Baier, Holger Hermanns, Joost-Pieter Katoen, Verena Wolf: Bisimulation and Simulation Relations for Markov Chains. Electr. Notes Theor. Comput. Sci. 162: 73-78 (2006)
83EEHenrik C. Bohnenkamp, Pedro R. D'Argenio, Holger Hermanns, Joost-Pieter Katoen: MODEST: A Compositional Modeling Formalism for Hard and Softly Timed Systems. IEEE Trans. Software Eng. 32(10): 812-830 (2006)
82EEGiuliana Franceschinis, Joost-Pieter Katoen, C. Murray Woodside: Guest Editors' Introduction to the Special Section on the First International Conference on the Quantitative Evaluation of SysTems (QEST). IEEE Trans. Software Eng. 32(8): 529-530 (2006)
81EEPeter Buchholz, Joost-Pieter Katoen, Marcel Verhoef: Guest editors' introduction: quantitative analysis of real-time embedded systems. STTT 8(6): 605-606 (2006)
2005
80 Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner: Model-Based Testing of Reactive Systems, Advanced Lectures [The volume is the outcome of a research seminar that was held in Schloss Dagstuhl in January 2004] Springer 2005
79EEHenrik C. Bohnenkamp, Johan Gorter, Jarno Guidi, Joost-Pieter Katoen: Are You Still There? - A Lightweight Algorithm to Monitor Node Presence in Self-Configuring Networks. DSN 2005: 704-709
78EELucia Cloth, Joost-Pieter Katoen, Maneesh Khattri, Reza Pulungan: Model Checking Markov Reward Models with Impulse Rewards. DSN 2005: 722-731
77EEDino Distefano, Joost-Pieter Katoen, Arend Rensink: Safety and Liveness in Concurrent Pointer Programs. FMCO 2005: 280-312
76EEJoost-Pieter Katoen, Maneesh Khattri, Ivan S. Zapreev: A Markov Reward Model Checker. QEST 2005: 243-244
75EEChristel Baier, Joost-Pieter Katoen, Holger Hermanns, Verena Wolf: Comparative branching-time semantics for Markov chains. Inf. Comput. 200(2): 149-214 (2005)
74EEPedro R. D'Argenio, Joost-Pieter Katoen: A theory of stochastic systems part I: Stochastic automata. Inf. Comput. 203(1): 1-38 (2005)
73EEPedro R. D'Argenio, Joost-Pieter Katoen: A theory of Stochastic systems. Part II: Process algebra. Inf. Comput. 203(1): 39-74 (2005)
72EEChristel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen: Model checking meets performance evaluation. SIGMETRICS Performance Evaluation Review 32(4): 10-15 (2005)
71EEBoudewijn R. Haverkort, Joost-Pieter Katoen: Performance and verification. SIGMETRICS Performance Evaluation Review 32(4): 3 (2005)
70EEChristel 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
69 Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle: Validation of Stochastic Systems - A Guide to Current Research Springer 2004
68EEMieke Massink, Joost-Pieter Katoen, Diego Latella: Model Checking Dependability Attributes of Wireless Group Communication. DSN 2004: 711-720
67EEDino Distefano, Joost-Pieter Katoen, Arend Rensink: Who is Pointing When to Whom? FSTTCS 2004: 250-262
66 Henrik C. Bohnenkamp, Holger Hermanns, David N. Jansen, Joost-Pieter Katoen, Yaroslav S. Usenko: An industrial-strength formal method -- A Modest survey. ISoLA (Preliminary proceedings) 2004: 284-295
65EEJoost-Pieter Katoen: Labelled Transition Systems. Model-Based Testing of Reactive Systems 2004: 615-616
64EEJoost-Pieter Katoen, Henrik C. Bohnenkamp, Ric Klaren, Holger Hermanns: Embedded Software Analysis with MOTOR. SFM 2004: 268-294
63EEChristel 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
62EEChristel Baier, Holger Hermanns, Joost-Pieter Katoen: Probabilistic weak simulation is decidable in polynomial time. Inf. Process. Lett. 89(3): 123-130 (2004)
61EEJoost-Pieter Katoen, Perdita Stevens: Guest editors' introduction: Advancements and extensions of verification techniques. STTT 6(2): 99-101 (2004)
2003
60EEChristel Baier, Holger Hermanns, Joost-Pieter Katoen, Verena Wolf: Comparative Branching-Time Semantics. CONCUR 2003: 482-497
59EEHenrik C. Bohnenkamp, Holger Hermanns, Joost-Pieter Katoen, Ric Klaren: The Modest Modeling Tool and Its Implementation. Computer Performance Evaluation / TOOLS 2003: 116-133
58EEHenrik C. Bohnenkamp, Tod Courtney, David Daly, Salem Derisavi, Holger Hermanns, Joost-Pieter Katoen, Ric Klaren, Vinh Vi Lam, William H. Sanders: On Integrating the MÖBIUS and MODEST Modeling Tools. DSN 2003: 671
57EEHolger Hermanns, Joost-Pieter Katoen, Joachim Meyer-Kayser, Markus Siegle: ETMCC: Model Checking Performability Properties of Markov Chains. DSN 2003: 673-
56EESuzana Andova, Holger Hermanns, Joost-Pieter Katoen: Discrete-Time Rewards Model-Checked. FORMATS 2003: 88-104
55EEDavid N. Jansen, Holger Hermanns, Joost-Pieter Katoen: A QoS-Oriented Extension of UML Statecharts. UML 2003: 76-91
54EEChristel 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)
53EEPeter Buchholz, Joost-Pieter Katoen, Peter Kemper, Carsten Tepper: Model-checking large structured Markov chains. J. Log. Algebr. Program. 56(1-2): 69-97 (2003)
52EEHolger Hermanns, Joost-Pieter Katoen, Joachim Meyer-Kayser, Markus Siegle: A tool for model-checking Markov chains. STTT 4(2): 153-172 (2003)
2002
51 Joost-Pieter Katoen, Perdita Stevens: Tools and Algorithms for the Construction and Analysis of Systems, 8th International Conference, TACAS 2002, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings Springer 2002
50EEChristel Baier, Joost-Pieter Katoen, Holger Hermanns, Boudewijn R. Haverkort: Simulation for Continuous-Time Markov Chains. CONCUR 2002: 338-354
49EEBoudewijn R. Haverkort, Lucia Cloth, Holger Hermanns, Joost-Pieter Katoen, Christel Baier: Model Checking Performability Properties. DSN 2002: 103-112
48EEDavid N. Jansen, Holger Hermanns, Joost-Pieter Katoen: A Probabilistic Extension of UML Statecharts. FTRTFT 2002: 355-374
47 Dino Distefano, Arend Rensink, Joost-Pieter Katoen: Model Checking Birth and Death. IFIP TCS 2002: 435-447
46EEChristel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen: Automated Performance and Dependability Evaluation Using Model Checking. Performance 2002: 261-289
45EEHolger Hermanns, Joost-Pieter Katoen: Guest editors' introduction: Model checking in a nutshell. J. Log. Algebr. Program. 52-53: 1-5 (2002)
44EEHolger Hermanns, Ulrich Herzog, Joost-Pieter Katoen: Process algebra for performance evaluation. Theor. Comput. Sci. 274(1-2): 43-87 (2002)
43EEJoost-Pieter Katoen: Real-Time and Probabilistic Systems - Foreword. Theor. Comput. Sci. 282(1): 1-3 (2002)
2001
42 Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen: Lectures on Formal Methods and Performance Analysis, First EEF/Euro Summer School on Trends in Computer Science, Berg en Dal, The Netherlands, July 3-7, 2000, Revised Lectures Springer 2001
41EEHolger Hermanns, Joost-Pieter Katoen: Performance Evaluation : = (Process Algebra + Model Checking) × Markov Chains. CONCUR 2001: 59-81
40EEJoost-Pieter Katoen, Marta Z. Kwiatkowska, Gethin Norman, David Parker: Faster and Symbolic CTMC Model Checking. PAPM-PROBMIV 2001: 23-38
39EEGabriel G. Infante López, Holger Hermanns, Joost-Pieter Katoen: Beyond Memoryless Distributions: Model Checking Semi-Markov Chains. PAPM-PROBMIV 2001: 57-70
38EEPedro R. D'Argenio, Holger Hermanns, Joost-Pieter Katoen, Ric Klaren: MoDeST - A Modelling and Description Language for Stochastic Timed Systems. PAPM-PROBMIV 2001: 87-104
37EETheo C. Ruys, Rom Langerak, Joost-Pieter Katoen, Diego Latella, Mieke Massink: First Passage Time Analysis of Stochastic Process Algebra Using Partial Orders. TACAS 2001: 220-235
36EEJoost-Pieter Katoen, Christel Baier, Diego Latella: Metric semantics for true concurrent real time. Theor. Comput. Sci. 254(1-2): 501-542 (2001)
2000
35 Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen: Model Checking Continuous-Time Markov Chains by Transient Analysis. CAV 2000: 358-372
34EEJoost-Pieter Katoen, Pedro R. D'Argenio: General Distributions in Process Algebra. European Educational Forum: School on Formal Methods and Performance Analysis 2000: 375-430
33 Dino Distefano, Joost-Pieter Katoen, Arend Rensink: On a Temporal Logic for Object-Based Systems. FMOODS 2000: 285-304
32EEChristel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen: On the Logical Characterisation of Performability Properties. ICALP 2000: 780-792
31EEHolger Hermanns, Joost-Pieter Katoen, Joachim Meyer-Kayser, Markus Siegle: Towards Model Checking Stochastic Process Algebra. IFM 2000: 420-439
30EEBoudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen: On the Use of Model Checking Techniques for Dependability Evaluation. SRDS 2000: 228-237
29EEHolger Hermanns, Joost-Pieter Katoen, Joachim Meyer-Kayser, Markus Siegle: A Markov Chain Model Checker. TACAS 2000: 347-362
28 Holger Hermanns, Joost-Pieter Katoen: Automated compositional Markov chain generation for a plain-old telephone system. Sci. Comput. Program. 36(1): 97-127 (2000)
27EEJoost-Pieter Katoen, Albert Nymeyer: Pattern-matching algorithms based on term rewrite systems. Theor. Comput. Sci. 238(1-2): 439-464 (2000)
1999
26 Joost-Pieter Katoen: Formal Methods for Real-Time and Probabilistic Systems, 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999. Proceedings Springer 1999
25EEChristel Baier, Joost-Pieter Katoen, Holger Hermanns: Approximate Symbolic Model Checking of Continuous-Time Markov Chains. CONCUR 1999: 146-161
24EEPedro R. D'Argenio, Joost-Pieter Katoen, Ed Brinksma: Specification and Analysis of Soft Real-Time Systems: Quantity and Quality. IEEE Real-Time Systems Symposium 1999: 104-114
23EEPedro R. D'Argenio, Holger Hermanns, Joost-Pieter Katoen: On Generative Parallel Composition. Electr. Notes Theor. Comput. Sci. 22: (1999)
1998
22EEHoward Bowman, Joost-Pieter Katoen: A True Concurrency Semantics for ET-LOTOS. ACSD 1998: 228-238
21 Joost-Pieter Katoen, Lennard Lambert: Pomsets for MSC. FBT 1998: 197-207
20EEChristel Baier, Joost-Pieter Katoen, Diego Latella: Metric Semantics for True Concurrent Real Time. ICALP 1998: 568-579
19 Pedro R. D'Argenio, Joost-Pieter Katoen, Ed Brinksma: An algebraic approach to the specification of stochastic systems. PROCOMET 1998: 126-147
18EEEd Brinksma, Joost-Pieter Katoen, Rom Langerak, Diego Latella: Partial Order Models for Quantitative Extensions of LOTOS. Computer Networks 30(9-10): 925-950 (1998)
17EEHoward Bowman, Giorgio P. Faconti, Joost-Pieter Katoen, Diego Latella, Mieke Massink: Automatic Verification of a Lip-Synchronisation Protocol Using Uppaal. Formal Asp. Comput. 10(5-6): 550-575 (1998)
16 Joost-Pieter Katoen, Rom Langerak, Ed Brinksma, Diego Latella, Tommaso Bolognesi: A Consistent Causality-Based View on a Timed Process Algebra Including Urgent Interactions. Formal Methods in System Design 12(2): 189-216 (1998)
1997
15EERom Langerak, Ed Brinksma, Joost-Pieter Katoen: Causal Ambiguity and Partial Orders in Event Structures. CONCUR 1997: 317-331
14 Pedro R. D'Argenio, Joost-Pieter Katoen, Theo C. Ruys, Jan Tretmans: The Bounded Retransmission Protocol Must Be on Time! TACAS 1997: 416-431
13 Albert Nymeyer, Joost-Pieter Katoen: Code Generation Based on Formal BURS Therory and Heuristic Search. Acta Inf. 34(8): 597-635 (1997)
1996
12EEAlbert Nymeyer, Joost-Pieter Katoen, Ymte Westra, Henk Alblas: Code Generation = A* + BURS. CC 1996: 160-176
11 Joost-Pieter Katoen, Rom Langerak, Diego Latella, Ed Brinksma: On Specifying Real-Time Systems in a Causality-Based Setting. FTRTFT 1996: 385-404
10 Jacob Brunekreef, Joost-Pieter Katoen, Ron Koymans, Sjouke Mauw: Design and Analysis of Dynamic Leader Election Protocols in Broadcast Networks. Distributed Computing 9(4): 157-171 (1996)
9 Joost-Pieter Katoen, Berry Schoenmakers: Systolic Arrays for the Recognition of Permutation-Invariant Segments. Sci. Comput. Program. 27(2): 119-137 (1996)
1995
8EEJoost-Pieter Katoen: Causal Behaviours and Nets. Application and Theory of Petri Nets 1995: 258-277
7 Ed Brinksma, Joost-Pieter Katoen, Rom Langerak, Diego Latella: A Stochastic Causality-Based Process Algebra. Comput. J. 38(7): 552-565 (1995)
6EEMarten van Sinderen, Luís Ferreira Pires, Chris A. Vissers, Joost-Pieter Katoen: A Design Model for Open Distributed Processing Systems. Computer Networks and ISDN Systems 27(8): 1263-1285 (1995)
1993
5 Joost-Pieter Katoen, Rom Langerak, Diego Latella: Modeling Systems by Probabilistic Process Algebra: an Event Structures Approach. FORTE 1993: 253-268
4 Joost-Pieter Katoen: A Semi-Markov Model of a Home Network Access Protocol. MASCOTS 1993: 293-298
3EEJoost-Pieter Katoen, Martin Rem: Recognizing k-Rotated Segments. International Journal of High Speed Computing 5(2): 293-305 (1993)
1991
2 Joost-Pieter Katoen, Berry Schoenmakers: A Parallel program for the recognition of P-Invariant segments. Algorithms and Parallel VLSI Architectures 1991: 79-84
1989
1 C. Hemerik, Joost-Pieter Katoen: Bottom-Up Tree Acceptors. Sci. Comput. Program. 13(1): 51-72 (1989)

Coauthor Index

1Henk Alblas [12]
2Suzana Andova [56]
3Christel Baier [20] [25] [32] [35] [36] [46] [49] [50] [54] [60] [62] [63] [69] [70] [72] [75] [84]
4Jasper Berendsen [87]
5Henrik C. Bohnenkamp [58] [59] [64] [66] [79] [83] [92]
6Benedikt Bollig [93] [110]
7Tommaso Bolognesi [16]
8Howard Bowman [17] [22]
9Marco Bozzano [113] [116]
10Mario Bravetti [85]
11Ed Brinksma [7] [11] [15] [16] [18] [19] [24] [42]
12Manfred Broy [80]
13Jacob Brunekreef [10]
14Peter Buchholz [53] [81]
15Manuela L. Bujorianu [111]
16Taolue Chen [103] [117]
17Alessandro Cimatti [113] [116]
18Lucia Cloth [49] [78]
19Tod Courtney [58]
20Pedro R. D'Argenio [14] [19] [23] [24] [34] [38] [73] [74] [83]
21David Daly [58]
22Berteun Damman [104] [112]
23Salem Derisavi [58]
24Dino Distefano [33] [47] [67] [77]
25Giorgio P. Faconti (Giorgio Faconti) [17]
26Giuliana Franceschinis [82]
27Martin Fränzle [105]
28Johan Gorter [79]
29Jarno Guidi [79]
30Tingting Han [91] [100] [103] [104] [106] [112] [117]
31Boudewijn R. Haverkort [30] [32] [35] [46] [49] [50] [54] [63] [69] [70] [71] [72] [94] [95] [101]
32Kees Hemerik (C. Hemerik) [1]
33Holger Hermanns [23] [25] [28] [29] [30] [31] [32] [35] [38] [39] [41] [42] [44] [45] [46] [48] [49] [50] [52] [54] [55] [56] [57] [58] [59] [60] [62] [63] [64] [66] [69] [70] [72] [75] [83] [84] [85] [92]
34Ulrich Herzog [44]
35David N. Jansen [48] [55] [66] [87] [90] [96]
36Bengt Jonsson [80]
37Tim Kemna [90]
38Peter Kemper [53]
39Carsten Kern [93] [110]
40Maneesh Khattri [76] [78]
41Ric Klaren [38] [58] [59] [64]
42Daniel Klink [99] [109] [115]
43Ron Koymans [10]
44Marta Z. Kwiatkowska [40]
45Vinh Vi Lam [58]
46Lennard Lambert [21]
47Rom Langerak [5] [7] [11] [15] [16] [18] [37]
48Diego Latella [5] [7] [11] [16] [17] [18] [20] [36] [37] [68] [86] [89]
49Martin Leucker [80] [93] [99] [109] [110]
50Gabriel G. Infante López [39]
51Michele Loreti [89]
52Mieke Massink [17] [37] [68] [86] [89]
53Sjouke Mauw [10]
54Alexandru Mereacre [106] [107] [117]
55Joachim Meyer-Kayser [29] [31] [52] [57]
56Martin R. Neuhäußer [98] [114] [115]
57Viet Yen Nguyen [113] [116]
58Rocco De Nicola [86] [89]
59Thomas Noll [113] [116]
60Gethin Norman [40]
61Albert Nymeyer [12] [13] [27]
62Marcel Oldenkamp [96]
63David Parker [40]
64Luís Ferreira Pires [6]
65Alexander Pretschner [80]
66Reza Pulungan [78]
67Martin Rem [3]
68Arend Rensink [33] [47] [67] [77]
69Marco Roveri [113] [116]
70Theo C. Ruys [14] [37]
71William H. Sanders [58]
72Berry Schoenmakers [2] [9]
73Markus Siegle [29] [31] [52] [57] [69]
74Marten van Sinderen [6]
75Perdita Stevens [51] [61]
76Mariëlle Stoelinga [96] [114]
77Mani Swaminathan [105]
78Carsten Tepper [53]
79Lothar Thiele [94] [95] [101]
80Jan Tretmans [14]
81Yaroslav S. Usenko [66]
82Marcel Verhoef [81]
83Chris A. Vissers [6]
84Ymte Westra [12]
85Verena Wolf [60] [75] [84] [99] [109]
86C. Murray Woodside [82]
87Ivan S. Zapreev [76] [88] [90] [96]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)