Edit Profile (opens in new tab) Schewe, Sven Co-Author Distance Author ID: schewe.sven Published as: Schewe, Sven External Links: MGP Documents Indexed: 81 Publications since 2005 5 Contributions as Editor Co-Authors: 64 Co-Authors with 76 Joint Publications 1,408 Co-Co-Authors all top 5 Co-Authors 10 single-authored 14 Wojtczak, Dominik 13 Hahn, Ernst Moritz 11 Trivedi, Ashutosh 8 Finkbeiner, Bernd 8 Perez, Mateo 8 Somenzi, Fabio 8 Zhang, Lijun 7 Fearnley, John 7 Peled, Doron A. 6 Lamprou, Ioannis 6 Martin, Russell A. 5 Rabe, Markus N. 4 Turrini, Andrea 4 Varghese, Thomas 4 Wang, Farn 3 Gupta, Anshul 3 Huang, Chung-Hao 3 Totzke, Patrick 2 Bertrand, Nathalie 2 Gainer, Paul 2 Lehtinen, Karoliina 2 Mayr, Richard M. 2 Muscholl, Anca 2 Sigalas, Ioannis 2 Weinert, Alexander 2 Wijsen, Jef 2 Zimmermann, Martín G. 2 Zissimopoulos, Vassilis 1 Bhave, Devendra 1 Blahoudek, František 1 Bose, Sougata 1 Brihaye, Thomas 1 Brill, Matthias 1 De Pril, Julie 1 Deepak, Maram Sai Krishna 1 Dell’Erba, Daniele 1 Faraggi, Alon E. 1 Fisher, Michael 1 Genest, Blaise 1 Greenberg, Noam 1 Heizmann, Matthias 1 Helmert, Malte 1 Henzinger, Thomas A. 1 Jain, Sanjay 1 Jha, Sagar 1 Katz, Gal 1 Konur, Savas 1 Krishna, Shankara Narayanan 1 Li, Guangyuan 1 Li, Yong 1 Mattmüller, Robert 1 Mousa, Mahmoud A. A. 1 Ng, KengMeng 1 Padarthi, Bharath Kumar 1 Parys, Paweł 1 Percival, Benjamin 1 Stephan, Frank 1 Strejček, Jan 1 Tang, Qiyi 1 Tsai, Ming-Hsien 1 Wilke, Thomas 1 Wu, Guohua 1 Wu, Jung-Hsuan 1 Zhanabekova, Tansholpan all top 5 Serials 8 Theoretical Computer Science 3 Acta Informatica 3 Journal of Computer and System Sciences 3 Logical Methods in Computer Science 2 Information Processing Letters 2 LIPIcs – Leibniz International Proceedings in Informatics 1 Physics Letters. B 1 Information and Computation 1 International Journal of Foundations of Computer Science 1 Games all top 5 Fields 76 Computer science (68-XX) 24 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 15 Mathematical logic and foundations (03-XX) 12 Operations research, mathematical programming (90-XX) 7 Systems theory; control (93-XX) 6 General and overarching topics; collections (00-XX) 3 Combinatorics (05-XX) 3 Probability theory and stochastic processes (60-XX) 1 Calculus of variations and optimal control; optimization (49-XX) 1 Quantum theory (81-XX) 1 Relativity and gravitational theory (83-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 57 Publications have been cited 442 times in 287 Documents Cited by ▼ Year ▼ Bounded synthesis. Zbl 1141.68491 Schewe, Sven; Finkbeiner, Bernd 44 2007 Solving parity games in big steps. Zbl 1135.68480 Schewe, Sven 39 2007 An optimal strategy improvement algorithm for solving parity and payoff games. Zbl 1156.68478 Schewe, Sven 25 2008 Semi-automatic distributed synthesis. Zbl 1170.68539 Finkbeiner, Bernd; Schewe, Sven 24 2005 Tighter bounds for the determinisation of Büchi automata. Zbl 1234.68239 Schewe, Sven 23 2009 Beyond hyper-minimisation – minimising DBAs and DPAs is NP-complete. Zbl 1245.68096 Schewe, Sven 20 2010 Büchi complementation made tight. Zbl 1236.68176 Schewe, Sven 20 2009 ATL\(^*\) satisfiability is 2EXPTIME-complete. Zbl 1155.68447 Schewe, Sven 18 2008 Synthesis of asynchronous systems. Zbl 1196.68142 Schewe, Sven; Finkbeiner, Bernd 15 2007 Satisfiability and finite model property for the alternating-time \(\mu \)-calculus. Zbl 1225.68124 Schewe, Sven; Finkbeiner, Bernd 14 2006 Lazy probabilistic model checking without determinisation. Zbl 1374.68290 Hahn, Ernst Moritz; Li, Guangyuan; Schewe, Sven; Turrini, Andrea; Zhang, Lijun 13 2015 Multiplayer cost games with simple Nash equilibria. Zbl 1422.91043 Brihaye, Thomas; De Pril, Julie; Schewe, Sven 10 2013 Solving parity games in big steps. Zbl 1353.68180 Schewe, Sven 10 2017 Complementing semi-deterministic Büchi automata. Zbl 1420.68106 Blahoudek, František; Heizmann, Matthias; Schewe, Sven; Strejček, Jan; Tsai, Ming-Hsien 10 2016 Coordination logic. Zbl 1287.03070 Finkbeiner, Bernd; Schewe, Sven 9 2010 Fast two-robot disk evacuation with wireless communication. Zbl 1393.68166 Lamprou, Ioannis; Martin, Russell; Schewe, Sven 9 2016 From parity and payoff games to linear programming. Zbl 1250.68131 Schewe, Sven 8 2009 Symmetric strategy improvement. Zbl 1440.91005 Schewe, Sven; Trivedi, Ashutosh; Varghese, Thomas 8 2015 Faithful and effective reward schemes for model-free reinforcement learning of omega-regular objectives. Zbl 1517.68331 Hahn, Ernst Moritz; Perez, Mateo; Schewe, Sven; Somenzi, Fabio; Trivedi, Ashutosh; Wojtczak, Dominik 8 2020 Good-for-MDPs automata for probabilistic analysis and reinforcement learning. Zbl 1507.68167 Hahn, Ernst Moritz; Perez, Mateo; Schewe, Sven; Somenzi, Fabio; Trivedi, Ashutosh; Wojtczak, Dominik 8 2020 Accelerated model checking of parametric Markov chains. Zbl 1517.68235 Gainer, Paul; Hahn, Ernst Moritz; Schewe, Sven 7 2018 Finite optimal control for time-bounded reachability in CTMDPs and continuous-time Markov games. Zbl 1242.91016 Rabe, Markus N.; Schewe, Sven 6 2011 Determinising parity automata. Zbl 1425.68229 Schewe, Sven; Varghese, Thomas 6 2014 Eternally dominating large grids. Zbl 1433.05225 Lamprou, Ioannis; Martin, Russell; Schewe, Sven 6 2019 Omega-regular objectives in model-free reinforcement learning. Zbl 1527.68177 Hahn, Ernst Moritz; Perez, Mateo; Schewe, Sven; Somenzi, Fabio; Trivedi, Ashutosh; Wojtczak, Dominik 6 2019 Combined model checking for temporal, probabilistic, and real-time logics. Zbl 1360.68591 Konur, Savas; Fisher, Michael; Schewe, Sven 5 2013 Bounded satisfiability for PCTL. Zbl 1252.68189 Bertrand, Nathalie; Fearnley, John; Schewe, Sven 5 2012 Tight bounds for the determinisation and complementation of generalised Büchi automata. Zbl 1374.68265 Schewe, Sven; Varghese, Thomas 4 2012 Time and parallelizability results for parity games with bounded treewidth. Zbl 1367.68108 Fearnley, John; Schewe, Sven 4 2012 Model-free reinforcement learning for stochastic parity games. Zbl 07559477 Hahn, Ernst Moritz; Perez, Mateo; Schewe, Sven; Somenzi, Fabio; Trivedi, Ashutosh; Wojtczak, Dominik 4 2020 Optimal time-abstract schedulers for CTMDPs and continuous-time Markov games. Zbl 1261.90087 Rabe, Markus N.; Schewe, Sven 4 2013 Distributed synthesis is simply undecidable. Zbl 1358.68196 Schewe, Sven 4 2014 Efficient approximation of optimal control for continuous-time Markov games. Zbl 1337.91015 Fearnley, John; Rabe, Markus N.; Schewe, Sven; Zhang, Lijun 3 2016 Parity games with weights. Zbl 1509.68105 Schewe, Sven; Weinert, Alexander; Zimmermann, Martin 3 2018 History-deterministic timed automata are not determinizable. Zbl 07714977 Bose, Sougata; Henzinger, Thomas A.; Lehtinen, Karoliina; Schewe, Sven; Totzke, Patrick 3 2022 A recursive approach to solving parity games in quasipolynomial time. Zbl 07471697 Lehtinen, Karoliina; Parys, Paweł; Schewe, Sven; Wojtczak, Dominik 3 2022 Simple stochastic games with almost-sure energy-parity objectives are in NP and conp. Zbl 07410437 Mayr, Richard; Schewe, Sven; Totzke, Patrick; Wojtczak, Dominik 3 2021 Satisfiability modulo theories and chiral heterotic string vacua with positive cosmological constant. Zbl 07408660 Faraggi, Alon E.; Percival, Benjamin; Schewe, Sven; Wojtczak, Dominik 3 2021 Automatic synthesis of assumptions for compositional model checking. Zbl 1225.68115 Finkbeiner, Bernd; Schewe, Sven; Brill, Matthias 2 2006 Perpetually dominating large grids. Zbl 1490.05182 Lamprou, Ioannis; Martin, Russell; Schewe, Sven 2 2017 Time and parallelizability results for parity games with bounded tree and DAG width. Zbl 1266.68123 Fearnley, John; Schewe, Sven 2 2013 Selective approaches for solving weak games. Zbl 1161.68569 Helmert, Malte; Mattmüller, Robert; Schewe, Sven 2 2006 Making the best of limited memory in multi-player discounted sum games. Zbl 1479.91030 Gupta, Anshul; Schewe, Sven; Wojtczak, Dominik 2 2015 MDPs with energy-parity objectives. Zbl 1458.68069 Mayr, Richard; Schewe, Sven; Totzke, Patrick; Wojtczak, Dominik 2 2017 A simple algorithm for solving qualitative probabilistic parity games. Zbl 1411.68068 Hahn, Ernst Moritz; Schewe, Sven; Turrini, Andrea; Zhang, Lijun 2 2016 Parity games with weights. Zbl 1509.68104 Schewe, Sven; Weinert, Alexander; Zimmermann, Martin 2 2019 Model-checking iterated games. Zbl 1381.68167 Huang, Chung-Hao; Schewe, Sven; Wang, Farn 2 2013 Semi-automatic distributed synthesis. Zbl 1112.68095 Schewe, Sven; Finkbeiner, Bernd 1 2007 Distributed synthesis for alternating-time logics. Zbl 1141.68516 Schewe, Sven; Finkbeiner, Bernd 1 2007 Efficient approximation of optimal control for continuous-time Markov games. Zbl 1246.68165 Fearnley, John; Rabe, Markus; Schewe, Sven; Zhang, Lijun 1 2011 Complexity of node coverage games. Zbl 1312.68070 Wang, Farn; Schewe, Sven; Wu, Jung-Hsuan 1 2015 Synthesising strategy improvement and recursive algorithms for solving 2.5 player parity games. Zbl 1484.68141 Hahn, Ernst Moritz; Schewe, Sven; Turrini, Andrea; Zhang, Lijun 1 2017 Synthesis of succinct systems. Zbl 1374.68282 Fearnley, John; Peled, Doron; Schewe, Sven 1 2012 Optimal time-abstract schedulers for CTMDPs and Markov games. Zbl 1456.90174 Rabe, Markus; Schewe, Sven 1 2010 Model-free reinforcement learning for lexicographic omega-regular objectives. Zbl 1521.68121 Hahn, Ernst Moritz; Perez, Mateo; Schewe, Sven; Somenzi, Fabio; Trivedi, Ashutosh; Wojtczak, Dominik 1 2021 Maximum rooted connected expansion. Zbl 1512.68238 Lamprou, Ioannis; Martin, Russell; Schewe, Sven; Sigalas, Ioannis; Zissimopoulos, Vassilis 1 2018 \(\omega \)-automata. Zbl 1516.68051 Wilke, Thomas; Schewe, Sven 1 2021 History-deterministic timed automata are not determinizable. Zbl 07714977 Bose, Sougata; Henzinger, Thomas A.; Lehtinen, Karoliina; Schewe, Sven; Totzke, Patrick 3 2022 A recursive approach to solving parity games in quasipolynomial time. Zbl 07471697 Lehtinen, Karoliina; Parys, Paweł; Schewe, Sven; Wojtczak, Dominik 3 2022 Simple stochastic games with almost-sure energy-parity objectives are in NP and conp. Zbl 07410437 Mayr, Richard; Schewe, Sven; Totzke, Patrick; Wojtczak, Dominik 3 2021 Satisfiability modulo theories and chiral heterotic string vacua with positive cosmological constant. Zbl 07408660 Faraggi, Alon E.; Percival, Benjamin; Schewe, Sven; Wojtczak, Dominik 3 2021 Model-free reinforcement learning for lexicographic omega-regular objectives. Zbl 1521.68121 Hahn, Ernst Moritz; Perez, Mateo; Schewe, Sven; Somenzi, Fabio; Trivedi, Ashutosh; Wojtczak, Dominik 1 2021 \(\omega \)-automata. Zbl 1516.68051 Wilke, Thomas; Schewe, Sven 1 2021 Faithful and effective reward schemes for model-free reinforcement learning of omega-regular objectives. Zbl 1517.68331 Hahn, Ernst Moritz; Perez, Mateo; Schewe, Sven; Somenzi, Fabio; Trivedi, Ashutosh; Wojtczak, Dominik 8 2020 Good-for-MDPs automata for probabilistic analysis and reinforcement learning. Zbl 1507.68167 Hahn, Ernst Moritz; Perez, Mateo; Schewe, Sven; Somenzi, Fabio; Trivedi, Ashutosh; Wojtczak, Dominik 8 2020 Model-free reinforcement learning for stochastic parity games. Zbl 07559477 Hahn, Ernst Moritz; Perez, Mateo; Schewe, Sven; Somenzi, Fabio; Trivedi, Ashutosh; Wojtczak, Dominik 4 2020 Eternally dominating large grids. Zbl 1433.05225 Lamprou, Ioannis; Martin, Russell; Schewe, Sven 6 2019 Omega-regular objectives in model-free reinforcement learning. Zbl 1527.68177 Hahn, Ernst Moritz; Perez, Mateo; Schewe, Sven; Somenzi, Fabio; Trivedi, Ashutosh; Wojtczak, Dominik 6 2019 Parity games with weights. Zbl 1509.68104 Schewe, Sven; Weinert, Alexander; Zimmermann, Martin 2 2019 Accelerated model checking of parametric Markov chains. Zbl 1517.68235 Gainer, Paul; Hahn, Ernst Moritz; Schewe, Sven 7 2018 Parity games with weights. Zbl 1509.68105 Schewe, Sven; Weinert, Alexander; Zimmermann, Martin 3 2018 Maximum rooted connected expansion. Zbl 1512.68238 Lamprou, Ioannis; Martin, Russell; Schewe, Sven; Sigalas, Ioannis; Zissimopoulos, Vassilis 1 2018 Solving parity games in big steps. Zbl 1353.68180 Schewe, Sven 10 2017 Perpetually dominating large grids. Zbl 1490.05182 Lamprou, Ioannis; Martin, Russell; Schewe, Sven 2 2017 MDPs with energy-parity objectives. Zbl 1458.68069 Mayr, Richard; Schewe, Sven; Totzke, Patrick; Wojtczak, Dominik 2 2017 Synthesising strategy improvement and recursive algorithms for solving 2.5 player parity games. Zbl 1484.68141 Hahn, Ernst Moritz; Schewe, Sven; Turrini, Andrea; Zhang, Lijun 1 2017 Complementing semi-deterministic Büchi automata. Zbl 1420.68106 Blahoudek, František; Heizmann, Matthias; Schewe, Sven; Strejček, Jan; Tsai, Ming-Hsien 10 2016 Fast two-robot disk evacuation with wireless communication. Zbl 1393.68166 Lamprou, Ioannis; Martin, Russell; Schewe, Sven 9 2016 Efficient approximation of optimal control for continuous-time Markov games. Zbl 1337.91015 Fearnley, John; Rabe, Markus N.; Schewe, Sven; Zhang, Lijun 3 2016 A simple algorithm for solving qualitative probabilistic parity games. Zbl 1411.68068 Hahn, Ernst Moritz; Schewe, Sven; Turrini, Andrea; Zhang, Lijun 2 2016 Lazy probabilistic model checking without determinisation. Zbl 1374.68290 Hahn, Ernst Moritz; Li, Guangyuan; Schewe, Sven; Turrini, Andrea; Zhang, Lijun 13 2015 Symmetric strategy improvement. Zbl 1440.91005 Schewe, Sven; Trivedi, Ashutosh; Varghese, Thomas 8 2015 Making the best of limited memory in multi-player discounted sum games. Zbl 1479.91030 Gupta, Anshul; Schewe, Sven; Wojtczak, Dominik 2 2015 Complexity of node coverage games. Zbl 1312.68070 Wang, Farn; Schewe, Sven; Wu, Jung-Hsuan 1 2015 Determinising parity automata. Zbl 1425.68229 Schewe, Sven; Varghese, Thomas 6 2014 Distributed synthesis is simply undecidable. Zbl 1358.68196 Schewe, Sven 4 2014 Multiplayer cost games with simple Nash equilibria. Zbl 1422.91043 Brihaye, Thomas; De Pril, Julie; Schewe, Sven 10 2013 Combined model checking for temporal, probabilistic, and real-time logics. Zbl 1360.68591 Konur, Savas; Fisher, Michael; Schewe, Sven 5 2013 Optimal time-abstract schedulers for CTMDPs and continuous-time Markov games. Zbl 1261.90087 Rabe, Markus N.; Schewe, Sven 4 2013 Time and parallelizability results for parity games with bounded tree and DAG width. Zbl 1266.68123 Fearnley, John; Schewe, Sven 2 2013 Model-checking iterated games. Zbl 1381.68167 Huang, Chung-Hao; Schewe, Sven; Wang, Farn 2 2013 Bounded satisfiability for PCTL. Zbl 1252.68189 Bertrand, Nathalie; Fearnley, John; Schewe, Sven 5 2012 Tight bounds for the determinisation and complementation of generalised Büchi automata. Zbl 1374.68265 Schewe, Sven; Varghese, Thomas 4 2012 Time and parallelizability results for parity games with bounded treewidth. Zbl 1367.68108 Fearnley, John; Schewe, Sven 4 2012 Synthesis of succinct systems. Zbl 1374.68282 Fearnley, John; Peled, Doron; Schewe, Sven 1 2012 Finite optimal control for time-bounded reachability in CTMDPs and continuous-time Markov games. Zbl 1242.91016 Rabe, Markus N.; Schewe, Sven 6 2011 Efficient approximation of optimal control for continuous-time Markov games. Zbl 1246.68165 Fearnley, John; Rabe, Markus; Schewe, Sven; Zhang, Lijun 1 2011 Beyond hyper-minimisation – minimising DBAs and DPAs is NP-complete. Zbl 1245.68096 Schewe, Sven 20 2010 Coordination logic. Zbl 1287.03070 Finkbeiner, Bernd; Schewe, Sven 9 2010 Optimal time-abstract schedulers for CTMDPs and Markov games. Zbl 1456.90174 Rabe, Markus; Schewe, Sven 1 2010 Tighter bounds for the determinisation of Büchi automata. Zbl 1234.68239 Schewe, Sven 23 2009 Büchi complementation made tight. Zbl 1236.68176 Schewe, Sven 20 2009 From parity and payoff games to linear programming. Zbl 1250.68131 Schewe, Sven 8 2009 An optimal strategy improvement algorithm for solving parity and payoff games. Zbl 1156.68478 Schewe, Sven 25 2008 ATL\(^*\) satisfiability is 2EXPTIME-complete. Zbl 1155.68447 Schewe, Sven 18 2008 Bounded synthesis. Zbl 1141.68491 Schewe, Sven; Finkbeiner, Bernd 44 2007 Solving parity games in big steps. Zbl 1135.68480 Schewe, Sven 39 2007 Synthesis of asynchronous systems. Zbl 1196.68142 Schewe, Sven; Finkbeiner, Bernd 15 2007 Semi-automatic distributed synthesis. Zbl 1112.68095 Schewe, Sven; Finkbeiner, Bernd 1 2007 Distributed synthesis for alternating-time logics. Zbl 1141.68516 Schewe, Sven; Finkbeiner, Bernd 1 2007 Satisfiability and finite model property for the alternating-time \(\mu \)-calculus. Zbl 1225.68124 Schewe, Sven; Finkbeiner, Bernd 14 2006 Automatic synthesis of assumptions for compositional model checking. Zbl 1225.68115 Finkbeiner, Bernd; Schewe, Sven; Brill, Matthias 2 2006 Selective approaches for solving weak games. Zbl 1161.68569 Helmert, Malte; Mattmüller, Robert; Schewe, Sven 2 2006 Semi-automatic distributed synthesis. Zbl 1170.68539 Finkbeiner, Bernd; Schewe, Sven 24 2005 all cited Publications top 5 cited Publications all top 5 Cited by 476 Authors 25 Schewe, Sven 14 Finkbeiner, Bernd 13 Kupferman, Orna 13 Zimmermann, Martín G. 9 Hahn, Ernst Moritz 9 Mogavero, Fabio 9 Murano, Aniello 9 Vardi, Moshe Ya’akov 8 Benerecetti, Massimo 8 Křetínský, Jan 7 Friedmann, Oliver 7 Georgiou, Konstantinos 7 Raskin, Jean-François 7 Trivedi, Ashutosh 7 Wojtczak, Dominik 7 Zhang, Lijun 6 Dell’Erba, Daniele 6 Katoen, Joost-Pieter 6 Perelli, Giuseppe 6 Sickert, Salomon 6 Tentrup, Leander 5 Bloem, Roderick 5 Bruyère, Véronique 5 Lange, Martin 5 Li, Yong 5 Perez, Mateo 5 Somenzi, Fabio 4 Angluin, Dana 4 Baier, Christel 4 Berwanger, Dietmar 4 Boker, Udi 4 Brihaye, Thomas 4 Chatterjee, Krishnendu 4 Filiot, Emmanuel 4 Fisman, Dana 4 Gutierrez, Julian 4 Jobstmann, Barbara 4 Junges, Sebastian 4 Kranakis, Evangelos Konstantinou 4 Löding, Christof 4 Mc Inerney, Fionn 4 Turrini, Andrea 4 van den Bogaard, Marie 4 Weinert, Alexander 4 Willemse, Tim A. C. 4 Wooldridge, Michael J. 3 Bozzelli, Laura 3 Chodil, Miroslav 3 Czyzowicz, Jurek 3 Dimitrova, Rayna 3 Ehlers, Rüdiger 3 Fearnley, John 3 Fogarty, Seth J. 3 Gimbert, Hugo 3 Goeminne, Aline 3 Jacobs, Swen 3 Killick, Ryan 3 Krizanc, Danny 3 Kucera, Antonin 3 Lehtinen, Karoliina 3 Makino, Kazuhisa 3 Meggendorfer, Tobias 3 Müller, David I. 3 Muscholl, Anca 3 Narayanan, Lata 3 Nisse, Nicolas 3 Pérennes, Stéphane 3 Piterman, Nir 3 Rabe, Markus N. 3 Radi, Bader Abu 3 Rubin, Sasha 3 Sorrentino, Loredana 3 Sznajder, Nathalie 3 Tsay, Yih-Kuen 2 Almagor, Shaull 2 Alur, Rajeev 2 Bansal, Suguman 2 Belardinelli, Francesco 2 Bonakdarpour, Borzoo 2 Bonato, Anthony 2 Boros, Endre 2 Bouyer, Patricia 2 Chockler, Hana 2 Cohen, Nathann 2 David, Amélie 2 Demri, Stéphane P. 2 Di Stasio, Antonio 2 Doyen, Laurent 2 Duret-Lutz, Alexandre 2 Ebrahimi, Masoud 2 Elbassioni, Khaled M. 2 Esparza, Javier 2 Faymonville, Peter 2 Feng, Weizhi 2 Feng, Yuan 2 Gastin, Paul 2 Gaubert, Stéphane 2 Gazda, Maciej W. 2 Gentilini, Raffaella 2 Gieseking, Manuel ...and 376 more Authors all top 5 Cited in 39 Serials 18 Information and Computation 17 Theoretical Computer Science 16 Acta Informatica 14 Logical Methods in Computer Science 11 Formal Methods in System Design 7 Journal of Computer and System Sciences 6 Artificial Intelligence 4 Algorithmica 4 ACM Transactions on Computational Logic 3 Information Processing Letters 3 International Journal of Foundations of Computer Science 2 Nuclear Physics. B 2 SIAM Journal on Discrete Mathematics 2 MSCS. Mathematical Structures in Computer Science 2 Journal of Applied Mathematics 2 Vestnik Udmurtskogo Universiteta. Matematika. Mekhanika. Komp’yuternye Nauki 1 Discrete Applied Mathematics 1 International Journal of Theoretical Physics 1 Journal of the Franklin Institute 1 Fortschritte der Physik 1 International Journal of Game Theory 1 SIAM Journal on Computing 1 Synthese 1 Computers & Operations Research 1 Discrete Event Dynamic Systems 1 Journal of Applied Non-Classical Logics 1 The Electronic Journal of Combinatorics 1 Annals of Mathematics and Artificial Intelligence 1 Constraints 1 European Journal of Control 1 Discrete Mathematics and Theoretical Computer Science. DMTCS 1 Fundamenta Informaticae 1 Discrete Optimization 1 Optimization Letters 1 Foundations and Trends in Theoretical Computer Science 1 Science China. Information Sciences 1 RAIRO. Theoretical Informatics and Applications 1 Logicheskie Issledovaniya 1 La Matematica all top 5 Cited in 15 Fields 251 Computer science (68-XX) 93 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 71 Mathematical logic and foundations (03-XX) 20 Operations research, mathematical programming (90-XX) 17 Combinatorics (05-XX) 16 Systems theory; control (93-XX) 5 Quantum theory (81-XX) 3 Algebraic geometry (14-XX) 3 Probability theory and stochastic processes (60-XX) 2 Numerical analysis (65-XX) 2 Mechanics of particles and systems (70-XX) 2 Relativity and gravitational theory (83-XX) 2 Information and communication theory, circuits (94-XX) 1 Convex and discrete geometry (52-XX) 1 Biology and other natural sciences (92-XX) Citations by Year