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.
6981 Publications
2007 |Published| Conference Paper | IST-REx-ID: 4570
Brihaye, Thomas, Thomas A Henzinger, Vinayak Prabhu, and Jean Raskin. “Minimum-Time Reachability in Timed Games,” 4596:825–37. Springer, 2007. https://doi.org/10.1007/978-3-540-73420-8_71.
View
| DOI
2007 |Published| Conference Paper | IST-REx-ID: 4573
Beyer, Dirk, Thomas A Henzinger, and Grégory Théoduloz. “Configurable Software Verification: Concretizing the Convergence of Model Checking and Program Analysis,” 4590:504–18. Springer, 2007. https://doi.org/10.1007/978-3-540-73368-3_51.
View
| DOI
2007 |Published| Conference Paper | IST-REx-ID: 4572
Beyer, Dirk, Thomas A Henzinger, Ritankar Majumdar, and Andrey Rybalchenko. “Invariant Synthesis for Combined Theories,” 4349:378–94. Springer, 2007. https://doi.org/10.1007/978-3-540-69738-1_27.
View
| DOI
2007 |Published| Conference Paper | IST-REx-ID: 4571
Beyer, Dirk, Thomas A Henzinger, Ritankar Majumdar, and Andrey Rybalchenko. “Path Invariants,” 300–309. ACM, 2007. https://doi.org/10.1145/1250734.1250769.
View
| DOI
2007 |Published| Conference Paper | IST-REx-ID: 4575
Beyer, Dirk, Arindam Chakrabarti, Thomas A Henzinger, and Sanjit Seshia. “An Application of Web-Service Interfaces,” 831–38. IEEE, 2007. https://doi.org/10.1109/ICWS.2007.32 .
View
| DOI
2007 |Published| Journal Article | IST-REx-ID: 4626
De Alfaro, Luca, Thomas A Henzinger, and Orna Kupferman. “Concurrent Reachability Games.” Theoretical Computer Science. Elsevier, 2007. https://doi.org/10.1016/j.tcs.2007.07.008.
View
| DOI
2007 |Published| Conference Paper | IST-REx-ID: 582
Hosten, Onur, and Paul Kwiat. “Observing the Spin Hall Effect of Light via Quantum Weak Measurements.” OSA, 2007. https://doi.org/10.1364/FIO.2007.JTuA4.
View
| DOI
2007 |Published| Journal Article | IST-REx-ID: 6150
Gumienny, Tina L., Lesley T. MacNeil, Huang Wang, Mario de Bono, Jeffrey L. Wrana, and Richard W. Padgett. “Glypican LON-2 Is a Conserved Negative Regulator of BMP-like Signaling in Caenorhabditis Elegans.” Current Biology. Elsevier, 2007. https://doi.org/10.1016/j.cub.2006.11.065.
View
| DOI
| PubMed | Europe PMC
2007 |Published| Book Chapter | IST-REx-ID: 6323 | 
Browning, Timothy D. “An Overview of Manin’s Conjecture for Del Pezzo Surfaces.” In A Tribute to Gauss and Dirichlet, 7:39–56. Analytic Number Theory. American Mathematical Society, 2007.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2007 |Submitted| Preprint | IST-REx-ID: 6321 |
Browning, Timothy D. “The Manin Conjecture in Dimension 2.” ArXiv, n.d.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2007 |Published| Journal Article | IST-REx-ID: 860
Plotnikova, Olga, Fyodor Kondrashov, Peter Vlasov, Anastasia Grigorenko, Evgeny Ginter, and Evgeny Rogaev. “Conversion and Compensatory Evolution of the γ-Crystallin Genes and Identification of a Cataractogenic Mutation That Reverses the Sequence of the Human CRYGD Gene to an Ancestral State.” American Journal of Human Genetics. Cell Press, 2007. https://doi.org/10.1086/518616.
View
| DOI
2007 |Published| Journal Article | IST-REx-ID: 879
Kondrashov, Fyodor, Tatiana Gurbich, and Peter Vlasov. “Selection for Functional Uniformity of Tuf Duplicates in γ-Proteobacteria.” Trends in Genetics. Elsevier, 2007. https://doi.org/10.1016/j.tig.2007.03.002.
View
| DOI
2007 |Published| Journal Article | IST-REx-ID: 904
Bazykin, Georgii, Fyodor Kondrashov, Michael Brudno, Alexander Poliakov, Inna Dubchak, and Alexey Kondrashov. “Extensive Parallelism in Protein Evolution.” Biology Direct. BioMed Central, 2007. https://doi.org/10.1186/1745-6150-2-20.
View
| DOI
2007 |Published| Journal Article | IST-REx-ID: 861
Popadin, Konstantin, Leila Mamirova, and Fyodor Kondrashov. “A Manually Curated Database of Tetrapod Mitochondrially Encoded TRNA Sequences and Secondary Structures.” BMC Bioinformatics. BioMed Central, 2007. https://doi.org/10.1186/1471-2105-8-441.
View
| DOI
2006 |Published| Journal Article | IST-REx-ID: 1033 |
Kraemer, Tobias, Michael Mark, Philipp Waldburger, Johann G Danzl, Cheng Chin, Bastian Engeser, Adam Lange, et al. “Evidence for Efimov Quantum States in an Ultracold Gas of Caesium Atoms.” Nature. Nature Publishing Group, 2006. https://doi.org/10.1038/nature04626.
View
| DOI
| Download None (ext.)
2006 |Published| Conference Paper | IST-REx-ID: 1034 |
Nägerl, Hanns, Tobias Kraemer, Michael Mark, Philipp Waldburger, Johann G Danzl, Bastian Engeser, Adam Lange, et al. “Experimental Evidence for Efimov Quantum States,” 869:269–77. AIP, 2006. https://doi.org/10.1063/1.2400657.
View
| DOI
| Download None (ext.)
2006 |Published| Journal Article | IST-REx-ID: 1462 |
Hausel, Tamás. “Betti Numbers of Holomorphic Symplectic Quotients via Arithmetic Fourier Transform.” PNAS. National Academy of Sciences, 2006. https://doi.org/10.1073/pnas.0601337103.
View
| DOI
| Download (ext.)
2006 |Published| Journal Article | IST-REx-ID: 1461 |
Hausel, Tamás, and Edward Swartz. “Intersection Forms of Toric Hyperkähler Varieties.” Proceedings of the American Mathematical Society. American Mathematical Society, 2006. https://doi.org/10.1090/S0002-9939-06-08248-7.
View
| DOI
| Download (ext.)
2006 |Published| Journal Article | IST-REx-ID: 1715
Dudu, Veronika, Thomas Bittig, Eugeni Entchev, Anna Kicheva, Frank Julicher, and Marcos González Gaitán. “Postsynaptic Mad Signaling at the Drosophila Neuromuscular Junction.” Current Biology. Cell Press, 2006. https://doi.org/10.1016/j.cub.2006.02.061.
View
| Files available
| DOI
2006 |Published| Journal Article | IST-REx-ID: 1745
Katsaros, Georgios, Armando Rastelli, Mathieu Stoffel, Giovanni Isella, Hans Von Känel, Alexander Bittner, Jerry Tersoff, et al. “Investigating the Lateral Motion of SiGe Islands by Selective Chemical Etching.” Surface Science. Elsevier, 2006. https://doi.org/10.1016/j.susc.2006.04.027.
View
| DOI