Please note that IST 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.

3169 Publications


2010 | Conference Paper | IST-REx-ID: 4393 | OA
P. Cerny, T. A. Henzinger, and A. Radhakrishna, “Simulation distances,” presented at the CONCUR: Concurrency Theory, Paris, France, 2010, vol. 6269, pp. 235–268.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 4396 | OA
D. Beyer, T. A. Henzinger, G. Théoduloz, and D. Zufferey, “Shape refinement through explicit heap analysis,” presented at the FASE: Fundamental Approaches To Software Engineering, Paphos, Cyprus, 2010, vol. 6013, pp. 263–277.
View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 3303 | OA
D. Weissman, M. Feldman, and D. Fisher, “The rate of fitness-valley crossing in sexual populations,” Genetics, vol. 186, no. 4. Genetics Society of America, pp. 1389–1410, 2010.
View | DOI | Download Submitted Version (ext.)
 

2010 | Journal Article | IST-REx-ID: 3498
M. Sabeti Aschraf, C. Gonano, E. Nemecek, L. Cichocki, and C. Schueller Weidekamm, “Intra-operative ultrasound facilitates the localization of the calcific deposit during arthroscopic treatment of calcifying tendinitis,” Knee Surgery, Sports Traumatology, Arthroscopy, vol. 18, no. 12. Springer, pp. 1792–1794, 2010.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3604
H. Senn, S. Goodman, G. Swanson, N. H. Barton, and J. Pemberton, “Investigating temporal changes in hybridisation and introgression between invasive sika (Cervus nippon) and native red deer (Cervus elaphus) on the Kintyre Peninsula, Scotland,” Molecular Ecology, vol. 19, no. 5. Wiley-Blackwell, pp. 910–924, 2010.
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 4361 | OA
T. Wies, D. Zufferey, and T. A. Henzinger, “Forward analysis of depth-bounded processes,” presented at the FoSSaCS: Foundations of Software Science and Computation Structures, Paphos, Cyprus, 2010, vol. 6014, pp. 94–108.
View | Files available | DOI
 

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

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

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

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

Filters and Search Terms

extern<>1

Search

Filter Publications