Edit Profile Kucera, Antonin Compute Distance To: Compute Author ID: kucera.antonin.1 Published as: Kucera, A.; Kucera, Antonin; Kucera, Antonín; Kucěra, Antonín; Kučera, A.; Kučera, Antonin; Kučera, Antonín; Kŭcera, Antonín Homepage: http://www.fi.muni.cz/usr/kucera/homepage.html External Links: ResearchGate · dblp Documents Indexed: 87 Publications since 1992, including 9 Books all top 5 Co-Authors 12 single-authored 33 Brázdil, Tomáš 11 Mayr, Richard M. 10 Brožek, Václav 10 Forejt, Vojtěch 10 Jančar, Petr 6 Esparza, Javier 6 Kiefer, Stefan 6 Novotný, Petr 5 Stražovský, Oldřich 4 Chatterjee, Krishnendu 4 Krčál, Jan 4 Křetínský, Jan 4 Moller, Faron 3 Etessami, Kousha 3 Křetínský, Mojmír 3 Řehák, Vojtěch 3 Strejček, Jan 2 Baier, Christel 2 Černá, Ivana 2 Hliněný, Petr 2 Obdržálek, Jan 2 Potapov, Igor 2 Sawa, Zdeněk 2 Schnoebelen, Philippe 2 Schwoon, Stefan 2 Vařeková, Ivana Hutařová 2 Wojtczak, Dominik 1 Antoš, David 1 Brim, Luboš 1 Bro Miltersen, Peter 1 Ciabattoni, Agata 1 Dubslaff, Clemens 1 Freivalds, Rūsiņš Mārtiņš 1 Größer, Marcus 1 Henzinger, Thomas A. 1 Holeček, Jan 1 Katoen, Joost-Pieter 1 Klimoš, Miroslav 1 Korenčiak, Ľuboš 1 Kučera, Luděk 1 Nešetřil, Jaroslav 1 Nielsen, Mogens 1 Palamidessi, Catuscia 1 Szeider, Stefan 1 Tůma, Petr 1 Valencia, Frank D. 1 Velan, Dominik 1 Vojnar, Tomáš all top 5 Serials 8 Information and Computation 6 Theoretical Computer Science 6 Lecture Notes in Computer Science 4 Acta Informatica 4 Journal of Computer and System Sciences 2 Information Processing Letters 2 Fundamenta Informaticae 2 Logical Methods in Computer Science 1 Journal of Logic and Computation 1 Formal Methods in System Design 1 Journal of the ACM 1 Theory and Practice of Logic Programming 1 Electronic Notes in Theoretical Computer Science all top 5 Fields 80 Computer science (68-XX) 15 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 14 Mathematical logic and foundations (03-XX) 9 General and overarching topics; collections (00-XX) 7 Operations research, mathematical programming (90-XX) 5 Systems theory; control (93-XX) 3 Probability theory and stochastic processes (60-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH 58 Publications have been cited 284 times in 165 Documents Cited by ▼ Year ▼ A numerical investigation of non-spherical rebounding bubbles. Zbl 0825.76472Best, J. P.; Kucera, A. 36 1992 Model checking LTL with regular valuations for pushdown systems. Zbl 1078.68081Esparza, Javier; Kučera, Antonín; Schwoon, Stefan 20 2003 Deciding bisimulation-like equivalences with finite-state processes. Zbl 0974.68131Jančar, P.; Kučera, A.; Mayr, R. 17 2001 Model checking probabilistic pushdown automata. Zbl 1126.68053Kučera, Antonín; Esparza, Javier; Mayr, Richard 13 2006 One-counter Markov decision processes. Zbl 1288.90119Brázdil, T.; Brožek, V.; Etessami, K.; Kučera, A.; Wojtczak, D. 12 2010 Reachability games on extended vector addition systems with states. Zbl 1288.68179Brázdil, Tomáš; Jančar, Petr; Kučera, Antonín 11 2010 Reachability in recursive Markov decision processes. Zbl 1145.91011Brázdil, Tomáš; Brožek, Václav; Forejt, Vojtěch; Kučera, Antonín 10 2008 Model-checking LTL with regular valuations for pushdown systems. Zbl 1087.68542Esparza, Javier; Kučera, Antonín; Schwoon, Stefan 10 2001 On the decidability of temporal properties of probabilistic pushdown automata. Zbl 1118.68520Brázdil, Tomáš; Kučera, Antonín; Stražovský, Oldřich 7 2005 Qualitative reachability in stochastic BPA games. Zbl 1237.91035Brázdil, Tomáš; Brožek, Václav; Kučera, Antonín; Obdržálek, Jan 6 2011 Equivalence-checking on infinite-state systems: techniques and results. Zbl 1101.68700Kučera, Antonín; Jančar, Petr 6 2006 On the complexity of semantic equivalences for pushdown automata and BPA. Zbl 1014.68103Kučera, Antonín; Mayr, Richard 6 2002 Simulation preorder over simple process algebras. Zbl 1009.68083Kučera, Antonín; Mayr, Richard 6 2002 Weak bisimilarity between finite-state systems and BPA or normed BPP is decidable in polynomial time. Zbl 0988.68118Kučera, Antonín; Mayr, Richard 6 2002 Simulation and bisimulation over one-counter processes. Zbl 0962.68121Jančar, Petr; Kučera, Antonín; Moller, Faron 6 2000 Markov decision processes with multiple long-run average objectives. Zbl 1326.90101Brázdil, Tomáš; Brožek, Václav; Chatterjee, Krishnendu; Forejt, Vojtěch; Kučera, Antonín 5 2014 Approximating the termination value of one-counter MDPs and stochastic games. Zbl 1334.68113Brázdil, Tomáš; Brožek, Václav; Etessami, Kousha; Kučera, Antonín 5 2011 A general approach to comparing infinite-state systems with their finite-state specifications. Zbl 1097.68075Kučera, Antonín; Schnoebelen, Philippe 5 2006 DP lower bounds for equivalence-checking and model-checking of one-counter automata. Zbl 1078.68087Jančar, Petr; Kučera, Antonín; Moller, Faron; Sawa, Zdeněk 5 2004 Why is simulation harder than bisimulation? Zbl 1012.68140Kučera, Antonín; Mayr, Richard 5 2002 Efficient verification algorithms for one-counter processes. Zbl 0973.68163Kučera, Antonín 5 2000 Weak bisimilarity with infinite-state systems can be decided in polynomial time. Zbl 0939.68082Kučera, Antonín; Mayr, Richard 5 1999 Trading performance for stability in Markov decision processes. Zbl 1366.68087Brázdil, Tomáš; Chatterjee, Krishnendu; Forejt, Vojtěch; Kučera, Antonín 4 2013 Analyzing probabilistic pushdown automata. Zbl 1291.68226Brázdil, Tomáš; Esparza, Javier; Kiefer, Stefan; Kučera, Antonín 4 2013 Continuous-time stochastic games with time-bounded reachability. Zbl 1264.91016Brázdil, Tomáš; Forejt, Vojtěch; Krčál, Jan; Křetínský, Jan; Kučera, Antonín 4 2013 On the complexity of checking semantic equivalences between pushdown processes and finite-state processes. Zbl 1194.68162Kučera, Antonín; Mayr, Richard 4 2010 Qualitative reachability in stochastic BPA games. Zbl 1236.68078Brázdil, Tomáš; Brožek, Václav; Kučera, Antonín; Obdržálek, Jan 4 2009 Discounted properties of probabilistic pushdown automata. Zbl 1182.68100Brázdil, Tomáš; Brožek, Václav; Holeček, Jan; Kučera, Antonín 4 2008 A generic framework for checking semantic equivalences between pushdown automata and finite-state automata. Zbl 1094.68050Kučera, Antonín; Mayr, Richard 4 2004 On simulation-checking with sequential systems. Zbl 0987.68045Kučera, Antonín 4 2000 The stuttering principle revisited. Zbl 1079.03008Kučera, Antonín; Strejček, Jan 3 2005 Equivalence-checking with one-counter automata: A generic method for proving lower bounds. Zbl 1077.68653Jančar, Petr; Kučera, Antonín; Moller, Faron; Sawa, Zdeněk 3 2002 Comparing expressibility of normed BPA and normed BPP processes. Zbl 0947.68109Černá, Ivana; Křetínský, Mojmír; Kučera, Antonín 3 1999 Trading performance for stability in Markov decision processes. Zbl 1359.90147Brázdil, Tomáš; Chatterjee, Krishnendu; Forejt, Vojtěch; Kučera, Antonín 2 2017 Runtime analysis of probabilistic programs with unbounded recursion. Zbl 1410.68083Brázdil, Tomáš; Kiefer, Stefan; Kučera, Antonín; Hutařová Vařeková, Ivana 2 2015 Minimizing expected termination time in one-counter Markov decision processes. Zbl 1367.68162Brázdil, Tomáš; Kučera, Antonín; Novotný, Petr; Wojtczak, Dominik 2 2012 Runtime analysis of probabilistic programs with unbounded recursion. Zbl 1242.68064Brázdil, Tomáš; Kiefer, Stefan; Kučera, Antonín; Vařeková, Ivana Hutařová 2 2011 Stochastic real-time games with qualitative timed automata objectives. Zbl 1287.68124Brázdil, Tomáš; Krčál, Jan; Křetínský, Jan; Kučera, Antonín; Řehák, Vojtěch 2 2010 Continuous-time stochastic games with time-bounded reachability. Zbl 1250.91015Brázdil, Tomáš; Forejt, Vojtech; Krčál, Jan; Křetínský, Jan; Kučera, Antonin 2 2009 Controller synthesis and verification for Markov decision processes with qualitative branching time objectives. Zbl 1155.68427Brázdil, Tomáš; Forejt, Vojtěch; Kučera, Antonín 2 2008 Deciding probabilistic bisimilarity over infinite-state probabilistic systems. Zbl 1138.68039Brázdil, Tomáš; Kučera, Antonín; Stražovský, Oldřich 2 2008 A logical viewpoint on process-algebraic quotients. Zbl 1093.68066Kučera, Antonín; Esparza, Javier 2 2003 Effective decomposability of sequential behaviours. Zbl 0944.68065Kučera, Antonín 2 2000 On finite representations of infinite-state behaviours. Zbl 1002.68093Kučera, Antonín 2 1999 A generic framework for checking semantic equivalences between pushdown automata and finite-state automata. Zbl 1378.68106Kučera, Antonín; Mayr, Richard 1 2018 Long-run average behaviour of probabilistic vector addition systems. Zbl 1392.68284Brázdil, Tomáš; Kiefer, Stefan; Kučera, Antonín; Novotný, Petr 1 2015 Efficient analysis of probabilistic programs with an unbounded counter. Zbl 1321.68186Brázdil, Tomás; Kiefer, Stefan; Kŭcera, Antonín 1 2014 Branching-time model-checking of probabilistic pushdown automata. Zbl 1311.68084Brázdil, Tomáš; Brožek, Václav; Forejt, Vojtěch; Kučera, Antonín 1 2014 Approximating the termination value of one-counter MDPs and stochastic games. Zbl 1267.68160Brázdil, Tomáš; Brožek, Václav; Etessami, Kousha; Kučera, Antonín 1 2013 Measuring performance of continuous-time stochastic processes using timed automata. Zbl 1361.68136Brázdil, Tomáš; Krčál, Jan; Křetínský, Jan; Kučera, Antonín; Řehák, Vojtěch 1 2011 Reachability in recursive Markov decision processes. Zbl 1151.68509Brázdil, Tomáš; Brožek, Václav; Forejt, Vojtěch; Kučera, Antonín 1 2006 Computing the expected accumulated reward and gain for a subclass of infinite Markov chains. Zbl 1172.68539Brázdil, Tomáš; Kučera, Antonín 1 2005 Deciding probabilistic bisimilarity over infinite-state probabilistic systems. Zbl 1099.68065Brázdil, Tomáš; Kučera, Antonín; Stražovský, Oldřich 1 2004 Deciding bisimilarity between BPA and BPP processes. Zbl 1274.68236Jančar, Petr; Kučera, Antonín; Moller, Faron 1 2003 The complexity of bisimilarity-checking for one-counter processes. Zbl 1044.68099Kučera, Antonín 1 2003 Equivalence-checking with infinite-state systems: techniques and results. Zbl 1278.68218Kučera, Antonín; Jančar, Petr 1 2002 The stuttering principle revisited: On the expressiveness of nested \(X\) and \(U\) operators in the logic LTL. Zbl 1020.03026Kučera, Antonín; Strejček, Jan 1 2002 Bisimilarity is decidable in the union of normed BPA and normed BPP processes. Zbl 0911.68065Černá, I.; Křetínský, M.; Kučera, A. 1 1997 A generic framework for checking semantic equivalences between pushdown automata and finite-state automata. Zbl 1378.68106Kučera, Antonín; Mayr, Richard 1 2018 Trading performance for stability in Markov decision processes. Zbl 1359.90147Brázdil, Tomáš; Chatterjee, Krishnendu; Forejt, Vojtěch; Kučera, Antonín 2 2017 Runtime analysis of probabilistic programs with unbounded recursion. Zbl 1410.68083Brázdil, Tomáš; Kiefer, Stefan; Kučera, Antonín; Hutařová Vařeková, Ivana 2 2015 Long-run average behaviour of probabilistic vector addition systems. Zbl 1392.68284Brázdil, Tomáš; Kiefer, Stefan; Kučera, Antonín; Novotný, Petr 1 2015 Markov decision processes with multiple long-run average objectives. Zbl 1326.90101Brázdil, Tomáš; Brožek, Václav; Chatterjee, Krishnendu; Forejt, Vojtěch; Kučera, Antonín 5 2014 Efficient analysis of probabilistic programs with an unbounded counter. Zbl 1321.68186Brázdil, Tomás; Kiefer, Stefan; Kŭcera, Antonín 1 2014 Branching-time model-checking of probabilistic pushdown automata. Zbl 1311.68084Brázdil, Tomáš; Brožek, Václav; Forejt, Vojtěch; Kučera, Antonín 1 2014 Trading performance for stability in Markov decision processes. Zbl 1366.68087Brázdil, Tomáš; Chatterjee, Krishnendu; Forejt, Vojtěch; Kučera, Antonín 4 2013 Analyzing probabilistic pushdown automata. Zbl 1291.68226Brázdil, Tomáš; Esparza, Javier; Kiefer, Stefan; Kučera, Antonín 4 2013 Continuous-time stochastic games with time-bounded reachability. Zbl 1264.91016Brázdil, Tomáš; Forejt, Vojtěch; Krčál, Jan; Křetínský, Jan; Kučera, Antonín 4 2013 Approximating the termination value of one-counter MDPs and stochastic games. Zbl 1267.68160Brázdil, Tomáš; Brožek, Václav; Etessami, Kousha; Kučera, Antonín 1 2013 Minimizing expected termination time in one-counter Markov decision processes. Zbl 1367.68162Brázdil, Tomáš; Kučera, Antonín; Novotný, Petr; Wojtczak, Dominik 2 2012 Qualitative reachability in stochastic BPA games. Zbl 1237.91035Brázdil, Tomáš; Brožek, Václav; Kučera, Antonín; Obdržálek, Jan 6 2011 Approximating the termination value of one-counter MDPs and stochastic games. Zbl 1334.68113Brázdil, Tomáš; Brožek, Václav; Etessami, Kousha; Kučera, Antonín 5 2011 Runtime analysis of probabilistic programs with unbounded recursion. Zbl 1242.68064Brázdil, Tomáš; Kiefer, Stefan; Kučera, Antonín; Vařeková, Ivana Hutařová 2 2011 Measuring performance of continuous-time stochastic processes using timed automata. Zbl 1361.68136Brázdil, Tomáš; Krčál, Jan; Křetínský, Jan; Kučera, Antonín; Řehák, Vojtěch 1 2011 One-counter Markov decision processes. Zbl 1288.90119Brázdil, T.; Brožek, V.; Etessami, K.; Kučera, A.; Wojtczak, D. 12 2010 Reachability games on extended vector addition systems with states. Zbl 1288.68179Brázdil, Tomáš; Jančar, Petr; Kučera, Antonín 11 2010 On the complexity of checking semantic equivalences between pushdown processes and finite-state processes. Zbl 1194.68162Kučera, Antonín; Mayr, Richard 4 2010 Stochastic real-time games with qualitative timed automata objectives. Zbl 1287.68124Brázdil, Tomáš; Krčál, Jan; Křetínský, Jan; Kučera, Antonín; Řehák, Vojtěch 2 2010 Qualitative reachability in stochastic BPA games. Zbl 1236.68078Brázdil, Tomáš; Brožek, Václav; Kučera, Antonín; Obdržálek, Jan 4 2009 Continuous-time stochastic games with time-bounded reachability. Zbl 1250.91015Brázdil, Tomáš; Forejt, Vojtech; Krčál, Jan; Křetínský, Jan; Kučera, Antonin 2 2009 Reachability in recursive Markov decision processes. Zbl 1145.91011Brázdil, Tomáš; Brožek, Václav; Forejt, Vojtěch; Kučera, Antonín 10 2008 Discounted properties of probabilistic pushdown automata. Zbl 1182.68100Brázdil, Tomáš; Brožek, Václav; Holeček, Jan; Kučera, Antonín 4 2008 Controller synthesis and verification for Markov decision processes with qualitative branching time objectives. Zbl 1155.68427Brázdil, Tomáš; Forejt, Vojtěch; Kučera, Antonín 2 2008 Deciding probabilistic bisimilarity over infinite-state probabilistic systems. Zbl 1138.68039Brázdil, Tomáš; Kučera, Antonín; Stražovský, Oldřich 2 2008 Model checking probabilistic pushdown automata. Zbl 1126.68053Kučera, Antonín; Esparza, Javier; Mayr, Richard 13 2006 Equivalence-checking on infinite-state systems: techniques and results. Zbl 1101.68700Kučera, Antonín; Jančar, Petr 6 2006 A general approach to comparing infinite-state systems with their finite-state specifications. Zbl 1097.68075Kučera, Antonín; Schnoebelen, Philippe 5 2006 Reachability in recursive Markov decision processes. Zbl 1151.68509Brázdil, Tomáš; Brožek, Václav; Forejt, Vojtěch; Kučera, Antonín 1 2006 On the decidability of temporal properties of probabilistic pushdown automata. Zbl 1118.68520Brázdil, Tomáš; Kučera, Antonín; Stražovský, Oldřich 7 2005 The stuttering principle revisited. Zbl 1079.03008Kučera, Antonín; Strejček, Jan 3 2005 Computing the expected accumulated reward and gain for a subclass of infinite Markov chains. Zbl 1172.68539Brázdil, Tomáš; Kučera, Antonín 1 2005 DP lower bounds for equivalence-checking and model-checking of one-counter automata. Zbl 1078.68087Jančar, Petr; Kučera, Antonín; Moller, Faron; Sawa, Zdeněk 5 2004 A generic framework for checking semantic equivalences between pushdown automata and finite-state automata. Zbl 1094.68050Kučera, Antonín; Mayr, Richard 4 2004 Deciding probabilistic bisimilarity over infinite-state probabilistic systems. Zbl 1099.68065Brázdil, Tomáš; Kučera, Antonín; Stražovský, Oldřich 1 2004 Model checking LTL with regular valuations for pushdown systems. Zbl 1078.68081Esparza, Javier; Kučera, Antonín; Schwoon, Stefan 20 2003 A logical viewpoint on process-algebraic quotients. Zbl 1093.68066Kučera, Antonín; Esparza, Javier 2 2003 Deciding bisimilarity between BPA and BPP processes. Zbl 1274.68236Jančar, Petr; Kučera, Antonín; Moller, Faron 1 2003 The complexity of bisimilarity-checking for one-counter processes. Zbl 1044.68099Kučera, Antonín 1 2003 On the complexity of semantic equivalences for pushdown automata and BPA. Zbl 1014.68103Kučera, Antonín; Mayr, Richard 6 2002 Simulation preorder over simple process algebras. Zbl 1009.68083Kučera, Antonín; Mayr, Richard 6 2002 Weak bisimilarity between finite-state systems and BPA or normed BPP is decidable in polynomial time. Zbl 0988.68118Kučera, Antonín; Mayr, Richard 6 2002 Why is simulation harder than bisimulation? Zbl 1012.68140Kučera, Antonín; Mayr, Richard 5 2002 Equivalence-checking with one-counter automata: A generic method for proving lower bounds. Zbl 1077.68653Jančar, Petr; Kučera, Antonín; Moller, Faron; Sawa, Zdeněk 3 2002 Equivalence-checking with infinite-state systems: techniques and results. Zbl 1278.68218Kučera, Antonín; Jančar, Petr 1 2002 The stuttering principle revisited: On the expressiveness of nested \(X\) and \(U\) operators in the logic LTL. Zbl 1020.03026Kučera, Antonín; Strejček, Jan 1 2002 Deciding bisimulation-like equivalences with finite-state processes. Zbl 0974.68131Jančar, P.; Kučera, A.; Mayr, R. 17 2001 Model-checking LTL with regular valuations for pushdown systems. Zbl 1087.68542Esparza, Javier; Kučera, Antonín; Schwoon, Stefan 10 2001 Simulation and bisimulation over one-counter processes. Zbl 0962.68121Jančar, Petr; Kučera, Antonín; Moller, Faron 6 2000 Efficient verification algorithms for one-counter processes. Zbl 0973.68163Kučera, Antonín 5 2000 On simulation-checking with sequential systems. Zbl 0987.68045Kučera, Antonín 4 2000 Effective decomposability of sequential behaviours. Zbl 0944.68065Kučera, Antonín 2 2000 Weak bisimilarity with infinite-state systems can be decided in polynomial time. Zbl 0939.68082Kučera, Antonín; Mayr, Richard 5 1999 Comparing expressibility of normed BPA and normed BPP processes. Zbl 0947.68109Černá, Ivana; Křetínský, Mojmír; Kučera, Antonín 3 1999 On finite representations of infinite-state behaviours. Zbl 1002.68093Kučera, Antonín 2 1999 Bisimilarity is decidable in the union of normed BPA and normed BPP processes. Zbl 0911.68065Černá, I.; Křetínský, M.; Kučera, A. 1 1997 A numerical investigation of non-spherical rebounding bubbles. Zbl 0825.76472Best, J. P.; Kucera, A. 36 1992 all cited Publications top 5 cited Publications all top 5 Cited by 262 Authors 23 Kucera, Antonin 13 Brázdil, Tomáš 9 Forejt, Vojtěch 9 Jančar, Petr 8 Chatterjee, Krishnendu 8 Khoo, Boo Cheong 7 Brožek, Václav 7 Kiefer, Stefan 7 Mayr, Richard M. 6 Baier, Christel 6 Etessami, Kousha 6 Kwiatkowska, Marta Z. 6 Schnoebelen, Philippe 5 Bozzelli, Laura 5 Demri, Stéphane P. 5 Esparza, Javier 5 Raskin, Jean-François 5 Wang, Qianxi 5 Yannakakis, Mihalis 4 Katoen, Joost-Pieter 4 Randour, Mickael 4 Song, Fu 4 Stewart, Alistair 4 Strejček, Jan 4 Touili, Tayssir 4 Yeo, Khoon Seng 3 Bertrand, Nathalie 3 Dadvand, Abdolrahman 3 Li, Zhangrui 3 Moller, Faron 3 Niskanen, Reino 3 Potapov, Igor 3 Řehák, Vojtěch 3 Sangnier, Arnaud 3 Sawa, Zdeněk 3 Shervani-Tabar, Mohammad Taghi 3 Srba, Jiří 3 Sun, Lei 3 Worrell, James B. 3 Zong, Zhi 2 Abdulla, Parosh Aziz 2 Blake, John Robert 2 Bouajjani, Ahmed 2 Colonius, Tim 2 Dong, Jing 2 Dubslaff, Clemens 2 Gascon, Régis 2 Göller, Stefan 2 Haase, Christoph 2 Hague, Matthew 2 Halava, Vesa 2 Harju, Tero 2 Henzinger, Thomas A. 2 Juhl, Line 2 Klaseboer, Evert 2 Křetínský, Mojmír 2 La Torre, Salvatore 2 Lam, Khin-Yong 2 Larsen, Kim Guldstrand 2 Lazić, Ranko 2 Lind, Steven J. 2 Lohrey, Markus 2 Lugiez, Denis 2 Ni, Baoyu 2 Norman, Gethin 2 Ong, C.-H. Luke 2 Peron, Adriano 2 Rabinovich, Alexander 2 Ranzato, Francesco 2 Smolka, Scott A. 2 Tapparo, Francesco 2 Vařeková, Ivana Hutařová 2 Velner, Yaron 2 Zhang, Lijun 1 Aceto, Luca 1 Afanas’ev, K. E. 1 Alechina, Natasha 1 Alur, Rajeev 1 Avni, Guy 1 Aziz, Imad A. 1 Baghoolizadeh, Shirin 1 Ballmann, Josef 1 Barbot, Benoît 1 Basset, Nicolas 1 Becker, Bernd 1 Berg, Manuela 1 Bloem, Roderick 1 Böhm, Stanislav 1 Boulton-Stone, Jeremy M. 1 Braitling, Bettina 1 Brihaye, Thomas 1 Bruyère, Véronique 1 Bui, Tu Thanh 1 Bulling, Nils 1 Calvisi, Michael L. 1 Chen, Haiyan 1 Chen, Taolue 1 Chiari, Michele 1 Chonev, Ventsislav 1 Ciobanu, Radu ...and 162 more Authors all top 5 Cited in 35 Serials 27 Theoretical Computer Science 26 Information and Computation 10 Journal of Computer and System Sciences 6 Computers and Fluids 6 Formal Methods in System Design 5 Acta Informatica 5 Information Processing Letters 5 Journal of Fluid Mechanics 4 Theoretical and Computational Fluid Dynamics 4 Engineering Analysis with Boundary Elements 3 Journal of Engineering Mathematics 3 Physics of Fluids 2 Journal of Computational Physics 2 Formal Aspects of Computing 2 Acta Mechanica Sinica 2 Logical Methods in Computer Science 1 Acta Mechanica 1 International Journal for Numerical Methods in Fluids 1 The Journal of Symbolic Logic 1 Mathematics and Computers in Simulation 1 Mathematics of Operations Research 1 SIAM Journal on Computing 1 Synthese 1 Applied Mathematics and Mechanics. (English Edition) 1 Journal of Automated Reasoning 1 Multidimensional Systems and Signal Processing 1 MSCS. Mathematical Structures in Computer Science 1 Applied Mathematical Modelling 1 Archive of Applied Mechanics 1 European Journal of Control 1 Theory of Computing Systems 1 Journal of the ACM 1 Higher-Order and Symbolic Computation 1 RAIRO. Theoretical Informatics and Applications 1 Theory and Practice of Logic Programming all top 5 Cited in 15 Fields 122 Computer science (68-XX) 35 Fluid mechanics (76-XX) 28 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 25 Mathematical logic and foundations (03-XX) 8 Operations research, mathematical programming (90-XX) 7 Probability theory and stochastic processes (60-XX) 3 Combinatorics (05-XX) 3 Numerical analysis (65-XX) 3 Mechanics of deformable solids (74-XX) 3 Systems theory; control (93-XX) 1 General and overarching topics; collections (00-XX) 1 Associative rings and algebras (16-XX) 1 Partial differential equations (35-XX) 1 Classical thermodynamics, heat transfer (80-XX) 1 Biology and other natural sciences (92-XX) Citations by Year