Edit Profile (opens in new tab) Henzinger, Thomas A. Compute Distance To: Compute Author ID: henzinger.thomas-a Published as: Henzinger, Thomas A.; Henzinger, T. A.; Henzinger, Thomas; Henzinger, T. more...less Homepage: http://pub.ist.ac.at/~tah/ External Links: ORCID · Wikidata · dblp · GND · IdRef Documents Indexed: 244 Publications since 1985 10 Contributions as Editor Co-Authors: 164 Co-Authors with 242 Joint Publications 3,229 Co-Co-Authors all top 5 Co-Authors 11 single-authored 71 Chatterjee, Krishnendu 31 Majumdar, Rupak 21 Doyen, Laurent 20 de Alfaro, Luca 17 Otop, Jan 16 Alur, Rajeev 14 Raskin, Jean-François 13 Kupferman, Orna 11 Avni, Guy 11 Radhakrishna, Arjun 9 Černý, Pavol 9 Jhala, Ranjit 8 Mang, Freddy Y. C. 8 Petrov, Tatjana 7 Gupta, Ashutosh 7 Jobstmann, Barbara 7 Prabhu, Vinayak S. 7 Qadeer, Shaz 6 Boker, Udi 6 Giacobbe, Mirco 6 Jurdziński, Marcin 6 Kirsch, Christoph M. 6 Kopke, Peter W. 6 Piterman, Nir 6 Sezgin, Ali 5 Bogomolov, Sergiy 5 Daca, Przemysław 5 Guerraoui, Rachid 5 Kovács, Laura Ildikó 5 Rajamani, Sriram K. 5 Samanta, Roopsha 5 Singh, Vasu 4 Clarke, Edmund Melson jun. 4 Guet, Călin C. 4 Hottelier, Thibaud 4 Ibsen-Jensen, Rasmus 4 Kong, Hui 4 Stoelinga, Mariëlle 4 Veith, Helmut 4 Wolf, Verena 4 Wong-Toi, Howard 4 Zufferey, Damien 3 Bartocci, Ezio 3 Beyer, Dirk 3 Bloem, Roderick 3 Chakrabarti, Arindam 3 Faella, Marco 3 Ferrère, Thomas 3 Ho, Pei-Hsin 3 Horn, Florian 3 Horowitz, Benjamin 3 Křetínský, Jan 3 Mateescu, Maria 3 Rybalchenko, Andrey 3 Sanvido, Marco A. A. 3 Sutre, Grégoire 3 Tarrach, Thorsten 3 Vardi, Moshe Ya’akov 2 Berwanger, Dietmar 2 Chmelík, Martin 2 Chonev, Ventsislav 2 Courcoubetis, Costas A. 2 De Wulf, Martin 2 Dragoi, Cezara 2 Feder, Tomás 2 Fisher, Jasmin 2 Gimbert, Hugo 2 Igler, Claudia 2 Kragl, Bernhard 2 Ma, Di 2 Manna, Zohar 2 Nickovic, Dejan 2 Nicollin, Xavier 2 Paixão, Tiago 2 Palsberg, Jens 2 Payer, Hannes 2 Pnueli, Amir 2 Puri, Anuj 2 Ryzhyk, Leonid 2 Schilling, Christian 2 Schobbens, Pierre-Yves 2 Sifakis, Joseph 2 Singh, Rohit R. 2 Sokolova, Ana 2 Vafeiadis, Viktor 2 Varaiya, Pravin Pratap 2 Velner, Yaron 2 Wies, Thomas 2 Yovine, Sergio 2 Zhao, Tian 2 Žikelić, {D}or{d}e 1 Aghajohari, Milad 1 Antoš, David 1 Bak, Stanley 1 Blanc, Régis 1 Brayton, Robert K. 1 Brihaye, Thomas 1 Cassez, Franck 1 Chakraborty, Soham 1 Chlipala, Adam J. ...and 64 more Co-Authors all top 5 Serials 14 Theoretical Computer Science 10 Information and Computation 8 Logical Methods in Computer Science 7 ACM Transactions on Computational Logic 7 Lecture Notes in Computer Science 6 Formal Methods in System Design 4 Journal of Computer and System Sciences 4 Journal of the ACM 2 Acta Informatica 2 Information Processing Letters 2 International Journal of Foundations of Computer Science 2 1 IEEE Transactions on Automatic Control 1 International Journal of Game Theory 1 Journal of the Association for Computing Machinery 1 Distributed Computing 1 ACM Transactions on Modeling and Computer Simulation 1 Nonlinear Analysis. Hybrid Systems all top 5 Fields 225 Computer science (68-XX) 58 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 31 Systems theory; control (93-XX) 30 Mathematical logic and foundations (03-XX) 11 Biology and other natural sciences (92-XX) 8 General and overarching topics; collections (00-XX) 6 Probability theory and stochastic processes (60-XX) 6 Operations research, mathematical programming (90-XX) 4 Combinatorics (05-XX) 2 History and biography (01-XX) 2 Numerical analysis (65-XX) 1 Commutative algebra (13-XX) 1 Ordinary differential equations (34-XX) 1 Statistics (62-XX) 1 Information and communication theory, circuits (94-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 221 Publications have been cited 3,457 times in 1,881 Documents Cited by ▼ Year ▼ Alternating-time temporal logic. Zbl 1326.68181Alur, Rajeev; Henzinger, Thomas A.; Kupferman, Orna 289 2002 The algorithmic analysis of hybrid systems. Zbl 0874.68206Alur, R.; Courcoubetis, C.; Halbwachs, N.; Henzinger, T. A.; Ho, P.-H. 161 1995 The theory of hybrid automata. Zbl 0959.68073Henzinger, Thomas A. 138 2000 Symbolic model checking for real-time systems. Zbl 0806.68080Henzinger, Thomas A.; Nicollin, Xavier; Sifakis, Joseph; Yovine, Sergio 123 1994 What’s decidable about hybrid automata? Zbl 0920.68091Henzinger, Thomas A.; Kopke, Peter W.; Puri, Anuj; Varaiya, Pravin 111 1998 A really temporal logic. Zbl 0807.68065Alur, Rajeev; Henzinger, Thomas A. 97 1994 The benefits of relaxing punctuality. Zbl 0882.68021Alur, Rajeev; Feder, Tomás; Henzinger, Thomas A. 97 1996 HyTech: A model checker for hybrid systems. Zbl 1060.68603Henzinger, Thomas A.; Ho, Pei-Hsin; Wong-Toi, Howard 89 1997 Real-time logics: Complexity and expressiveness. Zbl 0791.68103Alur, Rajeev; Henzinger, Thomas A. 69 1993 Lazy abstraction. Zbl 1323.68374Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; Sutre, Grégoire 65 2002 Parametric real-time reasoning. Zbl 1310.68139Alur, Rajeev; Henzinger, Thomas A.; Vardi, Moshe Y. 61 1993 Abstractions from proofs. Zbl 1325.68147Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; McMillan, Kenneth L. 56 2004 What’s decidable about hybrid automata? Zbl 0978.68534Henzinger, Thomas A.; Kopke, Peter W.; Puri, Anuj; Varaiya, Pravin 55 1995 Strategy logic. Zbl 1205.68197Chatterjee, Krishnendu; Henzinger, Thomas A.; Piterman, Nir 54 2010 Better quality in synthesis through quantitative objectives. Zbl 1242.68151Bloem, Roderick; Chatterjee, Krishnendu; Henzinger, Thomas A.; Jobstmann, Barbara 52 2009 Alternating refinement relations. Zbl 1070.68524Alur, Rajeev; Henzinger, Thomas A.; Kupferman, Orna; Vardi, Moshe Y. 51 1998 Discrete-time control for rectangular hybrid automata. Zbl 0930.68086Henzinger, Thomas A.; Kopke, Peter W. 47 1999 Quantitative languages. Zbl 1351.68155Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A. 44 2010 Event-clock automata: a determinizable class of timed automata. Zbl 0912.68132Alur, Rajeev; Fix, Limor; Henzinger, Thomas A. 43 1999 Computing simulations on finite and infinite graphs. Zbl 0938.68538Henzinger, Monika R.; Henzinger, Thomas A.; Kopke, Peter W. 43 1995 Antichains: a new algorithm for checking universality of finite automata. Zbl 1188.68171De Wulf, M.; Doyen, L.; Henzinger, T. A.; Raskin, J.-F. 36 2006 Interface theories for component-based design. Zbl 1050.68518de Alfaro, Luca; Henzinger, Thomas A. 35 2001 Quantitative languages. Zbl 1156.68449Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A. 34 2008 Concurrent reachability games. Zbl 1154.91306de Alfaro, Luca; Henzinger, Thomas A.; Kupferman, Orna 33 2007 Games with secure equilibria. Zbl 1108.91007Chatterjee, Krishnendu; Henzinger, Thomas A.; Jurdziński, Marcin 33 2006 Quantitative stochastic parity games. Zbl 1318.91027Chatterjee, Krishnendu; Jurdziński, Marcin; Henzinger, Thomas A. 33 2004 Generalized mean-payoff and energy games. Zbl 1245.68090Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.; Raskin, Jean-François 32 2010 Algorithmic analysis of nonlinear hybrid systems. Zbl 0918.93019Henzinger, Thomas A.; Ho, Pei-Hsin; Wong-Toi, Howard 31 1998 Discounting the future in systems theory. Zbl 1039.68087de Alfaro, Luca; Henzinger, Thomas A.; Majumdar, Rupak 30 2003 Synthesizing robust systems. Zbl 1302.93079Bloem, Roderick; Chatterjee, Krishnendu; Greimel, Karin; Henzinger, Thomas A.; Hofferek, Georg; Jobstmann, Barbara; Könighofer, Bettina; Könighofer, Robert 29 2014 Handbook of model checking. Zbl 1390.68001 28 2018 A survey of stochastic \(\omega \)-regular games. Zbl 1237.91036Chatterjee, Krishnendu; Henzinger, Thomas A. 28 2012 Algorithms for omega-regular games with imperfect information. Zbl 1125.91028Raskin, Jean-Francois; Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A. 26 2007 Fair simulation. Zbl 1009.68071Henzinger, Thomas A.; Kupferman, Orna; Rajamani, Sriram K. 25 2002 The complexity of multi-mean-payoff and multi-energy games. Zbl 1309.68082Velner, Yaron; Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.; Rabinovich, Alexander; Raskin, Jean-François 25 2015 Simple stochastic parity games. Zbl 1116.68493Chatterjee, Krishnendu; Jurdziński, Marcin; Henzinger, Thomas A. 25 2003 Finitary winning in \({\omega}\)-regular games. Zbl 1351.68156Chatterjee, Krishnendu; Henzinger, Thomas A.; Horn, Florian 25 2009 Compositional methods for probabilistic systems. Zbl 1006.68083de Alfaro, Luca; Henzinger, Thomas A.; Jhala, Ranjit 23 2001 The algorithmic analysis of hybrid systems. Zbl 0823.68067Alur, R.; Courcoubetis, C.; Henzinger, T.; Ho, P.; Nicollin, X.; Olivero, A.; Sifakis, J.; Yovine, S. 23 1994 Strategy logic. Zbl 1151.03327Chatterjee, Krishnendu; Henzinger, Thomas A.; Piterman, Nir 23 2007 Expressiveness and closure properties for quantitative languages. Zbl 1200.68135Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A. 22 2010 Model checking discounted temporal properties. Zbl 1079.68062de Alfaro, Luca; Faella, Marco; Henzinger, Thomas A.; Majumdar, Rupak; Stoelinga, Mariëlle 21 2005 Alternating weighted automata. Zbl 1252.68167Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A. 19 2009 The element of surprise in timed games. Zbl 1262.68141de Alfaro, Luca; Faella, Marco; Henzinger, Thomas A.; Majumdar, Rupak; Stoelinga, Mariëlle 18 2003 Algorithms for omega-regular games with imperfect information. Zbl 1225.91012Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.; Raskin, Jean-François 18 2006 Invariant synthesis for combined theories. Zbl 1132.68333Beyer, Dirk; Henzinger, Thomas A.; Majumdar, Rupak; Rybalchenko, Andrey 17 2007 Markov decision processes with multiple objectives. Zbl 1136.90498Chatterjee, Krishnendu; Majumdar, Rupak; Henzinger, Thomas A. 17 2006 Model-checking \(\omega \)-regular properties of interval Markov chains. Zbl 1138.68441Chatterjee, Krishnendu; Sen, Koushik; Henzinger, Thomas A. 16 2008 Solving games without determinization. Zbl 1225.68118Henzinger, Thomas A.; Piterman, Nir 16 2006 Simulation distances. Zbl 1234.68253Černý, Pavol; Henzinger, Thomas A.; Radhakrishna, Arjun 16 2012 Lumpability abstractions of rule-based systems. Zbl 1267.68153Feret, Jerome; Henzinger, Thomas; Koeppl, Heinz; Petrov, Tatjana 16 2012 Beyond HyTech: Hybrid systems analysis using interval numerical methods. Zbl 0938.93552Henzinger, Thomas A.; Horowitz, Benjamin; Majumdar, Rupak; Wong-Toi, Howard 15 2000 Timed interfaces. Zbl 1027.68785de Alfaro, Luca; Henzinger, Thomas A.; Stoelinga, Mariëlle 15 2002 The complexity of stochastic Rabin and Streett games. Zbl 1085.68060Chatterjee, Krishnendu; de Alfaro, Luca; Henzinger, Thomas A. 15 2005 Temporal proof methodologies for timed transition systems. Zbl 0820.68085Henzinger, Thomas A.; Manna, Zohar; Pnueli, Amir 15 1994 Proving non-termination. Zbl 1295.68158Gupta, Ashutosh; Henzinger, Thomas A.; Majumdar, Rupak; Rybalchenko, Andrey; Xu, Ru-Gang 15 2008 Symbolic algorithms for infinite-state games. Zbl 1006.68095de Alfaro, Luca; Henzinger, Thomas A.; Majumdar, Rupak 14 2001 Assume-guarantee synthesis. Zbl 1186.68284Chatterjee, Krishnendu; Henzinger, Thomas A. 14 2007 Robust undecidability of timed and hybrid systems. Zbl 0944.93018Henzinger, Thomas A.; Raskin, Jean-François 14 2000 It’s about time: Real-time logics reviewed. Zbl 0928.03019Henzinger, Thomas A. 14 1998 Sliding window abstraction for infinite Markov chains. Zbl 1242.60079Henzinger, Thomas A.; Mateescu, Maria; Wolf, Verena 14 2009 Quantifying similarities between timed systems. Zbl 1175.68281Henzinger, Thomas A.; Majumdar, Rupak; Prabhu, Vinayak S. 14 2005 Temporal specifications with accumulative values. Zbl 1354.68169Boker, Udi; Chatterjee, Krishnendu; Henzinger, Thomas A.; Kupferman, Orna 14 2014 Generalized parity games. Zbl 1195.68053Chatterjee, Krishnendu; Henzinger, Thomas A.; Piterman, Nir 13 2007 Partial-order reduction in symbolic state-space exploration. Zbl 1001.68080Alur, R.; Brayton, R. K.; Henzinger, T. A.; Qadeer, S.; Rajamani, S. K. 13 2001 Back to the future: Towards a theory of timed regular languages. Zbl 0977.68548Alur, Rajeev; Henzinger, Thomas A. 13 1992 Rectangular hybrid games. Zbl 0937.91005Henzinger, Thomas A.; Horowitz, Benjamin; Majumdar, Rupak 13 1999 Software verification with BLAST. Zbl 1023.68532Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; Sutre, Grégoire 13 2003 Environment assumptions for synthesis. Zbl 1160.68437Chatterjee, Krishnendu; Henzinger, Thomas A.; Jobstmann, Barbara 13 2008 Thread-modular abstraction refinement. Zbl 1278.68175Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; Qadeer, Shaz 13 2003 Hybrid automata with finite bisimulations. Zbl 1412.68130Henzinger, Thomas A. 13 1995 Randomness for free. Zbl 1287.91027Chatterjee, Krishnendu; Doyen, Laurent; Gimbert, Hugo; Henzinger, Thomas A. 12 2010 Qualitative analysis of partially-observable Markov decision processes. Zbl 1287.68104Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A. 12 2010 Configurable software verification: Concretizing the convergence of model checking and program analysis. Zbl 1135.68466Beyer, Dirk; Henzinger, Thomas A.; Théoduloz, Grégory 11 2007 A comparison of control problems for timed and hybrid systems. Zbl 1044.93518Cassez, Franck; Henzinger, Thomas A.; Raskin, Jean-François 11 2002 Value iteration. Zbl 1143.68042Chatterjee, Krishnendu; Henzinger, Thomas A. 11 2008 Stochastic limit-average games are in EXPTIME. Zbl 1154.91004Chatterjee, Krishnendu; Majumdar, Rupak; Henzinger, Thomas A. 11 2008 Equivalence of labeled Markov chains. Zbl 1155.68035Doyen, Laurent; Henzinger, Thomas A.; Raskin, Jean-François 11 2008 A classification of symbolic transition systems. Zbl 1367.68193Henzinger, Thomas A.; Majumdar, Rupak; Raskin, Jean-François 11 2005 The Blast query language for software verification. Zbl 1104.68408Beyer, Dirk; Chlipala, Adam J.; Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak 10 2004 Sooner is safer than later. Zbl 0753.68041Henzinger, Thomas A. 10 1992 Temporal-safety proofs for systems code. Zbl 1010.68507Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; Necula, George C.; Sutre, Grégoire; Weimer, Westley 10 2002 The complexity of quantitative concurrent parity games. Zbl 1192.68430Chatterjee, Krishnendu; de Alfaro, Luca; Henzinger, Thomas A. 10 2006 A logic-based framework for verifying consensus algorithms. Zbl 1428.68371Drăgoi, Cezara; Henzinger, Thomas A.; Veith, Helmut; Widder, Josef; Zufferey, Damien 10 2014 Synchronous and bidirectional component interfaces. Zbl 1010.68518Chakrabarti, Arindam; de Alfaro, Luca; Henzinger, Thomas A.; Mang, Freddy Y. C. 9 2002 Axioms for real-time logics. Zbl 0928.03022Raskin, J.-F.; Schobbens, P.-Y.; Henzinger, T. A. 9 1998 Probabilistic weighted automata. Zbl 1254.68133Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A. 9 2009 Games with secure equilibria. Zbl 1143.68447Chatterjee, Krishnendu; Henzinger, Thomas A.; Jurdziński, Marcin 9 2005 Automatic rectangular refinement of affine hybrid systems. Zbl 1175.68243Doyen, Laurent; Henzinger, Thomas A.; Raskin, Jean-François 9 2005 The benefits of relaxing punctuality. Zbl 1314.68195Alur, Rajeev; Feder, Tomás; Henzinger, Thomas A. 9 1991 Permissiveness in transactional memories. Zbl 1161.68387Guerraoui, Rachid; Henzinger, Thomas A.; Singh, Vasu 9 2008 Finitary winning in \(\omega\)-regular games. Zbl 1180.68171Chatterjee, Krishnendu; Henzinger, Thomas A. 9 2006 Quantitative relaxation of concurrent data structures. Zbl 1301.68176Henzinger, Thomas A.; Kirsch, Christoph M.; Payer, Hannes; Sezgin, Ali; Sokolova, Ana 9 2013 PSync: a partially synchronous language for fault-tolerant distributed algorithms. Zbl 1347.68036Drăgoi, Cezara; Henzinger, Thomas A.; Zufferey, Damien 8 2016 Forward analysis of depth-bounded processes. Zbl 1284.68419Wies, Thomas; Zufferey, Damien; Henzinger, Thomas A. 8 2010 Strategy improvement for concurrent reachability and turn-based stochastic safety games. Zbl 1269.91022Chatterjee, Krishnendu; de Alfaro, Luca; Henzinger, Thomas A. 8 2013 Aspect-oriented linearizability proofs. Zbl 1390.68213Henzinger, Thomas A.; Sezgin, Ali; Vafeiadis, Viktor 8 2013 Completeness and nondeterminism in model checking transactional memories. Zbl 1160.68441Guerraoui, Rachid; Henzinger, Thomas A.; Singh, Vasu 8 2008 Dynamic resource allocation games. Zbl 1403.91059Avni, Guy; Henzinger, Thomas A.; Kupferman, Orna 8 2016 Interface compatibility checking for software modules. Zbl 1010.68505Chakrabarti, Arindam; de Alfaro, Luca; Henzinger, Thomas A.; Jurdzinski, Marcin; Mang, Freddy Y. C. 7 2002 Determinacy in discrete-bidding infinite-duration games. Zbl 07327943Aghajohari, Milad; Avni, Guy; Henzinger, Thomas A. 2 2021 Bidding mechanisms in graph games. Zbl 1480.91053Avni, Guy; Henzinger, Thomas A.; Žikelić, Đorđe 1 2021 Refinement for structured concurrent programs. Zbl 1478.68044Kragl, Bernhard; Qadeer, Shaz; Henzinger, Thomas A. 1 2020 How many bits does it take to quantize your neural network? Zbl 1483.68192Giacobbe, Mirco; Henzinger, Thomas A.; Lechner, Mathias 1 2020 Infinite-duration bidding games. Zbl 1448.91060Avni, Guy; Henzinger, Thomas A.; Chonev, Ventsislav 4 2019 Bidding games on Markov decision processes. Zbl 1455.91054Avni, Guy; Henzinger, Thomas A.; Ibsen-Jensen, Rasmus; Novotný, Petr 2 2019 Quantitative automata under probabilistic semantics. Zbl 1442.68086Chatterjee, Krishnendu; Henzinger, Thomas A.; Otop, Jan 1 2019 Transient memory in gene regulation. Zbl 1422.92044Guet, Calin; Henzinger, Thomas A.; Igler, Claudia; Petrov, Tatjana; Sezgin, Ali 1 2019 Handbook of model checking. Zbl 1390.68001 28 2018 Infinite-duration poorman-bidding games. Zbl 1443.91070Avni, Guy; Henzinger, Thomas A.; Ibsen-Jensen, Rasmus 5 2018 Synchronizing the asynchronous. Zbl 07378565Kragl, Bernhard; Qadeer, Shaz; Henzinger, Thomas A. 5 2018 A theory of register monitors. Zbl 1497.68261Ferrère, Thomas; Henzinger, Thomas A.; Saraç, N. Ege 1 2018 Introduction to model checking. Zbl 1392.68242Clarke, Edmund M.; Henzinger, Thomas A.; Veith, Helmut 1 2018 The cost of exactness in quantitative reachability. Zbl 1431.68073Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A. 4 2017 Counterexample-guided refinement of template polyhedra. Zbl 1452.68099Bogomolov, Sergiy; Frehse, Goran; Giacobbe, Mirco; Henzinger, Thomas A. 2 2017 Nested weighted automata. Zbl 1407.68248Chatterjee, Krishnendu; Henzinger, Thomas A.; Otop, Jan 2 2017 Quantitative fair simulation games. Zbl 1370.68165Chatterjee, Krishnendu; Henzinger, Thomas A.; Otop, Jan; Velner, Yaron 2 2017 Safety verification of nonlinear hybrid systems based on invariant clusters. Zbl 1369.93185Kong, Hui; Bogomolov, Sergiy; Schilling, Christian; Jiang, Yu; Henzinger, Thomas A. 2 2017 Faster statistical model checking for unbounded temporal properties. Zbl 1367.68188Daca, Przemysław; Henzinger, Thomas A.; Křetínský, Jan; Petrov, Tatjana 2 2017 Edit distance for pushdown automata. Zbl 1440.68152Chatterjee, Krishnendu; Henzinger, Thomas A.; Ibsen-Jensen, Rasmus; Otop, Jan 2 2017 Model checking the evolution of gene regulatory networks. Zbl 1380.68273Giacobbe, Mirco; Guet, Călin C.; Gupta, Ashutosh; Henzinger, Thomas A.; Paixão, Tiago; Petrov, Tatjana 2 2017 Model measuring for discrete and hybrid systems. Zbl 1401.68198Henzinger, Thomas A.; Otop, Jan 2 2017 Computing scores of forwarding schemes in switched networks with probabilistic faults. Zbl 1452.68021Avni, Guy; Goel, Shubham; Henzinger, Thomas A.; Rodriguez-Navas, Guillermo 1 2017 From non-preemptive to preemptive scheduling using synchronization synthesis. Zbl 1360.68346Černý, Pavol; Clarke, Edmund M.; Henzinger, Thomas A.; Radhakrishna, Arjun; Ryzhyk, Leonid; Samanta, Roopsha; Tarrach, Thorsten 1 2017 Preface of the special issue in memoriam Helmut Veith. Zbl 1384.00074 1 2017 Infinite-duration bidding games. Zbl 1448.91061Avni, Guy; Henzinger, Thomas A.; Chonev, Ventsislav 1 2017 PSync: a partially synchronous language for fault-tolerant distributed algorithms. Zbl 1347.68036Drăgoi, Cezara; Henzinger, Thomas A.; Zufferey, Damien 8 2016 Dynamic resource allocation games. Zbl 1403.91059Avni, Guy; Henzinger, Thomas A.; Kupferman, Orna 8 2016 Linear distances between Markov chains. Zbl 1392.68293Daca, Przemysław; Henzinger, Thomas A.; Krětínský, Jan; Petrov, Tatjana 6 2016 Quantitative automata under probabilistic semantics. Zbl 1401.68155Chatterjee, Krishnendu; Henzinger, Thomas A.; Otop, Jan 6 2016 Quantitative monitor automata. Zbl 1394.68207Chatterjee, Krishnendu; Henzinger, Thomas A.; Otop, Jan 4 2016 Nested weighted limit-average automata of bounded width. Zbl 1398.68305Chatterjee, Krishnendu; Henzinger, Thomas A.; Otop, Jan 3 2016 Scalable static hybridization methods for analysis of nonlinear systems. Zbl 1364.68243Bak, Stanley; Bogomolov, Sergiy; Henzinger, Thomas A.; Johnson, Taylor T.; Prakash, Pradyot 2 2016 Faster statistical model checking for unbounded temporal properties. Zbl 1420.68123Daca, Przemysław; Henzinger, Thomas A.; Křetínský, Jan; Petrov, Tatjana 2 2016 Array folds logic. Zbl 1411.68061Daca, Przemysław; Henzinger, Thomas A.; Kupriyanov, Andrey 2 2016 Lipschitz robustness of timed I/O systems. Zbl 1475.68154Henzinger, Thomas A.; Otop, Jan; Samanta, Roopsha 1 2016 Abstraction-driven concolic testing. Zbl 1475.68079Daca, Przemysław; Gupta, Ashutosh; Henzinger, Thomas A. 1 2016 The complexity of multi-mean-payoff and multi-energy games. Zbl 1309.68082Velner, Yaron; Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.; Rabinovich, Alexander; Raskin, Jean-François 25 2015 Nested weighted automata. Zbl 1401.68154Chatterjee, Krishnendu; Henzinger, Thomas A.; Otop, Jan 6 2015 The target discounted-sum problem. Zbl 1401.68149Boker, Udi; Henzinger, Thomas A.; Otop, Jan 5 2015 Measuring and synthesizing systems in probabilistic environments. Zbl 1321.68344Chatterjee, Krishnendu; Henzinger, Thomas A.; Jobstmann, Barbara; Singh, Rohit 4 2015 Edit distance for pushdown automata. Zbl 1440.68151Chatterjee, Krishnendu; Henzinger, Thomas A.; Ibsen-Jensen, Rasmus; Otop, Jan 3 2015 From non-preemptive to preemptive scheduling using synchronization synthesis. Zbl 1381.68040Černý, Pavol; Clarke, Edmund M.; Henzinger, Thomas A.; Radhakrishna, Arjun; Ryzhyk, Leonid; Samanta, Roopsha; Tarrach, Thorsten 2 2015 Aspect-oriented linearizability proofs. Zbl 1391.68023Chakraborty, Soham; Henzinger, Thomas A.; Sezgin, Ali; Vafeiadis, Viktor 1 2015 Succinct representation of concurrent trace sets. Zbl 1345.68108Gupta, Ashutosh; Henzinger, Thomas A.; Radhakrishna, Arjun; Samanta, Roopsha; Tarrach, Thorsten 1 2015 Model checking gene regulatory networks. Zbl 1420.92041Giacobbe, Mirco; Guet, Călin C.; Gupta, Ashutosh; Henzinger, Thomas A.; Paixão, Tiago; Petrov, Tatjana 1 2015 Segment abstraction for worst-case execution time analysis. Zbl 1335.68049Černý, Pavol; Henzinger, Thomas A.; Kovács, Laura; Radhakrishna, Arjun; Zwirchmayr, Jakob 1 2015 Synthesizing robust systems. Zbl 1302.93079Bloem, Roderick; Chatterjee, Krishnendu; Greimel, Karin; Henzinger, Thomas A.; Hofferek, Georg; Jobstmann, Barbara; Könighofer, Bettina; Könighofer, Robert 29 2014 Temporal specifications with accumulative values. Zbl 1354.68169Boker, Udi; Chatterjee, Krishnendu; Henzinger, Thomas A.; Kupferman, Orna 14 2014 A logic-based framework for verifying consensus algorithms. Zbl 1428.68371Drăgoi, Cezara; Henzinger, Thomas A.; Veith, Helmut; Widder, Josef; Zufferey, Damien 10 2014 Exact and approximate determinization of discounted-sum automata. Zbl 1325.68126Boker, Udi; Henzinger, Thomas A. 6 2014 Lipschitz robustness of finite-state transducers. Zbl 1360.68559Henzinger, Thomas A.; Otop, Jan; Samanta, Roopsha 1 2014 Model measuring for hybrid systems. Zbl 1362.68173Henzinger, Thomas A.; Otop, Jan 1 2014 Battery transition systems. Zbl 1284.68382Boker, Udi; Henzinger, Thomas A.; Radhakrishna, Arjun 1 2014 Quantitative relaxation of concurrent data structures. Zbl 1301.68176Henzinger, Thomas A.; Kirsch, Christoph M.; Payer, Hannes; Sezgin, Ali; Sokolova, Ana 9 2013 Strategy improvement for concurrent reachability and turn-based stochastic safety games. Zbl 1269.91022Chatterjee, Krishnendu; de Alfaro, Luca; Henzinger, Thomas A. 8 2013 Aspect-oriented linearizability proofs. Zbl 1390.68213Henzinger, Thomas A.; Sezgin, Ali; Vafeiadis, Viktor 8 2013 From model checking to model measuring. Zbl 1390.68428Henzinger, Thomas A.; Otop, Jan 7 2013 A survey of partial-observation stochastic parity games. Zbl 1291.91022Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A. 6 2013 Quantitative abstraction refinement. Zbl 1301.68244Cerny, Pavol; Henzinger, Thomas A.; Radhakrishna, Arjun 3 2013 Computational methods in systems biology. 11th international conference, CMSB 2013, Klosterneuburg, Austria, September 22–24, 2013. Proceedings. Zbl 1321.92032 2 2013 A survey of stochastic \(\omega \)-regular games. Zbl 1237.91036Chatterjee, Krishnendu; Henzinger, Thomas A. 28 2012 Simulation distances. Zbl 1234.68253Černý, Pavol; Henzinger, Thomas A.; Radhakrishna, Arjun 16 2012 Lumpability abstractions of rule-based systems. Zbl 1267.68153Feret, Jerome; Henzinger, Thomas; Koeppl, Heinz; Petrov, Tatjana 16 2012 Ideal abstractions for well-structured transition systems. Zbl 1326.68205Zufferey, Damien; Wies, Thomas; Henzinger, Thomas A. 6 2012 Approximate determinization of quantitative automata. Zbl 1354.68147Boker, Udi; Henzinger, Thomas A. 4 2012 Timed parity games: complexity and robustness. Zbl 1237.68112Chatterjee, Krishnendu; Henzinger, Thomas A.; Prabhu, Vinayak S. 7 2011 Qualitative concurrent parity games. Zbl 1351.68179Chatterjee, Krishnendu; De Alfaro, Luca; Henzinger, Thomas A. 6 2011 The complexity of request-response games. Zbl 1330.68105Chatterjee, Krishnendu; Henzinger, Thomas A.; Horn, Florian 5 2011 Dynamic reactive modules. Zbl 1343.68167Fisher, Jasmin; Henzinger, Thomas A.; Nickovic, Dejan; Piterman, Nir; Singh, Anmol V.; Vardi, Moshe Y. 5 2011 Approximation of event probabilities in noisy cellular processes. Zbl 1211.92016Didier, Frédéric; Henzinger, Thomas A.; Mateescu, Maria; Wolf, Verena 2 2011 QUASY: quantitative synthesis tool. Zbl 1316.68071Chatterjee, Krishnendu; Henzinger, Thomas A.; Jobstmann, Barbara; Singh, Rohit 2 2011 Formalisms for specifying Markovian population models. Zbl 1216.68190Henzinger, Thomas; Jobstmann, Barbara; Wolf, Verena 2 2011 Verification of STM on relaxed memory models. Zbl 1247.68165Guerraoui, Rachid; Henzinger, Thomas A.; Singh, Vasu 1 2011 Determinizing discounted-sum automata. Zbl 1247.68128Boker, Udi; Henzinger, Thomas A. 1 2011 Strategy logic. Zbl 1205.68197Chatterjee, Krishnendu; Henzinger, Thomas A.; Piterman, Nir 54 2010 Quantitative languages. Zbl 1351.68155Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A. 44 2010 Generalized mean-payoff and energy games. Zbl 1245.68090Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.; Raskin, Jean-François 32 2010 Expressiveness and closure properties for quantitative languages. Zbl 1200.68135Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A. 22 2010 Randomness for free. Zbl 1287.91027Chatterjee, Krishnendu; Doyen, Laurent; Gimbert, Hugo; Henzinger, Thomas A. 12 2010 Qualitative analysis of partially-observable Markov decision processes. Zbl 1287.68104Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A. 12 2010 Forward analysis of depth-bounded processes. Zbl 1284.68419Wies, Thomas; Zufferey, Damien; Henzinger, Thomas A. 8 2010 Simulation distances. Zbl 1287.68127Černý, Pavol; Henzinger, Thomas A.; Radhakrishna, Arjun 6 2010 Mean-payoff automaton expressions. Zbl 1287.68093Chatterjee, Krishnendu; Doyen, Laurent; Edelsbrunner, Herbert; Henzinger, Thomas A.; Rannou, Philippe 6 2010 Model checking transactional memories. Zbl 1267.68143Guerraoui, Rachid; Henzinger, Thomas A.; Singh, Vasu 6 2010 ABC: algebraic bound computation for loops. Zbl 1253.68093Blanc, Régis; Henzinger, Thomas A.; Hottelier, Thibaud; Kovács, Laura 4 2010 Strategy construction for parity games with imperfect information. Zbl 1232.91007Berwanger, Dietmar; Chatterjee, Krishnendu; De Wulf, Martin; Doyen, Laurent; Henzinger, Thomas A. 4 2010 Probabilistic automata on infinite words: decidability and undecidability results. Zbl 1305.68112Chatterjee, Krishnendu; Henzinger, Thomas A. 3 2010 Invariant and type inference for matrices. Zbl 1273.68083Henzinger, Thomas A.; Hottelier, Thibaud; Kovács, Laura; Voronkov, Andrei 2 2010 Better quality in synthesis through quantitative objectives. Zbl 1242.68151Bloem, Roderick; Chatterjee, Krishnendu; Henzinger, Thomas A.; Jobstmann, Barbara 52 2009 Finitary winning in \({\omega}\)-regular games. Zbl 1351.68156Chatterjee, Krishnendu; Henzinger, Thomas A.; Horn, Florian 25 2009 Alternating weighted automata. Zbl 1252.68167Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A. 19 2009 Sliding window abstraction for infinite Markov chains. Zbl 1242.60079Henzinger, Thomas A.; Mateescu, Maria; Wolf, Verena 14 2009 Probabilistic weighted automata. Zbl 1254.68133Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A. 9 2009 Software transactional memory on relaxed memory models. Zbl 1242.68162Guerraoui, Rachid; Henzinger, Thomas A.; Singh, Vasu 7 2009 A survey of stochastic games with limsup and liminf objectives. Zbl 1248.91015Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A. 4 2009 Probabilistic systems with limsup and liminf objectives. Zbl 1258.68099Chatterjee, Krishnendu; Henzinger, Thomas A. 2 2009 Termination criteria for solving concurrent safety and reachability games. Zbl 1425.91074Chatterjee, Krishnendu; De Alfaro, Luca; Henzinger, Thomas A. 2 2009 Stochastic games with finitary objectives. Zbl 1250.68185Chatterjee, Krishnendu; Henzinger, Thomas A.; Horn, Florian 1 2009 Formalisms for specifying Markovian population models. Zbl 1260.68284Henzinger, Thomas A.; Jobstmann, Barbara; Wolf, Verena 1 2009 ...and 121 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 2,646 Authors 57 Chatterjee, Krishnendu 55 Henzinger, Thomas A. 43 Larsen, Kim Guldstrand 35 Kupferman, Orna 35 Raskin, Jean-François 32 Bouyer, Patricia 29 Legay, Axel 27 Markey, Nicolas 24 Murano, Aniello 21 Droste, Manfred 21 Kwiatkowska, Marta Z. 20 Brihaye, Thomas 19 Lime, Didier 18 Baier, Christel 18 Doyen, Laurent 18 Wooldridge, Michael J. 18 Zimmermann, Martín G. 17 Bozzelli, Laura 17 Fahrenberg, Uli 17 Vardi, Moshe Ya’akov 16 André, Étienne 16 Avni, Guy 15 Katoen, Joost-Pieter 15 Randour, Mickael 14 Alur, Rajeev 14 Bruyère, Véronique 14 Gutierrez, Julian 14 Mogavero, Fabio 14 Norman, Gethin 14 Schewe, Sven 13 Pinchinat, Sophie 13 Roux, Olivier H. 12 Bérard, Béatrice 12 Bertrand, Nathalie 12 Demri, Stéphane P. 12 Jamroga, Wojciech 12 Perelli, Giuseppe 12 Zhan, Naijun 11 Haddad, Serge 11 Majumdar, Rupak 11 Montanari, Angelo 11 Worrell, James B. 10 Ågotnes, Thomas 10 Benerecetti, Massimo 10 Bortolussi, Luca 10 Cimatti, Alessandro 10 de Alfaro, Luca 10 Jobstmann, Barbara 10 Piazza, Carla 10 Platzer, André 10 Sproston, Jeremy 10 Wąsowski, Andrzej 9 Alechina, Natasha 9 Asarin, Eugene 9 Bouajjani, Ahmed 9 Clarke, Edmund Melson jun. 9 Dang, Zhe 9 Geeraerts, Gilles 9 Hermanns, Holger 9 Leroux, Stéphane 9 Maler, Oded 9 Otop, Jan 9 Ouaknine, Joel O. 9 Pnueli, Amir 9 Reynolds, Mark Alexander 9 Sankur, Ocan 9 Tripakis, Stavros 9 Vaandrager, Frits W. 8 Abdulla, Parosh Aziz 8 Beneš, Nikola 8 Faella, Marco 8 Fränzle, Martin 8 Ibsen-Jensen, Rasmus 8 Křetínský, Jan 8 Pappas, George J. 8 Rabinovich, Alexander 8 Tini, Simone 8 Tonetta, Stefano 8 van der Hoek, Wiebe 8 Viswanathan, Mahesh 7 Bartocci, Ezio 7 Bloem, Roderick 7 Bournez, Olivier 7 Ćirić, Miroslav D. 7 David, Alexandre 7 Enea, Constantin 7 Finkel, Alain 7 Fribourg, Laurent 7 Goranko, Valentin F. 7 Grosu, Radu 7 Holík, Lukáš 7 Ibarra, Oscar H. 7 Ignjatović, Jelena 7 Klein, Joachim 7 Kröning, Daniel 7 Lanotte, Ruggero 7 Laroussinie, François 7 Li, Yongming 7 Pandya, Paritosh K. 7 Pauly, Arno M. ...and 2,546 more Authors all top 5 Cited in 129 Serials 204 Theoretical Computer Science 146 Information and Computation 107 Formal Methods in System Design 52 Formal Aspects of Computing 44 Acta Informatica 40 Logical Methods in Computer Science 37 Artificial Intelligence 34 Nonlinear Analysis. Hybrid Systems 33 Journal of Computer and System Sciences 28 Discrete Event Dynamic Systems 24 The Journal of Logic and Algebraic Programming 22 International Journal of Foundations of Computer Science 22 Journal of Logical and Algebraic Methods in Programming 19 Information Processing Letters 19 Journal of Automated Reasoning 18 Automatica 15 Real-Time Systems 15 ACM Transactions on Computational Logic 13 European Journal of Control 11 Synthese 11 Science of Computer Programming 11 Journal of Logic, Language and Information 10 Journal of Applied Non-Classical Logics 10 Theory of Computing Systems 9 Studia Logica 9 International Journal of Approximate Reasoning 8 MSCS. Mathematical Structures in Computer Science 7 Systems & Control Letters 7 Journal of Symbolic Computation 7 Distributed Computing 7 International Journal of Robust and Nonlinear Control 7 Annals of Mathematics and Artificial Intelligence 7 Fundamenta Informaticae 7 Journal of Applied Logic 6 International Journal of Control 6 Fuzzy Sets and Systems 6 Information Sciences 6 Nonlinear Analysis. Theory, Methods & Applications. Series A: Theory and Methods 6 Programming and Computer Software 6 Annals of Pure and Applied Logic 6 Cybernetics and Systems Analysis 6 Journal of the ACM 5 Theory and Practice of Logic Programming 5 The Review of Symbolic Logic 4 Journal of Philosophical Logic 4 Mathematics in Computer Science 4 Frontiers of Computer Science 4 Computer Science Review 3 Applied Mathematics and Computation 3 The Journal of Symbolic Logic 3 Mathematics of Operations Research 3 International Journal of Algebra and Computation 3 The Journal of Artificial Intelligence Research (JAIR) 3 Soft Computing 3 International Journal of Applied Mathematics and Computer Science 3 Sādhanā 3 Algorithms 3 Games 3 Dynamic Games and Applications 2 ACM Computing Surveys 2 International Journal of General Systems 2 International Journal of Systems Science 2 SIAM Journal on Computing 2 Journal of Computer Science and Technology 2 Vestnik St. Petersburg University. Mathematics 2 Economic Theory 2 Computational & Mathematical Organization Theory 2 Mathematical Problems in Engineering 2 Higher-Order and Symbolic Computation 2 International Game Theory Review 2 Journal of Systems Science and Complexity 2 Journal of Applied Mathematics 2 Optimization Letters 2 RAIRO. Theoretical Informatics and Applications 2 Modelirovanie i Analiz Informatsionnykh Sistem 1 Computers & Mathematics with Applications 1 Discrete Applied Mathematics 1 Journal of the Franklin Institute 1 Journal of Mathematical Biology 1 Journal of Statistical Physics 1 ACM Transactions on Database Systems 1 Computing 1 Journal of Applied Probability 1 Journal of Optimization Theory and Applications 1 Kybernetes 1 Notre Dame Journal of Formal Logic 1 SIAM Journal on Control and Optimization 1 Physica D 1 Journal of Complexity 1 Algorithmica 1 International Journal of Parallel Programming 1 Computers & Operations Research 1 International Journal of Intelligent Systems 1 Mathematical and Computer Modelling 1 Journal of Parallel and Distributed Computing 1 AI Communications 1 Machine Learning 1 Numerical Algorithms 1 Games and Economic Behavior 1 International Journal of Computer Mathematics ...and 29 more Serials all top 5 Cited in 34 Fields 1,596 Computer science (68-XX) 452 Mathematical logic and foundations (03-XX) 285 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 224 Systems theory; control (93-XX) 70 Operations research, mathematical programming (90-XX) 52 Biology and other natural sciences (92-XX) 39 Probability theory and stochastic processes (60-XX) 25 Ordinary differential equations (34-XX) 25 Numerical analysis (65-XX) 24 Combinatorics (05-XX) 21 Information and communication theory, circuits (94-XX) 11 Category theory; homological algebra (18-XX) 11 Dynamical systems and ergodic theory (37-XX) 10 Calculus of variations and optimal control; optimization (49-XX) 7 Order, lattices, ordered algebraic structures (06-XX) 6 General and overarching topics; collections (00-XX) 6 General topology (54-XX) 4 Number theory (11-XX) 4 Linear and multilinear algebra; matrix theory (15-XX) 4 Associative rings and algebras (16-XX) 4 Statistics (62-XX) 4 Mechanics of particles and systems (70-XX) 2 Commutative algebra (13-XX) 2 Measure and integration (28-XX) 2 Partial differential equations (35-XX) 2 Fluid mechanics (76-XX) 2 Quantum theory (81-XX) 2 Relativity and gravitational theory (83-XX) 1 History and biography (01-XX) 1 Approximations and expansions (41-XX) 1 Operator theory (47-XX) 1 Convex and discrete geometry (52-XX) 1 Mechanics of deformable solids (74-XX) 1 Statistical mechanics, structure of matter (82-XX) Citations by Year Wikidata Timeline The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.