Ahmed Bouajjani

	2012
112		Mohamed Faouzi Atig, Ahmed Bouajjani, Sebastian Burckhardt, Madanlal Musuvathi: What's Decidable about Weak Memory Models? ESOP 2012: 26-46
111		Ahmed Bouajjani, Michael Emmi: Analysis of recursively parallel programs. POPL 2012: 203-214
110		Ahmed Bouajjani, Michael Emmi: Bounded Phase Analysis of Message-Passing Programs. TACAS 2012: 451-465
109		Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, Mihaela Sighireanu: Abstract Domains for Automated Reasoning about List-Manipulating Programs with Infinite Data. VMCAI 2012: 1-22
108		Ahmed Bouajjani, David Harel, Lenore D. Zuck: Editorʼs foreword. J. Comput. Syst. Sci. 78(3): 822 (2012)
107		Ahmed Bouajjani, Tayssir Touili: Widening techniques for regular tree model checking. STTT 14(2): 145-165 (2012)
106		Ahmed Bouajjani, Peter Habermehl, Adam Rogalewicz, Tomás Vojnar: Abstract regular (tree) model checking. STTT 14(2): 167-191 (2012)
	2011
105		Mohamed Faouzi Atig, Ahmed Bouajjani, Gennaro Parlato: Getting Rid of Store-Buffers in TSO Analysis. CAV 2011: 99-115
104		Ahmed Bouajjani, Roland Meyer, Eike Möhlmann: Deciding Robustness against Total Store Ordering. ICALP (2) 2011: 428-440
103		Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, Mihaela Sighireanu: On inter-procedural analysis of programs with lists and data. PLDI 2011: 578-589
102		Ahmed Bouajjani, Michael Emmi, Gennaro Parlato: On Sequentializing Concurrent Programs. SAS 2011: 129-145
101		Ahmed Bouajjani, Marius Bozga, Peter Habermehl, Radu Iosif, Pierre Moro, Tomás Vojnar: Programs with lists are counter automata. Formal Methods in System Design 38(2): 158-192 (2011)
100		Mohamed Faouzi Atig, Ahmed Bouajjani, Shaz Qadeer: Context-Bounded Analysis For Concurrent Programs With Dynamic Creation of Threads Logical Methods in Computer Science 7(4): (2011)
	2010
99		Ahmed Bouajjani, Wei-Ngan Chin: Automated Technology for Verification and Analysis - 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings Springer 2010
98		Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, Ahmed Rezine, Mihaela Sighireanu: Invariant Synthesis for Programs Manipulating Lists with Unbounded Data. CAV 2010: 72-88
97		Mohamed Faouzi Atig, Ahmed Bouajjani, Sebastian Burckhardt, Madanlal Musuvathi: On the verification problem for weak memory models. POPL 2010: 7-18
	2009
96		Ahmed Bouajjani, Oded Maler: Computer Aided Verification, 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings Springer 2009
95		Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, Mihaela Sighireanu: A Logic-Based Framework for Reasoning about Composite Data Structures. CONCUR 2009: 178-195
94		Ahmed Bouajjani, Cezara Dragoi, Yan Jurski, Mihaela Sighireanu: Rewriting Systems over Nested Data Words. MEMICS 2009
93		Mohamed Faouzi Atig, Ahmed Bouajjani: On the Reachability Problem for Dynamic Networks of Concurrent Pushdown Systems. RP 2009: 1-2
92		Mohamed Faouzi Atig, Ahmed Bouajjani, Shaz Qadeer: Context-Bounded Analysis for Concurrent Programs with Dynamic Creation of Threads. TACAS 2009: 107-123
91		Ahmed Bouajjani, Axel Legay, Pierre Wolper: A Framework to Handle Linear Temporal Properties in (\omega-)Regular Model Checking CoRR abs/0901.4080: (2009)
90		Parosh Aziz Abdulla, Ahmed Bouajjani, Lukás Holík, Lisa Kaati, Tomás Vojnar: Composed Bisimulation for Tree Automata. Int. J. Found. Comput. Sci. 20(4): 685-700 (2009)
89		Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, Yan Jurski, Mihaela Sighireanu: A Generic Framework for Reasoning about Dynamic Networks of Infinite-State Processes Logical Methods in Computer Science 5(2): (2009)
	2008
88		Parosh Aziz Abdulla, Ahmed Bouajjani, Jonathan Cederberg, Frédéric Haziza, Ahmed Rezine: Monotonic Abstraction for Programs with Dynamic Memory Heaps. CAV 2008: 341-354
87		Parosh Aziz Abdulla, Ahmed Bouajjani, Lukás Holík, Lisa Kaati, Tomás Vojnar: Composed Bisimulation for Tree Automata. CIAA 2008: 212-222
86		Ahmed Bouajjani, Peter Habermehl, Lukás Holík, Tayssir Touili, Tomás Vojnar: Antichain-Based Universality and Inclusion Testing over Nondeterministic Finite Tree Automata. CIAA 2008: 57-67
85		Mohamed Faouzi Atig, Ahmed Bouajjani, Tayssir Touili: On the Reachability Analysis of Acyclic Networks of Pushdown Systems. CONCUR 2008: 356-371
84		Mohamed Faouzi Atig, Ahmed Bouajjani, Tayssir Touili: Analyzing Asynchronous Programs with Preemption. FSTTCS 2008: 37-48
83		Ahmed Bouajjani, Javier Esparza, Stefan Schwoon, Dejvuth Suwimonteerabuth: SDSIrep: A Reputation System Based on SDSI. TACAS 2008: 501-516
82		Parosh Aziz Abdulla, Ahmed Bouajjani, Lukás Holík, Lisa Kaati, Tomás Vojnar: Computing Simulations over Tree Automata. TACAS 2008: 93-108
81		Ahmed Bouajjani, Peter Habermehl, Tomás Vojnar: Verification of parametric concurrent systems with prioritised FIFO resource management. Formal Methods in System Design 32(2): 129-172 (2008)
80		Parosh Aziz Abdulla, Ahmed Bouajjani, Julien d'Orso: Monotonic and Downward Closed Games. J. Log. Comput. 18(1): 153-169 (2008)
	2007
79		Ahmed Bouajjani, Séverine Fratani, Shaz Qadeer: Context-Bounded Analysis of Multithreaded Programs with Dynamic Linked Structures. CAV 2007: 207-220
78		Ahmed Bouajjani, Peter Habermehl, Yan Jurski, Mihaela Sighireanu: Rewriting Systems with Data. FCT 2007: 1-22
77		Ahmed Bouajjani, Yan Jurski, Mihaela Sighireanu: A Generic Framework for Reasoning About Dynamic Networks of Infinite-State Processes. TACAS 2007: 690-705
76		Greta Yorsh, Alexander Moshe Rabinovich, Mooly Sagiv, Antoine Meyer, Ahmed Bouajjani: A Logic of Reachable Patterns in Linked Data-Structures CoRR abs/0705.3610: (2007)
75		Ahmed Bouajjani, Antoine Meyer: Symbolic Reachability Analysis of Higher-Order Context-Free Processes CoRR abs/0705.3888: (2007)
74		Ahmed Bouajjani, Jan Strejcek, Tayssir Touili: On Symbolic Verification of Weakly Extended PAD. Electr. Notes Theor. Comput. Sci. 175(3): 47-64 (2007)
73		Ahmed Bouajjani, Anca Muscholl, Tayssir Touili: Permutation rewriting and algorithmic verification. Inf. Comput. 205(2): 199-224 (2007)
72		Greta Yorsh, Alexander Moshe Rabinovich, Mooly Sagiv, Antoine Meyer, Ahmed Bouajjani: A logic of reachable patterns in linked data-structures. J. Log. Algebr. Program. 73(1-2): 111-142 (2007)
	2006
71		Parosh Aziz Abdulla, Ahmed Bouajjani, Markus Müller-Olm: Software Verification: Infinite-State Model Checking and Static Program Analysis, 19.02. - 24.02.2006 Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2006
70		Ahmed Bouajjani, Marius Bozga, Peter Habermehl, Radu Iosif, Pierre Moro, Tomás Vojnar: Programs with Lists Are Counter Automata. CAV 2006: 517-531
69		Greta Yorsh, Alexander Moshe Rabinovich, Mooly Sagiv, Antoine Meyer, Ahmed Bouajjani: A Logic of Reachable Patterns in Linked Data-Structures. FoSSaCS 2006: 94-110
68		Ahmed Bouajjani, Javier Esparza: Rewriting Models of Boolean Programs. RTA 2006: 136-150
67		Ahmed Bouajjani, Peter Habermehl, Adam Rogalewicz, Tomás Vojnar: Abstract Regular Tree Model Checking of Complex Dynamic Data Structures. SAS 2006: 52-70
66		Parosh Aziz Abdulla, Ahmed Bouajjani, Markus Müller-Olm: 06081 Abstracts Collection -- Software Verification: Infinite-State Model Checking and Static Program Analysis. Software Verification: Infinite-State Model Checking and Static Program Analysis 2006
65		Parosh Aziz Abdulla, Ahmed Bouajjani, Markus Müller-Olm: 06081 Executive Summary -- Software Verification: Infinite-State Model Checking and Static Program Analysis. Software Verification: Infinite-State Model Checking and Static Program Analysis 2006
64		Ahmed Bouajjani, Javier Esparza, Stefan Schwoon, Jan Strejcek: Reachability analysis of multithreaded software with asynchronous communication. Software Verification: Infinite-State Model Checking and Static Program Analysis 2006
63		Ahmed Bouajjani, Peter Habermehl, Adam Rogalewicz, Tomás Vojnar: Abstract Regular Tree Model Checking. Electr. Notes Theor. Comput. Sci. 149(1): 37-48 (2006)
62		Ahmed Bouajjani, Agathe Merceron: Parametric Verification of a Group Membership Algorithm. TPLP 6(3): 321-353 (2006)
	2005
61		Ahmed Bouajjani, Markus Müller-Olm, Tayssir Touili: Regular Symbolic Analysis of Dynamic Networks of Pushdown Systems. CONCUR 2005: 473-487
60		Ahmed Bouajjani, Javier Esparza, Stefan Schwoon, Jan Strejcek: Reachability Analysis of Multithreaded Software with Asynchronous Communication. FSTTCS 2005: 348-359
59		Ahmed Bouajjani, Tayssir Touili: On Computing Reachability Sets of Process Rewrite Systems. RTA 2005: 484-499
58		Ahmed Bouajjani, Peter Habermehl, Pierre Moro, Tomás Vojnar: Verifying Programs with Dynamic 1-Selector-Linked Structures in Regular Model Checking. TACAS 2005: 13-29
57		Ahmed Bouajjani: Regular Model Checking for Programs with Dynamic Memory. VISSAS 2005: 17-22
56		Ahmed Bouajjani, Agathe Merceron: Parametric Verification of a Group Membership Algorithm CoRR abs/cs/0505033: (2005)
55		Ahmed Bouajjani, Axel Legay, Pierre Wolper: Handling Liveness Properties in (omega-)Regular Model Checking. Electr. Notes Theor. Comput. Sci. 138(3): 101-115 (2005)
54		Ahmed Bouajjani, Javier Esparza, Tayssir Touili: Reachability Analysis of Synchronized PA Systems. Electr. Notes Theor. Comput. Sci. 138(3): 153-178 (2005)
53		Stavros Tripakis, Sergio Yovine, Ahmed Bouajjani: Checking Timed Büchi Automata Emptiness Efficiently. Formal Methods in System Design 26(3): 267-292 (2005)
	2004
52		Ahmed Bouajjani, Peter Habermehl, Tomás Vojnar: Abstract Regular Model Checking. CAV 2004: 372-386
51		Ahmed Bouajjani, Antoine Meyer: Symbolic Reachability Analysis of Higher-Order Context-Free Processes. FSTTCS 2004: 135-147
50		Parosh Aziz Abdulla, Aurore Collomb-Annichini, Ahmed Bouajjani, Bengt Jonsson: Using Forward Reachability Analysis for Verification of Lossy Channel Systems. Formal Methods in System Design 25(1): 39-65 (2004)
	2003
49		Ahmed Bouajjani, Peter Habermehl, Tomás Vojnar: Verification of Parametric Concurrent Systems with Prioritized FIFO Resource Management. CONCUR 2003: 172-187
48		Parosh Aziz Abdulla, Ahmed Bouajjani, Julien d'Orso: Deciding Monotonic Games. CSL 2003: 1-14
47		Ahmed Bouajjani: Verification of Infinite State Systems (Tutorial). CSL 2003: 71
46		Ahmed Bouajjani, Tayssir Touili: Reachability Analysis of Process Rewrite Systems. FSTTCS 2003: 74-87
45		Ahmed Bouajjani, Javier Esparza, Tayssir Touili: A generic approach to the static analysis of concurrent programs with procedures. POPL 2003: 62-73
44		Ahmed Bouajjani, Javier Esparza, Tayssir Touili: A Generic Approach to the Static Analysis of Concurrent Programs with Procedures. Int. J. Found. Comput. Sci. 14(4): 551- (2003)
43		Ahmed Bouajjani, Peter Habermehl, Richard Mayr: Automatic verification of recursive procedures with one integer parameter. Theor. Comput. Sci. 295: 85-106 (2003)
	2002
42		Ahmed Bouajjani, Tayssir Touili: Extrapolating Tree Transformations. CAV 2002: 539-554
41		Ahmed Bouajjani, Agathe Merceron: Parametric Verification of a Group Membership Algorithm. FTRTFT 2002: 311-330
	2001
40		Aurore Annichini, Ahmed Bouajjani, Mihaela Sighireanu: TReX: A Tool for Reachability Analysis of Complex Systems. CAV 2001: 368-372
39		Ahmed Bouajjani: Languages, Rewriting Systems, and Verification of Infinite-State Systems. ICALP 2001: 24-39
38		Parosh Aziz Abdulla, Luc Boasson, Ahmed Bouajjani: Effective Lossy Queue Languages. ICALP 2001: 639-651
37		Eugene Asarin, Ahmed Bouajjani: Perturbed Turing Machines and Hybrid Systems. LICS 2001: 269-278
36		Ahmed Bouajjani, Anca Muscholl, Tayssir Touili: Permutation Rewriting and Algorithmic Verification. LICS 2001: 399-408
35		Ahmed Bouajjani, Peter Habermehl, Richard Mayr: Automatic Verification of Recursive Procedures with One Integer Parameter. MFCS 2001: 198-211
34		Ahmed Bouajjani, Aurore Collomb-Annichini, Yassine Lakhnech, Mihaela Sighireanu: Analyzing Fair Parametric Extended Automata. SAS 2001: 335-355
33		Ahmed Bouajjani: Preface. Theor. Comput. Sci. 256(1-2): 1-2 (2001)
	2000
32		Ahmed Bouajjani, Bengt Jonsson, Marcus Nilsson, Tayssir Touili: Regular Model Checking. CAV 2000: 403-418
31		Aurore Annichini, Eugene Asarin, Ahmed Bouajjani: Symbolic Techniques for Parametric Reasoning about Counter and Clock Systems. CAV 2000: 419-434
30		Ahmed Bouajjani, Javier Esparza, Alain Finkel, Oded Maler, Peter Rossmanith, Bernard Willems, Pierre Wolper: An efficient automata approach to some problems on context-free grammars. Inf. Process. Lett. 74(5-6): 221-227 (2000)
	1999
29		Parosh Aziz Abdulla, Ahmed Bouajjani, Bengt Jonsson, Marcus Nilsson: Handling Global Conditions in Parameterized System Verification. CAV 1999: 134-145
28		Parosh Aziz Abdulla, Aurore Annichini, Saddek Bensalem, Ahmed Bouajjani, Peter Habermehl, Yassine Lakhnech: Verification of Infinite-State Systems by Combining Abstraction and Reachability Analysis. CAV 1999: 146-159
27		Ahmed Bouajjani, Richard Mayr: Model Checking Lossy Vector Addition Systems. STACS 1999: 323-333
26		Parosh Aziz Abdulla, Aurore Annichini, Ahmed Bouajjani: Symbolic Verification of Lossy Channel Systems: Application to the Bounded Retransmission Protocol. TACAS 1999: 208-222
25		Ahmed Bouajjani, Peter Habermehl: Symbolic Reachability Analysis of FIFO-Channel Systems with Nonregular Sets of Configurations. Theor. Comput. Sci. 221(1-2): 211-250 (1999)
	1998
24		Parosh Aziz Abdulla, Ahmed Bouajjani, Bengt Jonsson: On-the-Fly Analysis of Systems with Unbounded, Lossy FIFO Channels. CAV 1998: 305-318
	1997
23		Ahmed Bouajjani, Javier Esparza, Oded Maler: Reachability Analysis of Pushdown Automata: Application to Model-Checking. CONCUR 1997: 135-150
22		Ahmed Bouajjani, Peter Habermehl: Symbolic Reachability Analysis of FIFO Channel Systems with Nonregular Sets of Configurations (Extended Abstract). ICALP 1997: 560-570
21		Ahmed Bouajjani, Stavros Tripakis, Sergio Yovine: On-the-fly symbolic model checking for real-time systems. IEEE Real-Time Systems Symposium 1997: 25-
	1996
20		Ahmed Bouajjani, Peter Habermehl: Constrained Properties, Semilinear Systems, and Petri Nets. CONCUR 1996: 481-497
19		Ahmed Bouajjani, Yassine Lakhnech, Sergio Yovine: Model-Checking for Extended Timed Temporal Logics. FTRTFT 1996: 306-326
	1995
18		Ahmed Bouajjani, Yassine Lakhnech, Riadh Robbana: From Duration Calculus To Linear Hybrid Automata. CAV 1995: 196-210
17		Ahmed Bouajjani, Riadh Robbana: Verifying omega-Regular Properties for a Subclass of Linear Hybrid Systems. CAV 1995: 437-450
16		Ahmed Bouajjani, Yassine Lakhnech: Temporal Logic + Timed Automata: Expressiveness and Decidability. CONCUR 1995: 531-545
15		Ahmed Bouajjani, Yassine Lakhnech: Logics vs. Automata: The Hybrid Case. Hybrid Systems 1995: 531-542
14		Ahmed Bouajjani, Rachid Echahed, Peter Habermehl: On the Verification Problem of Nonregular Properties for Nonregular Processes LICS 1995: 123-133
13		Ahmed Bouajjani, Rachid Echahed, Peter Habermehl: Verifying Infinite State Processes with Sequential and Parallel Composition. POPL 1995: 95-106
12		Claire Loiseaux, Susanne Graf, Joseph Sifakis, Ahmed Bouajjani, Saddek Bensalem: Property Preserving Abstractions for the Verification of Concurrent Systems. Formal Methods in System Design 6(1): 11-44 (1995)
	1994
11		Ahmed Bouajjani, Rachid Echahed, Riadh Robbana: Verification of Context-Free Timed Systems Using Linear Hybrid Observers. CAV 1994: 118-131
10		Ahmed Bouajjani, Rachid Echahed, Riadh Robbana: Verification of Nonregular Temporal Properties for Context-Free Processes. CONCUR 1994: 81-97
9		Ahmed Bouajjani, Rachid Echahed, Riadh Robbana: Verfying Invariance Properties of Timed Systems with Duration Variables. FTRTFT 1994: 193-210
8		Ahmed Bouajjani, Rachid Echahed, Riadh Robbana: On the Automatic Verification of Systems with Continuous Variables and Unbounded Discrete Data Structures. Hybrid Systems 1994: 64-85
	1993
7		Ahmed Bouajjani, Rachid Echahed, Joseph Sifakis: On Model Checking for Real-Time Properties with Durations LICS 1993: 147-159
	1992
6		Saddek Bensalem, Ahmed Bouajjani, Claire Loiseaux, Joseph Sifakis: Property Preserving Simulations. CAV 1992: 260-273
5		Ahmed Bouajjani, Jean-Claude Fernandez, Nicolas Halbwachs, Pascal Raymond: Minimal State Graph Generation. Sci. Comput. Program. 18(3): 247-269 (1992)
	1991
4		Ahmed Bouajjani, Jean-Claude Fernandez, Susanne Graf, Carlos Rodriguez, Joseph Sifakis: Safety for Branching Time Semantics. ICALP 1991: 76-92
3		Ahmed Bouajjani, Joseph Sifakis: Verification for Finite Systems (Extended Abstract). TAPSOFT, Vol.2 1991: 55-57
	1990
2		Ahmed Bouajjani, Jean-Claude Fernandez, Nicolas Halbwachs: Minimal Model Generation. CAV 1990: 197-203
	1988
1		Ahmed Bouajjani, Susanne Graf, Joseph Sifakis: A logig for the description of behaviours and properties of concurrent systems. REX Workshop 1988: 398-410

Coauthor Index

1	Parosh Aziz Abdulla	[24] [26] [28] [29] [38] [48] [50] [65] [66] [71] [80] [82] [87] [88] [90]
2	Aurore Annichini	[26] [28] [31] [40]
3	Eugene Asarin	[31] [37]
4	Mohamed Faouzi Atig	[84] [85] [92] [93] [97] [100] [105] [112]
5	Saddek Bensalem	[6] [12] [28]
6	Luc Boasson	[38]
7	Marius Bozga	[70] [101]
8	Sebastian Burckhardt	[97] [112]
9	Jonathan Cederberg	[88]
10	Wei-Ngan Chin	[99]
11	Aurore Collomb-Annichini	[34] [50]
12	Cezara Dragoi	[89] [94] [95] [98] [103] [109]
13	Rachid Echahed	[7] [8] [9] [10] [11] [13] [14]
14	Michael Emmi	[102] [110] [111]
15	Constantin Enea	[89] [95] [98] [103] [109]
16	Javier Esparza	[23] [30] [44] [45] [54] [60] [64] [68] [83]
17	Jean-Claude Fernandez	[2] [4] [5]
18	Alain Finkel	[30]
19	Séverine Fratani	[79]
20	Susanne Graf	[1] [4] [12]
21	Peter Habermehl	[13] [14] [20] [22] [25] [28] [35] [43] [49] [52] [58] [63] [67] [70] [78] [81] [86] [101] [106]
22	Nicolas Halbwachs	[2] [5]
23	David Harel	[108]
24	Frédéric Haziza	[88]
25	Lukás Holík	[82] [86] [87] [90]
26	Radu Iosif	[70] [101]
27	Bengt Jonsson	[24] [29] [32] [50]
28	Yan Jurski	[77] [78] [89] [94]
29	Lisa Kaati	[82] [87] [90]
30	Yassine Lakhnech	[15] [16] [18] [19] [28] [34]
31	Axel Legay	[55] [91]
32	Claire Loiseaux	[6] [12]
33	Oded Maler	[23] [30] [96]
34	Richard Mayr	[27] [35] [43]
35	Agathe Merceron	[41] [56] [62]
36	Antoine Meyer	[51] [69] [72] [75] [76]
37	Roland Meyer	[104]
38	Eike Möhlmann	[104]
39	Pierre Moro	[58] [70] [101]
40	Markus Müller-Olm	[61] [65] [66] [71]
41	Anca Muscholl	[36] [73]
42	Madanlal Musuvathi	[97] [112]
43	Marcus Nilsson	[29] [32]
44	Gennaro Parlato	[102] [105]
45	Shaz Qadeer	[79] [92] [100]
46	Alexander Moshe Rabinovich (Alexander Rabinovich)	[69] [72] [76]
47	Pascal Raymond	[5]
48	Ahmed Rezine	[88] [98]
49	Riadh Robbana	[8] [9] [10] [11] [17] [18]
50	Carlos Rodriguez	[4]
51	Adam Rogalewicz	[63] [67] [106]
52	Peter Rossmanith	[30]
53	Shmuel Sagiv (Mooly Sagiv)	[69] [72] [76]
54	Stefan Schwoon	[60] [64] [83]
55	Joseph Sifakis	[1] [3] [4] [6] [7] [12]
56	Mihaela Sighireanu	[34] [40] [77] [78] [89] [94] [95] [98] [103] [109]
57	Jan Strejcek	[60] [64] [74]
58	Dejvuth Suwimonteerabuth	[83]
59	Tayssir Touili	[32] [36] [42] [44] [45] [46] [54] [59] [61] [73] [74] [84] [85] [86] [107]
60	Stavros Tripakis	[21] [53]
61	Tomás Vojnar	[49] [52] [58] [63] [67] [70] [81] [82] [86] [87] [90] [101] [106]
62	Bernard Willems	[30]
63	Pierre Wolper	[30] [55] [91]
64	Greta Yorsh	[69] [72] [76]
65	Sergio Yovine	[19] [21] [53]
66	Lenore D. Zuck	[108]
67	Julien d'Orso	[48] [80]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page