sign in · help · news · about ·

BibSonomy :: author :: Henzinger ::

tag user group author concept BibTeX key search:all

The blue social bookmark and publication sharing system.

>
|
<

bookmarks

bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(495)

<< < 1 | 2 | 3 > >>

A survey of stochastic ω-regular games.
Krishnendu Chatterjee, and Thomas A. Henzinger J. Comput. Syst. Sci. 78(2):394-413 (2012)
to dblp by dblp on Feb 3, 2012, 12:00 AM
URL | BibTeX
Specification-centered robustness.
Roderick Bloem, Krishnendu Chatterjee, Karin Greimel, Thomas A. Henzinger, and Barbara Jobstmann SIES, page 176-185. IEEE, (2011)
to dblp by dblp on Feb 3, 2012, 12:00 AM
URL | BibTeX
Strategy Improvement for Concurrent Reachability and Safety Games
Krishnendu Chatterjee, Luca de Alfaro, and Thomas A. Henzinger CoRR (2012)
to dblp by dblp on Feb 1, 2012, 12:00 AM
URL | BibTeX
An On2 time algorithm for alternating Büchi games.
Krishnendu Chatterjee, and Monika Henzinger SODA, page 1386-1399. SIAM, (2012)
to dblp by dblp on Jan 27, 2012, 12:00 AM
URL | BibTeX
Ideal Abstractions for Well-Structured Transition Systems.
Damien Zufferey, Thomas Wies, and Thomas A. Henzinger VMCAI, volume 7148 of Lecture Notes in Computer Science, page 445-460. Springer, (2012)
to dblp by dblp on Jan 23, 2012, 12:00 AM
URL | BibTeX
Real-time Logics: Complexity and Expressiveness
Rajeev Alur, and Thomas A. Henzinger LICS, page 390-401. IEEE Computer Society, (1990)
to dblp by dblp on Jan 20, 2012, 12:00 AM
URL | BibTeX
Finitary Fairness
Rajeev Alur, and Thomas A. Henzinger LICS, page 52-61. IEEE Computer Society, (1994)
to dblp by dblp on Jan 20, 2012, 12:00 AM
URL | BibTeX
Symbolic Model Checking for Real-time Systems
Thomas A. Henzinger, Xavier Nicollin, Joseph Sifakis, and Sergio Yovine LICS, page 394-406. IEEE Computer Society, (1992)
to dblp by dblp on Jan 20, 2012, 12:00 AM
URL | BibTeX
From Verification to Control: Dynamic Programs for Omega-Regular Objectives.
Luca de Alfaro, Thomas A. Henzinger, and Rupak Majumdar LICS, page 279-290. IEEE Computer Society, (2001)
to dblp by dblp on Jan 20, 2012, 12:00 AM
URL | BibTeX
Concurrent Omega-Regular Games.
Luca de Alfaro, and Thomas A. Henzinger LICS, page 141-154. IEEE Computer Society, (2000)
to dblp by dblp on Jan 20, 2012, 12:00 AM
URL | BibTeX
The Theory of Hybrid Automata.
Thomas A. Henzinger LICS, page 278-292. IEEE Computer Society, (1996)
to dblp by dblp and 3 other users on Jan 20, 2012, 12:00 AM
URL | BibTeX
Reactive Modules.
Rajeev Alur, and Thomas A. Henzinger LICS, page 207-218. IEEE Computer Society, (1996)
to dblp by dblp on Jan 20, 2012, 12:00 AM
URL | BibTeX
Temporal Specifications with Accumulative Values.
Udi Boker, Krishnendu Chatterjee, Thomas A. Henzinger, and Orna Kupferman LICS, page 43-52. IEEE Computer Society, (2011)
to dblp by dblp on Jan 20, 2012, 12:00 AM
URL | BibTeX
Mean-Payoff Parity Games.
Krishnendu Chatterjee, Thomas A. Henzinger, and Marcin Jurdzinski LICS, page 178-187. IEEE Computer Society, (2005)
to dblp by dblp on Jan 20, 2012, 12:00 AM
URL | BibTeX
Expressiveness and Closure Properties for Quantitative Languages.
Krishnendu Chatterjee, Laurent Doyen, and Thomas A. Henzinger LICS, page 199-208. IEEE Computer Society, (2009)
to dblp by dblp and 2 other users on Jan 20, 2012, 12:00 AM
URL | BibTeX
Interface Theories for Component-Based Design.
Luca de Alfaro, and Thomas A. Henzinger EMSOFT, volume 2211 of Lecture Notes in Computer Science, page 148-165. Springer, (2001)
to interface theories by alessandropinto and 1 other user on Jan 16, 2012, 8:08 PM
URL | BibTeX
Giotto: A Time-Triggered Language for Embedded Programming.
Thomas A. Henzinger, Benjamin Horowitz, and Christoph M. Kirsch EMSOFT, volume 2211 of Lecture Notes in Computer Science, page 166-184. Springer, (2001)
to giotto language syncronous by alessandropinto and 1 other user on Jan 16, 2012, 6:50 PM
URL | BibTeX
Timed Parity Games: Complexity and Robustness
Krishnendu Chatterjee, Thomas A. Henzinger, and Vinayak S. Prabhu Logical Methods in Computer Science (2010)
to dblp by dblp on Jan 3, 2012, 12:00 AM
URL | BibTeX
On Multiple Round Sponsored Search Auctions with Budgets
Riccardo Colini Baldeschi, Monika Henzinger, Stefano Leonardi, and Martin Starnberger CoRR (2011)
to dblp by dblp on Jan 1, 2012, 12:00 AM
URL | BibTeX
Average Case Analysis of Dynamic Graph Algorithms.
David Alberts, and Monika Rauch Henzinger SODA, page 312-321. ACM/SIAM, (1995)
to dblp by dblp on Dec 23, 2011, 12:00 AM
URL | BibTeX

<< < 1 | 2 | 3 > >>publications per page: 5 10 20 50 100