Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

5895 Publications


2009 |Published| Conference Paper | IST-REx-ID: 3837 | OA
On relational interfaces
S. Tripakis, B. Lickly, T.A. Henzinger, E. Lee, in:, EMSOFT ’09 Proceedings of the Seventh ACM International Conference on Embedded Software, ACM, 2009, pp. 67–76.
[Submitted Version] View | Files available | DOI
 

2009 |Published| Conference Paper | IST-REx-ID: 3968 | OA
The persistent Morse complex segmentation of a 3-manifold
H. Edelsbrunner, J. Harer, in:, Springer, 2009, pp. 36–50.
[Submitted Version] View | Files available | DOI
 

2009 |Published| Conference Paper | IST-REx-ID: 4383 | OA
Software transactional memory on relaxed memory models
R. Guerraoui, T.A. Henzinger, V. Singh, in:, Springer, 2009, pp. 321–336.
View | Files available | DOI
 

2009 |Published| Conference Paper | IST-REx-ID: 4403 | OA
Algorithmic analysis of array-accessing programs
R. Alur, P. Cerny, S. Weinstein, in:, Springer, 2009, pp. 86–101.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.)
 

2009 |Published| Conference Paper | IST-REx-ID: 4453 | OA
Sliding-window abstraction for infinite Markov chains
T.A. Henzinger, M. Mateescu, V. Wolf, in:, Springer, 2009, pp. 337–352.
View | Files available | DOI | Download (ext.)
 

2009 |Published| Conference Paper | IST-REx-ID: 4542 | OA
Alternating weighted automata
K. Chatterjee, L. Doyen, T.A. Henzinger, in:, Springer, 2009, pp. 3–13.
[Submitted Version] View | Files available | DOI
 

2009 |Published| Conference Paper | IST-REx-ID: 4545 | OA
A survey of stochastic games with limsup and liminf objectives
K. Chatterjee, L. Doyen, T.A. Henzinger, in:, Springer, 2009, pp. 1–15.
[Submitted Version] View | Files available | DOI
 

2009 |Published| Conference Paper | IST-REx-ID: 4544 | OA
Termination criteria for solving concurrent safety and reachability games
K. Chatterjee, L. De Alfaro, T.A. Henzinger, in:, SIAM, 2009, pp. 197–206.
View | Files available | DOI | Download (ext.)
 

2009 |Published| Conference Paper | IST-REx-ID: 4569 | OA
Better quality in synthesis through quantitative objectives
R. Bloem, K. Chatterjee, T.A. Henzinger, B. Jobstmann, in:, Springer, 2009, pp. 140–156.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2009 |Published| Conference Paper | IST-REx-ID: 4580 | OA
Alpaga: A tool for solving parity games with imperfect information
D. Berwanger, K. Chatterjee, M. De Wulf, L. Doyen, T.A. Henzinger, in:, Springer, 2009, pp. 58–61.
View | Files available | DOI | Download (ext.)
 

2009 |Published| Technical Report | IST-REx-ID: 5393 | OA
Gist: A solver for probabilistic games
K. Chatterjee, T.A. Henzinger, B. Jobstmann, A. Radhakrishna, Gist: A Solver for Probabilistic Games, IST Austria, 2009.
[Published Version] View | Files available | DOI
 

2009 |Published| Technical Report | IST-REx-ID: 5394 | OA
Improved lower bounds for request-response and finitary Streett games
K. Chatterjee, T.A. Henzinger, F. Horn, Improved Lower Bounds for Request-Response and Finitary Streett Games, IST Austria, 2009.
[Published Version] View | Files available | DOI
 

2009 |Published| Technical Report | IST-REx-ID: 5392 | OA
Probabilistic automata on infinite words: Decidability and undecidability results
K. Chatterjee, Probabilistic Automata on Infinite Words: Decidability and Undecidability Results, IST Austria, 2009.
[Published Version] View | Files available | DOI
 

2009 |Published| Technical Report | IST-REx-ID: 5395 | OA
Qualitative analysis of partially-observable Markov decision processes
K. Chatterjee, L. Doyen, T.A. Henzinger, Qualitative Analysis of Partially-Observable Markov Decision Processes, IST Austria, 2009.
[Published Version] View | Files available | DOI
 

2009 |Published| Journal Article | IST-REx-ID: 599 | OA
The human CDK8 subcomplex is a molecular switch that controls Mediator coactivator function
M. Knuesel, K. Meyer, C. Bernecky, D. Taatjes, Genes and Development 23 (2009) 439–451.
View | DOI | Download None (ext.)
 

2009 |Published| Journal Article | IST-REx-ID: 8026 | OA
Gating multiple signals through detailed balance of excitation and inhibition in spiking networks
T.P. Vogels, L.F. Abbott, Nature Neuroscience 12 (2009) 483–491.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2009 |Published| Journal Article | IST-REx-ID: 88 | OA
Generation of Mie size microdroplet aerosols with applications in laser-driven fusion experiments
A.P. Higginbotham, O. Semonin, S. Bruce, C. Chan, M. Maindi, T. Donnelly, M. Maurer, W. Bang, I.. Churina, J. Osterholz, I. Kim, A. Bernstein, T. Ditmire, Review of Scientific Instruments 80 (2009).
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2009 |Published| Journal Article | IST-REx-ID: 9148 | OA
A model for the relationship between tropical precipitation and column water vapor
C.J. Muller, L.E. Back, P.A. O’Gorman, K.A. Emanuel, Geophysical Research Letters 36 (2009).
[Published Version] View | DOI | Download Published Version (ext.)
 

2009 |Published| Journal Article | IST-REx-ID: 9147 | OA
Saturation of the internal tides and induced mixing in the abyssal ocean
C.J. Muller, O. Bühler, Journal of Physical Oceanography 39 (2009) 2077–2096.
[Published Version] View | DOI | Download Published Version (ext.)
 

2009 |Published| Journal Article | IST-REx-ID: 9453 | OA
Genome-wide demethylation of Arabidopsis endosperm
T.-F. Hsieh, C.A. Ibarra, P. Silva, A. Zemach, L. Eshed-Williams, R.L. Fischer, D. Zilberman, Science 324 (2009) 1451–1454.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

Filters and Search Terms

oa=1

Search

Filter Publications