Edit Profile (opens in new tab) Larsen, Kim Guldstrand Compute Distance To: Compute Author ID: larsen.kim-guldstrand Published as: Larsen, Kim G.; Larsen, Kim Guldstrand; Guldstrand Larsen, Kim; Larsen, Kim; Larsen, K. G. more...less Homepage: http://people.cs.aau.dk/~kgl/ External Links: MGP · Google Scholar · dblp · GND Documents Indexed: 215 Publications since 1984, including 1 Book 15 Contributions as Editor · 1 Further Contribution Biographic References: 1 Publication Co-Authors: 183 Co-Authors with 214 Joint Publications 3,433 Co-Co-Authors all top 5 Co-Authors 11 single-authored 33 Mardare, Radu 29 Srba, Jiří 24 Legay, Axel 19 Fahrenberg, Uli 18 Bouyer, Patricia 17 Bacci, Giovanni 17 Wąsowski, Andrzej 16 David, Alexandre 15 Bacci, Giorgio 15 Behrmann, Gerd 12 Markey, Nicolas 10 Nyman, Ulrik 9 Thrane, Claus R. 9 Xue, Bingtian 8 Cassez, Franck 8 Delahaye, Benoît 8 Jensen, Peter Gjøl 8 Pettersson, Paul 7 Beneš, Nikola 7 Juhl, Line 7 Křetínský, Jan 7 Rasmussen, Jacob Illum 7 Yi, Wang 5 Mikucionis, Marius 5 Muñiz, Marco 5 Nielsen, Brian 5 Olesen, Mads Christian 5 Pedersen, Mikkel Lykke 5 Raskin, Jean-François 4 Antonik, Adam 4 Bøgsted Poulsen, Danny 4 Brinksma, Ed 4 Bulychev, Peter E. 4 Cardelli, Luca 4 Dalsgaard, Andreas Engelbredt 4 Enevoldsen, Søren 4 Fleury, Emmanuel 4 Hune, Thomas 4 Huth, Michael R. A. 4 Jensen, Henrik Ejersbo 4 Kaufmann, Isabella 4 Kristoffersen, Kåre J. 4 Laursen, Simon 4 Lime, Didier 4 Reynier, Pierre-Alain 4 Skou, Arne 4 Weise, Carsten 3 Bauer, Sebastian S. 3 Bønneland, Frederik Meyer 3 Fehnker, Ansgar 3 Hansen, Mikkel 3 Jensen, Lasse S. 3 Jensen, Mathias Claus 3 Katoen, Joost-Pieter 3 Mariegaard, Anders 3 Møller, Mikael Harkjær 3 Nielsen, Søren M. 3 Panangaden, Prakash 3 Pedersen, Mathias Ruggaard 3 Traonouez, Louis-Marie 3 Winskel, Glynn 2 Aceto, Luca 2 Aichernig, Bernhard K. 2 Andersen, Henrik Reif 2 Boudol, Gérard 2 D’Argenio, Pedro Rubén 2 Fogh, Peter 2 Gebler, Daniel E. 2 Groote, Jan Friso 2 Hansen, René Rydhof 2 Havelund, Klaus 2 Hendriks, Martijn 2 Hulgaard, Henrik 2 Jeannet, Bertrand 2 Jensen, Finn Verner 2 Jepsen, Tobias S. 2 Jonsson, Bengt 2 Kozen, Dexter C. 2 Kupferschmid, Sebastian 2 Larsson, Fredrik 2 Li, Guangyuan 2 Lind-Nielsen, Jørn 2 Liu, Xinxin 2 Milner, Robin 2 Niebert, Peter 2 Pastva, Samuel 2 Pearson, Justin 2 Pelánek, Radek 2 Potapov, Igor 2 Randour, Mickael 2 Sedwards, Sean 2 Sher, Falak 2 Subramani, Krishnan 2 Taankvist, Jakob Haahr 2 Tang, Qiyi 2 Tappler, Martin 2 Thomsen, Bent 2 Tini, Simone 2 van Breugel, Franck 2 Wang, Zheng ...and 96 more Co-Authors all top 5 Serials 14 Theoretical Computer Science 10 Lecture Notes in Computer Science 9 Logical Methods in Computer Science 7 Information and Computation 6 Formal Methods in System Design 6 The Journal of Logic and Algebraic Programming 4 Acta Informatica 4 Journal of Logical and Algebraic Methods in Programming 3 MSCS. Mathematical Structures in Computer Science 3 Nordic Journal of Computing 2 Formal Aspects of Computing 2 Soft Computing 2 1 Real-Time Systems 1 Machine Learning 1 Journal of Logic and Computation 1 Proceedings of the Estonian Academy of Sciences. Physics, Mathematics 1 Bulletin of the European Association for Theoretical Computer Science EATCS 1 RAIRO. Theoretical Informatics and Applications 1 Fundamenta Informaticae 1 Computing and Informatics 1 Electronic Notes in Theoretical Computer Science 1 LIPIcs – Leibniz International Proceedings in Informatics all top 5 Fields 221 Computer science (68-XX) 39 Mathematical logic and foundations (03-XX) 19 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 16 Probability theory and stochastic processes (60-XX) 15 General and overarching topics; collections (00-XX) 11 Systems theory; control (93-XX) 8 Operations research, mathematical programming (90-XX) 3 Order, lattices, ordered algebraic structures (06-XX) 1 History and biography (01-XX) 1 Combinatorics (05-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Category theory; homological algebra (18-XX) 1 Group theory and generalizations (20-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 177 Publications have been cited 1,792 times in 1,038 Documents Cited by ▼ Year ▼ Principles of model checking. Foreword by Kim Guldstrand Larsen. Zbl 1179.68076Baier, Christel; Katoen, Joost-Pieter 327 2008 Bisimulation through probabilistic testing. Zbl 0756.68035Larsen, Kim G.; Skou, Arne 281 1991 Uppaal in a nutshell. Zbl 1060.68577Larsen, Kim G.; Pettersson, Paul; Yi, Wang 132 1997 A tutorial on UPPAAL. Zbl 1105.68350Behrmann, Gerd; David, Alexandre; Larsen, Kim G. 68 2004 Minimum-cost reachability for priced timed automata. Zbl 0991.68037Behrmann, Gerd; Fehnker, Ansgar; Hune, Thomas; Larsen, Kim; Pettersson, Paul 50 2002 Infinite runs in weighted timed automata with energy constraints. Zbl 1171.68524Bouyer, Patricia; Fahrenberg, Uli; Larsen, Kim G.; Markey, Nicolas; Srba, Jiří 46 2008 Reactive systems. Modelling, specification and verification. Zbl 1141.68043Aceto, Luca; Ingólfsdóttir, Anna; Larsen, Kim G.; Srba, Jiří 45 2007 Modal I/O automata for interface and product line theories. Zbl 1187.68296Larsen, Kim G.; Nyman, Ulrik; Wąsowski, Andrzej 44 2007 Using information systems to solve recursive domain equations effectively. Zbl 0539.68019Larsen, K. G.; Winskel, G. 42 1984 Probabilistic extensions of process algebras. Zbl 1062.68081Jonsson, Bengt; Yi, Wang; Larsen, Kim G. 41 2001 Proof systems for satisfiability in Hennessy-Milner logic with recursion. Zbl 0698.68014Larsen, Kim G. 32 1990 Efficient on-the-fly algorithms for the analysis of timed games. Zbl 1134.68382Cassez, Franck; David, Alexandre; Fleury, Emmanuel; Larsen, Kim G.; Lime, Didier 31 2005 Compositionality through an operational semantics of contexts. Zbl 0738.68056Larsen, Kim G.; Liu, Xinxin 26 1991 The impressive power of stopwatches. Zbl 0999.68112Cassez, Franck; Larsen, Kim 24 2000 Timed I/O automata: a complete specification theory for real-time systems. Zbl 1361.68143David, Alexandre; Larsen, Kim G.; Legay, Axel; Nyman, Ulrik; Wasowski, Andrzej 23 2010 As cheap as possible: Efficient cost-optimal reachability for priced timed automata. Zbl 0991.68536Larsen, Kim; Behrmann, Gerd; Brinksma, Ed; Fehnker, Ansgar; Hune, Thomas 20 2001 Reachability analysis of probabilistic systems by successive refinements. Zbl 1007.68131D’Argenio, Pedro R.; Jeannet, Bertrand; Jensen, Henrik E.; Larsen, Kim G. 20 2001 Proof systems for Hennessy-Milner logic with recursion. Zbl 0647.68012Larsen, Kim G. 19 1988 Energy games in multiweighted automata. Zbl 1350.68168Fahrenberg, Uli; Juhl, Line; Larsen, Kim G.; Srba, Jiří 17 2011 Graphical versus logical specifications. Zbl 0776.68084Boudol, Gérard; Larsen, Kim G. 16 1992 Time-abstracted bisimulation: Implicit specifications and decidability. Zbl 0887.68068Larsen, Kim G.; Wang, Yi 16 1997 20 years of modal and mixed specifications. Zbl 1169.68498Antonik, Adam; Huth, Michael; Larsen, Kim G.; Nyman, Ulrik; Wąsowski, Andrzej 16 2008 Staying alive as cheaply as possible. Zbl 1135.93352Bouyer, Patricia; Brinksma, Ed; Larsen, Kim G. 15 2004 Efficient guiding towards cost-optimality in UPPAAL. Zbl 0978.68541Behrmann, Gerd; Fehnker, Ansgar; Hune, Thomas; Larsen, Kim; Pettersson, Paul 15 2001 Optimal strategies in priced timed game automata. Zbl 1117.68396Bouyer, Patricia; Cassez, Franck; Fleury, Emmanuel; Larsen, Kim G. 15 2004 From timed automata to logic – and back. Zbl 1193.03069Laroussinie, François; Larsen, Kim G.; Weise, Carsten 15 1995 Optimal infinite scheduling for multi-priced timed automata. Zbl 1133.68360Bouyer, Patricia; Brinksma, Ed; Larsen, Kim G. 15 2008 Lower and upper bounds in zone based abstractions of timed automata. Zbl 1126.68453Behrmann, Gerd; Bouyer, Patricia; Larsen, Kim G.; Pelánek, Radek 14 2004 Compositionality through and operational semantics of contexts. Zbl 0765.68107Larsen, Kim G.; Liu, Xinxin 14 1990 Quantitative analysis of weighted transition systems. Zbl 1204.68137Thrane, Claus; Fahrenberg, Uli; Larsen, Kim G. 14 2010 Average-energy games. Zbl 1390.68115Bouyer, Patricia; Markey, Nicolas; Randour, Mickael; Larsen, Kim G.; Laursen, Simon 14 2018 Metrics for weighted transition systems: axiomatization and complexity. Zbl 1216.68191Larsen, Kim G.; Fahrenberg, Uli; Thrane, Claus 14 2011 Static guard analysis in timed automata verification. Zbl 1031.68076Behrmann, Gerd; Bouyer, Patricia; Fleury, Emmanuel; Larsen, Kim G. 13 2003 The power of reachability testing for timed automata. Zbl 1023.68060Aceto, Luca; Bouyer, Patricia; Burgueño, Augusto; Larsen, Kim G. 13 2003 A context dependent equivalence between processes. Zbl 0612.68027Larsen, Kim G. 13 1987 Stone duality for Markov processes. Zbl 1433.06006Kozen, Dexter; Larsen, Kim G.; Mardare, Radu; Panangaden, Prakash 13 2013 Compositional bisimulation metric reasoning with probabilistic process calculi. Zbl 1398.68365Gebler, Daniel; Larsen, Kim G.; Tini, Simone 12 2016 Automatic synthesis of robust and optimal controllers – an industrial case study. Zbl 1237.93058Cassez, Franck; Jessen, Jan J.; Larsen, Kim G.; Raskin, Jean-François; Reynier, Pierre-Alain 12 2009 Timed automata with observers under energy constraints. Zbl 1361.68135Bouyer, Patricia; Fahrenberg, Uli; Larsen, Kim G.; Markey, Nicolas 12 2010 Optimal bounds for multiweighted and parametrised energy games. Zbl 1390.68399Juhl, Line; Guldstrand Larsen, Kim; Raskin, Jean-François 11 2013 On modal refinement and consistency. Zbl 1151.68541Larsen, Kim G.; Nyman, Ulrik; Wąsowski, Andrzej 11 2007 Constraint Markov chains. Zbl 1223.68070Caillaud, Benoît; Delahaye, Benoît; Larsen, Kim G.; Legay, Axel; Pedersen, Mikkel L.; Wąsowski, Andrzej 11 2011 Language emptiness of continuous-time parametric timed automata. Zbl 1440.68150Beneš, Nikola; Bezděk, Peter; Larsen, Kim G.; Srba, Jiří 10 2015 Efficient timed reachability analysis using clock difference diagrams. Zbl 1046.68577Behrmann, G.; Larsen, K. G.; Pearson, J.; Weise, C.; Yi, W. 10 1999 On-the-fly exact computation of bisimilarity distances. Zbl 1381.68218Bacci, Giorgio; Bacci, Giovanni; Larsen, Kim G.; Mardare, Radu 10 2013 Model checking one-clock priced timed automata. Zbl 1149.68401Bouyer, Patricia; Larsen, Kim G.; Markey, Nicolas 10 2008 Optimal reachability for multi-priced timed automata. Zbl 1134.68029Larsen, Kim Guldstrand; Rasmussen, Jacob Illum 10 2008 On determinism in modal transition systems. Zbl 1186.68314Beneš, N.; Křetínský, J.; Larsen, K. G.; Srba, J. 10 2009 The use of static constructs in a modal process logic. Zbl 0683.03014Hüttel, Hans; Larsen, Kim G. 9 1989 Model checking real-time systems. Zbl 1392.68235Bouyer, Patricia; Fahrenberg, Uli; Larsen, Kim Guldstrand; Markey, Nicolas; Ouaknine, Joël; Worrell, James 9 2018 Converging from branching to linear metrics on Markov chains. Zbl 1407.68277Bacci, Giorgio; Bacci, Giovanni; Larsen, Kim G.; Mardare, Radu 8 2015 Reduction and refinement strategies for probabilistic analysis. Zbl 1065.68582D’Argenio, Pedro R.; Jeannet, Bertrand; Jensen, Henrik E.; Larsen, Kim G. 8 2002 Extending modal transition systems with structured labels. Zbl 1277.68160Bauer, Sebastian S.; Juhl, Line; Larsen, Kim G.; Legay, Axel; Srba, Jiří 8 2012 Taking it to the limit: approximate reasoning for Markov processes. Zbl 1365.68344Larsen, Kim Guldstrand; Mardare, Radu; Panangaden, Prakash 8 2012 Abstract probabilistic automata. Zbl 1317.68095Delahaye, Benoît; Katoen, Joost-Pieter; Larsen, Kim G.; Legay, Axel; Pedersen, Mikkel L.; Sher, Falak; Wąsowski, Andrzej 8 2011 Automatic abstraction refinement for timed automata. Zbl 1141.68431Dierks, Henning; Kupferschmid, Sebastian; Larsen, Kim G. 8 2007 Clock difference diagrams. Zbl 0937.68086Larsen, Kim G.; Pearson, Justin; Weise, Carsten; Yi, Wang 8 1999 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 Optimal conditional reachability for multi-priced timed automata. Zbl 1118.68527Larsen, Kim Guldstrand; Rasmussen, Jacob Illum 7 2005 Compositional metric reasoning with probabilistic process calculi. Zbl 1459.68143Gebler, Daniel; Larsen, Kim Guldstrand; Tini, Simone 7 2015 Guided synthesis of control programs using UPPAAL. Zbl 0978.68021Hune, Thomas; Larsen, Kim G.; Pettersson, Paul 7 2001 Complexity of decision problems for mixed and modal specifications. Zbl 1139.68035Antonik, Adam; Huth, Michael; Larsen, Kim G.; Nyman, Ulrik; Wąsowski, Andrzej 7 2008 Computing behavioral distances, compositionally. Zbl 1400.68144Bacci, Giorgio; Bacci, Giovanni; Larsen, Kim G.; Mardare, Radu 7 2013 Reachability analysis for timed automata using max-plus algebra. Zbl 1279.68214Lu, Qi; Madsen, Michael; Milata, Martin; Ravn, Søren; Fahrenberg, Uli; Larsen, Kim G. 7 2012 A “hybrid” approach for synthesizing optimal controllers of hybrid systems: a case study of the oil pump industrial example. Zbl 1373.93125Zhao, Hengjun; Zhan, Naijun; Kapur, Deepak; Larsen, Kim G. 7 2012 Efficient on-the-fly algorithm for checking alternating timed simulation. Zbl 1262.68105Bulychev, Peter; Chatain, Thomas; David, Alexandre; Larsen, Kim G. 7 2009 Using information systems to solve recursive domain equations. Zbl 0731.68071Larsen, Kim Guldstrand; Winskel, Glynn 7 1991 Discount-optimal infinite runs in priced timed automata. Zbl 1347.68204Fahrenberg, Uli; Larsen, Kim G. 6 2009 Resource-optimal scheduling using priced timed automata. Zbl 1126.68461Rasmussen, J. I.; Larsen, Kim G.; Subramani, K. 6 2004 Online testing of real-time systems using Uppaal. Zbl 1081.68574Larsen, Kim G.; Mikucionis, Marius; Nielsen, Brian 6 2005 Timed control with observation based and stuttering invariant strategies. Zbl 1141.68428Cassez, Franck; David, Alexandre; Larsen, Kim G.; Lime, Didier; Raskin, Jean-François 6 2007 Quantitative refinement for weighted modal transition systems. Zbl 1343.68150Bauer, Sebastian S.; Fahrenberg, Uli; Juhl, Line; Larsen, Kim G.; Legay, Axel; Thrane, Claus 6 2011 Statistical model checking for networks of priced timed automata. Zbl 1348.68130David, Alexandre; Larsen, Kim G.; Legay, Axel; Mikučionis, Marius; Poulsen, Danny Bøgsted; van Vliet, Jonas; Wang, Zheng 6 2011 Timed automata can always be made implementable. Zbl 1343.68134Bouyer, Patricia; Larsen, Kim G.; Markey, Nicolas; Sankur, Ocan; Thrane, Claus 6 2011 Learning deterministic probabilistic automata from a model checking perspective. Zbl 1454.68061Mao, Hua; Chen, Yingke; Jaeger, Manfred; Nielsen, Thomas D.; Larsen, Kim G.; Nielsen, Brian 6 2016 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 On time with minimal expected cost! Zbl 1448.68294David, Alexandre; Jensen, Peter G.; Guldstrand Larsen, Kim; Legay, Axel; Lime, Didier; Sørensen, Mathias Grund; Taankvist, Jakob H. 5 2014 Adding symmetry reduction to Uppaal. Zbl 1099.68657Hendriks, Martijn; Behrmann, Gerd; Larsen, Kim; Niebert, Peter; Vaandrager, Frits 5 2004 A quantitative characterization of weighted Kripke structures in temporal logic. Zbl 1413.68073Fahrenberg, Uli; Larsen, Kim G.; Thrane, Claus 5 2010 Verifying a protocol using relativized bisimulation. Zbl 0628.68022Larsen, Kim G.; Milner, Robin 5 1987 On the complexity of equation solving in process algebra. Zbl 0967.68514Jonsson, Bengt; Larsen, Kim Guldstrand 5 1991 Weighted modal transition systems. Zbl 1291.68246Bauer, Sebastian S.; Fahrenberg, Uli; Juhl, Line; Larsen, Kim G.; Legay, Axel; Thrane, Claus 5 2013 Almost optimal strategies in one clock priced timed games. Zbl 1177.68142Bouyer, Patricia; Larsen, Kim G.; Markey, Nicolas; Rasmussen, Jacob Illum 5 2006 Modal transition systems with weight intervals. Zbl 1243.68215Juhl, Line; Larsen, Kim G.; Srba, Jiří 5 2012 Parametric modal transition systems. Zbl 1348.68120Beneš, Nikola; Křetínský, Jan; Larsen, Kim G.; Møller, Mikael H.; Srba, Jiří 5 2011 Beyond liveness: Efficient parameter synthesis for time bounded liveness. Zbl 1175.68255Behrmann, Gerd; Larsen, Kim G.; Rasmussen, Jacob Illum 5 2005 Continuous Markovian logics – axiomatization and quantified metatheory. Zbl 1261.03088Mardare, Radu; Cardelli, Luca; Larsen, Kim G. 5 2012 Verification, performance analysis and controller synthesis for real-time systems. Zbl 1274.68185Fahrenberg, Uli; Larsen, Kim G.; Thrane, Claus R. 5 2010 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 Model-checking one-clock priced timed automata. Zbl 1149.68400Bouyer, Patricia; Larsen, Kim G.; Markey, Nicolas 4 2007 Graphical versus logical specifications. Zbl 0759.68059Boudol, Gérard; Larsen, Kim G. 4 1990 Alternation-free weighted mu-calculus: decidability and completeness. Zbl 1351.68164Larsen, Kim G.; Mardare, Radu; Xue, Bingtian 4 2015 Scaling up Uppaal. Automatic verification of real-time systems using compositionality and abstraction. Zbl 0986.68519Jensen, Henrik Ejersbo; Larsen, Kim Guldstrand; Skou, Arne 4 2000 Complete proof systems for weighted modal logic. Zbl 1317.68120Larsen, Kim G.; Mardare, Radu 4 2014 Regular languages definable by Lindström quantifiers. Zbl 1046.20042Ésik, Zoltán; Larsen, Kim G. 4 2003 Automated verification of an audio-control protocol using UPPAAL. Zbl 1008.68009Bengtsson, Johan; Griffioen, W. O. David; Kristoffersen, Kåre J.; Larsen, Kim G.; Larsson, Fredrik; Pettersson, Paul; Yi, Wang 4 2002 Fast directed model checking via Russian Doll abstraction. Zbl 1134.68412Kupferschmid, Sebastian; Hoffmann, Jörg; Larsen, Kim G. 4 2008 To store or not to store. Zbl 1278.68155Behrmann, Gerd; Larsen, Kim G.; Pelánek, Radek 4 2003 Nash equilibria in concurrent priced games. Zbl 1351.68182Klimoš, Miroslav; Larsen, Kim G.; Štefaňák, Filip; Thaarup, Jeppe 4 2012 Monitor-based statistical model checking for weighted metric temporal logic. Zbl 1352.68147Bulychev, Peter; David, Alexandre; Guldstrand Larsen, Kim; Legay, Axel; Li, Guangyuan; Bøgsted Poulsen, Danny; Stainer, Amelie 4 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 Computing probabilistic bisimilarity distances for probabilistic automata. Zbl 07327942Bacci, Giorgio; Bacci, Giovanni; Larsen, Kim G.; Mardare, Radu; Tang, Qiyi; van Breugel, Franck 2 2021 \(L^\ast\)-based learning of Markov decision processes (extended version). Zbl 07395145Tappler, Martin; Aichernig, Bernhard K.; Bacci, Giovanni; Eichlseder, Maria; Larsen, Kim G. 2 2021 Optimal and robust controller synthesis using energy timed automata with uncertainty. Zbl 1458.93072Bacci, Giovanni; Bouyer, Patricia; Fahrenberg, Uli; Larsen, Kim G.; Markey, Nicolas; Reynier, Pierre-Alain 1 2021 Time to learn – learning timed automata from tests. Zbl 1434.68212Tappler, Martin; Aichernig, Bernhard K.; Larsen, Kim Guldstrand; Lorber, Florian 3 2019 Converging from branching to linear metrics on Markov chains. Zbl 1407.68278Bacci, Giorgio; Bacci, Giovanni; Larsen, Kim G.; Mardare, Radu 2 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 Average-energy games. Zbl 1390.68115Bouyer, Patricia; Markey, Nicolas; Randour, Mickael; Larsen, Kim G.; Laursen, Simon 14 2018 Model checking real-time systems. Zbl 1392.68235Bouyer, Patricia; Fahrenberg, Uli; Larsen, Kim Guldstrand; Markey, Nicolas; Ouaknine, Joël; Worrell, James 9 2018 On the metric-based approximate minimization of Markov chains. Zbl 1400.68098Bacci, Giovanni; Bacci, Giorgio; Larsen, Kim G.; Mardare, Radu 4 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 On decidability of recursive weighted logics. Zbl 06960111Larsen, Kim G.; Mardare, Radu; Xue, Bingtian 1 2018 Weighted branching systems: behavioural equivalence, behavioural distance, and their logical characterisations. Zbl 06989604Jensen, Mathias Claus; Larsen, Kim Guldstrand; Mardare, Radu 1 2018 A complete quantitative deduction system for the bisimilarity distance on Markov chains. Zbl 1409.68182Bacci, Giorgio; Bacci, Giovanni; Larsen, Kim G.; Mardare, Radu 1 2018 Reasoning about bounds in weighted transition systems. Zbl 06987096Hansen, Mikkel; Larsen, Kim Guldstrand; Mardare, Radu; Ruggaard Pedersen, Mathias 1 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 Refinement of trace abstraction for real-time programs. Zbl 1478.68052Cassez, Franck; Jensen, Peter Gjøl; Guldstrand Larsen, Kim 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 WNetKAT: a weighted SDN programming and verification language. Zbl 1432.68052Larsen, Kim G.; Schmid, Stefan; Xue, Bingtian 2 2017 On the metric-based approximate minimization of Markov chains. Zbl 1442.68079Bacci, Giovanni; Bacci, Giorgio; Larsen, Kim G.; Mardare, Radu 1 2017 Unrestricted Stone duality for Markov processes. Zbl 1452.06009Furber, Robert; Kozen, Dexter; Larsen, Kim; Mardare, Radu; Panangaden, Prakash 1 2017 On-the-fly computation of bisimilarity distances. Zbl 1398.68375Bacci, Giorgio; Bacci, Giovanni; Larsen, Kim G.; Mardare, Radu 1 2017 42nd international symposium on mathematical foundations of computer science, MFCS 2017, August 21–25, 2017, Aalborg, Denmark. Zbl 1376.68011 1 2017 Compositional bisimulation metric reasoning with probabilistic process calculi. Zbl 1398.68365Gebler, Daniel; Larsen, Kim G.; Tini, Simone 12 2016 Learning deterministic probabilistic automata from a model checking perspective. Zbl 1454.68061Mao, Hua; Chen, Yingke; Jaeger, Manfred; Nielsen, Thomas D.; Larsen, Kim G.; Nielsen, Brian 6 2016 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 Complete axiomatization for the bisimilarity distance on Markov chains. Zbl 1392.68282Bacci, Giorgio; Bacci, Giovanni; Larsen, Kim G.; Mardare, Radu 3 2016 Modelling attack-defense trees using timed automata. Zbl 1433.68251Gadyatskaya, Olga; Hansen, René Rydhof; Larsen, Kim Guldstrand; Legay, Axel; Olesen, Mads Chr.; Poulsen, Danny Bøgsted 2 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 A complete approximation theory for weighted transition systems. Zbl 1393.68116Hansen, Mikkel; Larsen, Kim Guldstrand; Mardare, Radu; Pedersen, Mathias Ruggaard; Xue, Bingtian 1 2016 Probabilistic \(\mu\)-calculus: decidability and complete axiomatization. Zbl 1434.03072Larsen, Kim G.; Mardare, Radu; Xue, Bingtian 1 2016 Language emptiness of continuous-time parametric timed automata. Zbl 1440.68150Beneš, Nikola; Bezděk, Peter; Larsen, Kim G.; Srba, Jiří 10 2015 Converging from branching to linear metrics on Markov chains. Zbl 1407.68277Bacci, Giorgio; Bacci, Giovanni; Larsen, Kim G.; Mardare, Radu 8 2015 Compositional metric reasoning with probabilistic process calculi. Zbl 1459.68143Gebler, Daniel; Larsen, Kim Guldstrand; Tini, Simone 7 2015 Alternation-free weighted mu-calculus: decidability and completeness. Zbl 1351.68164Larsen, Kim G.; Mardare, Radu; Xue, Bingtian 4 2015 Safe and optimal adaptive cruise control. Zbl 1444.68183Larsen, Kim Guldstrand; Mikučionis, Marius; Taankvist, Jakob Haahr 3 2015 Decidability and expressiveness of recursive weighted logic. Zbl 1434.68330Larsen, Kim Guldstrand; Mardare, Radu; Xue, Bingtian 3 2015 On the total variation distance of semi-Markov chains. Zbl 1459.68116Bacci, Giorgio; Bacci, Giovanni; Larsen, Kim Guldstrand; Mardare, Radu 3 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 Concurrent weighted logic. Zbl 1330.68210Larsen, Kim G.; Mardare, Radu; Xue, Bingtian 1 2015 Polynomial time decidability of weighted synchronization under partial observability. Zbl 1374.68260Kretinsky, Jan; Larsen, Kim Guldstrand; Laursen, Simon; Srba, Jiri 1 2015 Average-energy games. Zbl 1476.68024Bouyer, Patricia; Markey, Nicolas; Randour, Mickael; Larsen, Kim G.; Laursen, Simon 1 2015 On time with minimal expected cost! Zbl 1448.68294David, Alexandre; Jensen, Peter G.; Guldstrand Larsen, Kim; Legay, Axel; Lime, Didier; Sørensen, Mathias Grund; Taankvist, Jakob H. 5 2014 Complete proof systems for weighted modal logic. Zbl 1317.68120Larsen, Kim G.; Mardare, Radu 4 2014 Adequacy and complete axiomatization for timed modal logic. Zbl 1337.03028Jaziri, Samy; Larsen, Kim G.; Mardare, Radu; Xue, Bingtian 3 2014 Synchronizing strategies under partial observability. Zbl 1417.68129Guldstrand Larsen, Kim; Laursen, Simon; Srba, Jiří 3 2014 Robust synthesis for real-time systems. Zbl 1311.68088Larsen, Kim G.; Legay, Axel; Traonouez, Louis-Marie; Wąsowski, Andrzej 3 2014 Synchronizing words for weighted and timed automata. Zbl 1360.68552Doyen, Laurent; Juhl, Line; Larsen, Kim G.; Markey, Nicolas; Shirmohammadi, Mahsa 3 2014 A decidable recursive logic for weighted transition systems. Zbl 1432.68310Larsen, Kim Guldstrand; Mardare, Radu; Xue, Bingtian 2 2014 Bisimulation on Markov processes over arbitrary measurable spaces. Zbl 1407.68327Bacci, Giorgio; Bacci, Giovanni; Larsen, Kim Guldstrand; Mardare, Radu 1 2014 Parametric and quantitative extensions of modal transition systems. Zbl 1416.68121Fahrenberg, Uli; Guldstrand Larsen, Kim; Legay, Axel; Traonouez, Louis-Marie 1 2014 Refinement and difference for probabilistic automata. Zbl 1338.68144Delahaye, Benoît; Fahrenberg, Uli; Larsen, Kim G.; Legay, Axel 1 2014 Stone duality for Markov processes. Zbl 1433.06006Kozen, Dexter; Larsen, Kim G.; Mardare, Radu; Panangaden, Prakash 13 2013 Optimal bounds for multiweighted and parametrised energy games. Zbl 1390.68399Juhl, Line; Guldstrand Larsen, Kim; Raskin, Jean-François 11 2013 On-the-fly exact computation of bisimilarity distances. Zbl 1381.68218Bacci, Giorgio; Bacci, Giovanni; Larsen, Kim G.; Mardare, Radu 10 2013 Computing behavioral distances, compositionally. Zbl 1400.68144Bacci, Giorgio; Bacci, Giovanni; Larsen, Kim G.; Mardare, Radu 7 2013 Weighted modal transition systems. Zbl 1291.68246Bauer, Sebastian S.; Fahrenberg, Uli; Juhl, Line; Larsen, Kim G.; Legay, Axel; Thrane, Claus 5 2013 Model-based verification, optimization, synthesis and performance evaluation of real-time systems. Zbl 1445.68132Fahrenberg, Uli; Larsen, Kim G.; Legay, Axel 2 2013 Abstract probabilistic automata. Zbl 1296.68092Delahaye, Benoît; Katoen, Joost-Pieter; Larsen, Kim G.; Legay, Axel; Pedersen, Mikkel L.; Sher, Falak; Wąsowski, Andrzej 2 2013 Stuttering for abstract probabilistic automata. Zbl 1437.68094Delahaye, Benoît; Larsen, Kim G.; Legay, Axel 1 2013 On the relationship between LTL normal forms and Büchi automata. Zbl 1390.68435Li, Jianwen; Pu, Geguang; Zhang, Lijun; Wang, Zheng; He, Jifeng; Guldstrand Larsen, Kim 1 2013 Extending modal transition systems with structured labels. Zbl 1277.68160Bauer, Sebastian S.; Juhl, Line; Larsen, Kim G.; Legay, Axel; Srba, Jiří 8 2012 Taking it to the limit: approximate reasoning for Markov processes. Zbl 1365.68344Larsen, Kim Guldstrand; Mardare, Radu; Panangaden, Prakash 8 2012 Reachability analysis for timed automata using max-plus algebra. Zbl 1279.68214Lu, Qi; Madsen, Michael; Milata, Martin; Ravn, Søren; Fahrenberg, Uli; Larsen, Kim G. 7 2012 A “hybrid” approach for synthesizing optimal controllers of hybrid systems: a case study of the oil pump industrial example. Zbl 1373.93125Zhao, Hengjun; Zhan, Naijun; Kapur, Deepak; Larsen, Kim G. 7 2012 Modal transition systems with weight intervals. Zbl 1243.68215Juhl, Line; Larsen, Kim G.; Srba, Jiří 5 2012 Continuous Markovian logics – axiomatization and quantified metatheory. Zbl 1261.03088Mardare, Radu; Cardelli, Luca; Larsen, Kim G. 5 2012 Nash equilibria in concurrent priced games. Zbl 1351.68182Klimoš, Miroslav; Larsen, Kim G.; Štefaňák, Filip; Thaarup, Jeppe 4 2012 Monitor-based statistical model checking for weighted metric temporal logic. Zbl 1352.68147Bulychev, Peter; David, Alexandre; Guldstrand Larsen, Kim; Legay, Axel; Li, Guangyuan; Bøgsted Poulsen, Danny; Stainer, Amelie 4 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 Consistency and refinement for interval Markov chains. Zbl 1247.68195Delahaye, Benoît; Larsen, Kim G.; Legay, Axel; Pedersen, Mikkel L.; Wąsowski, Andrzej 3 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 Energy games in multiweighted automata. Zbl 1350.68168Fahrenberg, Uli; Juhl, Line; Larsen, Kim G.; Srba, Jiří 17 2011 Metrics for weighted transition systems: axiomatization and complexity. Zbl 1216.68191Larsen, Kim G.; Fahrenberg, Uli; Thrane, Claus 14 2011 Constraint Markov chains. Zbl 1223.68070Caillaud, Benoît; Delahaye, Benoît; Larsen, Kim G.; Legay, Axel; Pedersen, Mikkel L.; Wąsowski, Andrzej 11 2011 Abstract probabilistic automata. Zbl 1317.68095Delahaye, Benoît; Katoen, Joost-Pieter; Larsen, Kim G.; Legay, Axel; Pedersen, Mikkel L.; Sher, Falak; Wąsowski, Andrzej 8 2011 Quantitative refinement for weighted modal transition systems. Zbl 1343.68150Bauer, Sebastian S.; Fahrenberg, Uli; Juhl, Line; Larsen, Kim G.; Legay, Axel; Thrane, Claus 6 2011 Statistical model checking for networks of priced timed automata. Zbl 1348.68130David, Alexandre; Larsen, Kim G.; Legay, Axel; Mikučionis, Marius; Poulsen, Danny Bøgsted; van Vliet, Jonas; Wang, Zheng 6 2011 Timed automata can always be made implementable. Zbl 1343.68134Bouyer, Patricia; Larsen, Kim G.; Markey, Nicolas; Sankur, Ocan; Thrane, Claus 6 2011 Parametric modal transition systems. Zbl 1348.68120Beneš, Nikola; Křetínský, Jan; Larsen, Kim G.; Møller, Mikael H.; Srba, Jiří 5 2011 Continuous Markovian logic – from complete axiomatization to the metric space of formulas. Zbl 1247.03030Cardelli, Luca; Larsen, Kim G.; Mardare, Radu 4 2011 Robust specification of real time components. Zbl 1348.68143Larsen, Kim G.; Legay, Axel; Traonouez, Louis-Marie; Wąsowski, Andrzej 4 2011 Decision problems for interval Markov chains. Zbl 1330.68109Delahaye, Benoît; Larsen, Kim G.; Legay, Axel; Pedersen, Mikkel L.; Wąsowski, Andrzej 2 2011 Modular Markovian logic. Zbl 1333.68200Cardelli, Luca; Larsen, Kim G.; Mardare, Radu 2 2011 Timed I/O automata: a complete specification theory for real-time systems. Zbl 1361.68143David, Alexandre; Larsen, Kim G.; Legay, Axel; Nyman, Ulrik; Wasowski, Andrzej 23 2010 Quantitative analysis of weighted transition systems. Zbl 1204.68137Thrane, Claus; Fahrenberg, Uli; Larsen, Kim G. 14 2010 Timed automata with observers under energy constraints. Zbl 1361.68135Bouyer, Patricia; Fahrenberg, Uli; Larsen, Kim G.; Markey, Nicolas 12 2010 A quantitative characterization of weighted Kripke structures in temporal logic. Zbl 1413.68073Fahrenberg, Uli; Larsen, Kim G.; Thrane, Claus 5 2010 Verification, performance analysis and controller synthesis for real-time systems. Zbl 1274.68185Fahrenberg, Uli; Larsen, Kim G.; Thrane, Claus R. 5 2010 Scenario-based verification of real-time systems using UPPAAL. Zbl 1209.68323Li, Shuhao; Balaguer, Sandie; David, Alexandre; Larsen, Kim G.; Nielsen, Brian; Pusinskas, Saulius 3 2010 Modal and mixed specifications: key decision problems and their complexities. Zbl 1191.68426Antonik, Adam; Huth, Michael; Larsen, Kim G.; Nyman, Ulrik; Wąsowski, Andrzej 2 2010 Methodologies for specification of real-time systems using timed I/O automata. Zbl 1312.68131David, Alexandre; Larsen, Kim G.; Legay, Axel; Nyman, Ulrik; Wąsowski, Andrzej 1 2010 Automatic synthesis of robust and optimal controllers – an industrial case study. Zbl 1237.93058Cassez, Franck; Jessen, Jan J.; Larsen, Kim G.; Raskin, Jean-François; Reynier, Pierre-Alain 12 2009 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 Efficient on-the-fly algorithm for checking alternating timed simulation. Zbl 1262.68105Bulychev, Peter; Chatain, Thomas; David, Alexandre; Larsen, Kim G. 7 2009 Discount-optimal infinite runs in priced timed automata. Zbl 1347.68204Fahrenberg, Uli; Larsen, Kim G. 6 2009 EXPTIME-complete decision problems for modal and mixed specifications. Zbl 1291.68172Antonik, Adam; Huth, Michael; Larsen, Kim G.; Nyman, Ulrik; Wąsowski, Andrzej 2 2009 A quantitative characterization of weighted Kripke structures in temporal logic. Zbl 1247.68189Larsen, Kim G.; Fahrenberg, Uli; Thrane, Claus 1 2009 ...and 77 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 1,434 Authors 79 Larsen, Kim Guldstrand 30 Legay, Axel 22 Bouyer, Patricia 21 Fahrenberg, Uli 21 Srba, Jiří 19 Aceto, Luca 19 Katoen, Joost-Pieter 18 Kwiatkowska, Marta Z. 17 Ingólfsdóttir, Anna 17 Mardare, Radu 16 Markey, Nicolas 16 Raskin, Jean-François 15 Bernardo, Marco 14 Norman, Gethin 14 Wąsowski, Andrzej 13 André, Étienne 13 Lime, Didier 13 Panangaden, Prakash 13 Tini, Simone 12 Chatterjee, Krishnendu 12 Schröder, Lutz 11 Hennicker, Rolf 11 van Breugel, Franck 10 Bacci, Giovanni 10 Brihaye, Thomas 10 Delahaye, Benoît 10 Hermanns, Holger 10 Lüttgen, Gerald 10 Vaandrager, Frits W. 10 Worrell, James B. 9 Droste, Manfred 9 Francalanza, Adrian 9 Gregorio-Rodríguez, Carlos 9 Henzinger, Thomas A. 9 Li, Qingguo 9 Vogler, Walter 8 Bacci, Giorgio 8 Baier, Christel 8 de Frutos-Escrig, David 8 Desharnais, Josée 8 Doyen, Laurent 8 Lanotte, Ruggero 8 Randour, Mickael 8 Rutten, Jan J. M. M. 7 Bonchi, Filippo 7 Cleaveland, Rance 7 Deng, Yuxin 7 Gastin, Paul 7 Gebler, Daniel E. 7 Gorrieri, Roberto 7 Hennessy, Matthew C. B. 7 Jensen, Peter Gjøl 7 Quaas, Karin 7 Roux, Olivier H. 7 Silva, Alexandra 7 van Glabbeek, Robert Jan 7 Winskel, Glynn 6 Abate, Alessandro 6 Beneš, Nikola 6 Bertrand, Nathalie 6 Bruni, Roberto 6 Bruyère, Véronique 6 Cao, Yongzhi 6 Castiglioni, Valentina 6 Cîrstea, Corina 6 D’Argenio, Pedro Rubén 6 David, Alexandre 6 de Vink, Erik P. 6 Doberkat, Ernst-Erich 6 Fokkink, Willem Jan 6 Geeraerts, Gilles 6 Guo, Lankun 6 Křetínský, Jan 6 Meseguer Guaita, José 6 Montanari, Ugo G. 6 Sankur, Ocan 6 Sproston, Jeremy 6 Valero, Valentín 6 Zhan, Naijun 6 Zhang, Lijun 5 Akshay, S. 5 Bauer, Sebastian S. 5 Černá, Ivana 5 Chen, Yixiang 5 Cimatti, Alessandro 5 Danos, Vincent 5 Fribourg, Laurent 5 Groote, Jan Friso 5 Jonsson, Bengt 5 Juhl, Line 5 Klin, Bartek 5 Loreti, Michele 5 Ma, Yanfang 5 Milius, Stefan 5 Muñiz, Marco 5 Nunez, Manuel A. 5 Nyman, Ulrik 5 Otop, Jan 5 Pattinson, Dirk 5 Pedersen, Mikkel Lykke ...and 1,334 more Authors all top 5 Cited in 83 Serials 184 Theoretical Computer Science 84 Information and Computation 41 Formal Methods in System Design 40 Formal Aspects of Computing 35 Acta Informatica 35 Logical Methods in Computer Science 34 Journal of Logical and Algebraic Methods in Programming 26 The Journal of Logic and Algebraic Programming 21 MSCS. Mathematical Structures in Computer Science 14 Information Processing Letters 14 Real-Time Systems 10 Discrete Event Dynamic Systems 8 Journal of Computer and System Sciences 8 Science of Computer Programming 8 Annals of Pure and Applied Logic 7 International Journal of Approximate Reasoning 7 International Journal of Foundations of Computer Science 6 Automatica 6 Fundamenta Informaticae 5 Journal of Computer Science and Technology 5 Nonlinear Analysis. Hybrid Systems 4 International Journal of Control 4 Fuzzy Sets and Systems 4 Distributed Computing 4 European Journal of Control 3 Artificial Intelligence 3 Algorithmica 3 Machine Learning 3 Theory of Computing Systems 3 Soft Computing 3 Journal of Applied Logic 3 Sibirskie Èlektronnye Matematicheskie Izvestiya 2 Information Sciences 2 The Journal of Symbolic Logic 2 SIAM Journal on Control and Optimization 2 Studia Logica 2 Journal of Automated Reasoning 2 International Journal of Robust and Nonlinear Control 2 Cybernetics and Systems Analysis 2 Applied Categorical Structures 2 Annals of Mathematics and Artificial Intelligence 2 Journal of the ACM 2 Higher-Order and Symbolic Computation 2 RAIRO. Theoretical Informatics and Applications 1 ACM Computing Surveys 1 Computers & Mathematics with Applications 1 International Journal of General Systems 1 Bulletin of Mathematical Biology 1 Applied Mathematics and Computation 1 BIT 1 Journal of Combinatorial Theory. Series B 1 Journal of Pure and Applied Algebra 1 Mathematics and Computers in Simulation 1 Programming and Computer Software 1 Rendiconti dell’Istituto di Matematica dell’Università di Trieste 1 Semigroup Forum 1 Systems & Control Letters 1 Journal of Cryptology 1 Science in China. Series A 1 Computational Mathematics and Modeling 1 Annals of Operations Research 1 International Journal of Algebra and Computation 1 RAIRO. Informatique Théorique et Applications 1 Applicable Algebra in Engineering, Communication and Computing 1 Journal of Logic, Language and Information 1 Mathematical Problems in Engineering 1 Journal of Applied Mathematics and Decision Sciences 1 Wuhan University Journal of Natural Sciences (WUJNS) 1 Discrete Dynamics in Nature and Society 1 International Journal of Applied Mathematics and Computer Science 1 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 1 Journal of Systems Science and Complexity 1 Natural Computing 1 ACM Transactions on Computational Logic 1 Annali dell’Università di Ferrara. Sezione VII. Scienze Matematiche 1 Mathematics in Computer Science 1 Algorithms 1 Science China. Information Sciences 1 RAIRO. Theoretical Informatics and Applications 1 Frontiers of Computer Science in China 1 Computer Science Review 1 International Journal of Systems Science. Principles and Applications of Systems and Integration 1 Modelirovanie i Analiz Informatsionnykh Sistem all top 5 Cited in 27 Fields 968 Computer science (68-XX) 199 Mathematical logic and foundations (03-XX) 68 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 63 Systems theory; control (93-XX) 44 Probability theory and stochastic processes (60-XX) 28 Order, lattices, ordered algebraic structures (06-XX) 28 Operations research, mathematical programming (90-XX) 24 Category theory; homological algebra (18-XX) 17 Biology and other natural sciences (92-XX) 12 Information and communication theory, circuits (94-XX) 6 General algebraic systems (08-XX) 6 General topology (54-XX) 5 Linear and multilinear algebra; matrix theory (15-XX) 3 Combinatorics (05-XX) 2 General and overarching topics; collections (00-XX) 2 Dynamical systems and ergodic theory (37-XX) 1 History and biography (01-XX) 1 Number theory (11-XX) 1 Associative rings and algebras (16-XX) 1 Group theory and generalizations (20-XX) 1 Ordinary differential equations (34-XX) 1 Difference and functional equations (39-XX) 1 Functional analysis (46-XX) 1 Operator theory (47-XX) 1 Convex and discrete geometry (52-XX) 1 Quantum theory (81-XX) 1 Mathematics education (97-XX) Citations by Year