Thomas A. Henzinger

Computational Theory and Mathematics · 2000–2018

A researcher in the Science corpus: 15 papers; trusts 25 researchers and is trusted by 60 researchers here, as inferred from the citation graph.

Subfields

• Computational Theory and Mathematics — 50 citations into it; #712 of 12,182 by trust here, #669 by citations
• Software — 45 citations into it; #82 of 1,227 by trust here, #52 by citations
• Artificial Intelligence — 40 citations into it; #5,496 of 35,345 by trust here, #5,638 by citations
• Hardware and Architecture — 31 citations into it; #522 of 1,551 by trust here, #868 by citations
• Molecular Biology — 21 citations into it; #7,067 of 17,773 by trust here, #15,531 by citations
• Information Systems — 12 citations into it
• Probabilistic & Bayesian Methods — 10 citations into it; #1,192 of 1,525 by trust here, #633 by citations
• Program Analysis & Verification — 6 citations into it

Whom Thomas A. Henzinger trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

1. Kenneth L. McMillan
2. Greg Nelson
3. Thomas Ball
4. Edmund M. Clarke
5. Seif Haridi
6. Luca de Alfaro
7. Ranjit Jhala
8. George C. Necula
9. Marcin Jurdzinski
10. T. Hoare

Who trusts Thomas A. Henzinger overall

1. Kenneth L. McMillan
2. Hakjoo Oh
3. Edward A. Lee
4. Dirk Beyer
5. Vijay Victor D'Silva
6. Alberto L. Sangiovanni-Vincentelli
7. Gerwin Klein
8. Patrick Maxim Rondon
9. Ranjit Jhala
10. Hongseok Yang

Papers from Thomas A. Henzinger's perspective

Ordered by how strongly the researchers Thomas A. Henzinger trusts endorse each paper. Same corpus, a different order for every researcher.

1. Extended static checking for Java (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
2. Automatically validating temporal safety properties of interfaces (SPIN)
3. Lazy abstraction
4. The SLAM project: debugging system software via static analysis
5. Modular verification of software components in C (25th International Conference on Software Engineering, 2003. Proceedings.)
6. Simplify: a theorem prover for program checking (JACM)
7. Counterexample-Guided Abstraction Refinement (International Conference on Computer Aided Verification)
8. Boolean and Cartesian abstraction for model checking C programs (International Journal on Software Tools for Technology Transfer (STTT))
9. Abstractions from proofs (ACM-SIGACT Symposium on Principles of Programming Languages)
10. DART: directed automated random testing (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)

Their papers

• Probabilistic programming (2014) — 774 citations
• Lazy abstraction (2002) — 1,248 citations
• Abstractions from proofs (2004) — 465 citations
• Software Verification with BLAST (2003) — 527 citations
• Discrete abstractions of hybrid systems (2000) — 903 citations
• Interface automata (2001) — 1,419 citations
• Interface Theories for Component-Based Design (2001) — 423 citations
• Executable cell biology (2007) — 592 citations
• Giotto: a time-triggered language for embedded programming (2001) — 764 citations
• The software model checker Blast (2007) — 546 citations
• Contracts for System Design (2018) — 298 citations
• Handbook of Model Checking (2018) — 568 citations
• Strategy logic (2007) — 346 citations
• The Embedded Systems Design Challenge (2006) — 390 citations
• INTERFACE-BASED DESIGN (2005) — 361 citations