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.

2770 Publications


2010 | Journal Article | IST-REx-ID: 3772   OA
Barton NH. 2010. Understanding adaptation in large populations. PLoS Genetics. 6(6), e1000987.
View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 3777   OA
Barton NH. 2010. Mutation and the evolution of recombination. Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. 365(1544), 1281–1294.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 3789
Quesada-Hernández E, Caneparo L, Schneider S, Winkler S, Liebling M, Fraser S, Heisenberg C-PJ. 2010. Stereotypical cell division orientation controls neural rod midline formation in zebrafish. Current Biology. 20(21), 1966–1972.
View | DOI
 

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

2010 | Conference Paper | IST-REx-ID: 3847   OA
Didier F, Henzinger TA, Mateescu M, Wolf V. 2010. SABRE: A tool for the stochastic analysis of biochemical reaction networks. QEST: Quantitative Evaluation of Systems 193–194.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3866   OA
Bloem R, Chatterjee K, Greimel K, Henzinger TA, Jobstmann B. 2010. Robustness in the presence of liveness. CAV: Computer Aided Verification, LNCS, vol. 6174. 410–424.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3854
Chatterjee K, Horn F, Löding C. 2010. Obliging games. CONCUR: Concurrency Theory, LNCS, vol. 6269. 284–296.
View | DOI
 

2010 | Conference (Editor) | IST-REx-ID: 3859
Chatterjee K, Henzinger TA eds. 2010. Formal modeling and analysis of timed systems, Springer,p.
View | Files available | DOI
 

2010 | Thesis | IST-REx-ID: 3962
Pflicke H. 2010.   Dendritic cell migration across basement membranes in the skin, IST Austria,p.
View
 

2010 | Journal Article | IST-REx-ID: 3861
Chatterjee K, Henzinger TA, Piterman N. 2010. Strategy logic. Information and Computation. 208(6), 677–693.
View | Files available | DOI
 

Filters and Search Terms

extern<>1

Search

Filter Publications

Display / Sort

Citation Style: IST Annual Report

Export / Embed