Thomas A. Henzinger
AuthID: R-006-GS0
1
TÃTULO: Membership-Based Synthesis of Linear Hybrid Automata
AUTORES: Soto, MG ; Henzinger, TA; Schilling, C; Zeleznik, L;
PUBLICAÇÃO: 2019, FONTE: 31st International Conference on Computer-Aided Verification (CAV) in COMPUTER AIDED VERIFICATION, CAV 2019, PT I, VOLUME: 11561
AUTORES: Soto, MG ; Henzinger, TA; Schilling, C; Zeleznik, L;
PUBLICAÇÃO: 2019, FONTE: 31st International Conference on Computer-Aided Verification (CAV) in COMPUTER AIDED VERIFICATION, CAV 2019, PT I, VOLUME: 11561
2
TÃTULO: Finite automata with time-delay blocks
AUTORES: Chatterjee, K; Henzinger, TA; Prabhu, VS ;
PUBLICAÇÃO: 2012, FONTE: 10th ACM International Conference on Embedded Software 2012, EMSOFT 2012, Co-located with 8th Embedded Systems Week, ESWEEK 2012 in EMSOFT'12 - Proceedings of the 10th ACM International Conference on Embedded Software 2012, Co-located with ESWEEK
AUTORES: Chatterjee, K; Henzinger, TA; Prabhu, VS ;
PUBLICAÇÃO: 2012, FONTE: 10th ACM International Conference on Embedded Software 2012, EMSOFT 2012, Co-located with 8th Embedded Systems Week, ESWEEK 2012 in EMSOFT'12 - Proceedings of the 10th ACM International Conference on Embedded Software 2012, Co-located with ESWEEK
INDEXADO EM: 
Scopus 
CrossRef
Scopus CrossRef3
TÃTULO: TIMED PARITY GAMES: COMPLEXITY AND ROBUSTNESS
AUTORES: Krishnendu Chatterjee; Thomas A Henzinger; Vinayak S Prabhu ;
PUBLICAÇÃO: 2011, FONTE: LOGICAL METHODS IN COMPUTER SCIENCE, VOLUME: 7, NÚMERO: 4
AUTORES: Krishnendu Chatterjee; Thomas A Henzinger; Vinayak S Prabhu ;
PUBLICAÇÃO: 2011, FONTE: LOGICAL METHODS IN COMPUTER SCIENCE, VOLUME: 7, NÚMERO: 4
INDEXADO EM: Scopus 
WOS
Scopus WOS4
TÃTULO: Distributed, Modular HTL Full Text
AUTORES: Thomas A Henzinger; Christoph M Kirsch; Eduardo R B Marques ; Ana Sokolova;
PUBLICAÇÃO: 2009, FONTE: 30th IEEE International Real-Time Systems Symposium (RTSS 2009) in 2009 30TH IEEE REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS
AUTORES: Thomas A Henzinger; Christoph M Kirsch; Eduardo R B Marques ; Ana Sokolova;
PUBLICAÇÃO: 2009, FONTE: 30th IEEE International Real-Time Systems Symposium (RTSS 2009) in 2009 30TH IEEE REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS
5
TÃTULO: Minimum-time reachability in timed games
AUTORES: Brihaye, T; Henzinger, TA; Prabhu, VS; Raskin, JF;
PUBLICAÇÃO: 2007, FONTE: 34th International Colloquium on Automata, Languages and Programming, ICALP 2007 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 4596 LNCS
AUTORES: Brihaye, T; Henzinger, TA; Prabhu, VS; Raskin, JF;
PUBLICAÇÃO: 2007, FONTE: 34th International Colloquium on Automata, Languages and Programming, ICALP 2007 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 4596 LNCS
INDEXADO EM: Scopus
Scopus6
TÃTULO: Timed alternating-time temporal logic
AUTORES: Henzinger, TA; Prabhu, VS;
PUBLICAÇÃO: 2006, FONTE: 4th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2006 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 4202 LNCS
AUTORES: Henzinger, TA; Prabhu, VS;
PUBLICAÇÃO: 2006, FONTE: 4th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2006 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 4202 LNCS
INDEXADO EM: Scopus
Scopus7
TÃTULO: Assume-Guarantee Reasoning for Hierarchical Hybrid Systems
AUTORES: Thomas A Henzinger; Marius Minea; Vinayak Prabhu;
PUBLICAÇÃO: 2001, FONTE: Hybrid Systems: Computation and Control - Lecture Notes in Computer Science
AUTORES: Thomas A Henzinger; Marius Minea; Vinayak Prabhu;
PUBLICAÇÃO: 2001, FONTE: Hybrid Systems: Computation and Control - Lecture Notes in Computer Science
INDEXADO EM: CrossRef
CrossRef