Edit Profile Markey, Nicolas Compute Distance To: Compute Author ID: markey.nicolas Published as: Markey, N.; Markey, Nicolas External Links: MGP · Wikidata Documents Indexed: 84 Publications since 2001, including 1 Book all top 5 Co-Authors 3 single-authored 49 Bouyer, Patricia 15 Laroussinie, François 10 Schnoebelen, Philippe 9 Larsen, Kim Guldstrand 9 Sankur, Ocan 6 Ouaknine, Joel O. 6 Worrell, James B. 5 Brenguier, Romain 5 Gardy, Patrick 4 Oreiby, Ghassan 4 Raskin, Jean-François 4 Ummels, Michael 3 Brihaye, Thomas 3 Da Costa, Arnaud 3 Doyen, Laurent 3 Fahrenberg, Uli 3 Fribourg, Laurent 3 Randour, Mickael 3 Reynier, Pierre-Alain 2 André, Étienne 2 Chamoin, Ludovic 2 Chevalier, Fabrice 2 De Vuyst, Florian 2 De Wulf, Martin 2 Jaziri, Samy 2 Le Coënt, Adrien 2 Perrin, Nicolas 2 Schlehuber-Caissier, Philipp 2 Stan, Daniel 2 Vester, Steen 1 Balasubramanian, A. R. 1 Bertrand, Nathalie 1 Colange, Maximilien 1 Coulthard, Vangham 1 David, Amélie 1 Davoren, Jennifer M. 1 Duflot, Marie 1 Fränzle, Martin 1 Hofman, Piotr 1 Hunter, Paul 1 Juhl, Line 1 Kühne, Ulrich 1 Laursen, Simon 1 Lime, Didier 1 Matteplackel, Raj Mohan 1 Moor, Thomas 1 Olschewski, Jörg 1 Rasmussen, Jacob Illum 1 Renault, Gabriel 1 Sangnier, Arnaud 1 Shirmohammadi, Mahsa 1 Srba, Jiří 1 Thrane, Claus R. 1 Zimmermann, Martín G. all top 5 Serials 5 Logical Methods in Computer Science 4 Information Processing Letters 4 Theoretical Computer Science 4 Information and Computation 2 Acta Informatica 1 Formal Aspects of Computing 1 Real-Time Systems 1 Formal Methods in System Design 1 Theory of Computing Systems 1 Bulletin of the European Association for Theoretical Computer Science EATCS 1 Lecture Notes in Computer Science all top 5 Fields 77 Computer science (68-XX) 26 Mathematical logic and foundations (03-XX) 20 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 5 Systems theory; control (93-XX) 2 Operations research, mathematical programming (90-XX) 1 General and overarching topics; collections (00-XX) Publications by Year all cited Publications top 5 cited Publications 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.68524Bouyer, Patricia; Fahrenberg, Uli; Larsen, Kim G.; Markey, Nicolas; Srba, Jiří 29 2008 Model checking a path (preliminary report). Zbl 1274.68197Markey, N.; Schnoebelen, P. 16 2003 ATL with strategy contexts and bounded memory. Zbl 1211.03031Brihaye, Thomas; Da Costa, Arnaud; Laroussinie, François; Markey, Nicolas 15 2009 Model checking timed automata with one or two clocks. Zbl 1099.68057Laroussinie, F.; Markey, N.; Schnoebelen, Ph. 14 2004 ATL with strategy contexts: expressiveness and model checking. Zbl 1245.68135Da Costa, Arnaud; Laroussinie, François; Markey, Nicolas 13 2010 Improved undecidability results on weighted timed automata. Zbl 1187.68291Bouyer, Patricia; Brihaye, Thomas; Markey, Nicolas 13 2006 Model checking \(\text{CTL}^+\) and FCTL is hard. Zbl 0986.68067Laroussinie, François; Markey, Nicolas; Schnoebelen, Philippe 13 2001 Robust safety of timed automata. Zbl 1165.68392De Wulf, Martin; Doyen, Laurent; Markey, Nicolas; Raskin, Jean-François 12 2008 On the expressiveness of TPTL and MTL. Zbl 1140.03303Bouyer, Patricia; Chevalier, Fabrice; Markey, Nicolas 11 2005 On expressiveness and complexity in real-time model checking. Zbl 1155.68426Bouyer, Patricia; Markey, Nicolas; Ouaknine, Joël; Worrell, James 10 2008 Temporal logic with past is exponentially more succinct. Zbl 1169.03332Markey, Nicolas 10 2003 Pure Nash equilibria in concurrent deterministic games. Zbl 1320.91010Bouyer, Patricia; Brenguier, Romain; Markey, Nicolas; Ummels, Michael 9 2015 On the expressiveness and complexity of ATL. Zbl 1143.68044Laroussinie, François; Markey, Nicolas; Oreiby, Ghassan 9 2008 Robust analysis of timed automata via channel machines. Zbl 1138.68431Bouyer, Patricia; Markey, Nicolas; Reynier, Pierre-Alain 9 2008 Model checking one-clock priced timed automata. Zbl 1149.68401Bouyer, Patricia; Larsen, Kim G.; Markey, Nicolas 8 2008 Robust model-checking of linear-time properties in timed automata. Zbl 1145.68464Bouyer, Patricia; Markey, Nicolas; Reynier, Pierre-Alain 8 2006 Past is for free: On the complexity of verifying linear temporal properties with past. Zbl 1084.68073Markey, Nicolas 8 2004 Augmenting ATL with strategy contexts. Zbl 1332.68140Laroussinie, François; Markey, Nicolas 7 2015 Timed automata with observers under energy constraints. Zbl 1361.68135Bouyer, Patricia; Fahrenberg, Uli; Larsen, Kim G.; Markey, Nicolas 7 2010 On the expressiveness of TPTL and MTL. Zbl 1209.03010Bouyer, Patricia; Chevalier, Fabrice; Markey, Nicolas 7 2010 Average-energy games. Zbl 1390.68115Bouyer, Patricia; Markey, Nicolas; Randour, Mickael; Larsen, Kim G.; Laursen, Simon 6 2018 Robustness in timed automata. Zbl 1407.68282Bouyer, Patricia; Markey, Nicolas; Sankur, Ocan 6 2013 Nash equilibria in concurrent games with Büchi objectives. Zbl 1246.68122Bouyer, Patricia; Brenguier, Romain; Markey, Nicolas; Ummels, Michael 6 2011 Measuring permissiveness in parity games: mean-payoff parity games revisited. Zbl 1348.68093Bouyer, Patricia; Markey, Nicolas; Olschewski, Jörg; Ummels, Michael 6 2011 Timed automata can always be made implementable. Zbl 1343.68134Bouyer, Patricia; Larsen, Kim G.; Markey, Nicolas; Sankur, Ocan; Thrane, Claus 6 2011 On the expressiveness and complexity of ATL. Zbl 1142.68438Laroussinie, François; Markey, Nicolas; Oreiby, Ghassan 6 2007 Model checking real-time systems. Zbl 1392.68235Bouyer, 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.68142Bouyer, 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.68122Bouyer, Patricia; Markey, Nicolas; Sankur, Ocan 5 2011 A PTIME-complete matching problem for SLP-compressed words. Zbl 1177.68138Markey, N.; Schnoebelen, Ph. 5 2004 Language preservation problems in parametric timed automata. Zbl 06481820André, Étienne; Markey, Nicolas 4 2015 Robust reachability in timed automata: a game-based approach. Zbl 1367.68161Bouyer, Patricia; Markey, Nicolas; Sankur, Ocan 4 2012 Quantified CTL: expressiveness and model checking (extended abstract). Zbl 1364.68261Da Costa, Arnaud; Laroussinie, François; Markey, Nicolas 4 2012 Concurrent games with ordered objectives. Zbl 1352.68177Bouyer, Patricia; Brenguier, Romain; Markey, Nicolas; Ummels, Michael 4 2012 Shrinking timed automata. Zbl 1246.68159Sankur, Ocan; Bouyer, Patricia; Markey, Nicolas 4 2011 Costs are expensive! Zbl 1142.68045Bouyer, Patricia; Markey, Nicolas 4 2007 Model-checking one-clock priced timed automata. Zbl 1149.68400Bouyer, Patricia; Larsen, Kim G.; Markey, Nicolas 4 2007 On model checking durational Kripke structures. Zbl 1077.68691Laroussinie, François; Markey, Nicolas; Schnoebelen, Philippe 4 2002 Bounding average-energy games. Zbl 1392.68115Bouyer, Patricia; Hofman, Piotr; Markey, Nicolas; Randour, Mickael; Zimmermann, Martin 3 2017 Mixed Nash equilibria in concurrent terminal-reward games. Zbl 1360.91041Bouyer, Patricia; Markey, Nicolas; Stan, Daniel 3 2014 Quantified CTL: expressiveness and complexity. Zbl 1448.68304Laroussinie, François; Markey, Nicolas 3 2014 Robust controller synthesis in timed automata. Zbl 1390.68416Sankur, Ocan; Bouyer, Patricia; Markey, Nicolas; Reynier, Pierre-Alain 3 2013 Timed concurrent game structures. Zbl 1151.68510Brihaye, Thomas; Laroussinie, François; Markey, Nicolas; Oreiby, Ghassan 3 2007 Almost optimal strategies in one clock priced timed games. Zbl 1177.68142Bouyer, Patricia; Larsen, Kim G.; Markey, Nicolas; Rasmussen, Jacob Illum 3 2006 Non-deterministic temporal logics for general flow systems. Zbl 1135.93340Davoren, Jennifer M.; Coulthard, Vangham; Markey, Nicolas; Moor, Thomas 3 2004 On the semantics of strategy logic. Zbl 1346.68121Bouyer, Patricia; Gardy, Patrick; Markey, Nicolas 2 2016 Synchronizing words for weighted and timed automata. Zbl 1360.68552Doyen, Laurent; Juhl, Line; Larsen, Kim G.; Markey, Nicolas; Shirmohammadi, Mahsa 2 2014 Averaging in LTL. Zbl 1417.68098Bouyer, Patricia; Markey, Nicolas; Matteplackel, Raj Mohan 2 2014 Nash equilibria for reachability objectives in multi-player timed games. Zbl 1287.68123Bouyer, Patricia; Brenguier, Romain; Markey, Nicolas 2 2010 Measuring permissivity in finite games. Zbl 1254.91033Bouyer, Patricia; Duflot, Marie; Markey, Nicolas; Renault, Gabriel 2 2009 Model-checking timed ATL for durational concurrent game structures. Zbl 1141.68474Laroussinie, François; Markey, Nicolas; Oreiby, Ghassan 2 2006 Symbolic model checking for simply-timed systems. Zbl 1109.68519Markey, Nicolas; Schnoebelen, Philippe 2 2004 Timed temporal logics. Zbl 1431.03032Bouyer, Patricia; Laroussinie, François; Markey, Nicolas; Ouaknine, Joël; Worrell, James 1 2017 Nash equilibria in symmetric graph games with partial observation. Zbl 1371.91021Bouyer, Patricia; Markey, Nicolas; Vester, Steen 1 2017 Distributed synthesis of state-dependent switching control. Zbl 1405.93125Le Coënt, Adrien; Fribourg, Laurent; Markey, Nicolas; De Vuyst, Florian; Chamoin, Ludovic 1 2016 On the value problem in weighted timed games. Zbl 1374.68254Bouyer, Patricia; Jaziri, Samy; Markey, Nicolas 1 2015 Weighted strategy logic with Boolean goals over one-counter games. Zbl 1366.68166Bouyer, Patricia; Gardy, Patrick; Markey, Nicolas 1 2015 Timed-automata abstraction of switched dynamical systems using control funnels. Zbl 06481822Bouyer, Patricia; Markey, Nicolas; Perrin, Nicolas; Schlehuber-Caissier, Philipp 1 2015 Robust reachability in timed automata and games: a game-based approach. Zbl 1302.68153Bouyer, Patricia; Markey, Nicolas; Sankur, Ocan 1 2015 On termination for faulty channel machines. Zbl 1259.68120Bouyer, Patricia; Markey, Nicolas; Ouaknine, Joël; Schnoebelen, Philippe; Worrell, James 1 2008 Mu-calculus path checking. Zbl 1184.68339Markey, Nicolas; Schnoebelen, Philippe 1 2006 Model checking restricted sets of timed paths. Zbl 1097.68076Markey, Nicolas; Raskin, Jean-François 1 2006 Efficient timed model checking for discrete-time systems. Zbl 1088.68107Laroussinie, F.; Markey, N.; Schnoebelen, Ph. 1 2006 Model checking restricted sets of timed paths. Zbl 1097.68578Markey, Nicolas; Raskin, Jean-François 1 2004 Robustness and implementability of timed automata. Zbl 1109.68504De Wulf, Martin; Doyen, Laurent; Markey, Nicolas; Raskin, Jean-François 1 2004 Average-energy games. Zbl 1390.68115Bouyer, Patricia; Markey, Nicolas; Randour, Mickael; Larsen, Kim G.; Laursen, Simon 6 2018 Model checking real-time systems. Zbl 1392.68235Bouyer, Patricia; Fahrenberg, Uli; Larsen, Kim Guldstrand; Markey, Nicolas; Ouaknine, Joël; Worrell, James 5 2018 Bounding average-energy games. Zbl 1392.68115Bouyer, Patricia; Hofman, Piotr; Markey, Nicolas; Randour, Mickael; Zimmermann, Martin 3 2017 Timed temporal logics. Zbl 1431.03032Bouyer, Patricia; Laroussinie, François; Markey, Nicolas; Ouaknine, Joël; Worrell, James 1 2017 Nash equilibria in symmetric graph games with partial observation. Zbl 1371.91021Bouyer, Patricia; Markey, Nicolas; Vester, Steen 1 2017 On the semantics of strategy logic. Zbl 1346.68121Bouyer, Patricia; Gardy, Patrick; Markey, Nicolas 2 2016 Distributed synthesis of state-dependent switching control. Zbl 1405.93125Le Coënt, Adrien; Fribourg, Laurent; Markey, Nicolas; De Vuyst, Florian; Chamoin, Ludovic 1 2016 Pure Nash equilibria in concurrent deterministic games. Zbl 1320.91010Bouyer, Patricia; Brenguier, Romain; Markey, Nicolas; Ummels, Michael 9 2015 Augmenting ATL with strategy contexts. Zbl 1332.68140Laroussinie, François; Markey, Nicolas 7 2015 Language preservation problems in parametric timed automata. Zbl 06481820André, Étienne; Markey, Nicolas 4 2015 On the value problem in weighted timed games. Zbl 1374.68254Bouyer, Patricia; Jaziri, Samy; Markey, Nicolas 1 2015 Weighted strategy logic with Boolean goals over one-counter games. Zbl 1366.68166Bouyer, Patricia; Gardy, Patrick; Markey, Nicolas 1 2015 Timed-automata abstraction of switched dynamical systems using control funnels. Zbl 06481822Bouyer, Patricia; Markey, Nicolas; Perrin, Nicolas; Schlehuber-Caissier, Philipp 1 2015 Robust reachability in timed automata and games: a game-based approach. Zbl 1302.68153Bouyer, Patricia; Markey, Nicolas; Sankur, Ocan 1 2015 Mixed Nash equilibria in concurrent terminal-reward games. Zbl 1360.91041Bouyer, Patricia; Markey, Nicolas; Stan, Daniel 3 2014 Quantified CTL: expressiveness and complexity. Zbl 1448.68304Laroussinie, François; Markey, Nicolas 3 2014 Synchronizing words for weighted and timed automata. Zbl 1360.68552Doyen, Laurent; Juhl, Line; Larsen, Kim G.; Markey, Nicolas; Shirmohammadi, Mahsa 2 2014 Averaging in LTL. Zbl 1417.68098Bouyer, Patricia; Markey, Nicolas; Matteplackel, Raj Mohan 2 2014 Robustness in timed automata. Zbl 1407.68282Bouyer, Patricia; Markey, Nicolas; Sankur, Ocan 6 2013 Robust controller synthesis in timed automata. Zbl 1390.68416Sankur, Ocan; Bouyer, Patricia; Markey, Nicolas; Reynier, Pierre-Alain 3 2013 On termination and invariance for faulty channel machines. Zbl 1259.68142Bouyer, Patricia; Markey, Nicolas; Ouaknine, Joël; Schnoebelen, Philippe; Worrell, James 5 2012 Robust reachability in timed automata: a game-based approach. Zbl 1367.68161Bouyer, Patricia; Markey, Nicolas; Sankur, Ocan 4 2012 Quantified CTL: expressiveness and model checking (extended abstract). Zbl 1364.68261Da Costa, Arnaud; Laroussinie, François; Markey, Nicolas 4 2012 Concurrent games with ordered objectives. Zbl 1352.68177Bouyer, Patricia; Brenguier, Romain; Markey, Nicolas; Ummels, Michael 4 2012 Nash equilibria in concurrent games with Büchi objectives. Zbl 1246.68122Bouyer, Patricia; Brenguier, Romain; Markey, Nicolas; Ummels, Michael 6 2011 Measuring permissiveness in parity games: mean-payoff parity games revisited. Zbl 1348.68093Bouyer, Patricia; Markey, Nicolas; Olschewski, Jörg; Ummels, Michael 6 2011 Timed automata can always be made implementable. Zbl 1343.68134Bouyer, 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.68122Bouyer, Patricia; Markey, Nicolas; Sankur, Ocan 5 2011 Shrinking timed automata. Zbl 1246.68159Sankur, Ocan; Bouyer, Patricia; Markey, Nicolas 4 2011 ATL with strategy contexts: expressiveness and model checking. Zbl 1245.68135Da Costa, Arnaud; Laroussinie, François; Markey, Nicolas 13 2010 Timed automata with observers under energy constraints. Zbl 1361.68135Bouyer, Patricia; Fahrenberg, Uli; Larsen, Kim G.; Markey, Nicolas 7 2010 On the expressiveness of TPTL and MTL. Zbl 1209.03010Bouyer, Patricia; Chevalier, Fabrice; Markey, Nicolas 7 2010 Nash equilibria for reachability objectives in multi-player timed games. Zbl 1287.68123Bouyer, Patricia; Brenguier, Romain; Markey, Nicolas 2 2010 ATL with strategy contexts and bounded memory. Zbl 1211.03031Brihaye, Thomas; Da Costa, Arnaud; Laroussinie, François; Markey, Nicolas 15 2009 Measuring permissivity in finite games. Zbl 1254.91033Bouyer, Patricia; Duflot, Marie; Markey, Nicolas; Renault, Gabriel 2 2009 Infinite runs in weighted timed automata with energy constraints. Zbl 1171.68524Bouyer, Patricia; Fahrenberg, Uli; Larsen, Kim G.; Markey, Nicolas; Srba, Jiří 29 2008 Robust safety of timed automata. Zbl 1165.68392De Wulf, Martin; Doyen, Laurent; Markey, Nicolas; Raskin, Jean-François 12 2008 On expressiveness and complexity in real-time model checking. Zbl 1155.68426Bouyer, Patricia; Markey, Nicolas; Ouaknine, Joël; Worrell, James 10 2008 On the expressiveness and complexity of ATL. Zbl 1143.68044Laroussinie, François; Markey, Nicolas; Oreiby, Ghassan 9 2008 Robust analysis of timed automata via channel machines. Zbl 1138.68431Bouyer, Patricia; Markey, Nicolas; Reynier, Pierre-Alain 9 2008 Model checking one-clock priced timed automata. Zbl 1149.68401Bouyer, Patricia; Larsen, Kim G.; Markey, Nicolas 8 2008 On termination for faulty channel machines. Zbl 1259.68120Bouyer, Patricia; Markey, Nicolas; Ouaknine, Joël; Schnoebelen, Philippe; Worrell, James 1 2008 On the expressiveness and complexity of ATL. Zbl 1142.68438Laroussinie, François; Markey, Nicolas; Oreiby, Ghassan 6 2007 Costs are expensive! Zbl 1142.68045Bouyer, Patricia; Markey, Nicolas 4 2007 Model-checking one-clock priced timed automata. Zbl 1149.68400Bouyer, Patricia; Larsen, Kim G.; Markey, Nicolas 4 2007 Timed concurrent game structures. Zbl 1151.68510Brihaye, Thomas; Laroussinie, François; Markey, Nicolas; Oreiby, Ghassan 3 2007 Improved undecidability results on weighted timed automata. Zbl 1187.68291Bouyer, Patricia; Brihaye, Thomas; Markey, Nicolas 13 2006 Robust model-checking of linear-time properties in timed automata. Zbl 1145.68464Bouyer, Patricia; Markey, Nicolas; Reynier, Pierre-Alain 8 2006 Almost optimal strategies in one clock priced timed games. Zbl 1177.68142Bouyer, Patricia; Larsen, Kim G.; Markey, Nicolas; Rasmussen, Jacob Illum 3 2006 Model-checking timed ATL for durational concurrent game structures. Zbl 1141.68474Laroussinie, François; Markey, Nicolas; Oreiby, Ghassan 2 2006 Mu-calculus path checking. Zbl 1184.68339Markey, Nicolas; Schnoebelen, Philippe 1 2006 Model checking restricted sets of timed paths. Zbl 1097.68076Markey, Nicolas; Raskin, Jean-François 1 2006 Efficient timed model checking for discrete-time systems. Zbl 1088.68107Laroussinie, F.; Markey, N.; Schnoebelen, Ph. 1 2006 On the expressiveness of TPTL and MTL. Zbl 1140.03303Bouyer, Patricia; Chevalier, Fabrice; Markey, Nicolas 11 2005 Model checking timed automata with one or two clocks. Zbl 1099.68057Laroussinie, F.; Markey, N.; Schnoebelen, Ph. 14 2004 Past is for free: On the complexity of verifying linear temporal properties with past. Zbl 1084.68073Markey, Nicolas 8 2004 A PTIME-complete matching problem for SLP-compressed words. Zbl 1177.68138Markey, N.; Schnoebelen, Ph. 5 2004 Non-deterministic temporal logics for general flow systems. Zbl 1135.93340Davoren, Jennifer M.; Coulthard, Vangham; Markey, Nicolas; Moor, Thomas 3 2004 Symbolic model checking for simply-timed systems. Zbl 1109.68519Markey, Nicolas; Schnoebelen, Philippe 2 2004 Model checking restricted sets of timed paths. Zbl 1097.68578Markey, Nicolas; Raskin, Jean-François 1 2004 Robustness and implementability of timed automata. Zbl 1109.68504De Wulf, Martin; Doyen, Laurent; Markey, Nicolas; Raskin, Jean-François 1 2004 Model checking a path (preliminary report). Zbl 1274.68197Markey, N.; Schnoebelen, P. 16 2003 Temporal logic with past is exponentially more succinct. Zbl 1169.03332Markey, Nicolas 10 2003 On model checking durational Kripke structures. Zbl 1077.68691Laroussinie, François; Markey, Nicolas; Schnoebelen, Philippe 4 2002 Model checking \(\text{CTL}^+\) and FCTL is hard. Zbl 0986.68067Laroussinie, François; Markey, Nicolas; Schnoebelen, Philippe 13 2001 all cited Publications top 5 cited Publications 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 all top 5 Cited in 33 Serials 31 Information and Computation 25 Theoretical Computer Science 12 Acta Informatica 11 Formal Methods in System Design 8 Logical Methods in Computer Science 7 Artificial Intelligence 6 Information Processing Letters 6 Journal of Computer and System Sciences 6 Journal of Logical and Algebraic Methods in Programming 5 Journal of Applied Non-Classical Logics 5 Theory of Computing Systems 4 ACM Transactions on Computational Logic 3 Algorithmica 3 International Journal of Foundations of Computer Science 3 Annals of Mathematics and Artificial Intelligence 3 The Journal of Logic and Algebraic Programming 2 Annals of Pure and Applied Logic 2 Formal Aspects of Computing 2 Real-Time Systems 1 Information Sciences 1 Science of Computer Programming 1 International Journal of Approximate Reasoning 1 Machine Learning 1 Vestnik St. Petersburg University. Mathematics 1 Journal of Logic, Language and Information 1 Discrete Dynamics in Nature and Society 1 International Journal of Applied Mathematics and Computer Science 1 Quantum Information Processing 1 Nonlinear Analysis. Hybrid Systems 1 Frontiers of Computer Science in China 1 Frontiers of Computer Science 1 Computer Science Review 1 ACM Transactions on Computation Theory all top 5 Cited in 11 Fields 208 Computer science (68-XX) 100 Mathematical logic and foundations (03-XX) 52 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 9 Systems theory; control (93-XX) 2 Combinatorics (05-XX) 2 Probability theory and stochastic processes (60-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 General topology (54-XX) 1 Quantum theory (81-XX) 1 Biology and other natural sciences (92-XX) 1 Information and communication theory, circuits (94-XX) 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.