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 | 
P. Křeček et al., “The PIN-FORMED (PIN) protein family of auxin transporters,” Genome Biology, vol. 10, no. 12. BioMed Central, 2009.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2009 | Published | Journal Article | IST-REx-ID: 3197 |
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 | Published | Conference Paper | IST-REx-ID: 3503 |
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 | Published | Preprint | IST-REx-ID: 3732 |
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 | Published | Journal Article | IST-REx-ID: 3775 |
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.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2009 | Published | Journal Article | IST-REx-ID: 3780 |
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.
[Submitted Version]
View
| Files available
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 3837 |
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.
[Submitted Version]
View
| Files available
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 3841 |
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.
[Submitted Version]
View
| Files available
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 3843 |
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.
[Submitted Version]
View
| Files available
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 3844 |
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.
[Submitted Version]
View
| Files available
| DOI
2009 | Published | Journal Article | IST-REx-ID: 3870 |
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.
[Submitted Version]
View
| Files available
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 3871 |
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.
[Submitted Version]
View
| Files available
| DOI
2008 | Published | Journal Article | IST-REx-ID: 1036 |
M. Gustavsson, E. Haller, M. Mark, J. G. Danzl, G. Rojas Kopeinig, and H. Nägerl, “Control of interaction-induced dephasing of bloch oscillations,” Physical Review Letters, vol. 100, no. 8. American Physical Society, 2008.
View
| DOI
| Download None (ext.)
| arXiv
2008 | Published | Journal Article | IST-REx-ID: 1037 |
S. Knoop et al., “Metastable feshbach molecules in high rotational states,” Physical Review Letters, vol. 100, no. 8. American Physical Society, 2008.
View
| DOI
| Download None (ext.)
| arXiv
2008 | Published | Journal Article | IST-REx-ID: 1039 |
J. G. Danzl et al., “Quantum gas of deeply bound ground state molecules,” Science, vol. 321, no. 5892. American Association for the Advancement of Science, pp. 1062–1066, 2008.
View
| DOI
| Download None (ext.)
| arXiv
2008 | Published | Journal Article | IST-REx-ID: 11113 |
D. J. Anderson and M. Hetzer, “Shaping the endoplasmic reticulum into the nuclear envelope,” Journal of Cell Science, vol. 121, no. 2. The Company of Biologists, pp. 137–142, 2008.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2008 | Published | Journal Article | IST-REx-ID: 11114 |
R. Schulte, J. Talamas, C. Doucet, and M. Hetzer, “Single bead affinity detection (SINBAD) for the analysis of protein-protein interactions,” PLoS ONE, vol. 3, no. 4. Public Library of Science, 2008.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2008 | Published | Journal Article | IST-REx-ID: 2120 |
J. Maas and J. Van Neerven, “On the domain of non-symmetric Ornstein-Uhlenbeck operators in banach spaces,” Infinite Dimensional Analysis, Quantum Probability and Related Topics, vol. 11, no. 4. World Scientific Publishing, pp. 603–626, 2008.
View
| DOI
| Download (ext.)
2008 | Published | Journal Article | IST-REx-ID: 2121 |
J. Van Neerven and J. Maas, “A Clark-Ocone formula in UMD Banach spaces,” Electronic Communications in Probability, vol. 13. Institute of Mathematical Statistics, pp. 151–164, 2008.
View
| Download (ext.)
2008 | Published | Journal Article | IST-REx-ID: 2146 |
M. Lemeshko and B. Friedrich, “An analytic model of rotationally inelastic collisions of polar molecules in electric fields,” Journal of Chemical Physics, vol. 129, no. 2. American Institute of Physics, 2008.
View
| DOI
| Download (ext.)