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.
1849 Publications
2007 | 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 | 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 | 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 | Journal Article | IST-REx-ID: 9487 | 
DNA demethylation in the Arabidopsis genome
J. Penterman, D. Zilberman, J.H. Huh, T. Ballinger, S. Henikoff, R.L. Fischer, Proceedings of the National Academy of Sciences 104 (2007) 6752–6757.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
J. Penterman, D. Zilberman, J.H. Huh, T. Ballinger, S. Henikoff, R.L. Fischer, Proceedings of the National Academy of Sciences 104 (2007) 6752–6757.
2006 | 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 | Journal Article | IST-REx-ID: 11117
The role of the nuclear envelope in cellular organization
M.A. D’Angelo, M. Hetzer, Cellular and Molecular Life Sciences 63 (2006) 316–332.
View
| DOI
| PubMed | Europe PMC
M.A. D’Angelo, M. Hetzer, Cellular and Molecular Life Sciences 63 (2006) 316–332.
2006 | Conference Paper | IST-REx-ID: 11929
Finding near-duplicate web pages: A large-scale evaluation of algorithms
M.H. Henzinger, in:, 29th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, Association for Computing Machinery, 2006, pp. 284–291.
View
| DOI
M.H. Henzinger, in:, 29th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, Association for Computing Machinery, 2006, pp. 284–291.
2006 | Journal Article | IST-REx-ID: 2134
Predissociation of the N+2(C 2Σ+u) state observed via C 2Σ+u → X 2Σ+g fluorescence after resonant 1s−1π* excitation of N2 molecule
A. Ehresmann, L. Werner, S. Klumpp, P. Demekhin, M. Lemeshko, V. Sukhorukov, K. Schartner, H. Schmoranzer, Journal of Physics B: Atomic, Molecular and Optical Physics 39 (2006) L119–L126.
View
| DOI
A. Ehresmann, L. Werner, S. Klumpp, P. Demekhin, M. Lemeshko, V. Sukhorukov, K. Schartner, H. Schmoranzer, Journal of Physics B: Atomic, Molecular and Optical Physics 39 (2006) L119–L126.
2006 | Journal Article | IST-REx-ID: 215
The density of rational points on non-singular hypersurfaces, I
T.D. Browning, R. Heath Brown, Bulletin of the London Mathematical Society 38 (2006) 401–410.
View
| DOI
T.D. Browning, R. Heath Brown, Bulletin of the London Mathematical Society 38 (2006) 401–410.
2006 | Journal Article | IST-REx-ID: 216
Counting rational points on algebraic varieties
T.D. Browning, R. Heath Brown, P. Salberger, Duke Mathematical Journal 132 (2006) 545–578.
View
| DOI
T.D. Browning, R. Heath Brown, P. Salberger, Duke Mathematical Journal 132 (2006) 545–578.
2006 | Journal Article | IST-REx-ID: 218
Sums of arithmetic functions over values of binary forms
R. De La Bretèche, T.D. Browning, Acta Arithmetica 125 (2006) 291–304.
View
| DOI
R. De La Bretèche, T.D. Browning, Acta Arithmetica 125 (2006) 291–304.
2006 | Conference Paper | IST-REx-ID: 2334 |
One-dimensional behavior of dilute, trapped Bose gases in traps
R. Seiringer, É. Lieb, J. Yngvason, in:, J. Zambrini (Ed.), World Scientific Publishing, 2006.
View
| DOI
| Download (ext.)
R. Seiringer, É. Lieb, J. Yngvason, in:, J. Zambrini (Ed.), World Scientific Publishing, 2006.
2006 | Journal Article | IST-REx-ID: 2365 |
The thermodynamic pressure of a dilute fermi gas
R. Seiringer, Communications in Mathematical Physics 261 (2006) 729–757.
View
| DOI
| Download (ext.)
R. Seiringer, Communications in Mathematical Physics 261 (2006) 729–757.
2006 | Book Chapter | IST-REx-ID: 2368
Dilute, trapped Bose gases and Bose-Einstein condensation
R. Seiringer, in:, J. Dereziński, H. Siedentop (Eds.), Large Coulomb Systems, Springer, 2006, pp. 249–274.
View
| DOI
R. Seiringer, in:, J. Dereziński, H. Siedentop (Eds.), Large Coulomb Systems, Springer, 2006, pp. 249–274.
2006 | Book Chapter | IST-REx-ID: 2416
On six problems posed by Jarik Nešetřil
J. Bang Jensen, B. Reed, B. Schacht, R. Šámal, B. Toft, U. Wagner, in:, Topics in Discrete Mathematics, Springer, 2006, pp. 613–627.
View
| DOI
J. Bang Jensen, B. Reed, B. Schacht, R. Šámal, B. Toft, U. Wagner, in:, Topics in Discrete Mathematics, Springer, 2006, pp. 613–627.
2006 | Journal Article | IST-REx-ID: 2663
A CaV2.1 calcium channel mutation rocker reduces the number of postsynaptic AMPA receptors in parallel fiber-Purkinje cell synapses
T. Kodama, Y. Itsukaichi Nishida, Y. Fukazawa, M. Wakamori, M. Miyata, E. Molnár, Y. Mori, R. Shigemoto, K. Imoto, European Journal of Neuroscience 24 (2006) 2993–3007.
View
| DOI
T. Kodama, Y. Itsukaichi Nishida, Y. Fukazawa, M. Wakamori, M. Miyata, E. Molnár, Y. Mori, R. Shigemoto, K. Imoto, European Journal of Neuroscience 24 (2006) 2993–3007.
2006 | Journal Article | IST-REx-ID: 2745
Gross-Pitaevskii equation as the mean field limit of weakly coupled bosons
A. Elgart, L. Erdös, B. Schlein, H. Yau, Archive for Rational Mechanics and Analysis 179 (2006) 265–283.
View
| DOI
A. Elgart, L. Erdös, B. Schlein, H. Yau, Archive for Rational Mechanics and Analysis 179 (2006) 265–283.
2006 | Conference Paper | IST-REx-ID: 2746
Towards the quantum Brownian motion
L. Erdös, M. Salmhofer, H. Yau, in:, World Scientific Publishing, 2006, pp. 233–257.
View
| DOI
L. Erdös, M. Salmhofer, H. Yau, in:, World Scientific Publishing, 2006, pp. 233–257.
2006 | Journal Article | IST-REx-ID: 2792
Observation of nonlinear travelling waves in turbulent pipe flow
B. Hof, C. Van Doorne, J. Westerweel, F. Nieuwstadt, Fluid Mechanics and Its Applications 78 (2006) 109–114.
View
| DOI
B. Hof, C. Van Doorne, J. Westerweel, F. Nieuwstadt, Fluid Mechanics and Its Applications 78 (2006) 109–114.
2006 | Journal Article | IST-REx-ID: 3016
Canalization of auxin flow by Aux/IAA-ARF-dependent feedback regulation of PIN polarity
M. Sauer, J. Balla, C. Luschnig, J. Wiśniewska, V. Reinöhl, J. Friml, E. Benková, Genes and Development 20 (2006) 2902–2911.
View
| Files available
| DOI
M. Sauer, J. Balla, C. Luschnig, J. Wiśniewska, V. Reinöhl, J. Friml, E. Benková, Genes and Development 20 (2006) 2902–2911.