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.

3381 Publications


2010 | Journal Article | IST-REx-ID: 3960 | OA
M. Weber and M. K. Sixt, “MEK signalling tunes actin treadmilling for interstitial lymphocyte migration,” EMBO Journal, vol. 29, no. 17. Wiley-Blackwell, pp. 2861–2863, 2010.
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 4157 | OA
E. Papusheva and C.-P. J. Heisenberg, “Spatial organization of adhesion: force-dependent regulation and function in tissue morphogenesis,” EMBO Journal, vol. 29, no. 16. Wiley-Blackwell, pp. 2753–2768, 2010.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 4243 | OA
N. H. Barton, A. Etheridge, and A. Véber, “A new model for evolution in a spatial continuum,” Electronic Journal of Probability, vol. 15, no. 7. Institute of Mathematical Statistics, pp. 162–216, 2010.
View | Files available | DOI
 

2010 | Book Chapter | IST-REx-ID: 4339 | OA
J. Bergmann and P. Danowski, “Ist Bibliothek 2.0 überhaupt noch relevant? – Eine Einleitung in das Handbuch,” in Handbuch Bibliothek 2.0, J. Bergmann and P. Danowski, Eds. De Gruyter, 2010, pp. 5–20.
View | Files available | DOI
 

2010 | Other Publication | IST-REx-ID: 4340 | OA
P. Danowski, Open bibliographic data. Elsevier, 2010.
View | Files available | Download None (ext.)
 

2010 | Book | IST-REx-ID: 4346 | OA
P. Danowski and J. Bergmann, Handbuch Bibliothek 2.0. De Gruyter, 2010.
View | Download Published Version (ext.)
 

2010 | Conference Paper | IST-REx-ID: 4369 | OA
D. Nickovic and N. Piterman, “From MTL to deterministic timed automata,” presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, Klosterneuburg, Austria, 2010, vol. 6246, pp. 152–167.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 4378 | OA
V. Kuncak, R. Piskac, P. Suter, and T. Wies, “Building a calculus of data structures,” presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, Madrid, Spain, 2010, vol. 5944, pp. 26–44.
View | DOI | Download Submitted Version (ext.)
 

2010 | Journal Article | IST-REx-ID: 4379 | OA
K. Jones, V. Konrad, and D. Nickovic, “Analog property checkers: a DDR2 case study,” Formal Methods in System Design, vol. 36, no. 2. Springer, pp. 114–130, 2010.
View | DOI | Download (ext.)
 

2010 | Conference Paper | IST-REx-ID: 4380 | OA
T. A. Henzinger, A. Tomar, V. Singh, T. Wies, and D. Zufferey, “A marketplace for cloud resources,” presented at the EMSOFT: Embedded Software , Arizona, USA, 2010, pp. 1–8.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 4381 | OA
T. A. Henzinger, A. Tomar, V. Singh, T. Wies, and D. Zufferey, “FlexPRICE: Flexible provisioning of resources in a cloud environment,” presented at the CLOUD: Cloud Computing, Miami, USA, 2010, pp. 83–90.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 4382 | OA
R. Guerraoui, T. A. Henzinger, M. Kapalka, and V. Singh, “Transactions in the jungle,” presented at the SPAA: ACM Symposium on Parallel Algorithms and Architectures, Santorini, Greece, 2010, pp. 263–272.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 4388 | OA
K. Chatterjee, T. A. Henzinger, B. Jobstmann, and A. Radhakrishna, “GIST: A solver for probabilistic games,” presented at the CAV: Computer Aided Verification, Edinburgh, UK, 2010, vol. 6174, pp. 665–669.
View | Files available | DOI | arXiv
 

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

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

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 | Conference Paper | IST-REx-ID: 2980 | OA
E. Bangerter, T. Briner, W. Henecka, S. Krenn, A. Sadeghi, and T. Schneider, “Automatic Generation of Sigma-Protocols,” presented at the EuroPKI: Public Key Infrastructures, Services and Applications, 2010, vol. 6391, pp. 67–82.
View | DOI | Download (ext.)
 

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

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

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: 3306 | OA
S. Evans, B. Sturmfels, and C. Uhler, “Commuting birth and death processes,” The Annals of Applied Probability, vol. 20. Institute of Mathematical Statistics, pp. 238–266, 2010.
View | DOI | Download (ext.)
 

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

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

2010 | Journal Article | IST-REx-ID: 3538 | OA
P. Jiruska et al., “High-frequency network activity, global increase in neuronal activity, and synchrony expansion precede epileptic seizures in vitro,” Journal of Neuroscience, vol. 30, no. 16. Society for Neuroscience, pp. 5690–5701, 2010.
View | DOI | Download None (ext.)
 

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
 

2010 | Journal Article | IST-REx-ID: 9485 | OA
A. Zemach et al., “Local DNA hypomethylation activates genes in rice endosperm,” Proceedings of the National Academy of Sciences, vol. 107, no. 43. National Academy of Sciences, pp. 18729–18734, 2010.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

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

2009 | Journal Article | IST-REx-ID: 228 | OA
T. D. Browning and R. Heath Brown, “Rational points on quartic hypersurfaces,” Journal fur die Reine und Angewandte Mathematik, no. 629. Walter de Gruyter, pp. 37–88, 2009.
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 229 | OA
T. D. Browning, “Linear growth for Châtelet surfaces,” Mathematische Annalen, vol. 346, no. 1. Springer Nature, pp. 41–50, 2009.
View | DOI | Download (ext.)
 

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

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

2009 | Journal Article | IST-REx-ID: 2386 | OA
R. Seiringer and D. Ueltschi, “Rigorous upper bound on the critical temperature of dilute Bose gases,” Physical Review B - Condensed Matter and Materials Physics, vol. 80, no. 1. American Physical Society, 2009.
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 2387 | OA
M. Lewin and R. Seiringer, “Strongly correlated phases in rapidly rotating Bose gases,” Journal of Statistical Physics, vol. 137, no. 5. Springer, pp. 1040–1062, 2009.
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 2388 | OA
J. Predd, R. Seiringer, É. Lieb, D. Osherson, H. Poor, and S. Kulkarni, “Probabilistic coherence and proper scoring rules,” IEEE Transactions on Information Theory, vol. 55, no. 10. IEEE, pp. 4786–4792, 2009.
View | DOI | Download (ext.)
 

2009 | Conference Paper | IST-REx-ID: 2433 | OA
J. Matoušek, M. Tancer, and U. Wagner, “Hardness of embedding simplicial complexes in ℝd,” presented at the SODA: Symposium on Discrete Algorithms, 2009, pp. 855–864.
View | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 2499 | OA
M. Rives et al., “Crosstalk between GABAB and mGlu1a receptors reveals new insight into GPCR signal integration,” EMBO Journal, vol. 28, no. 15. Wiley-Blackwell, pp. 2195–2208, 2009.
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 8026 | OA
T. P. Vogels and L. F. Abbott, “Gating multiple signals through detailed balance of excitation and inhibition in spiking networks,” Nature Neuroscience, vol. 12, no. 4. Springer Nature, pp. 483–491, 2009.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 88 | OA
A. P. Higginbotham et al., “Generation of Mie size microdroplet aerosols with applications in laser-driven fusion experiments,” Review of Scientific Instruments, vol. 80, no. 6. American Institute of Physics, 2009.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 1766 | OA
P. Leek et al., “Using sideband transitions for two-qubit operations in superconducting circuits,” Physical Review B - Condensed Matter and Materials Physics, vol. 79, no. 18. American Physical Society, 2009.
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 1767 | OA
M. Baur et al., “Measurement of autler-townes and mollow transitions in a strongly driven superconducting qubit,” Physical Review Letters, vol. 102, no. 24. American Physical Society, 2009.
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 1768 | OA
S. Filipp et al., “Two-qubit state tomography using a joint dispersive readout,” Physical Review Letters, vol. 102, no. 20. American Physical Society, 2009.
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 1769 | OA
J. M. Fink et al., “Dressed collective qubit states and the Tavis-Cummings model in circuit QED,” Physical Review Letters, vol. 103, no. 8. American Physical Society, 2009.
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 1770 | OA
R. Bianchetti et al., “Dynamics of dispersive single-qubit readout in circuit quantum electrodynamics,” Physical Review A - Atomic, Molecular, and Optical Physics, vol. 80, no. 4. American Physical Society, 2009.
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 1771 | OA
J. M. Fink et al., “Thermal excitation of multi-photon dressed states in circuit quantum electrodynamics,” Physica Scripta T, vol. T137. IOP Publishing Ltd., 2009.
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 1825 | OA
T. Friedlander and N. Brenner, “Adaptive response by state-dependent inactivation,” PNAS, vol. 106, no. 52. National Academy of Sciences, pp. 22558–22563, 2009.
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 2119 | OA
J. Maas and J. Van Neerven, “Boundedness of Riesz transforms for elliptic operators on abstract Wiener spaces,” Journal of Functional Analysis, vol. 257, no. 8. Academic Press, pp. 2410–2475, 2009.
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 2137 | OA
M. Lemeshko and B. Frierich, “Rotational structure of weakly bound molecular ions,” Journal of Atomic and Molecular Sciences, vol. 1, no. 1. Global Science Press, pp. 41–47, 2009.
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 2149 | OA
M. Lemeshko and B. Friedrich, “Collisions of paramagnetic molecules in magnetic fields: An analytic model based on Fraunhofer diffraction of matter waves,” Physical Review A - Atomic, Molecular, and Optical Physics, vol. 79, no. 1. American Physical Society, 2009.
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 2150 | OA
M. Lemeshko and B. Friedrich, “The effect of a nonresonant radiative field on low-energy rotationally inelastic Na+ + N2 collisions,” International Journal of Mass Spectrometry, vol. 280, no. 1–3. Elsevier, pp. 19–25, 2009.
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 2191 | OA
M. Lemeshko and B. Friedrich, “Rotational and rotationless states of weakly bound molecules,” Physical Review A - Atomic, Molecular, and Optical Physics, vol. 79, no. 5. American Physical Society, 2009.
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 2192 | OA
M. Lemeshko and B. Friedrich, “Model analysis of rotationally inelastic Ar + H2O scattering in an electric field,” Journal of Physical Chemistry A, vol. 113, no. 52. American Chemical Society, pp. 15055–15063, 2009.
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 2193 | OA
M. Lemeshko and B. Friedrich, “Probing weakly bound molecules with nonresonant light,” Physical Review Letters, vol. 103, no. 5. American Physical Society, 2009.
View | DOI | Download (ext.)
 

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
 

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

2009 | Book Chapter | IST-REx-ID: 164 | OA
T. D. Browning and R. Heath Brown, “Integral points on cubic hypersurfaces,” in Analytic Number Theory: Essays in honour of Klaus Roth, Cambridge University Press, 2009, pp. 75–90.
View | Download Preprint (ext.) | arXiv
 

2009 | Journal Article | IST-REx-ID: 1038 | OA
M. Mark et al., “Dark resonances for ground-state transfer of molecular quantum gases,” Applied Physics B: Lasers and Optics, vol. 95, no. 2. Springer, pp. 219–225, 2009.
View | DOI | Download None (ext.) | arXiv
 

2009 | Journal Article | IST-REx-ID: 1040 | OA
E. Haller et al., “Realization of an excited, strongly correlated quantum gas Phase,” Science, vol. 325, no. 5945. American Association for the Advancement of Science, pp. 1224–1227, 2009.
View | DOI | Download None (ext.) | arXiv
 

2009 | Journal Article | IST-REx-ID: 1041 | OA
J. G. Danzl et al., “Deeply bound ultracold molecules in an optical lattice,” New Journal of Physics, vol. 11. IOP Publishing Ltd., 2009.
View | DOI | Download None (ext.) | arXiv
 

2009 | Journal Article | IST-REx-ID: 1043 | OA
J. G. Danzl et al., “Precision molecular spectroscopy for ground state transfer of molecular quantum gases,” Faraday Discussions, vol. 142. Royal Society of Chemistry, pp. 283–295, 2009.
View | DOI | Download Preprint (ext.) | arXiv
 

2009 | Journal Article | IST-REx-ID: 9147 | OA
C. J. MULLER and O. Bühler, “Saturation of the internal tides and induced mixing in the abyssal ocean,” Journal of Physical Oceanography, vol. 39, no. 9. American Meteorological Society, pp. 2077–2096, 2009.
View | DOI | Download Published Version (ext.)
 

2009 | Journal Article | IST-REx-ID: 9148 | OA
C. J. MULLER, L. E. Back, P. A. O’Gorman, and K. A. Emanuel, “A model for the relationship between tropical precipitation and column water vapor,” Geophysical Research Letters, vol. 36, no. 16. American Geophysical Union, 2009.
View | DOI | Download Published Version (ext.)
 

2009 | Preprint | IST-REx-ID: 3732 | OA
G. Tkačik, E. Schneidman, M. Berry, and W. Bialek, “Spin glass models for a network of real neurons,” ArXiv, vol. q-NC. ArXiv, 2009.
View | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 3775 | OA
N. H. Barton and J. Coe, “On the application of statistical physics to evolutionary biology,” Journal of Theoretical Biology, vol. 259, no. 2. Elsevier, pp. 317–324, 2009.
View | DOI | Download Submitted Version (ext.)
 

2009 | Journal Article | IST-REx-ID: 3780 | OA
A. Davison, N. H. Barton, and B. Clarke, “The effect of chirality phenotype and genotype on the fecundity and viability of Partula suturalis and Lymnaea stagnalis: Implications for the evolution of sinistral snails,” Journal of Evolutionary Biology, vol. 22, no. 8. Wiley, pp. 1624–1635, 2009.
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 3837 | OA
S. Tripakis, B. Lickly, T. A. Henzinger, and E. Lee, “On relational interfaces,” in EMSOFT ’09 Proceedings of the seventh ACM international conference on Embedded software, Grenoble, France, 2009, pp. 67–76.
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 3841 | OA
T. A. Henzinger, B. Jobstmann, and V. Wolf, “Formalisms for specifying Markovian population models,” presented at the RP: Reachability Problems, Palaiseau, France, 2009, vol. 5797, pp. 3–23.
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 3843 | OA
F. Didier, T. A. Henzinger, M. Mateescu, and V. Wolf, “Fast adaptive uniformization of the chemical master equation,” presented at the HIBI: High-Performance Computational Systems Biology, Trento, Italy, 2009, vol. 4, no. 6, pp. 118–127.
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 3844 | OA
T. A. Henzinger, C. Kirsch, E. Marques, and A. Sokolova, “Distributed, modular HTL,” presented at the RTSS: Real-Time Systems Symposium, Washington, DC, United States, 2009, pp. 171–180.
View | Files available | DOI
 

2009 | Journal Article | IST-REx-ID: 3870 | OA
K. Chatterjee, T. A. Henzinger, and F. Horn, “Finitary winning in omega-regular games,” ACM Transactions on Computational Logic (TOCL), vol. 11, no. 1. ACM, 2009.
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 3871 | OA
K. Chatterjee, L. Doyen, and T. A. Henzinger, “Probabilistic weighted automata,” presented at the CONCUR: Concurrency Theory, Bologna, Italy, 2009, vol. 5710, pp. 244–258.
View | Files available | DOI
 

2009 | Journal Article | IST-REx-ID: 3946 | OA
S. Cremer and M. K. Sixt, “Analogies in the evolution of individual and social immunity,” Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences, vol. 364, no. 1513. Royal Society, The, pp. 129–142, 2009.
View | DOI | Download None (ext.)
 

2009 | Conference Paper | IST-REx-ID: 3968 | OA
H. Edelsbrunner and J. Harer, “The persistent Morse complex segmentation of a 3-manifold,” presented at the 3DPH: Modelling the Physiological Human, Zermatt, Switzerland, 2009, vol. 5903, pp. 36–50.
View | Files available | DOI
 

2009 | Journal Article | IST-REx-ID: 4136 | OA
J. Polechova, N. H. Barton, and G. Marion, “Species’ range: Adaptation in space and time,” American Naturalist, vol. 174, no. 5. University of Chicago Press, pp. E186–E204, 2009.
View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 4242 | OA
N. H. Barton and M. De Cara, “The evolution of strong reproductive isolation,” Evolution; International Journal of Organic Evolution, vol. 63, no. 5. Wiley, pp. 1171–1190, 2009.
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 4383 | OA
R. Guerraoui, T. A. Henzinger, and V. Singh, “Software transactional memory on relaxed memory models,” presented at the CAV: Computer Aided Verification, 2009, vol. 5643, pp. 321–336.
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 4403 | OA
R. Alur, P. Cerny, and S. Weinstein, “Algorithmic analysis of array-accessing programs,” presented at the CSL: Computer Science Logic, Coimbra, Portugal, 2009, vol. 5771, pp. 86–101.
View | Files available | DOI | Download Submitted Version (ext.)
 

2009 | Conference Paper | IST-REx-ID: 4453 | OA
T. A. Henzinger, M. Mateescu, and V. Wolf, “Sliding-window abstraction for infinite Markov chains,” presented at the CAV: Computer Aided Verification, 2009, vol. 5643, pp. 337–352.
View | Files available | DOI | Download (ext.)
 

2009 | Conference Paper | IST-REx-ID: 4542 | OA
K. Chatterjee, L. Doyen, and T. A. Henzinger, “Alternating weighted automata,” presented at the FCT: Fundamentals of Computation Theory, Wroclaw, Poland, 2009, vol. 5699, pp. 3–13.
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 4544 | OA
K. Chatterjee, L. De Alfaro, and T. A. Henzinger, “Termination criteria for solving concurrent safety and reachability games,” presented at the SODA: Symposium on Discrete Algorithms, 2009, pp. 197–206.
View | Files available | DOI | Download (ext.)
 

2009 | Conference Paper | IST-REx-ID: 4545 | OA
K. Chatterjee, L. Doyen, and T. A. Henzinger, “A survey of stochastic games with limsup and liminf objectives,” presented at the ICALP: Automata, Languages and Programming, Rhodos, Greece, 2009, vol. 5556, pp. 1–15.
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 4569 | OA
R. Bloem, K. Chatterjee, T. A. Henzinger, and B. Jobstmann, “Better quality in synthesis through quantitative objectives,” presented at the CAV: Computer Aided Verification, Grenoble, France, 2009, vol. 5643, pp. 140–156.
View | DOI | Download Preprint (ext.) | arXiv
 

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

2009 | Journal Article | IST-REx-ID: 3051 | OA
D. Weijers and J. Friml, “SnapShot: Auxin signaling and transport,” Cell, vol. 136, no. 6. Cell Press, pp. 1172–1172, 2009.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 3052 | OA
S. Vanneste and J. Friml, “Auxin: A trigger for change in plant development,” Cell, vol. 136, no. 6. Cell Press, pp. 1005–1016, 2009.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 3057 | OA
J. Petrášek and J. Friml, “Auxin transport routes in plant development,” Development, vol. 136, no. 16. Company of Biologists, pp. 2675–2688, 2009.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 3061 | OA
P. Křeček et al., “The PIN-FORMED (PIN) protein family of auxin transporters,” Genome Biology, vol. 10, no. 12. BioMed Central, 2009.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 3197 | OA
M. P. Kumar, V. Kolmogorov, and P. Torr, “An analysis of convex relaxations for MAP estimation of discrete MRFs,” Journal of Machine Learning Research, vol. 10. Microtome Publishing, pp. 71–106, 2009.
View | Download (ext.)
 

2009 | Conference Paper | IST-REx-ID: 3503 | OA
K. Chatterjee and T. A. Henzinger, “Probabilistic systems with limsup and liminf objectives,” presented at the ILC: Infinity in Logic and Computation, 2009, vol. 5489, pp. 32–45.
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 9453 | OA
T.-F. Hsieh et al., “Genome-wide demethylation of Arabidopsis endosperm,” Science, vol. 324, no. 5933. American Association for the Advancement of Science, pp. 1451–1454, 2009.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2008 | Conference Paper | IST-REx-ID: 2331 | OA
C. Hainzl and R. Seiringer, “ Spectral properties of the BCS gap equation of superfluidity,” presented at the QMath: Mathematical Results in Quantum Physics, 2008, pp. 117–136.
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 2332 | OA
R. Seiringer, “Vortices and Spontaneous Symmetry Breaking in Rotating Bose Gases,” presented at the QMath: Mathematical Results in Quantum Physics, 2008, pp. 241–254.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 2374 | OA
R. Seiringer, “Free energy of a dilute Bose gas: Lower bound,” Communications in Mathematical Physics, vol. 279, no. 3. Springer, pp. 595–636, 2008.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 2376 | OA
C. Hainzl and R. Seiringer, “Critical temperature and energy gap for the BCS equation,” Physical Review B - Condensed Matter and Materials Physics, vol. 77, no. 18. American Physical Society, 2008.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 2377 | OA
C. Hainzl and R. Seiringer, “The BCS critical temperature for potentials with negative scattering length,” Letters in Mathematical Physics, vol. 84, no. 2–3. Springer, pp. 99–107, 2008.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 2378 | OA
R. Seiringer and J. Yin, “Ground state energy of the low density hubbard model,” Journal of Statistical Physics, vol. 131, no. 6. Springer, pp. 1139–1154, 2008.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 2379 | OA
R. Frank, É. Lieb, and R. Seiringer, “Hardy-Lieb-Thirring inequalities for fractional Schrödinger operators,” Journal of the American Mathematical Society, vol. 21, no. 4. American Mathematical Society, pp. 925–950, 2008.
View | DOI | Download (ext.)
 

Filters and Search Terms

oa=1

Search

Filter Publications