Edit Profile (opens in new tab) Srba, Jiří Compute Distance To: Compute Author ID: srba.jiri Published as: Srba, Jiří; Srba, Jirí; Srba, J.; Srba, Jiri more...less Documents Indexed: 75 Publications since 1998, including 1 Book 4 Contributions as Editor Co-Authors: 80 Co-Authors with 60 Joint Publications 1,051 Co-Co-Authors all top 5 Co-Authors 19 single-authored 30 Larsen, Kim Guldstrand 13 Jensen, Peter Gjøl 7 Beneš, Nikola 7 Křetínský, Jan 6 Bønneland, Frederik Meyer 6 Møller, Mikael Harkjær 5 Muñiz, Marco 4 Enevoldsen, Søren 4 Kaufmann, Isabella 3 Dalsgaard, Andreas Engelbredt 3 Jacobsen, Lasse 3 Jacobsen, Morten 3 Jančar, Petr 3 Jensen, Lasse S. 3 Juhl, Line 3 Nielsen, Mogens 3 Nielsen, Søren M. 2 Aceto, Luca 2 Dyhr, Jakob 2 Fahrenberg, Uli 2 Fogh, Peter 2 Hüttel, Hans 2 Ingólfsdóttir, Anna 2 Jepsen, Tobias S. 2 Johannsen, Mads 2 Jørgensen, Kenneth Yrke 2 Klíma, Ondřej 2 Laursen, Simon 2 Mateo, Jose Antonio 2 Olesen, Mads Christian 2 Pastva, Samuel 2 Potapov, Igor 2 Sassone, Vladimiro 2 Schmid, Stefan 2 Smolka, Scott A. 2 Sørensen, Mathias Grund 1 Bauer, Sebastian S. 1 Bezděk, Peter 1 Bilgram, Alexander 1 Bouyer, Patricia 1 Byg, Joakim 1 Černá, Ivana 1 David, Alexandre 1 Delzanno, Giorgio 1 Didriksen, Martin 1 Esparza, Javier 1 Jensen, Mathias Claus 1 Johansen, Nicklas S. 1 Jon Jensen, Jacob 1 Jønler, Jonathan F. 1 Jurdziński, Marcin 1 Kær, Lasse B. 1 Karra, Shyam Lal 1 Katona, Andrei-Ioan 1 Kiefer, Stefan 1 Konggaard Schou, Morten 1 Kühnrich, Morten 1 Lama, Sangey D. L. 1 Legay, Axel 1 Lottrup, Frederik B. 1 Madsen, Andreas L. 1 Mariegaard, Anders 1 Markey, Nicolas 1 Moesgaard, Christoffer 1 Moller, Faron 1 Nielsen, Kristian Ø. 1 Nørgaard Samuelsen, Niels 1 Nowotka, Dirk 1 Schnepf, Nicolas 1 Schwoon, Stefan 1 Shajarat, Shahab 1 Sickert, Salomon 1 Stig Jacobsen, Thomas 1 Taankvist, Peter H. 1 Tollund, Rasmus G. 1 Ulrik, Nikolaj Jensen 1 van Duijn, Ingo 1 Vanerio, Juan 1 Viesmose Birch, Sine 1 Virenfeldt, Simon Mejlby all top 5 Serials 4 Theoretical Computer Science 3 Information and Computation 3 Journal of Logical and Algebraic Methods in Programming 2 Acta Informatica 2 MSCS. Mathematical Structures in Computer Science 2 Fundamenta Informaticae 2 Logical Methods in Computer Science 1 Journal of Automated Reasoning 1 Journal of the ACM 1 Bulletin of the European Association for Theoretical Computer Science EATCS 1 The Journal of Logic and Algebraic Programming 1 Lecture Notes in Computer Science 1 Electronic Notes in Theoretical Computer Science all top 5 Fields 78 Computer science (68-XX) 10 Mathematical logic and foundations (03-XX) 6 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 4 General and overarching topics; collections (00-XX) 3 Operations research, mathematical programming (90-XX) 2 Information and communication theory, circuits (94-XX) 1 Group theory and generalizations (20-XX) 1 Biology and other natural sciences (92-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 54 Publications have been cited 338 times in 228 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ří 50 2008 Reactive systems. Modelling, specification and verification. Zbl 1141.68043Aceto, Luca; Ingólfsdóttir, Anna; Larsen, Kim G.; Srba, Jiří 45 2007 Energy games in multiweighted automata. Zbl 1350.68168Fahrenberg, Uli; Juhl, Line; Larsen, Kim G.; Srba, Jiří 17 2011 Roadmap of infinite results. Zbl 1065.68073Srba, Jiří 14 2004 Strong bisimilarity and regularity of basic parallel processes is PSPACE-hard. Zbl 1054.68096Srba, Jiří 12 2002 Height-deterministic pushdown automata. Zbl 1147.68562Nowotka, Dirk; Srba, Jiří 12 2007 Undecidability of domino games and hhp-bisimilarity. Zbl 1054.68094Jurdziński, Marcin; Nielsen, Mogens; Srba, Jiří 11 2003 Language emptiness of continuous-time parametric timed automata. Zbl 1440.68150Beneš, Nikola; Bezděk, Peter; Larsen, Kim G.; Srba, Jiří 10 2015 TAPAAL 2.0: integrated development environment for timed-arc Petri nets. Zbl 1352.68181David, Alexandre; Jacobsen, Lasse; Jacobsen, Morten; Jørgensen, Kenneth Yrke; Møller, Mikael H.; Srba, Jiří 10 2012 On determinism in modal transition systems. Zbl 1186.68314Beneš, N.; Křetínský, J.; Larsen, K. G.; Srba, J. 10 2009 Extending modal transition systems with structured labels. Zbl 1277.68160Bauer, Sebastian S.; Juhl, Line; Larsen, Kim G.; Legay, Axel; Srba, Jiří 8 2012 Verification of timed-arc Petri nets. Zbl 1298.68175Jacobsen, Lasse; Jacobsen, Morten; Møller, Mikael H.; Srba, Jiří 8 2011 Checking thorough refinement on modal transition systems is EXPTIME-complete. Zbl 1250.68117Beneš, Nikola; Křetínský, Jan; Larsen, Kim G.; Srba, Jiří 8 2009 Strong bisimilarity and regularity of basic process algebra is PSPACE-hard. Zbl 1057.68071Srba, Jiří 7 2002 Undecidability of bisimilarity by defender’s forcing. Zbl 1326.68199Jančar, Petr; Srba, Jiří 6 2008 Roadmap of infinite results. Zbl 1169.68554Srba, Jiří 6 2002 Real-time strategy synthesis for timed-arc Petri net games via discretization. Zbl 1354.68196Jensen, Peter Gjøl; Larsen, Kim Guldstrand; Srba, Jiří 5 2016 Modal transition systems with weight intervals. Zbl 1243.68215Juhl, Line; Larsen, Kim G.; Srba, Jiří 5 2012 Stubborn set reduction for two-player reachability games. Zbl 1501.68002Bønneland, Frederik Meyer; Jensen, Peter Gjøl; Larsen, Kim Guldstrand; Muñiz, Marco; Srba, Jiří 5 2021 Simplification of CTL formulae for efficient model checking of Petri nets. Zbl 1427.68161Bønneland, Frederik; Dyhr, Jakob; Jensen, Peter G.; Johannsen, Mads; Srba, Jiří 5 2018 Parametric modal transition systems. Zbl 1348.68120Beneš, Nikola; Křetínský, Jan; Larsen, Kim G.; Møller, Mikael H.; Srba, Jiří 5 2011 Stubborn versus structural reductions for Petri nets. Zbl 1407.68330Bønneland, Frederik M.; Dyhr, Jakob; Jensen, Peter G.; Johannsen, Mads; Srba, Jiří 5 2019 Undecidability of weak bisimilarity for pushdown processes. Zbl 1012.68138Srba, Jiří 5 2002 Timed-arc Petri nets vs. networks of timed automata. Zbl 1128.68069Srba, Jiří 4 2005 Comparing the expressiveness of timed automata and timed extensions of Petri nets. Zbl 1171.68579Srba, Jiří 4 2008 Synchronizing strategies under partial observability. Zbl 1417.68129Guldstrand Larsen, Kim; Laursen, Simon; Srba, Jiří 4 2014 Strong bisimilarity of simple process algebras: Complexity lower bounds. Zbl 1060.68081Srba, Jiří 4 2003 Complexity of weak bisimilarity and regularity for BPA and BPP. Zbl 1260.68278Srba, Jiří 4 2003 Partial order reduction for reachability games. Zbl 07649931Bønneland, Frederik Meyer; Jensen, Peter Gjøl; Larsen, Kim G.; Muñiz, Marco; Srba, Jiří 4 2019 PTrie: data structure for compressing and storing sets via prefix sharing. Zbl 1444.68063Jensen, Peter Gjøl; Larsen, Kim Guldstrand; Srba, Jiří 3 2017 EXPTIME-completeness of thorough refinement on modal transition systems. Zbl 1282.68118Beneš, Nikola; Křetínský, Jan; Larsen, Kim G.; Srba, Jiří 3 2012 Beyond language equivalence on visibly pushdown automata. Zbl 1164.68018Srba, Jiří 3 2009 Dual-priced modal transition systems with time durations. Zbl 1352.68144Beneš, Nikola; Křetínský, Jan; Guldstrand Larsen, Kim; Møller, Mikael H.; Srba, Jiří 3 2012 The algorithmics of bisimilarity. Zbl 1285.68101Aceto, Luca; Ingolfsdottir, Anna; Srba, Jirí 3 2012 On the power of labels in transition systems. Zbl 1006.68091Srba, Jiří 3 2001 Distributed computation of fixed points on dependency graphs. Zbl 1393.68099Dalsgaard, Andreas Engelbredt; Enevoldsen, Søren; Larsen, Kim Guldstrand; Srba, Jiří 2 2016 Extended dependency graphs and efficient distributed fixed-point computation. Zbl 1393.68098Dalsgaard, Andreas E.; Enevoldsen, Søren; Fogh, Peter; Jensen, Lasse S.; Jepsen, Tobias S.; Kaufmann, Isabella; Larsen, Kim G.; Nielsen, Søren M.; Olesen, Mads Chr.; Pastva, Samuel; Srba, Jiří 2 2017 Visibly pushdown automata: from language equivalence to simulation and bisimulation. Zbl 1225.68104Srba, Jiří 2 2006 Refinement checking on parametric modal transition systems. Zbl 1309.68130Beneš, Nikola; Křetínský, Jan; Larsen, Kim G.; Møller, Mikael H.; Sickert, Salomon; Srba, Jiří 2 2015 Model checking and synthesis for branching multi-weighted logics. Zbl 1423.68284Jensen, L. S.; Kaufmann, I.; Larsen, K. G.; Nielsen, S. M.; Srba, J. 2 2019 A distributed fixed-point algorithm for extended dependency graphs. Zbl 1396.68070Dalsgaard, Andreas E.; Enevoldsen, Søren; Fogh, Peter; Jensen, Lasse S.; Jensen, Peter G.; Jepsen, Tobias S.; Kaufmann, Isabella; Larsen, Kim G.; Nielsen, Søren M.; Olesen, Mads Chr.; Pastva, Samuel; Srba, Jiří 2 2018 Properties of distributed timed-arc Petri nets. Zbl 1052.68639Nielsen, Mogens; Sassone, Vladimiro; Srba, Jirí 2 2001 Automatic synthesis of transiently correct network updates via Petri games. Zbl 1489.68157Didriksen, Martin; Jensen, Peter G.; Jønler, Jonathan F.; Katona, Andrei-Ioan; Lama, Sangey D. L.; Lottrup, Frederik B.; Shajarat, Shahab; Srba, Jiří 2 2021 Recursion versus replication in simple cryptographic protocols. Zbl 1117.94320Hüttel, Hans; Srba, Jiří 1 2005 Reachability problems. 10th international workshop, RP 2016, Aalborg, Denmark, September 19–21, 2016. Proceedings. Zbl 1371.68012 1 2016 Interprocedural dataflow analysis over weight domains with infinite descending chains. Zbl 1234.68219Kühnrich, Morten; Schwoon, Stefan; Srba, Jiří; Kiefer, Stefan 1 2009 Polynomial time decidability of weighted synchronization under partial observability. Zbl 1374.68260Kretinsky, Jan; Larsen, Kim Guldstrand; Laursen, Simon; Srba, Jiri 1 2015 Decidability issues for extended ping-pong protocols. Zbl 1107.68042Hüttel, Hans; Srba, Jiří 1 2006 TCTL-preserving translations from timed-arc Petri nets to networks of timed automata. Zbl 1359.68216Byg, Joakim; Jacobsen, Morten; Jacobsen, Lasse; Jørgensen, Kenneth Yrke; Møller, Mikael Harkjær; Srba, Jiří 1 2014 Soundness of timed-arc workflow nets. Zbl 1334.90064Mateo, José Antonio; Srba, Jiří; Sørensen, Mathias Grund 1 2014 Undecidability of weak bisimilarity for PA-processes. Zbl 1015.68133Srba, Jirí 1 2003 Complexity of weak bisimilarity and regularity for BPA and BPP. Zbl 1088.68134Srba, Jiří 1 2003 Note on the tableau technique for commutative transition systems. Zbl 1077.68718Srba, Jiří 1 2002 Resilient capacity-aware routing. Zbl 1467.68013Schmid, Stefan; Schnepf, Nicolas; Srba, Jiří 1 2021 Stubborn set reduction for two-player reachability games. Zbl 1501.68002Bønneland, Frederik Meyer; Jensen, Peter Gjøl; Larsen, Kim Guldstrand; Muñiz, Marco; Srba, Jiří 5 2021 Automatic synthesis of transiently correct network updates via Petri games. Zbl 1489.68157Didriksen, Martin; Jensen, Peter G.; Jønler, Jonathan F.; Katona, Andrei-Ioan; Lama, Sangey D. L.; Lottrup, Frederik B.; Shajarat, Shahab; Srba, Jiří 2 2021 Resilient capacity-aware routing. Zbl 1467.68013Schmid, Stefan; Schnepf, Nicolas; Srba, Jiří 1 2021 Stubborn versus structural reductions for Petri nets. Zbl 1407.68330Bønneland, Frederik M.; Dyhr, Jakob; Jensen, Peter G.; Johannsen, Mads; Srba, Jiří 5 2019 Partial order reduction for reachability games. Zbl 07649931Bønneland, Frederik Meyer; Jensen, Peter Gjøl; Larsen, Kim G.; Muñiz, Marco; Srba, Jiří 4 2019 Model checking and synthesis for branching multi-weighted logics. Zbl 1423.68284Jensen, L. S.; Kaufmann, I.; Larsen, K. G.; Nielsen, S. M.; Srba, J. 2 2019 Simplification of CTL formulae for efficient model checking of Petri nets. Zbl 1427.68161Bønneland, Frederik; Dyhr, Jakob; Jensen, Peter G.; Johannsen, Mads; Srba, Jiří 5 2018 A distributed fixed-point algorithm for extended dependency graphs. Zbl 1396.68070Dalsgaard, Andreas E.; Enevoldsen, Søren; Fogh, Peter; Jensen, Lasse S.; Jensen, Peter G.; Jepsen, Tobias S.; Kaufmann, Isabella; Larsen, Kim G.; Nielsen, Søren M.; Olesen, Mads Chr.; Pastva, Samuel; Srba, Jiří 2 2018 PTrie: data structure for compressing and storing sets via prefix sharing. Zbl 1444.68063Jensen, Peter Gjøl; Larsen, Kim Guldstrand; Srba, Jiří 3 2017 Extended dependency graphs and efficient distributed fixed-point computation. Zbl 1393.68098Dalsgaard, Andreas E.; Enevoldsen, Søren; Fogh, Peter; Jensen, Lasse S.; Jepsen, Tobias S.; Kaufmann, Isabella; Larsen, Kim G.; Nielsen, Søren M.; Olesen, Mads Chr.; Pastva, Samuel; Srba, Jiří 2 2017 Real-time strategy synthesis for timed-arc Petri net games via discretization. Zbl 1354.68196Jensen, Peter Gjøl; Larsen, Kim Guldstrand; Srba, Jiří 5 2016 Distributed computation of fixed points on dependency graphs. Zbl 1393.68099Dalsgaard, Andreas Engelbredt; Enevoldsen, Søren; Larsen, Kim Guldstrand; Srba, Jiří 2 2016 Reachability problems. 10th international workshop, RP 2016, Aalborg, Denmark, September 19–21, 2016. Proceedings. Zbl 1371.68012 1 2016 Language emptiness of continuous-time parametric timed automata. Zbl 1440.68150Beneš, Nikola; Bezděk, Peter; Larsen, Kim G.; Srba, Jiří 10 2015 Refinement checking on parametric modal transition systems. Zbl 1309.68130Beneš, Nikola; Křetínský, Jan; Larsen, Kim G.; Møller, Mikael H.; Sickert, Salomon; Srba, Jiří 2 2015 Polynomial time decidability of weighted synchronization under partial observability. Zbl 1374.68260Kretinsky, Jan; Larsen, Kim Guldstrand; Laursen, Simon; Srba, Jiri 1 2015 Synchronizing strategies under partial observability. Zbl 1417.68129Guldstrand Larsen, Kim; Laursen, Simon; Srba, Jiří 4 2014 TCTL-preserving translations from timed-arc Petri nets to networks of timed automata. Zbl 1359.68216Byg, Joakim; Jacobsen, Morten; Jacobsen, Lasse; Jørgensen, Kenneth Yrke; Møller, Mikael Harkjær; Srba, Jiří 1 2014 Soundness of timed-arc workflow nets. Zbl 1334.90064Mateo, José Antonio; Srba, Jiří; Sørensen, Mathias Grund 1 2014 TAPAAL 2.0: integrated development environment for timed-arc Petri nets. Zbl 1352.68181David, Alexandre; Jacobsen, Lasse; Jacobsen, Morten; Jørgensen, Kenneth Yrke; Møller, Mikael H.; Srba, Jiří 10 2012 Extending modal transition systems with structured labels. Zbl 1277.68160Bauer, Sebastian S.; Juhl, Line; Larsen, Kim G.; Legay, Axel; Srba, Jiří 8 2012 Modal transition systems with weight intervals. Zbl 1243.68215Juhl, Line; Larsen, Kim G.; Srba, Jiří 5 2012 EXPTIME-completeness of thorough refinement on modal transition systems. Zbl 1282.68118Beneš, Nikola; Křetínský, Jan; Larsen, Kim G.; Srba, Jiří 3 2012 Dual-priced modal transition systems with time durations. Zbl 1352.68144Beneš, Nikola; Křetínský, Jan; Guldstrand Larsen, Kim; Møller, Mikael H.; Srba, Jiří 3 2012 The algorithmics of bisimilarity. Zbl 1285.68101Aceto, Luca; Ingolfsdottir, Anna; Srba, Jirí 3 2012 Energy games in multiweighted automata. Zbl 1350.68168Fahrenberg, Uli; Juhl, Line; Larsen, Kim G.; Srba, Jiří 17 2011 Verification of timed-arc Petri nets. Zbl 1298.68175Jacobsen, Lasse; Jacobsen, Morten; Møller, Mikael H.; Srba, Jiří 8 2011 Parametric modal transition systems. Zbl 1348.68120Beneš, Nikola; Křetínský, Jan; Larsen, Kim G.; Møller, Mikael H.; Srba, Jiří 5 2011 On determinism in modal transition systems. Zbl 1186.68314Beneš, N.; Křetínský, J.; Larsen, K. G.; Srba, J. 10 2009 Checking thorough refinement on modal transition systems is EXPTIME-complete. Zbl 1250.68117Beneš, Nikola; Křetínský, Jan; Larsen, Kim G.; Srba, Jiří 8 2009 Beyond language equivalence on visibly pushdown automata. Zbl 1164.68018Srba, Jiří 3 2009 Interprocedural dataflow analysis over weight domains with infinite descending chains. Zbl 1234.68219Kühnrich, Morten; Schwoon, Stefan; Srba, Jiří; Kiefer, Stefan 1 2009 Infinite runs in weighted timed automata with energy constraints. Zbl 1171.68524Bouyer, Patricia; Fahrenberg, Uli; Larsen, Kim G.; Markey, Nicolas; Srba, Jiří 50 2008 Undecidability of bisimilarity by defender’s forcing. Zbl 1326.68199Jančar, Petr; Srba, Jiří 6 2008 Comparing the expressiveness of timed automata and timed extensions of Petri nets. Zbl 1171.68579Srba, Jiří 4 2008 Reactive systems. Modelling, specification and verification. Zbl 1141.68043Aceto, Luca; Ingólfsdóttir, Anna; Larsen, Kim G.; Srba, Jiří 45 2007 Height-deterministic pushdown automata. Zbl 1147.68562Nowotka, Dirk; Srba, Jiří 12 2007 Visibly pushdown automata: from language equivalence to simulation and bisimulation. Zbl 1225.68104Srba, Jiří 2 2006 Decidability issues for extended ping-pong protocols. Zbl 1107.68042Hüttel, Hans; Srba, Jiří 1 2006 Timed-arc Petri nets vs. networks of timed automata. Zbl 1128.68069Srba, Jiří 4 2005 Recursion versus replication in simple cryptographic protocols. Zbl 1117.94320Hüttel, Hans; Srba, Jiří 1 2005 Roadmap of infinite results. Zbl 1065.68073Srba, Jiří 14 2004 Undecidability of domino games and hhp-bisimilarity. Zbl 1054.68094Jurdziński, Marcin; Nielsen, Mogens; Srba, Jiří 11 2003 Strong bisimilarity of simple process algebras: Complexity lower bounds. Zbl 1060.68081Srba, Jiří 4 2003 Complexity of weak bisimilarity and regularity for BPA and BPP. Zbl 1260.68278Srba, Jiří 4 2003 Undecidability of weak bisimilarity for PA-processes. Zbl 1015.68133Srba, Jirí 1 2003 Complexity of weak bisimilarity and regularity for BPA and BPP. Zbl 1088.68134Srba, Jiří 1 2003 Strong bisimilarity and regularity of basic parallel processes is PSPACE-hard. Zbl 1054.68096Srba, Jiří 12 2002 Strong bisimilarity and regularity of basic process algebra is PSPACE-hard. Zbl 1057.68071Srba, Jiří 7 2002 Roadmap of infinite results. Zbl 1169.68554Srba, Jiří 6 2002 Undecidability of weak bisimilarity for pushdown processes. Zbl 1012.68138Srba, Jiří 5 2002 Note on the tableau technique for commutative transition systems. Zbl 1077.68718Srba, Jiří 1 2002 On the power of labels in transition systems. Zbl 1006.68091Srba, Jiří 3 2001 Properties of distributed timed-arc Petri nets. Zbl 1052.68639Nielsen, Mogens; Sassone, Vladimiro; Srba, Jirí 2 2001 all cited Publications top 5 cited Publications all top 5 Cited by 366 Authors 34 Larsen, Kim Guldstrand 23 Srba, Jiří 17 Fahrenberg, Uli 17 Legay, Axel 10 Jančar, Petr 10 Lasota, Sławomir 9 Bouyer, Patricia 8 Francalanza, Adrian 8 Markey, Nicolas 7 Aceto, Luca 7 Chatterjee, Krishnendu 7 Ingólfsdóttir, Anna 7 Jensen, Peter Gjøl 7 Randour, Mickael 6 Delahaye, Benoît 5 André, Étienne 5 Fröschle, Sibylle B. 5 Hélouët, Loïc 5 Juhl, Line 5 Kucera, Antonin 5 Mardare, Radu 5 Mayr, Richard M. 5 Raskin, Jean-François 5 Wąsowski, Andrzej 4 Beneš, Nikola 4 Bønneland, Frederik Meyer 4 Cao, Yongzhi 4 Doyen, Laurent 4 Hofman, Piotr 4 Janoušek, Jan 4 Mandrioli, Dino 4 Melichar, Bořivoj 4 Muñiz, Marco 4 Pedersen, Mikkel Lykke 4 Sawa, Zdeněk 3 Amat, Nicolas 3 Baldan, Paolo 3 Bauer, Sebastian S. 3 Černá, Ivana 3 Dal Zilio, Silvano 3 Droste, Manfred 3 Flouri, Tomáš 3 Gorrieri, Roberto 3 Hennicker, Rolf 3 Katoen, Joost-Pieter 3 Křetínský, Jan 3 Leroux, Stéphane 3 Møller, Mikael Harkjær 3 Neele, Thomas 3 Pradella, Matteo 3 Reynier, Pierre-Alain 3 Thierry-Mieg, Yann 3 Totzke, Patrick 3 Willemse, Tim A. C. 3 Worrell, James B. 3 Xue, Bingtian 2 Achilleos, Antonis 2 Akshay, S. 2 Azgomi, Mohammad Abdollahi 2 Bacci, Giovanni 2 Barbosa, Luís Soares 2 Barnat, Jiří 2 Berlinkov, Mikhail V. 2 Berthomieu, Bernard 2 Bezděk, Peter 2 Bollig, Benedikt 2 Cassar, Ian 2 Ćirić, Miroslav D. 2 Czerwiński, Wojciech 2 Damljanović, Nada 2 Ferens, Robert 2 Fränzle, Martin 2 Gastin, Paul 2 Gentilini, Raffaella 2 Göller, Stefan 2 Hansen, Mikkel 2 Hüttel, Hans 2 Ignjatović, Jelena 2 Iliopoulos, Costas S. 2 Jacobsen, Lasse 2 Jacobsen, Morten 2 Jurdziński, Marcin 2 Kaufmann, Isabella 2 Kiefer, Stefan 2 Křetínský, Mojmír 2 Laursen, Simon 2 Lonati, Violetta 2 Lüttgen, Gerald 2 Madeira, Alexandre 2 Mariegaard, Anders 2 Martins, Manuel António 2 Milius, Stefan 2 Motallebi, Hassan 2 Pan, Haiyu 2 Pauly, Arno M. 2 Perevoshchikov, Vitaly 2 Phillips, Iain W. 2 Pissis, Solon P. 2 Quaas, Karin 2 Raha, Ritam ...and 266 more Authors all top 5 Cited in 31 Serials 26 Theoretical Computer Science 18 Information and Computation 14 Journal of Logical and Algebraic Methods in Programming 8 Journal of Computer and System Sciences 7 Acta Informatica 7 Logical Methods in Computer Science 6 Information Processing Letters 6 MSCS. Mathematical Structures in Computer Science 6 Formal Methods in System Design 5 Fundamenta Informaticae 5 The Journal of Logic and Algebraic Programming 3 Formal Aspects of Computing 3 Soft Computing 2 Fuzzy Sets and Systems 2 Algorithmica 2 International Journal of Approximate Reasoning 2 Theory of Computing Systems 1 Artificial Intelligence 1 Applied Mathematics and Computation 1 Journal of Combinatorial Theory. Series B 1 Kybernetika 1 SIAM Journal on Computing 1 Studia Logica 1 Synthese 1 Distributed Computing 1 Cybernetics and Systems Analysis 1 Annals of Mathematics and Artificial Intelligence 1 Journal of the ACM 1 Computer Languages, Systems & Structures 1 Journal of Discrete Algorithms 1 Computer Science Review all top 5 Cited in 12 Fields 223 Computer science (68-XX) 48 Mathematical logic and foundations (03-XX) 32 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 3 Combinatorics (05-XX) 3 Probability theory and stochastic processes (60-XX) 3 Systems theory; control (93-XX) 2 Order, lattices, ordered algebraic structures (06-XX) 1 Number theory (11-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Category theory; homological algebra (18-XX) 1 Operations research, mathematical programming (90-XX) 1 Mathematics education (97-XX) Citations by Year