Please note that ISTA 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.
6372 Publications
2009 | Published | Journal Article | IST-REx-ID: 3061 | 
Křeček, Pavel, Petr Skůpa, Jiří Libus, Satoshi Naramoto, Ricardo Tejos, Jiří Friml, and Eva Zažímalová. “The PIN-FORMED (PIN) Protein Family of Auxin Transporters.” Genome Biology. BioMed Central, 2009. https://doi.org/10.1186/gb-2009-10-12-249.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2009 | Published | Journal Article | IST-REx-ID: 3197 |
Kumar, M Pawan, Vladimir Kolmogorov, and Philip Torr. “An Analysis of Convex Relaxations for MAP Estimation of Discrete MRFs.” Journal of Machine Learning Research. Microtome Publishing, 2009.
View
| Download (ext.)
2009 | Published | Conference Paper | IST-REx-ID: 3503 |
Chatterjee, Krishnendu, and Thomas A Henzinger. “Probabilistic Systems with Limsup and Liminf Objectives,” 5489:32–45. Springer, 2009. https://doi.org/10.1007/978-3-642-03092-5_4.
View
| DOI
| Download (ext.)
2009 | Published | Preprint | IST-REx-ID: 3732 |
Tkačik, Gašper, Elad Schneidman, Michael Berry, and William Bialek. “Spin Glass Models for a Network of Real Neurons.” ArXiv. ArXiv, 2009.
View
| Download (ext.)
2009 | Published | Journal Article | IST-REx-ID: 3775 |
Barton, Nicholas H, and Jason Coe. “On the Application of Statistical Physics to Evolutionary Biology.” Journal of Theoretical Biology. Elsevier, 2009. https://doi.org/10.1016/j.jtbi.2009.03.019.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2009 | Published | Journal Article | IST-REx-ID: 3780 |
Davison, Angus, Nicholas H Barton, and Bryan 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. Wiley, 2009. https://doi.org/10.1111/j.1420-9101.2009.01770.x.
[Submitted Version]
View
| Files available
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 3837 |
Tripakis, Stavros, Ben Lickly, Thomas A Henzinger, and Edward Lee. “On Relational Interfaces.” In EMSOFT ’09 Proceedings of the Seventh ACM International Conference on Embedded Software, 67–76. ACM, 2009. https://doi.org/10.1145/1629335.1629346.
[Submitted Version]
View
| Files available
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 3841 |
Henzinger, Thomas A, Barbara Jobstmann, and Verena Wolf. “Formalisms for Specifying Markovian Population Models,” 5797:3–23. Springer, 2009. https://doi.org/10.1007/978-3-642-04420-5_2.
[Submitted Version]
View
| Files available
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 3843 |
Didier, Frédéric, Thomas A Henzinger, Maria Mateescu, and Verena Wolf. “Fast Adaptive Uniformization of the Chemical Master Equation,” 4:118–27. IEEE, 2009. https://doi.org/10.1109/HiBi.2009.23.
[Submitted Version]
View
| Files available
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 3844 |
Henzinger, Thomas A, Christoph Kirsch, Eduardo Marques, and Ana Sokolova. “Distributed, Modular HTL,” 171–80. IEEE, 2009. https://doi.org/10.1109/RTSS.2009.9.
[Submitted Version]
View
| Files available
| DOI
2009 | Published | Journal Article | IST-REx-ID: 3870 |
Chatterjee, Krishnendu, Thomas A Henzinger, and Florian Horn. “Finitary Winning in Omega-Regular Games.” ACM Transactions on Computational Logic (TOCL). ACM, 2009. https://doi.org/10.1145/1614431.1614432.
[Submitted Version]
View
| Files available
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 3871 |
Chatterjee, Krishnendu, Laurent Doyen, and Thomas A Henzinger. “Probabilistic Weighted Automata,” 5710:244–58. Springer, 2009. https://doi.org/10.1007/978-3-642-04081-8_17.
[Submitted Version]
View
| Files available
| DOI
2008 | Published | Journal Article | IST-REx-ID: 1036 |
Gustavsson, Mattias, Elmar Haller, Manfred Mark, Johann G Danzl, Gabriel Rojas Kopeinig, and Hanns Nägerl. “Control of Interaction-Induced Dephasing of Bloch Oscillations.” Physical Review Letters. American Physical Society, 2008. https://doi.org/10.1103/PhysRevLett.100.080404.
View
| DOI
| Download None (ext.)
| arXiv
2008 | Published | Journal Article | IST-REx-ID: 1037 |
Knoop, Steven, Michael Mark, Francesca Ferlaino, Johann G Danzl, Tobias Kraemer, Hanns Nägerl, and Rudolf Grimm. “Metastable Feshbach Molecules in High Rotational States.” Physical Review Letters. American Physical Society, 2008. https://doi.org/10.1103/PhysRevLett.100.083002.
View
| DOI
| Download None (ext.)
| arXiv
2008 | Published | Journal Article | IST-REx-ID: 1039 |
Danzl, Johann G, Elmar Haller, Mattias Gustavsson, Manfred Mark, Russell Hart, Nadia Bouloufa, Olivier Dulieu, Helmut Ritsch, and Hanns Nägerl. “Quantum Gas of Deeply Bound Ground State Molecules.” Science. American Association for the Advancement of Science, 2008. https://doi.org/10.1126/science.1159909.
View
| DOI
| Download None (ext.)
| arXiv
2008 | Published | Journal Article | IST-REx-ID: 11113 |
Anderson, Daniel J., and Martin Hetzer. “Shaping the Endoplasmic Reticulum into the Nuclear Envelope.” Journal of Cell Science. The Company of Biologists, 2008. https://doi.org/10.1242/jcs.005777.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2008 | Published | Journal Article | IST-REx-ID: 11114 |
Schulte, Roberta, Jessica Talamas, Christine Doucet, and Martin Hetzer. “Single Bead Affinity Detection (SINBAD) for the Analysis of Protein-Protein Interactions.” PLoS ONE. Public Library of Science, 2008. https://doi.org/10.1371/journal.pone.0002061.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2008 | Published | Journal Article | IST-REx-ID: 2120 |
Maas, Jan, and Jan Van Neerven. “On the Domain of Non-Symmetric Ornstein-Uhlenbeck Operators in Banach Spaces.” Infinite Dimensional Analysis, Quantum Probability and Related Topics. World Scientific Publishing, 2008. https://doi.org/10.1142/S0219025708003245.
View
| DOI
| Download (ext.)
2008 | Published | Journal Article | IST-REx-ID: 2121 |
Van Neerven, Jan, and Jan Maas. “A Clark-Ocone Formula in UMD Banach Spaces.” Electronic Communications in Probability. Institute of Mathematical Statistics, 2008.
View
| Download (ext.)
2008 | Published | Journal Article | IST-REx-ID: 2146 |
Lemeshko, Mikhail, and Břetislav Friedrich. “An Analytic Model of Rotationally Inelastic Collisions of Polar Molecules in Electric Fields.” Journal of Chemical Physics. American Institute of Physics, 2008. https://doi.org/10.1063/1.2948392.
View
| DOI
| Download (ext.)