×

zbMATH — the first resource for mathematics

Markey, Nicolas

Compute Distance To:
Author ID: markey.nicolas Recent zbMATH articles by "Markey, Nicolas"
Published as: Markey, Nicolas; Markey, N.
External Links: MGP
Documents Indexed: 91 Publications since 2001, including 1 Book

Publications by Year

Citations contained in zbMATH Open

70 Publications have been cited 385 times in 241 Documents Cited by Year
Infinite runs in weighted timed automata with energy constraints. Zbl 1171.68524
Bouyer, Patricia; Fahrenberg, Uli; Larsen, Kim G.; Markey, Nicolas; Srba, Jiří
30
2008
ATL with strategy contexts and bounded memory. Zbl 1211.03031
Brihaye, Thomas; Da Costa, Arnaud; Laroussinie, François; Markey, Nicolas
16
2009
Model checking a path (preliminary report). Zbl 1274.68197
Markey, N.; Schnoebelen, P.
16
2003
Model checking timed automata with one or two clocks. Zbl 1099.68057
Laroussinie, F.; Markey, N.; Schnoebelen, Ph.
13
2004
Model checking \(\text{CTL}^+\) and FCTL is hard. Zbl 0986.68067
Laroussinie, François; Markey, Nicolas; Schnoebelen, Philippe
13
2001
ATL with strategy contexts: expressiveness and model checking. Zbl 1245.68135
Da Costa, Arnaud; Laroussinie, François; Markey, Nicolas
13
2010
Robust safety of timed automata. Zbl 1165.68392
De Wulf, Martin; Doyen, Laurent; Markey, Nicolas; Raskin, Jean-François
13
2008
Improved undecidability results on weighted timed automata. Zbl 1187.68291
Bouyer, Patricia; Brihaye, Thomas; Markey, Nicolas
13
2006
On the expressiveness of TPTL and MTL. Zbl 1140.03303
Bouyer, Patricia; Chevalier, Fabrice; Markey, Nicolas
11
2005
Pure Nash equilibria in concurrent deterministic games. Zbl 1320.91010
Bouyer, Patricia; Brenguier, Romain; Markey, Nicolas; Ummels, Michael
11
2015
Temporal logic with past is exponentially more succinct. Zbl 1169.03332
Markey, Nicolas
11
2003
On expressiveness and complexity in real-time model checking. Zbl 1155.68426
Bouyer, Patricia; Markey, Nicolas; Ouaknine, Joël; Worrell, James
10
2008
Robust analysis of timed automata via channel machines. Zbl 1138.68431
Bouyer, Patricia; Markey, Nicolas; Reynier, Pierre-Alain
9
2008
On the expressiveness and complexity of ATL. Zbl 1143.68044
Laroussinie, François; Markey, Nicolas; Oreiby, Ghassan
9
2008
Robust model-checking of linear-time properties in timed automata. Zbl 1145.68464
Bouyer, Patricia; Markey, Nicolas; Reynier, Pierre-Alain
9
2006
Augmenting ATL with strategy contexts. Zbl 1332.68140
Laroussinie, François; Markey, Nicolas
8
2015
Model checking one-clock priced timed automata. Zbl 1149.68401
Bouyer, Patricia; Larsen, Kim G.; Markey, Nicolas
8
2008
Past is for free: On the complexity of verifying linear temporal properties with past. Zbl 1084.68073
Markey, Nicolas
8
2004
On the expressiveness of TPTL and MTL. Zbl 1209.03010
Bouyer, Patricia; Chevalier, Fabrice; Markey, Nicolas
7
2010
Timed automata with observers under energy constraints. Zbl 1361.68135
Bouyer, Patricia; Fahrenberg, Uli; Larsen, Kim G.; Markey, Nicolas
7
2010
Average-energy games. Zbl 1390.68115
Bouyer, Patricia; Markey, Nicolas; Randour, Mickael; Larsen, Kim G.; Laursen, Simon
7
2018
Measuring permissiveness in parity games: mean-payoff parity games revisited. Zbl 1348.68093
Bouyer, Patricia; Markey, Nicolas; Olschewski, Jörg; Ummels, Michael
7
2011
Nash equilibria in concurrent games with Büchi objectives. Zbl 1246.68122
Bouyer, Patricia; Brenguier, Romain; Markey, Nicolas; Ummels, Michael
6
2011
Timed automata can always be made implementable. Zbl 1343.68134
Bouyer, Patricia; Larsen, Kim G.; Markey, Nicolas; Sankur, Ocan; Thrane, Claus
6
2011
On termination and invariance for faulty channel machines. Zbl 1259.68142
Bouyer, Patricia; Markey, Nicolas; Ouaknine, Joël; Schnoebelen, Philippe; Worrell, James
6
2012
Model checking real-time systems. Zbl 1392.68235
Bouyer, Patricia; Fahrenberg, Uli; Larsen, Kim Guldstrand; Markey, Nicolas; Ouaknine, Joël; Worrell, James
6
2018
Robust model-checking of timed automata via pumping in channel machines. Zbl 1348.68122
Bouyer, Patricia; Markey, Nicolas; Sankur, Ocan
6
2011
On the expressiveness and complexity of ATL. Zbl 1142.68438
Laroussinie, François; Markey, Nicolas; Oreiby, Ghassan
5
2007
Concurrent games with ordered objectives. Zbl 1352.68177
Bouyer, Patricia; Brenguier, Romain; Markey, Nicolas; Ummels, Michael
5
2012
Quantified CTL: expressiveness and model checking (extended abstract). Zbl 1364.68261
Da Costa, Arnaud; Laroussinie, François; Markey, Nicolas
5
2012
A PTIME-complete matching problem for SLP-compressed words. Zbl 1177.68138
Markey, N.; Schnoebelen, Ph.
5
2004
Robustness in timed automata. Zbl 1407.68282
Bouyer, Patricia; Markey, Nicolas; Sankur, Ocan
5
2013
Language preservation problems in parametric timed automata. Zbl 1465.68129
André, Étienne; Markey, Nicolas
4
2015
On model checking durational Kripke structures. Zbl 1077.68691
Laroussinie, François; Markey, Nicolas; Schnoebelen, Philippe
4
2002
Model-checking one-clock priced timed automata. Zbl 1149.68400
Bouyer, Patricia; Larsen, Kim G.; Markey, Nicolas
4
2007
Shrinking timed automata. Zbl 1246.68159
Sankur, Ocan; Bouyer, Patricia; Markey, Nicolas
4
2011
Robust reachability in timed automata: a game-based approach. Zbl 1367.68161
Bouyer, Patricia; Markey, Nicolas; Sankur, Ocan
4
2012
Mixed Nash equilibria in concurrent terminal-reward games. Zbl 1360.91041
Bouyer, Patricia; Markey, Nicolas; Stan, Daniel
4
2014
Quantified CTL: expressiveness and complexity. Zbl 1448.68304
Laroussinie, François; Markey, Nicolas
4
2014
Costs are expensive! Zbl 1142.68045
Bouyer, Patricia; Markey, Nicolas
4
2007
Non-deterministic temporal logics for general flow systems. Zbl 1135.93340
Davoren, Jennifer M.; Coulthard, Vangham; Markey, Nicolas; Moor, Thomas
3
2004
Almost optimal strategies in one clock priced timed games. Zbl 1177.68142
Bouyer, Patricia; Larsen, Kim G.; Markey, Nicolas; Rasmussen, Jacob Illum
3
2006
Timed concurrent game structures. Zbl 1151.68510
Brihaye, Thomas; Laroussinie, François; Markey, Nicolas; Oreiby, Ghassan
3
2007
Bounding average-energy games. Zbl 1392.68115
Bouyer, Patricia; Hofman, Piotr; Markey, Nicolas; Randour, Mickael; Zimmermann, Martin
3
2017
Robust controller synthesis in timed automata. Zbl 1390.68416
Sankur, Ocan; Bouyer, Patricia; Markey, Nicolas; Reynier, Pierre-Alain
3
2013
Robustness and implementability of timed automata. Zbl 1109.68504
De Wulf, Martin; Doyen, Laurent; Markey, Nicolas; Raskin, Jean-François
2
2004
Symbolic model checking for simply-timed systems. Zbl 1109.68519
Markey, Nicolas; Schnoebelen, Philippe
2
2004
Averaging in LTL. Zbl 1417.68098
Bouyer, Patricia; Markey, Nicolas; Matteplackel, Raj Mohan
2
2014
Measuring permissivity in finite games. Zbl 1254.91033
Bouyer, Patricia; Duflot, Marie; Markey, Nicolas; Renault, Gabriel
2
2009
Nash equilibria for reachability objectives in multi-player timed games. Zbl 1287.68123
Bouyer, Patricia; Brenguier, Romain; Markey, Nicolas
2
2010
Synchronizing words for weighted and timed automata. Zbl 1360.68552
Doyen, Laurent; Juhl, Line; Larsen, Kim G.; Markey, Nicolas; Shirmohammadi, Mahsa
2
2014
On the semantics of strategy logic. Zbl 1346.68121
Bouyer, Patricia; Gardy, Patrick; Markey, Nicolas
2
2016
Model-checking timed ATL for durational concurrent game structures. Zbl 1141.68474
Laroussinie, François; Markey, Nicolas; Oreiby, Ghassan
2
2006
Distributed synthesis of state-dependent switching control. Zbl 1405.93125
Le Coënt, Adrien; Fribourg, Laurent; Markey, Nicolas; De Vuyst, Florian; Chamoin, Ludovic
2
2016
Model checking restricted sets of timed paths. Zbl 1097.68578
Markey, Nicolas; Raskin, Jean-François
1
2004
Model checking restricted sets of timed paths. Zbl 1097.68076
Markey, Nicolas; Raskin, Jean-François
1
2006
Timed-automata abstraction of switched dynamical systems using control funnels. Zbl 1465.68136
Bouyer, Patricia; Markey, Nicolas; Perrin, Nicolas; Schlehuber-Caissier, Philipp
1
2015
Parameterized verification of synchronization in constrained reconfigurable broadcast networks. Zbl 1423.68273
Balasubramanian, A. R.; Bertrand, Nathalie; Markey, Nicolas
1
2018
Language preservation problems in parametric timed automata. Zbl 1429.68098
André, Étienne; Lime, Didier; Markey, Nicolas
1
2020
Timed temporal logics. Zbl 1431.03032
Bouyer, Patricia; Laroussinie, François; Markey, Nicolas; Ouaknine, Joël; Worrell, James
1
2017
Symbolic optimal reachability in weighted timed automata. Zbl 1411.68052
Bouyer, Patricia; Colange, Maximilien; Markey, Nicolas
1
2016
Efficient timed model checking for discrete-time systems. Zbl 1088.68107
Laroussinie, F.; Markey, N.; Schnoebelen, Ph.
1
2006
Mu-calculus path checking. Zbl 1184.68339
Markey, Nicolas; Schnoebelen, Philippe
1
2006
Reachability in networks of register protocols under stochastic schedulers. Zbl 1388.68195
Bouyer, Patricia; Markey, Nicolas; Randour, Mickael; Sangnier, Arnaud; Stan, Daniel
1
2016
On termination for faulty channel machines. Zbl 1259.68120
Bouyer, Patricia; Markey, Nicolas; Ouaknine, Joël; Schnoebelen, Philippe; Worrell, James
1
2008
Robust reachability in timed automata and games: a game-based approach. Zbl 1302.68153
Bouyer, Patricia; Markey, Nicolas; Sankur, Ocan
1
2015
Nash equilibria in symmetric graph games with partial observation. Zbl 1371.91021
Bouyer, Patricia; Markey, Nicolas; Vester, Steen
1
2017
Weighted strategy logic with Boolean goals over one-counter games. Zbl 1366.68166
Bouyer, Patricia; Gardy, Patrick; Markey, Nicolas
1
2015
On the value problem in weighted timed games. Zbl 1374.68254
Bouyer, Patricia; Jaziri, Samy; Markey, Nicolas
1
2015
Shrinking timed automata. Zbl 1285.68090
Sankur, Ocan; Bouyer, Patricia; Markey, Nicolas
1
2014
Language preservation problems in parametric timed automata. Zbl 1429.68098
André, Étienne; Lime, Didier; Markey, Nicolas
1
2020
Average-energy games. Zbl 1390.68115
Bouyer, Patricia; Markey, Nicolas; Randour, Mickael; Larsen, Kim G.; Laursen, Simon
7
2018
Model checking real-time systems. Zbl 1392.68235
Bouyer, Patricia; Fahrenberg, Uli; Larsen, Kim Guldstrand; Markey, Nicolas; Ouaknine, Joël; Worrell, James
6
2018
Parameterized verification of synchronization in constrained reconfigurable broadcast networks. Zbl 1423.68273
Balasubramanian, A. R.; Bertrand, Nathalie; Markey, Nicolas
1
2018
Bounding average-energy games. Zbl 1392.68115
Bouyer, Patricia; Hofman, Piotr; Markey, Nicolas; Randour, Mickael; Zimmermann, Martin
3
2017
Timed temporal logics. Zbl 1431.03032
Bouyer, Patricia; Laroussinie, François; Markey, Nicolas; Ouaknine, Joël; Worrell, James
1
2017
Nash equilibria in symmetric graph games with partial observation. Zbl 1371.91021
Bouyer, Patricia; Markey, Nicolas; Vester, Steen
1
2017
On the semantics of strategy logic. Zbl 1346.68121
Bouyer, Patricia; Gardy, Patrick; Markey, Nicolas
2
2016
Distributed synthesis of state-dependent switching control. Zbl 1405.93125
Le Coënt, Adrien; Fribourg, Laurent; Markey, Nicolas; De Vuyst, Florian; Chamoin, Ludovic
2
2016
Symbolic optimal reachability in weighted timed automata. Zbl 1411.68052
Bouyer, Patricia; Colange, Maximilien; Markey, Nicolas
1
2016
Reachability in networks of register protocols under stochastic schedulers. Zbl 1388.68195
Bouyer, Patricia; Markey, Nicolas; Randour, Mickael; Sangnier, Arnaud; Stan, Daniel
1
2016
Pure Nash equilibria in concurrent deterministic games. Zbl 1320.91010
Bouyer, Patricia; Brenguier, Romain; Markey, Nicolas; Ummels, Michael
11
2015
Augmenting ATL with strategy contexts. Zbl 1332.68140
Laroussinie, François; Markey, Nicolas
8
2015
Language preservation problems in parametric timed automata. Zbl 1465.68129
André, Étienne; Markey, Nicolas
4
2015
Timed-automata abstraction of switched dynamical systems using control funnels. Zbl 1465.68136
Bouyer, Patricia; Markey, Nicolas; Perrin, Nicolas; Schlehuber-Caissier, Philipp
1
2015
Robust reachability in timed automata and games: a game-based approach. Zbl 1302.68153
Bouyer, Patricia; Markey, Nicolas; Sankur, Ocan
1
2015
Weighted strategy logic with Boolean goals over one-counter games. Zbl 1366.68166
Bouyer, Patricia; Gardy, Patrick; Markey, Nicolas
1
2015
On the value problem in weighted timed games. Zbl 1374.68254
Bouyer, Patricia; Jaziri, Samy; Markey, Nicolas
1
2015
Mixed Nash equilibria in concurrent terminal-reward games. Zbl 1360.91041
Bouyer, Patricia; Markey, Nicolas; Stan, Daniel
4
2014
Quantified CTL: expressiveness and complexity. Zbl 1448.68304
Laroussinie, François; Markey, Nicolas
4
2014
Averaging in LTL. Zbl 1417.68098
Bouyer, Patricia; Markey, Nicolas; Matteplackel, Raj Mohan
2
2014
Synchronizing words for weighted and timed automata. Zbl 1360.68552
Doyen, Laurent; Juhl, Line; Larsen, Kim G.; Markey, Nicolas; Shirmohammadi, Mahsa
2
2014
Shrinking timed automata. Zbl 1285.68090
Sankur, Ocan; Bouyer, Patricia; Markey, Nicolas
1
2014
Robustness in timed automata. Zbl 1407.68282
Bouyer, Patricia; Markey, Nicolas; Sankur, Ocan
5
2013
Robust controller synthesis in timed automata. Zbl 1390.68416
Sankur, Ocan; Bouyer, Patricia; Markey, Nicolas; Reynier, Pierre-Alain
3
2013
On termination and invariance for faulty channel machines. Zbl 1259.68142
Bouyer, Patricia; Markey, Nicolas; Ouaknine, Joël; Schnoebelen, Philippe; Worrell, James
6
2012
Concurrent games with ordered objectives. Zbl 1352.68177
Bouyer, Patricia; Brenguier, Romain; Markey, Nicolas; Ummels, Michael
5
2012
Quantified CTL: expressiveness and model checking (extended abstract). Zbl 1364.68261
Da Costa, Arnaud; Laroussinie, François; Markey, Nicolas
5
2012
Robust reachability in timed automata: a game-based approach. Zbl 1367.68161
Bouyer, Patricia; Markey, Nicolas; Sankur, Ocan
4
2012
Measuring permissiveness in parity games: mean-payoff parity games revisited. Zbl 1348.68093
Bouyer, Patricia; Markey, Nicolas; Olschewski, Jörg; Ummels, Michael
7
2011
Nash equilibria in concurrent games with Büchi objectives. Zbl 1246.68122
Bouyer, Patricia; Brenguier, Romain; Markey, Nicolas; Ummels, Michael
6
2011
Timed automata can always be made implementable. Zbl 1343.68134
Bouyer, Patricia; Larsen, Kim G.; Markey, Nicolas; Sankur, Ocan; Thrane, Claus
6
2011
Robust model-checking of timed automata via pumping in channel machines. Zbl 1348.68122
Bouyer, Patricia; Markey, Nicolas; Sankur, Ocan
6
2011
Shrinking timed automata. Zbl 1246.68159
Sankur, Ocan; Bouyer, Patricia; Markey, Nicolas
4
2011
ATL with strategy contexts: expressiveness and model checking. Zbl 1245.68135
Da Costa, Arnaud; Laroussinie, François; Markey, Nicolas
13
2010
On the expressiveness of TPTL and MTL. Zbl 1209.03010
Bouyer, Patricia; Chevalier, Fabrice; Markey, Nicolas
7
2010
Timed automata with observers under energy constraints. Zbl 1361.68135
Bouyer, Patricia; Fahrenberg, Uli; Larsen, Kim G.; Markey, Nicolas
7
2010
Nash equilibria for reachability objectives in multi-player timed games. Zbl 1287.68123
Bouyer, Patricia; Brenguier, Romain; Markey, Nicolas
2
2010
ATL with strategy contexts and bounded memory. Zbl 1211.03031
Brihaye, Thomas; Da Costa, Arnaud; Laroussinie, François; Markey, Nicolas
16
2009
Measuring permissivity in finite games. Zbl 1254.91033
Bouyer, Patricia; Duflot, Marie; Markey, Nicolas; Renault, Gabriel
2
2009
Infinite runs in weighted timed automata with energy constraints. Zbl 1171.68524
Bouyer, Patricia; Fahrenberg, Uli; Larsen, Kim G.; Markey, Nicolas; Srba, Jiří
30
2008
Robust safety of timed automata. Zbl 1165.68392
De Wulf, Martin; Doyen, Laurent; Markey, Nicolas; Raskin, Jean-François
13
2008
On expressiveness and complexity in real-time model checking. Zbl 1155.68426
Bouyer, Patricia; Markey, Nicolas; Ouaknine, Joël; Worrell, James
10
2008
Robust analysis of timed automata via channel machines. Zbl 1138.68431
Bouyer, Patricia; Markey, Nicolas; Reynier, Pierre-Alain
9
2008
On the expressiveness and complexity of ATL. Zbl 1143.68044
Laroussinie, François; Markey, Nicolas; Oreiby, Ghassan
9
2008
Model checking one-clock priced timed automata. Zbl 1149.68401
Bouyer, Patricia; Larsen, Kim G.; Markey, Nicolas
8
2008
On termination for faulty channel machines. Zbl 1259.68120
Bouyer, Patricia; Markey, Nicolas; Ouaknine, Joël; Schnoebelen, Philippe; Worrell, James
1
2008
On the expressiveness and complexity of ATL. Zbl 1142.68438
Laroussinie, François; Markey, Nicolas; Oreiby, Ghassan
5
2007
Model-checking one-clock priced timed automata. Zbl 1149.68400
Bouyer, Patricia; Larsen, Kim G.; Markey, Nicolas
4
2007
Costs are expensive! Zbl 1142.68045
Bouyer, Patricia; Markey, Nicolas
4
2007
Timed concurrent game structures. Zbl 1151.68510
Brihaye, Thomas; Laroussinie, François; Markey, Nicolas; Oreiby, Ghassan
3
2007
Improved undecidability results on weighted timed automata. Zbl 1187.68291
Bouyer, Patricia; Brihaye, Thomas; Markey, Nicolas
13
2006
Robust model-checking of linear-time properties in timed automata. Zbl 1145.68464
Bouyer, Patricia; Markey, Nicolas; Reynier, Pierre-Alain
9
2006
Almost optimal strategies in one clock priced timed games. Zbl 1177.68142
Bouyer, Patricia; Larsen, Kim G.; Markey, Nicolas; Rasmussen, Jacob Illum
3
2006
Model-checking timed ATL for durational concurrent game structures. Zbl 1141.68474
Laroussinie, François; Markey, Nicolas; Oreiby, Ghassan
2
2006
Model checking restricted sets of timed paths. Zbl 1097.68076
Markey, Nicolas; Raskin, Jean-François
1
2006
Efficient timed model checking for discrete-time systems. Zbl 1088.68107
Laroussinie, F.; Markey, N.; Schnoebelen, Ph.
1
2006
Mu-calculus path checking. Zbl 1184.68339
Markey, Nicolas; Schnoebelen, Philippe
1
2006
On the expressiveness of TPTL and MTL. Zbl 1140.03303
Bouyer, Patricia; Chevalier, Fabrice; Markey, Nicolas
11
2005
Model checking timed automata with one or two clocks. Zbl 1099.68057
Laroussinie, F.; Markey, N.; Schnoebelen, Ph.
13
2004
Past is for free: On the complexity of verifying linear temporal properties with past. Zbl 1084.68073
Markey, Nicolas
8
2004
A PTIME-complete matching problem for SLP-compressed words. Zbl 1177.68138
Markey, N.; Schnoebelen, Ph.
5
2004
Non-deterministic temporal logics for general flow systems. Zbl 1135.93340
Davoren, Jennifer M.; Coulthard, Vangham; Markey, Nicolas; Moor, Thomas
3
2004
Robustness and implementability of timed automata. Zbl 1109.68504
De Wulf, Martin; Doyen, Laurent; Markey, Nicolas; Raskin, Jean-François
2
2004
Symbolic model checking for simply-timed systems. Zbl 1109.68519
Markey, Nicolas; Schnoebelen, Philippe
2
2004
Model checking restricted sets of timed paths. Zbl 1097.68578
Markey, Nicolas; Raskin, Jean-François
1
2004
Model checking a path (preliminary report). Zbl 1274.68197
Markey, N.; Schnoebelen, P.
16
2003
Temporal logic with past is exponentially more succinct. Zbl 1169.03332
Markey, Nicolas
11
2003
On model checking durational Kripke structures. Zbl 1077.68691
Laroussinie, François; Markey, Nicolas; Schnoebelen, Philippe
4
2002
Model checking \(\text{CTL}^+\) and FCTL is hard. Zbl 0986.68067
Laroussinie, François; Markey, Nicolas; Schnoebelen, Philippe
13
2001
all top 5

Cited by 385 Authors

23 Markey, Nicolas
22 Bouyer, Patricia
16 Larsen, Kim Guldstrand
9 Chatterjee, Krishnendu
9 Murano, Aniello
9 Raskin, Jean-François
8 Fahrenberg, Uli
8 Jamroga, Wojciech
8 Laroussinie, François
8 Legay, Axel
8 Quaas, Karin
7 Brihaye, Thomas
7 Doyen, Laurent
7 Ouaknine, Joel O.
7 Perelli, Giuseppe
6 André, Étienne
6 Gutierrez, Julian
6 Henzinger, Thomas A.
6 Wooldridge, Michael J.
6 Worrell, James B.
5 Demri, Stéphane P.
4 Bozzelli, Laura
4 Kwiatkowska, Marta Z.
4 Lohrey, Markus
4 Mogavero, Fabio
4 Otop, Jan
4 Rossi, Matteo A. C.
4 Sangnier, Arnaud
4 Sankur, Ocan
4 Schnoebelen, Philippe
4 Srba, Jiří
3 Asarin, Eugene
3 Avni, Guy
3 Baier, Christel
3 Belardinelli, Francesco
3 Bersani, Marcello Maria
3 Bollig, Benedikt
3 Bruyère, Véronique
3 Bulling, Nils
3 Dix, Jurgen
3 Droste, Manfred
3 Harrenstein, Paul
3 Juhl, Line
3 Krishna, Shankara Narayanan
3 Kupferman, Orna
3 Lange, Martin
3 Malvone, Vadim
3 Meier, Arne
3 Montanari, Angelo
3 Mundhenk, Martin
3 Pandya, Paritosh K.
3 Pietro, Pierluigi San
3 Pinchinat, Sophie
3 Rabinovich, Alexander
3 Randour, Mickael
3 Reynier, Pierre-Alain
3 Reynolds, Mark Alexander
3 Vardi, Moshe Y.
3 Vollmer, Heribert
2 Akshay, S.
2 Basin, David A.
2 Basset, Nicolas
2 Bauer, Andreas
2 Bertrand, Nathalie
2 Brunel, Julien
2 Chareton, Christophe
2 Chemouil, David
2 Chen, Taolue
2 Chevalier, Fabrice
2 Condurache, Rodica
2 Forejt, Vojtěch
2 French, Tim
2 Fribourg, Laurent
2 Gardy, Patrick
2 Gastin, Paul
2 Gentilini, Raffaella
2 Goeminne, Aline
2 Haddad, Serge
2 Hélouët, Loïc
2 Huang, Chung-Hao
2 Jain, Chinmay
2 Jeż, Artur
2 Jurdziński, Marcin
2 Klaedtke, Felix
2 Klein, Joachim
2 Klüppelholz, Sascha
2 Lazić, Ranko
2 Leroux, Stéphane
2 Lime, Didier
2 Lomuscio, Alessio
2 Majumdar, Rupak
2 Mardare, Radu
2 Massart, Thierry Jacques
2 Norman, Gethin
2 Pappas, George J.
2 Penczek, Wojciech
2 Perevoshchikov, Vitaly
2 Platzer, André
2 Prabhu, Vinayak S.
2 Rauch Henzinger, Monika
...and 285 more Authors

Citations by Year