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 T, Henzinger TA, Prabhu V, Raskin J. Minimum-time reachability in timed games. In: Vol 4596. Springer; 2007:825-837. doi:10.1007/978-3-540-73420-8_71
View
| DOI
2007 |Published| Conference Paper | IST-REx-ID: 4573
Beyer D, Henzinger TA, Théoduloz G. Configurable software verification: Concretizing the convergence of model checking and program analysis. In: Vol 4590. Springer; 2007:504-518. doi:10.1007/978-3-540-73368-3_51
View
| DOI
2007 |Published| Conference Paper | IST-REx-ID: 4572
Beyer D, Henzinger TA, Majumdar R, Rybalchenko A. Invariant synthesis for combined theories. In: Vol 4349. Springer; 2007:378-394. doi:10.1007/978-3-540-69738-1_27
View
| DOI
2007 |Published| Conference Paper | IST-REx-ID: 4571
Beyer D, Henzinger TA, Majumdar R, Rybalchenko A. Path invariants. In: ACM; 2007:300-309. doi:10.1145/1250734.1250769
View
| DOI
2007 |Published| Conference Paper | IST-REx-ID: 4575
Beyer D, Chakrabarti A, Henzinger TA, Seshia S. An application of web-service interfaces. In: IEEE; 2007:831-838. doi:10.1109/ICWS.2007.32
View
| DOI
2007 |Published| Journal Article | IST-REx-ID: 4626
De Alfaro L, Henzinger TA, Kupferman O. Concurrent reachability games. Theoretical Computer Science. 2007;386(3):188-217. doi:10.1016/j.tcs.2007.07.008
View
| DOI
2007 |Published| Conference Paper | IST-REx-ID: 582
Hosten O, Kwiat P. Observing the spin hall effect of light via quantum weak measurements. In: OSA; 2007. doi:10.1364/FIO.2007.JTuA4
View
| DOI
2007 |Published| Journal Article | IST-REx-ID: 6150
Gumienny TL, MacNeil LT, Wang H, de Bono M, Wrana JL, Padgett RW. Glypican LON-2 is a conserved negative regulator of BMP-like signaling in Caenorhabditis elegans. Current Biology. 2007;17(2):159-164. doi:10.1016/j.cub.2006.11.065
View
| DOI
| PubMed | Europe PMC
2007 |Published| Book Chapter | IST-REx-ID: 6323 | 
Browning TD. An overview of Manin’s conjecture for del Pezzo surfaces. In: A Tribute to Gauss and Dirichlet. Vol 7. Analytic Number Theory. American Mathematical Society; 2007:39-56.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2007 |Submitted| Preprint | IST-REx-ID: 6321 |
Browning TD. The Manin conjecture in dimension 2. arXiv.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2007 |Published| Journal Article | IST-REx-ID: 860
Plotnikova O, Kondrashov F, Vlasov P, Grigorenko A, Ginter E, Rogaev E. 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. 2007;81(1):32-43. doi:10.1086/518616
View
| DOI
2007 |Published| Journal Article | IST-REx-ID: 879
Kondrashov F, Gurbich T, Vlasov P. Selection for functional uniformity of tuf duplicates in γ-proteobacteria. Trends in Genetics. 2007;23(5):215-218. doi:10.1016/j.tig.2007.03.002
View
| DOI
2007 |Published| Journal Article | IST-REx-ID: 904
Bazykin G, Kondrashov F, Brudno M, Poliakov A, Dubchak I, Kondrashov A. Extensive parallelism in protein evolution. Biology Direct. 2007;2. doi:10.1186/1745-6150-2-20
View
| DOI
2007 |Published| Journal Article | IST-REx-ID: 861
Popadin K, Mamirova L, Kondrashov F. A manually curated database of tetrapod mitochondrially encoded tRNA sequences and secondary structures. BMC Bioinformatics. 2007;8. doi:10.1186/1471-2105-8-441
View
| DOI
2006 |Published| Journal Article | IST-REx-ID: 1033 |
Kraemer T, Mark M, Waldburger P, et al. Evidence for Efimov quantum states in an ultracold gas of caesium atoms. Nature. 2006;440(7082):315-318. doi:10.1038/nature04626
View
| DOI
| Download None (ext.)
2006 |Published| Conference Paper | IST-REx-ID: 1034 |
Nägerl H, Kraemer T, Mark M, et al. Experimental evidence for Efimov quantum states. In: Vol 869. AIP; 2006:269-277. doi:10.1063/1.2400657
View
| DOI
| Download None (ext.)
2006 |Published| Journal Article | IST-REx-ID: 1462 |
Hausel T. Betti numbers of holomorphic symplectic quotients via arithmetic Fourier transform. PNAS. 2006;103(16):6120-6124. doi:10.1073/pnas.0601337103
View
| DOI
| Download (ext.)
2006 |Published| Journal Article | IST-REx-ID: 1461 |
Hausel T, Swartz E. Intersection forms of toric hyperkähler varieties. Proceedings of the American Mathematical Society. 2006;134(8):2403-2409. doi:10.1090/S0002-9939-06-08248-7
View
| DOI
| Download (ext.)
2006 |Published| Journal Article | IST-REx-ID: 1715
Dudu V, Bittig T, Entchev E, Kicheva A, Julicher F, González Gaitán M. Postsynaptic mad signaling at the Drosophila neuromuscular junction. Current Biology. 2006;16(7):625-635. doi:10.1016/j.cub.2006.02.061
View
| Files available
| DOI
2006 |Published| Journal Article | IST-REx-ID: 1745
Katsaros G, Rastelli A, Stoffel M, et al. Investigating the lateral motion of SiGe islands by selective chemical etching. Surface Science. 2006;600(12):2608-2613. doi:10.1016/j.susc.2006.04.027
View
| DOI