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, et al. Minimum-Time Reachability in Timed Games. Vol. 4596, Springer, 2007, pp. 825–37, doi:10.1007/978-3-540-73420-8_71.
View
| DOI
2007 |Published| Conference Paper | IST-REx-ID: 4573
Beyer, Dirk, et al. Configurable Software Verification: Concretizing the Convergence of Model Checking and Program Analysis. Vol. 4590, Springer, 2007, pp. 504–18, doi:10.1007/978-3-540-73368-3_51.
View
| DOI
2007 |Published| Conference Paper | IST-REx-ID: 4572
Beyer, Dirk, et al. Invariant Synthesis for Combined Theories. Vol. 4349, Springer, 2007, pp. 378–94, doi:10.1007/978-3-540-69738-1_27.
View
| DOI
2007 |Published| Conference Paper | IST-REx-ID: 4571
Beyer, Dirk, et al. Path Invariants. ACM, 2007, pp. 300–09, doi:10.1145/1250734.1250769.
View
| DOI
2007 |Published| Conference Paper | IST-REx-ID: 4575
Beyer, Dirk, et al. An Application of Web-Service Interfaces. IEEE, 2007, pp. 831–38, doi:10.1109/ICWS.2007.32 .
View
| DOI
2007 |Published| Journal Article | IST-REx-ID: 4626
De Alfaro, Luca, et al. “Concurrent Reachability Games.” Theoretical Computer Science, vol. 386, no. 3, Elsevier, 2007, pp. 188–217, doi: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, doi:10.1364/FIO.2007.JTuA4.
View
| DOI
2007 |Published| Journal Article | IST-REx-ID: 6150
Gumienny, Tina L., et al. “Glypican LON-2 Is a Conserved Negative Regulator of BMP-like Signaling in Caenorhabditis Elegans.” Current Biology, vol. 17, no. 2, Elsevier, 2007, pp. 159–64, doi: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.” A Tribute to Gauss and Dirichlet, vol. 7, American Mathematical Society, 2007, pp. 39–56.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2007 |Submitted| Preprint | IST-REx-ID: 6321 |
Browning, Timothy D. “The Manin Conjecture in Dimension 2.” ArXiv, 0704.1217.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2007 |Published| Journal Article | IST-REx-ID: 860
Plotnikova, Olga, et al. “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, vol. 81, no. 1, Cell Press, 2007, pp. 32–43, doi:10.1086/518616.
View
| DOI
2007 |Published| Journal Article | IST-REx-ID: 879
Kondrashov, Fyodor, et al. “Selection for Functional Uniformity of Tuf Duplicates in γ-Proteobacteria.” Trends in Genetics, vol. 23, no. 5, Elsevier, 2007, pp. 215–18, doi:10.1016/j.tig.2007.03.002.
View
| DOI
2007 |Published| Journal Article | IST-REx-ID: 904
Bazykin, Georgii, et al. “Extensive Parallelism in Protein Evolution.” Biology Direct, vol. 2, BioMed Central, 2007, doi:10.1186/1745-6150-2-20.
View
| DOI
2007 |Published| Journal Article | IST-REx-ID: 861
Popadin, Konstantin, et al. “A Manually Curated Database of Tetrapod Mitochondrially Encoded TRNA Sequences and Secondary Structures.” BMC Bioinformatics, vol. 8, BioMed Central, 2007, doi:10.1186/1471-2105-8-441.
View
| DOI
2006 |Published| Journal Article | IST-REx-ID: 1033 |
Kraemer, Tobias, et al. “Evidence for Efimov Quantum States in an Ultracold Gas of Caesium Atoms.” Nature, vol. 440, no. 7082, Nature Publishing Group, 2006, pp. 315–18, doi:10.1038/nature04626.
View
| DOI
| Download None (ext.)
2006 |Published| Conference Paper | IST-REx-ID: 1034 |
Nägerl, Hanns, et al. Experimental Evidence for Efimov Quantum States. Vol. 869, AIP, 2006, pp. 269–77, doi: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, vol. 103, no. 16, National Academy of Sciences, 2006, pp. 6120–24, doi: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, vol. 134, no. 8, American Mathematical Society, 2006, pp. 2403–09, doi:10.1090/S0002-9939-06-08248-7.
View
| DOI
| Download (ext.)
2006 |Published| Journal Article | IST-REx-ID: 1715
Dudu, Veronika, et al. “Postsynaptic Mad Signaling at the Drosophila Neuromuscular Junction.” Current Biology, vol. 16, no. 7, Cell Press, 2006, pp. 625–35, doi:10.1016/j.cub.2006.02.061.
View
| Files available
| DOI
2006 |Published| Journal Article | IST-REx-ID: 1745
Katsaros, Georgios, et al. “Investigating the Lateral Motion of SiGe Islands by Selective Chemical Etching.” Surface Science, vol. 600, no. 12, Elsevier, 2006, pp. 2608–13, doi:10.1016/j.susc.2006.04.027.
View
| DOI