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.

7642 Publications


2009 | Conference Paper | IST-REx-ID: 4545 | OA
Chatterjee K, Doyen L, Henzinger TA. 2009. A survey of stochastic games with limsup and liminf objectives. ICALP: Automata, Languages and Programming, LNCS, vol. 5556, 1–15.
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 4569 | OA
Bloem R, Chatterjee K, Henzinger TA, Jobstmann B. 2009. Better quality in synthesis through quantitative objectives. CAV: Computer Aided Verification, LNCS, vol. 5643, 140–156.
View | DOI | Download Preprint (ext.) | arXiv
 

2009 | Conference Paper | IST-REx-ID: 4580 | OA
Berwanger D, Chatterjee K, De Wulf M, Doyen L, Henzinger TA. 2009. Alpaga: A tool for solving parity games with imperfect information. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 5505, 58–61.
View | Files available | DOI | Download (ext.)
 

2009 | Technical Report | IST-REx-ID: 5392 | OA
Chatterjee K. 2009. Probabilistic automata on infinite words: Decidability and undecidability results, IST Austria, 17p.
View | Files available | DOI
 

2009 | Technical Report | IST-REx-ID: 5393 | OA
Chatterjee K, Henzinger TA, Jobstmann B, Radhakrishna A. 2009. Gist: A solver for probabilistic games, IST Austria, 12p.
View | Files available | DOI
 

2009 | Technical Report | IST-REx-ID: 5394 | OA
Chatterjee K, Henzinger TA, Horn F. 2009. Improved lower bounds for request-response and finitary Streett games, IST Austria, 11p.
View | Files available | DOI
 

2009 | Technical Report | IST-REx-ID: 5395 | OA
Chatterjee K, Doyen L, Henzinger TA. 2009. Qualitative analysis of partially-observable Markov decision processes, IST Austria, 20p.
View | Files available | DOI
 

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

2009 | Journal Article | IST-REx-ID: 7319
Reum M, Freunberger SA, Wokaun A, Büchi FN. 2009. Measuring the current distribution with sub-millimeter resolution in PEFCs: II. Impact of operating parameters. Journal of The Electrochemical Society. 156(3), B301.
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 752
Alistarh D-A, Gilbert S, Guerraoui R, Travers C. 2009. Of choices, failures and asynchrony: the many faces of set agreement. ISAAC: International Symposium on Algorithms and Computation, LNCS, vol. 5878 LNCS, 943–953.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 7751
Robinson MR, Wilson AJ, Pilkington JG, Clutton-Brock TH, Pemberton JM, Kruuk LEB. 2009. The impact of environmental heterogeneity on genetic architecture in a wild population of soay sheep. Genetics. 181(4), 1639–1648.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 110
Des Jardins A, Canfield R, Longcope D, Fordyce C, Waitukaitis SR. 2009. Reconnection in three dimensions: The role of spines in three eruptive flares. The Astrophysical Journal. 693(2), 1628–1636.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 111
Royer J, Evans D, Oyarte L, Guo Q, Kapit E, Möbius M, Waitukaitis SR, Jaeger H. 2009. High-speed tracking of rupture and clustering in freely falling granular streams. Nature. 459(7250), 1110–1113.
View | DOI
 

2009 | Book Chapter | IST-REx-ID: 164 | OA
Browning TD, Heath Brown R. 2009.Integral points on cubic hypersurfaces. In: Analytic Number Theory: Essays in honour of Klaus Roth. , 75–90.
View | Download Preprint (ext.) | arXiv
 

2009 | Conference Paper | IST-REx-ID: 165
Browning TD. 2009. Resent progress on the quantitative arithmetic of del Pezzo surfaces. Number Theory: Dreaming in dreams, Series on number theory and its application, vol. 6, 1–18.
View | DOI
 

2009 | Book Chapter | IST-REx-ID: 168
Browning TD, Dietmann R. 2009.Solubility of Fermat equations. In: Quadratic Forms - algebra, arithmetic and geometry. Contemporary Mathematics, vol. 493, 99–106.
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 1718
Kutějová E, Briscoe J, Kicheva A. 2009. Temporal dynamics of patterning by morphogen gradients. Current Opinion in Genetics & Development. 19(4), 315–322.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 1720
Wartlick O, Kicheva A, González Gaitán M. 2009. Morphogen gradient formation . Cold Spring Harbor perspectives in biology. 1(3).
View | DOI
 

2009 | Journal Article | IST-REx-ID: 1766 | OA
Leek P, Filipp S, Maurer P, Baur M, Bianchetti R, Fink JM, Göppl M, Steffen L, Wallraff A. 2009. Using sideband transitions for two-qubit operations in superconducting circuits. Physical Review B - Condensed Matter and Materials Physics. 79(18).
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 1767 | OA
Baur M, Filipp S, Bianchetti R, Fink JM, Göppl M, Steffen L, Leek P, Blais A, Wallraff A. 2009. Measurement of autler-townes and mollow transitions in a strongly driven superconducting qubit. Physical Review Letters. 102(24).
View | DOI | Download (ext.)
 

Search

Filter Publications