Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all domains
Limit my searches in the following domains
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Co-authors
(165)
Krishnendu Chatterjee
82
Rupak Majumdar
54
Rajeev Alur
43
Luca De Alfaro
38
Christoph M. Kirsch
27
Conferences
(73)
CAV
29
CONCUR
20
Hybrid Systems
19
EMSOFT
13
ICALP
12
Journals
(32)
CORR
22
SIGPLAN
11
FMSD
8
TCS
8
IANDC
6
Keywords
(565)
Embed
Subscribe
Academic
Authors
Thomas A. Henzinger
Edit
Thomas A. Henzinger
Institute of Science and Technology Austria
Publications: 370
|
Citations: 15999
|
G-Index: 119
|
H-Index: 61
The information is calculated based on the tens of millions of scholarly articles currently discoverable within Microsoft Academic Search. As more content gets indexed, the accuracy and completeness will continue to improve.
Interests:
Algorithms & Theory
,
Software Engineering
,
Real-Time & Embedded Systems
View FAQ about top research area and research interests
Collaborated with
165 co-authors
from 1985 to 2011
; Cited by
7734 authors
Homepage
|
Bing
Cumulative
Annual
Order by:
Publications
(370)
BibTeX
|
RIS
|
RefWorks
Download
Specification-centered robustness
(
Citations: 1
)
Roderick Bloem
,
Krishnendu Chatterjee
,
Karin Greimel
,
Thomas A. Henzinger
,
Barbara Jobstmann
Conference:
International Symposium on Industrial Embedded Systems - SIES
, 2011
QUASY: Quantitative Synthesis Tool
(
Citations: 1
)
Krishnendu Chatterjee
,
Thomas A. Henzinger
,
Barbara Jobstmann
,
Rohit Singh
Conference:
Tools and Algorithms for Construction and Analysis of Systems - TACAS
, pp. 267-271, 2011
Quantitative Synthesis for Concurrent Programs
(
Citations: 1
)
Pavol Cerný
,
Krishnendu Chatterjee
,
Thomas A. Henzinger
,
Arjun Radhakrishna
,
Rohit Singh
Journal:
Computing Research Repository - CORR
, vol. abs/1104.4, 2011
The Complexity of Quantitative Information Flow Problems
(
Citations: 1
)
Pavol Cerný
,
Krishnendu Chatterjee
,
Thomas A. Henzinger
Conference:
Computer Security Foundations Workshop - CSFW
, pp. 205-217, 2011
Temporal Specifications with Accumulative Values
Udi Boker
,
Krishnendu Chatterjee
,
Thomas A. Henzinger
,
Orna Kupferman
Conference:
Logic in Computer Science - LICS
, pp. 43-52, 2011
Order by:
Citations
(15999 times by 8325 publications)
Parameter Estimation Using Metaheuristics in Systems Biology: A Comprehensive Review
Jianyong Sun
,
Jonathan M. Garibaldi
,
Charlie Hodgman
Journal:
IEEE/ACM Transactions on Computational Biology and Bioinformatics - TCBB
, vol. 9, no. 1, pp. 185-202, 2012
Semantics of transactional memory and automatic mutual exclusion
(
Citations: 49
)
Andrew Birrell
,
Tim Harris
,
Michael Isard
Conference:
ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL
, vol. 33, no. 1, pp. 1-50, 2011
From control law diagrams to Ada via Circus
(
Citations: 4
)
Ana Cavalcanti
,
Phil Clayton
,
Colin O’Halloran
Conference:
World Congress on Formal Methods - FM
, vol. 23, no. 4, pp. 465-512, 2011
A Real-Time-Linux-Based Framework for Model-Driven Engineering in Control and Automation
(
Citations: 6
)
George Doukas
,
Kleanthis Thramboulidis
Journal:
IEEE Transactions on Industrial Electronics - IEEE TRANS IND ELECTRON
, vol. 58, no. 3, pp. 914-924, 2011
Semi-Proving: An Integrated Method for Program Proving, Testing, and Debugging
(
Citations: 6
)
T. Y. Chen
,
T. H. Tse
,
Zhi Quan Zhou
Journal:
IEEE Transactions on Software Engineering - TSE
, vol. 37, no. 1, 2011
Comments