×

zbMATH — the first resource for mathematics

Markey, Nicolas

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

Publications by Year

Citations contained in zbMATH

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

23 Markey, Nicolas
21 Bouyer, Patricia
15 Larsen, Kim Guldstrand
9 Chatterjee, Krishnendu
9 Murano, Aniello
8 Jamroga, Wojciech
8 Legay, Axel
8 Quaas, Karin
7 Doyen, Laurent
7 Fahrenberg, Uli
7 Laroussinie, François
7 Ouaknine, Joel O.
7 Perelli, Giuseppe
7 Raskin, Jean-François
6 Gutierrez, Julian
6 Henzinger, Thomas A.
6 Schnoebelen, Philippe
6 Wooldridge, Michael J.
6 Worrell, James B.
5 André, Étienne
5 Bozzelli, Laura
5 Brihaye, Thomas
5 Demri, Stéphane P.
5 Kwiatkowska, Marta Z.
4 Lohrey, Markus
4 Mogavero, Fabio
4 Otop, Jan
4 Rossi, Matteo A. C.
4 Sangnier, Arnaud
4 Sankur, Ocan
4 Srba, Jiří
3 Asarin, Eugene
3 Baier, Christel
3 Basset, Nicolas
3 Belardinelli, Francesco
3 Bersani, Marcello M.
3 Bertrand, Nathalie
3 Bollig, Benedikt
3 Bulling, Nils
3 Dix, Jurgen
3 Droste, Manfred
3 Harrenstein, Paul
3 Juhl, Line
3 Krishna, Shankara Narayanan
3 Lange, Martin
3 Malvone, Vadim
3 Meier, Arne
3 Mundhenk, Martin
3 Pandya, Paritosh K.
3 Pietro, Pierluigi San
3 Pinchinat, Sophie
3 Rabinovich, Alexander
3 Randour, Mickael
3 Vardi, Moshe Y.
3 Vollmer, Heribert
2 Akshay, S.
2 Avni, Guy
2 Basin, David A.
2 Bauer, Andreas
2 Brunel, Julien
2 Chareton, Christophe
2 Chemouil, David
2 Chen, Taolue
2 Chevalier, Fabrice
2 Davoren, Jennifer M.
2 Forejt, Vojtěch
2 French, Tim
2 Fribourg, Laurent
2 Gardy, Patrick
2 Gentilini, Raffaella
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 Kupferman, Orna
2 Lazić, Ranko
2 Lomuscio, Alessio
2 Majumdar, Rupak
2 Mardare, Radu
2 Massart, Thierry Jacques
2 Montanari, Angelo
2 Norman, Gethin
2 Pappas, George J.
2 Penczek, Wojciech
2 Perevoshchikov, Vitaly
2 Platzer, André
2 Prabhu, Vinayak S.
2 Rauch Henzinger, Monika
2 Reynier, Pierre-Alain
2 Reynolds, Mark Alexander
2 Rubin, Sasha
2 Sala, Pietro
2 Schewe, Sven
2 Schnoebelen, Ph
2 Shirmohammadi, Mahsa
...and 270 more Authors

Citations by Year

Wikidata Timeline

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.