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.
624 Publications
2010 |Published| Journal Article | IST-REx-ID: 4379 | 
Jones, Kevin, Victor Konrad, and Dejan Nickovic. “Analog Property Checkers: A DDR2 Case Study.” Formal Methods in System Design. Springer, 2010. https://doi.org/10.1007/s10703-009-0085-x.
View
| DOI
| Download (ext.)
2010 |Published| Journal Article | IST-REx-ID: 6320 |
Bretèche, Régis de la, and Timothy D Browning. “Le Problème Des Diviseurs Pour Des Formes Binaires de Degré 4.” Crelles Journal. Walter de Gruyter GmbH, 2010. https://doi.org/10.1515/crelle.2010.064.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2010 |Published| Conference Paper | IST-REx-ID: 758
Alistarh, Dan-Adrian, Seth Gilbert, Rachid Guerraoui, and Corentin Travers. “Brief Announcement: New Bounds for Partially Synchronous Set Agreement,” 6343 LNCS:404–5. Springer, 2010. https://doi.org/10.1007/978-3-642-15763-9_40.
View
| DOI
2010 |Published| Journal Article | IST-REx-ID: 884
Kondrashov, Alexey, Inna Povolotskaya, Dmitry Ivankov, and Fyodor Kondrashov. “Rate of Sequence Divergence under Constant Selection.” Biology Direct. BioMed Central, 2010. https://doi.org/10.1186/1745-6150-5-5.
View
| DOI
2009 |Published| Journal Article | IST-REx-ID: 1038 |
Mark, Manfred, Johann G Danzl, Elmar Haller, Mattias Gustavsson, Nadia Bouloufa, Olivier Dulieu, Houssam Salami, et al. “Dark Resonances for Ground-State Transfer of Molecular Quantum Gases.” Applied Physics B: Lasers and Optics. Springer, 2009. https://doi.org/10.1007/s00340-009-3407-1.
View
| DOI
| Download None (ext.)
| arXiv
2009 |Published| Conference Paper | IST-REx-ID: 11905
Baykan, Eda, Monika H Henzinger, Ludmila Marian, and Ingmar Weber. “Purely URL-Based Topic Classification.” In 18th International World Wide Web Conference, 1109–10. Association for Computing Machinery, 2009. https://doi.org/10.1145/1526709.1526880.
View
| DOI
2009 |Published| Conference Paper | IST-REx-ID: 11906
Abdel Hamid, Ossama, Behshad Behzadi, Stefan Christoph, and Monika H Henzinger. “Detecting the Origin of Text Segments Efficiently.” In 18th International World Wide Web Conference, 61–70. Association for Computing Machinery, 2009. https://doi.org/10.1145/1526709.1526719.
View
| DOI
2009 |Published| Journal Article | IST-REx-ID: 12654 |
Carenzo, Marco, Francesca Pellicciotti, Stefan Rimkus, and Paolo Burlando. “Assessing the Transferability and Robustness of an Enhanced Temperature-Index Glacier-Melt Model.” Journal of Glaciology. Cambridge University Press, 2009. https://doi.org/10.3189/002214309788608804.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2009 |Published| Conference Paper | IST-REx-ID: 165
Browning, Timothy D. “Resent Progress on the Quantitative Arithmetic of Del Pezzo Surfaces.” edited by Takashi Aoki, Shigeru Kanemitsu, and Jianya Liu, 6:1–18. World Scientific Publishing, 2009. https://doi.org/10.1142/9789814289924_0001.
View
| DOI
2009 |Published| Journal Article | IST-REx-ID: 2068
Vicoso, Beatriz, and Brian Charlesworth. “The Deficit of Male-Biased Genes on the D. Melanogaster X Chromosome Is Expression-Dependent: A Consequence of Dosage Compensation?” Journal of Molecular Evolution. Springer, 2009. https://doi.org/10.1007/s00239-009-9235-4.
View
| DOI
2009 |Published| Journal Article | IST-REx-ID: 2069
Vicoso, Beatriz, and Brian Charlesworth. “Effective Population Size and the Faster-X Effect: An Extended Model.” Evolution. Wiley-Blackwell, 2009. https://doi.org/10.1111/j.1558-5646.2009.00719.x.
View
| DOI
2009 |Published| Journal Article | IST-REx-ID: 2070
Vicoso, Beatriz, and Doris Bachtrog. “Progress and Prospects toward Our Understanding of the Evolution of Dosage Compensation.” Chromosome Research. Springer, 2009. https://doi.org/10.1007/s10577-009-9053-y.
View
| DOI
2009 |Published| Journal Article | IST-REx-ID: 2119 |
Maas, Jan, and Jan Van Neerven. “Boundedness of Riesz Transforms for Elliptic Operators on Abstract Wiener Spaces.” Journal of Functional Analysis. Academic Press, 2009. https://doi.org/10.1016/j.jfa.2009.07.001.
View
| DOI
| Download (ext.)
2009 |Published| Journal Article | IST-REx-ID: 229 |
Browning, Timothy D. “Linear Growth for Châtelet Surfaces.” Mathematische Annalen. Springer Nature, 2009. https://doi.org/10.1007/s00208-009-0383-z.
View
| DOI
| Download (ext.)
2009 |Published| Journal Article | IST-REx-ID: 2384 |
Giuliani, Alessandro, and Robert Seiringer. “The Ground State Energy of the Weakly Interacting Bose Gas at High Density.” Journal of Statistical Physics. Springer, 2009. https://doi.org/10.1007/s10955-009-9718-0.
View
| DOI
| Download (ext.)
2009 |Published| Journal Article | IST-REx-ID: 2387 |
Lewin, Mathieu, and Robert Seiringer. “Strongly Correlated Phases in Rapidly Rotating Bose Gases.” Journal of Statistical Physics. Springer, 2009. https://doi.org/10.1007/s10955-009-9833-y.
View
| DOI
| Download (ext.)
2009 |Published| Conference Paper | IST-REx-ID: 2433 |
Matoušek, Jiří, Martin Tancer, and Uli Wagner. “Hardness of Embedding Simplicial Complexes in ℝd,” 855–64. SIAM, 2009.
View
| Download (ext.)
2009 |Published| Journal Article | IST-REx-ID: 2501
Grinevich, Valery, Alexander Kolleker, Marina Eliava, Naoki Takada, Hiroshi Takuma, Yugo Fukazawa, Ryuichi Shigemoto, et al. “Fluorescent Arc/Arg3.1 Indicator Mice: A Versatile Tool to Study Brain Activity Changes in Vitro and in Vivo.” Journal of Neuroscience Methods. Elsevier, 2009. https://doi.org/10.1016/j.jneumeth.2009.07.015.
View
| DOI
2009 |Published| Journal Article | IST-REx-ID: 2759
Erdös, László, Alessandro Michelangeli, and Benjamin Schlein. “Dynamical Formation of Correlations in a Bose-Einstein Condensate.” Communications in Mathematical Physics. Springer, 2009. https://doi.org/10.1007/s00220-009-0828-y.
View
| DOI
2009 |Published| Journal Article | IST-REx-ID: 2932
Kolmogorov, Vladimir. “Blossom V: A New Implementation of a Minimum Cost Perfect Matching Algorithm.” Mathematical Programming Computation. Springer, 2009. https://doi.org/10.1007/s12532-009-0002-8.
View
| DOI