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.

3219 Publications


2010 | Conference Paper | IST-REx-ID: 4381 | OA
Henzinger, T. A., Tomar, A., Singh, V., Wies, T., & Zufferey, D. (2010). FlexPRICE: Flexible provisioning of resources in a cloud environment (pp. 83–90). Presented at the CLOUD: Cloud Computing, Miami, USA: IEEE. https://doi.org/10.1109/CLOUD.2010.71
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 4382 | OA
Guerraoui, R., Henzinger, T. A., Kapalka, M., & Singh, V. (2010). Transactions in the jungle (pp. 263–272). Presented at the SPAA: ACM Symposium on Parallel Algorithms and Architectures, Santorini, Greece: ACM. https://doi.org/10.1145/1810479.1810529
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 4388 | OA
Chatterjee, K., Henzinger, T. A., Jobstmann, B., & Radhakrishna, A. (2010). GIST: A solver for probabilistic games (Vol. 6174, pp. 665–669). Presented at the CAV: Computer Aided Verification, Edinburgh, UK: Springer. https://doi.org/10.1007/978-3-642-14295-6_57
View | Files available | DOI | arXiv
 

2010 | Conference Paper | IST-REx-ID: 4389 | OA
Doyen, L., Henzinger, T. A., Legay, A., & Nickovic, D. (2010). Robustness of sequential circuits (pp. 77–84). Presented at the ACSD: Application of Concurrency to System Design, IEEE. https://doi.org/10.1109/ACSD.2010.26
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 (Vol. 6174, pp. 465–479). Presented at the CAV: Computer Aided Verification, Edinburgh, UK: Springer. https://doi.org/10.1007/978-3-642-14295-6_41
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 4393 | OA
Cerny, P., Henzinger, T. A., & Radhakrishna, A. (2010). Simulation distances (Vol. 6269, pp. 235–268). Presented at the CONCUR: Concurrency Theory, Paris, France: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/978-3-642-15375-4_18
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 4396 | OA
Beyer, D., Henzinger, T. A., Théoduloz, G., & Zufferey, D. (2010). Shape refinement through explicit heap analysis. In D. Rosenblum & G. Taenzer (Eds.) (Vol. 6013, pp. 263–277). Presented at the FASE: Fundamental Approaches To Software Engineering, Paphos, Cyprus: Springer. https://doi.org/10.1007/978-3-642-12029-9_19
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. In F. Martinelli & B. Preneel (Eds.) (Vol. 6391, pp. 67–82). Presented at the EuroPKI: Public Key Infrastructures, Services and Applications, Springer. https://doi.org/10.1007/978-3-642-16441-5
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. Wiley-Blackwell. https://doi.org/10.1038/emboj.2010.181
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. American Society of Plant Biologists. https://doi.org/10.1104/pp.110.161380
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. Genetics Society of America. https://doi.org/10.1534/genetics.110.123240
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. Institute of Mathematical Statistics. https://doi.org/10.1214/09-AAP615
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. Springer. https://doi.org/10.1007/s10463-010-0295-4
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. Presented at the Summer School on Quantitative Evolutionary and Comparative Genomics, Elsevier.
View | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 3538 | OA
Jiruska, P., Csicsvari, J. L., Powell, A., Fox, J., Chang, W., Vreugdenhil, M., … Jefferys, J. (2010). High-frequency network activity, global increase in neuronal activity, and synchrony expansion precede epileptic seizures in vitro. Journal of Neuroscience. Society for Neuroscience. https://doi.org/10.1523/JNEUROSCI.0535-10.2010
View | DOI | Download None (ext.)
 

2010 | Conference Paper | IST-REx-ID: 4361 | OA
Wies, T., Zufferey, D., & Henzinger, T. A. (2010). Forward analysis of depth-bounded processes. In L. Ong (Ed.) (Vol. 6014, pp. 94–108). Presented at the FoSSaCS: Foundations of Software Science and Computation Structures, Paphos, Cyprus: Springer. https://doi.org/10.1007/978-3-642-12032-9_8
View | Files available | DOI
 

2009 | Journal Article | IST-REx-ID: 228 | OA
Browning, T. D., & Heath Brown, R. (2009). Rational points on quartic hypersurfaces. Journal Fur Die Reine Und Angewandte Mathematik. Walter de Gruyter. https://doi.org/10.1515/CRELLE.2009.026
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 229 | OA
Browning, T. D. (2009). Linear growth for Châtelet surfaces. Mathematische Annalen. Springer Nature. https://doi.org/10.1007/s00208-009-0383-z
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. Springer. https://doi.org/10.1007/s10955-009-9718-0
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. American Physical Society. https://doi.org/10.1103/PhysRevA.79.063626
View | DOI | Download (ext.)
 

Filters and Search Terms

oa=1

Search

Filter Publications