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.
1850 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| 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| Journal Article | IST-REx-ID: 9487 | 
Penterman, Jon, et al. “DNA Demethylation in the Arabidopsis Genome.” Proceedings of the National Academy of Sciences, vol. 104, no. 16, National Academy of Sciences, 2007, pp. 6752–57, doi:10.1073/pnas.0701861104.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
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: 11117
D’Angelo, M. A., and Martin Hetzer. “The Role of the Nuclear Envelope in Cellular Organization.” Cellular and Molecular Life Sciences, vol. 63, no. 3, Springer Nature, 2006, pp. 316–32, doi:10.1007/s00018-005-5361-3.
View
| DOI
| PubMed | Europe PMC
2006 |Published| Conference Paper | IST-REx-ID: 11929
Henzinger, Monika H. “Finding Near-Duplicate Web Pages: A Large-Scale Evaluation of Algorithms.” 29th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, Association for Computing Machinery, 2006, pp. 284–91, doi:10.1145/1148170.1148222.
View
| DOI
2006 |Published| Journal Article | IST-REx-ID: 2134
Ehresmann, Arno, 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, vol. 39, no. 6, IOP Publishing Ltd., 2006, pp. L119–26, doi:10.1088/0953-4075/39/6/L03.
View
| DOI
2006 |Published| Journal Article | IST-REx-ID: 215
Browning, Timothy D., and Roger Heath Brown. “The Density of Rational Points on Non-Singular Hypersurfaces, I.” Bulletin of the London Mathematical Society, vol. 38, no. 3, Wiley-Blackwell, 2006, pp. 401–10, doi:10.1112/S0024609305018412.
View
| DOI
2006 |Published| Journal Article | IST-REx-ID: 216
Browning, Timothy D., et al. “Counting Rational Points on Algebraic Varieties.” Duke Mathematical Journal, vol. 132, no. 3, Unknown, 2006, pp. 545–78, doi:10.1215/S0012-7094-06-13236-2.
View
| DOI
2006 |Published| Journal Article | IST-REx-ID: 218
De La Bretèche, Régis, and Timothy D. Browning. “Sums of Arithmetic Functions over Values of Binary Forms.” Acta Arithmetica, vol. 125, no. 3, Instytut Matematyczny, 2006, pp. 291–304, doi:10.4064/aa125-3-6.
View
| DOI
2006 |Published| Conference Paper | IST-REx-ID: 2334 |
Seiringer, Robert, et al. One-Dimensional Behavior of Dilute, Trapped Bose Gases in Traps. Edited by Jean Zambrini, World Scientific Publishing, 2006, doi:10.1007/s00220-003-0993-3.
View
| DOI
| Download (ext.)
2006 |Published| Journal Article | IST-REx-ID: 2365 |
Seiringer, Robert. “The Thermodynamic Pressure of a Dilute Fermi Gas.” Communications in Mathematical Physics, vol. 261, no. 3, Springer, 2006, pp. 729–57, doi:10.1007/s00220-005-1433-3.
View
| DOI
| Download (ext.)
2006 |Published| Book Chapter | IST-REx-ID: 2368
Seiringer, Robert. “Dilute, Trapped Bose Gases and Bose-Einstein Condensation.” Large Coulomb Systems, edited by Jan Dereziński and Heinz Siedentop, vol. 695, Springer, 2006, pp. 249–74, doi:10.1007/3-540-32579-4_6.
View
| DOI
2006 |Published| Book Chapter | IST-REx-ID: 2416
Bang Jensen, Jørgen, et al. “On Six Problems Posed by Jarik Nešetřil.” Topics in Discrete Mathematics, vol. 26, Springer, 2006, pp. 613–27, doi:10.1007/3-540-33700-8_30.
View
| DOI
2006 |Published| Journal Article | IST-REx-ID: 2663
Kodama, Takashi, 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, vol. 24, no. 11, Wiley-Blackwell, 2006, pp. 2993–3007, doi:10.1111/j.1460-9568.2006.05191.x.
View
| DOI
2006 |Published| Journal Article | IST-REx-ID: 2745
Elgart, Alexander, et al. “Gross-Pitaevskii Equation as the Mean Field Limit of Weakly Coupled Bosons.” Archive for Rational Mechanics and Analysis, vol. 179, no. 2, Springer, 2006, pp. 265–83, doi:10.1007/s00205-005-0388-z.
View
| DOI
2006 |Published| Conference Paper | IST-REx-ID: 2746
Erdös, László, et al. Towards the Quantum Brownian Motion. Vol. 690, World Scientific Publishing, 2006, pp. 233–57, doi:10.1007/3-540-34273-7_18.
View
| DOI
2006 |Published| Journal Article | IST-REx-ID: 2792
Hof, Björn, et al. “Observation of Nonlinear Travelling Waves in Turbulent Pipe Flow.” Fluid Mechanics and Its Applications, vol. 78, Springer, 2006, pp. 109–14, doi:10.1007/1-4020-4159-4_11.
View
| DOI