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.
1790 Publications
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| 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| Journal Article | IST-REx-ID: 9487 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Penterman J, Zilberman D, Huh JH, Ballinger T, Henikoff S, Fischer RL. DNA demethylation in the Arabidopsis genome. Proceedings of the National Academy of Sciences. 2007;104(16):6752-6757. doi:10.1073/pnas.0701861104
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2007 |Published| Journal Article | IST-REx-ID: 8511
Gorodetski A, Kaloshin V. How often surface diffeomorphisms have infinitely many sinks and hyperbolicity of periodic points near a homoclinic tangency. Advances in Mathematics. 2007;208(2):710-797. doi:10.1016/j.aim.2006.03.012
View
| DOI
2006 |Published| Conference Paper | IST-REx-ID: 1034 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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: 11117
D’Angelo MA, Hetzer M. The role of the nuclear envelope in cellular organization. Cellular and Molecular Life Sciences. 2006;63(3):316-332. doi:10.1007/s00018-005-5361-3
View
| DOI
| PubMed | Europe PMC
2006 |Published| Conference Paper | IST-REx-ID: 11929
Henzinger MH. Finding near-duplicate web pages: A large-scale evaluation of algorithms. In: 29th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval. Association for Computing Machinery; 2006:284-291. doi:10.1145/1148170.1148222
View
| DOI
2006 |Published| Journal Article | IST-REx-ID: 2134
Ehresmann A, Werner L, Klumpp S, et al. 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. Journal of Physics B: Atomic, Molecular and Optical Physics. 2006;39(6):L119-L126. doi:10.1088/0953-4075/39/6/L03
View
| DOI
2006 |Published| Journal Article | IST-REx-ID: 215
Browning TD, Heath Brown R. The density of rational points on non-singular hypersurfaces, I. Bulletin of the London Mathematical Society. 2006;38(3):401-410. doi:10.1112/S0024609305018412
View
| DOI
2006 |Published| Journal Article | IST-REx-ID: 218
De La Bretèche R, Browning TD. Sums of arithmetic functions over values of binary forms. Acta Arithmetica. 2006;125(3):291-304. doi:10.4064/aa125-3-6
View
| DOI
2006 |Published| Conference Paper | IST-REx-ID: 2334 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Seiringer R, Lieb É, Yngvason J. One-dimensional behavior of dilute, trapped Bose gases in traps. In: Zambrini J, ed. World Scientific Publishing; 2006. doi:10.1007/s00220-003-0993-3
View
| DOI
| Download (ext.)
2006 |Published| Book Review | IST-REx-ID: 2363 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Lieb É, Seiringer R. Derivation of the Gross-Pitaevskii equation for rotating Bose gases. Communications in Mathematical Physics. 2006;264(2):505-537. doi:10.1007/s00220-006-1524-9
View
| DOI
| Download (ext.)
2006 |Published| Journal Article | IST-REx-ID: 2365 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Seiringer R. The thermodynamic pressure of a dilute fermi gas. Communications in Mathematical Physics. 2006;261(3):729-757. doi:10.1007/s00220-005-1433-3
View
| DOI
| Download (ext.)
2006 |Published| Book Chapter | IST-REx-ID: 2368
Seiringer R. Dilute, trapped Bose gases and Bose-Einstein condensation. In: Dereziński J, Siedentop H, eds. Large Coulomb Systems. Vol 695. Springer; 2006:249-274. doi:10.1007/3-540-32579-4_6
View
| DOI
2006 |Published| Book Chapter | IST-REx-ID: 2416
Bang Jensen J, Reed B, Schacht B, Šámal R, Toft B, Wagner U. On six problems posed by Jarik Nešetřil. In: Topics in Discrete Mathematics. Vol 26. Springer; 2006:613-627. doi:10.1007/3-540-33700-8_30
View
| DOI
2006 |Published| Journal Article | IST-REx-ID: 2663
Kodama T, Itsukaichi Nishida Y, Fukazawa Y, et al. A CaV2.1 calcium channel mutation rocker reduces the number of postsynaptic AMPA receptors in parallel fiber-Purkinje cell synapses. European Journal of Neuroscience. 2006;24(11):2993-3007. doi:10.1111/j.1460-9568.2006.05191.x
View
| DOI
2006 |Published| Journal Article | IST-REx-ID: 2745
Elgart A, Erdös L, Schlein B, Yau H. Gross-Pitaevskii equation as the mean field limit of weakly coupled bosons. Archive for Rational Mechanics and Analysis. 2006;179(2):265-283. doi:10.1007/s00205-005-0388-z
View
| DOI
2006 |Published| Conference Paper | IST-REx-ID: 2746
Erdös L, Salmhofer M, Yau H. Towards the quantum Brownian motion. In: Vol 690. World Scientific Publishing; 2006:233-257. doi:10.1007/3-540-34273-7_18
View
| DOI
2006 |Published| Journal Article | IST-REx-ID: 2792
Hof B, Van Doorne C, Westerweel J, Nieuwstadt F. Observation of nonlinear travelling waves in turbulent pipe flow. Fluid Mechanics and its Applications. 2006;78:109-114. doi:10.1007/1-4020-4159-4_11
View
| DOI
2006 |Published| Journal Article | IST-REx-ID: 3016
Sauer M, Balla J, Luschnig C, et al. Canalization of auxin flow by Aux/IAA-ARF-dependent feedback regulation of PIN polarity. Genes and Development. 2006;20(20):2902-2911. doi:10.1101/gad.390806
View
| Files available
| DOI