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.

3329 Publications


2010 | Conference Paper | IST-REx-ID: 4388 | OA
Chatterjee K, Henzinger TA, Jobstmann B, Radhakrishna A. 2010. GIST: A solver for probabilistic games. CAV: Computer Aided Verification, LNCS, vol. 6174, 665–669.
View | Files available | DOI | arXiv
 

2010 | Conference Paper | IST-REx-ID: 4389 | OA
Doyen L, Henzinger TA, Legay A, Nickovic D. 2010. Robustness of sequential circuits. ACSD: Application of Concurrency to System Design, 77–84.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 4390 | OA
Cerny P, Radhakrishna A, Zufferey D, Chaudhuri S, Alur R. 2010. Model checking of linearizability of concurrent list implementations. CAV: Computer Aided Verification, LNCS, vol. 6174, 465–479.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 4393 | OA
Cerny P, Henzinger TA, Radhakrishna A. 2010. Simulation distances. CONCUR: Concurrency Theory, LNCS, vol. 6269, 235–268.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 4396 | OA
Beyer D, Henzinger TA, Théoduloz G, Zufferey D. 2010. Shape refinement through explicit heap analysis. FASE: Fundamental Approaches To Software Engineering, LNCS, vol. 6013, 263–277.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 2980 | OA
Bangerter E, Briner T, Henecka W, Krenn S, Sadeghi A, Schneider T. 2010. Automatic Generation of Sigma-Protocols. EuroPKI: Public Key Infrastructures, Services and Applications, LNCS, vol. 6391, 67–82.
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 3072 | OA
Grunewald W, Friml J. 2010. The march of the PINs: Developmental plasticity by dynamic polar targeting in plant cells. EMBO Journal. 29(16), 2700–2714.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 3077 | OA
Friml J, Jones A. 2010. Endoplasmic reticulum: The rising compartment in auxin biology. Plant Physiology. 154(2), 458–462.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

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

2010 | Journal Article | IST-REx-ID: 3306 | OA
Evans S, Sturmfels B, Uhler C. 2010. Commuting birth and death processes. The Annals of Applied Probability. 20, 238–266.
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 3308 | OA
Sturmfels B, Uhler C. 2010. Multivariate Gaussians, semidefinite matrix completion, and convex algebraic geometry. Annals of the Institute of Statistical Mathematics. 62(4), 603–638.
View | DOI | Download (ext.)
 

2010 | Conference Paper | IST-REx-ID: 3430 | OA
Tkačik G. 2010. Lecture notes for 2010 summer school on Quantitative Evolutionary and Comparative Genomics. Summer School on Quantitative Evolutionary and Comparative Genomics.
View | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 3538 | OA
Jiruska P, Csicsvari JL, Powell A, Fox J, Chang W, Vreugdenhil M, Li X, Palus M, Bujan A, Dearden R, Jefferys J. 2010. High-frequency network activity, global increase in neuronal activity, and synchrony expansion precede epileptic seizures in vitro. Journal of Neuroscience. 30(16), 5690–5701.
View | DOI | Download None (ext.)
 

2010 | Conference Paper | IST-REx-ID: 4361 | OA
Wies T, Zufferey D, Henzinger TA. 2010. Forward analysis of depth-bounded processes. FoSSaCS: Foundations of Software Science and Computation Structures, LNCS, vol. 6014, 94–108.
View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 9485 | OA
Zemach A, Kim MY, Silva P, Rodrigues JA, Dotson B, Brooks MD, ZILBERMAN D. 2010. Local DNA hypomethylation activates genes in rice endosperm. Proceedings of the National Academy of Sciences. 107(43), 18729–18734.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 9489 | OA
Zemach A, ZILBERMAN D. 2010. Evolution of eukaryotic DNA methylation and the pursuit of safer sex. Current Biology. 20(17), R780–R785.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 228 | OA
Browning TD, Heath Brown R. 2009. Rational points on quartic hypersurfaces. Journal fur die Reine und Angewandte Mathematik. (629), 37–88.
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 229 | OA
Browning TD. 2009. Linear growth for Châtelet surfaces. Mathematische Annalen. 346(1), 41–50.
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 2384 | OA
Giuliani A, Seiringer R. 2009. The ground state energy of the weakly interacting Bose gas at high density. Journal of Statistical Physics. 135(5–6), 915–934.
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 2385 | OA
Lieb É, Seiringer R, Yngvason J. 2009. Yrast line of a rapidly rotating Bose gas: Gross-Pitaevskii regime. Physical Review A - Atomic, Molecular, and Optical Physics. 79(6).
View | DOI | Download (ext.)
 

Filters and Search Terms

oa=1

Search

Filter Publications