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.
7031 Publications
2007 |Published| Conference Paper | IST-REx-ID: 4570
Minimum-time reachability in timed games
T. Brihaye, T.A. Henzinger, V. Prabhu, J. Raskin, in:, Springer, 2007, pp. 825–837.
View
| DOI
T. Brihaye, T.A. Henzinger, V. Prabhu, J. Raskin, in:, Springer, 2007, pp. 825–837.
2007 |Published| Conference Paper | IST-REx-ID: 4573
Configurable software verification: Concretizing the convergence of model checking and program analysis
D. Beyer, T.A. Henzinger, G. Théoduloz, in:, Springer, 2007, pp. 504–518.
View
| DOI
D. Beyer, T.A. Henzinger, G. Théoduloz, in:, Springer, 2007, pp. 504–518.
2007 |Published| Conference Paper | IST-REx-ID: 4572
Invariant synthesis for combined theories
D. Beyer, T.A. Henzinger, R. Majumdar, A. Rybalchenko, in:, Springer, 2007, pp. 378–394.
View
| DOI
D. Beyer, T.A. Henzinger, R. Majumdar, A. Rybalchenko, in:, Springer, 2007, pp. 378–394.
2007 |Published| Conference Paper | IST-REx-ID: 4571
Path invariants
D. Beyer, T.A. Henzinger, R. Majumdar, A. Rybalchenko, in:, ACM, 2007, pp. 300–309.
View
| DOI
D. Beyer, T.A. Henzinger, R. Majumdar, A. Rybalchenko, in:, ACM, 2007, pp. 300–309.
2007 |Published| Conference Paper | IST-REx-ID: 4575
An application of web-service interfaces
D. Beyer, A. Chakrabarti, T.A. Henzinger, S. Seshia, in:, IEEE, 2007, pp. 831–838.
View
| DOI
D. Beyer, A. Chakrabarti, T.A. Henzinger, S. Seshia, in:, IEEE, 2007, pp. 831–838.
2007 |Published| Journal Article | IST-REx-ID: 4626
Concurrent reachability games
L. De Alfaro, T.A. Henzinger, O. Kupferman, Theoretical Computer Science 386 (2007) 188–217.
View
| DOI
L. De Alfaro, T.A. Henzinger, O. Kupferman, Theoretical Computer Science 386 (2007) 188–217.
2007 |Published| Conference Paper | IST-REx-ID: 582
Observing the spin hall effect of light via quantum weak measurements
O. Hosten, P. Kwiat, in:, OSA, 2007.
View
| DOI
O. Hosten, P. Kwiat, in:, OSA, 2007.
2007 |Published| Journal Article | IST-REx-ID: 6150
Glypican LON-2 is a conserved negative regulator of BMP-like signaling in Caenorhabditis elegans
T.L. Gumienny, L.T. MacNeil, H. Wang, M. de Bono, J.L. Wrana, R.W. Padgett, Current Biology 17 (2007) 159–164.
View
| DOI
| PubMed | Europe PMC
T.L. Gumienny, L.T. MacNeil, H. Wang, M. de Bono, J.L. Wrana, R.W. Padgett, Current Biology 17 (2007) 159–164.
2007 |Published| Book Chapter | IST-REx-ID: 6323 |
An overview of Manin's conjecture for del Pezzo surfaces
T.D. Browning, in:, A Tribute to Gauss and Dirichlet, American Mathematical Society, 2007, pp. 39–56.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
T.D. Browning, in:, A Tribute to Gauss and Dirichlet, American Mathematical Society, 2007, pp. 39–56.
2007 |Submitted| Preprint | IST-REx-ID: 6321 |
The Manin conjecture in dimension 2
T.D. Browning, ArXiv (n.d.).
[Preprint]
View
| Download Preprint (ext.)
| arXiv
T.D. Browning, ArXiv (n.d.).
2007 |Published| Journal Article | IST-REx-ID: 860
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
O. Plotnikova, F. Kondrashov, P. Vlasov, A. Grigorenko, E. Ginter, E. Rogaev, American Journal of Human Genetics 81 (2007) 32–43.
View
| DOI
O. Plotnikova, F. Kondrashov, P. Vlasov, A. Grigorenko, E. Ginter, E. Rogaev, American Journal of Human Genetics 81 (2007) 32–43.
2007 |Published| Journal Article | IST-REx-ID: 879
Selection for functional uniformity of tuf duplicates in γ-proteobacteria
F. Kondrashov, T. Gurbich, P. Vlasov, Trends in Genetics 23 (2007) 215–218.
View
| DOI
F. Kondrashov, T. Gurbich, P. Vlasov, Trends in Genetics 23 (2007) 215–218.
2007 |Published| Journal Article | IST-REx-ID: 904
Extensive parallelism in protein evolution
G. Bazykin, F. Kondrashov, M. Brudno, A. Poliakov, I. Dubchak, A. Kondrashov, Biology Direct 2 (2007).
View
| DOI
G. Bazykin, F. Kondrashov, M. Brudno, A. Poliakov, I. Dubchak, A. Kondrashov, Biology Direct 2 (2007).
2007 |Published| Journal Article | IST-REx-ID: 861
A manually curated database of tetrapod mitochondrially encoded tRNA sequences and secondary structures
K. Popadin, L. Mamirova, F. Kondrashov, BMC Bioinformatics 8 (2007).
View
| DOI
K. Popadin, L. Mamirova, F. Kondrashov, BMC Bioinformatics 8 (2007).
2006 |Published| Journal Article | IST-REx-ID: 1033 |
Evidence for Efimov quantum states in an ultracold gas of caesium atoms
T. Kraemer, M. Mark, P. Waldburger, J.G. Danzl, C. Chin, B. Engeser, A. Lange, K. Pilch, A. Jaakkola, H. Nägerl, R. Grimm, Nature 440 (2006) 315–318.
View
| DOI
| Download None (ext.)
T. Kraemer, M. Mark, P. Waldburger, J.G. Danzl, C. Chin, B. Engeser, A. Lange, K. Pilch, A. Jaakkola, H. Nägerl, R. Grimm, Nature 440 (2006) 315–318.
2006 |Published| Conference Paper | IST-REx-ID: 1034 |
Experimental evidence for Efimov quantum states
H. Nägerl, T. Kraemer, M. Mark, P. Waldburger, J.G. Danzl, B. Engeser, A. Lange, K. Pilch, A. Jaakkola, C. Chin, R. Grimm, in:, AIP, 2006, pp. 269–277.
View
| DOI
| Download None (ext.)
H. Nägerl, T. Kraemer, M. Mark, P. Waldburger, J.G. Danzl, B. Engeser, A. Lange, K. Pilch, A. Jaakkola, C. Chin, R. Grimm, in:, AIP, 2006, pp. 269–277.
2006 |Published| Journal Article | IST-REx-ID: 1462 |
Betti numbers of holomorphic symplectic quotients via arithmetic Fourier transform
T. Hausel, PNAS 103 (2006) 6120–6124.
View
| DOI
| Download (ext.)
T. Hausel, PNAS 103 (2006) 6120–6124.
2006 |Published| Journal Article | IST-REx-ID: 1461 |
Intersection forms of toric hyperkähler varieties
T. Hausel, E. Swartz, Proceedings of the American Mathematical Society 134 (2006) 2403–2409.
View
| DOI
| Download (ext.)
T. Hausel, E. Swartz, Proceedings of the American Mathematical Society 134 (2006) 2403–2409.
2006 |Published| Journal Article | IST-REx-ID: 1715
Postsynaptic mad signaling at the Drosophila neuromuscular junction
V. Dudu, T. Bittig, E. Entchev, A. Kicheva, F. Julicher, M. González Gaitán, Current Biology 16 (2006) 625–635.
View
| Files available
| DOI
V. Dudu, T. Bittig, E. Entchev, A. Kicheva, F. Julicher, M. González Gaitán, Current Biology 16 (2006) 625–635.
2006 |Published| Journal Article | IST-REx-ID: 1745
Investigating the lateral motion of SiGe islands by selective chemical etching
G. Katsaros, A. Rastelli, M. Stoffel, G. Isella, H. Von Känel, A. Bittner, J. Tersoff, U. Denker, O. Schmidt, G. Costantini, K. Kern, Surface Science 600 (2006) 2608–2613.
View
| DOI
G. Katsaros, A. Rastelli, M. Stoffel, G. Isella, H. Von Känel, A. Bittner, J. Tersoff, U. Denker, O. Schmidt, G. Costantini, K. Kern, Surface Science 600 (2006) 2608–2613.