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, Thomas A Henzinger, Vinayak Prabhu, and Jean Raskin. “Minimum-Time Reachability in Timed Games,” 4596:825–37. Springer, 2007. https://doi.org/10.1007/978-3-540-73420-8_71.
View
| DOI
2007 |Published| Conference Paper | IST-REx-ID: 4573
Beyer, Dirk, Thomas A Henzinger, and Grégory Théoduloz. “Configurable Software Verification: Concretizing the Convergence of Model Checking and Program Analysis,” 4590:504–18. Springer, 2007. https://doi.org/10.1007/978-3-540-73368-3_51.
View
| DOI
2007 |Published| Conference Paper | IST-REx-ID: 4572
Beyer, Dirk, Thomas A Henzinger, Ritankar Majumdar, and Andrey Rybalchenko. “Invariant Synthesis for Combined Theories,” 4349:378–94. Springer, 2007. https://doi.org/10.1007/978-3-540-69738-1_27.
View
| DOI
2007 |Published| Journal Article | IST-REx-ID: 4626
De Alfaro, Luca, Thomas A Henzinger, and Orna Kupferman. “Concurrent Reachability Games.” Theoretical Computer Science. Elsevier, 2007. https://doi.org/10.1016/j.tcs.2007.07.008.
View
| DOI
2007 |Published| Journal Article | IST-REx-ID: 9487 | 
Penterman, Jon, Daniel Zilberman, Jin Hoe Huh, Tracy Ballinger, Steven Henikoff, and Robert L. Fischer. “DNA Demethylation in the Arabidopsis Genome.” Proceedings of the National Academy of Sciences. National Academy of Sciences, 2007. https://doi.org/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, Tobias Kraemer, Michael Mark, Philipp Waldburger, Johann G Danzl, Bastian Engeser, Adam Lange, et al. “Experimental Evidence for Efimov Quantum States,” 869:269–77. AIP, 2006. https://doi.org/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. Springer Nature, 2006. https://doi.org/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.” In 29th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, 284–91. Association for Computing Machinery, 2006. https://doi.org/10.1145/1148170.1148222.
View
| DOI
2006 |Published| Journal Article | IST-REx-ID: 2134
Ehresmann, Arno, Lutz Werner, Stefan Klumpp, Ph Demekhin, Mikhail Lemeshko, V. Sukhorukov, Karl Schartner, and Hans Schmoranzer. “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. IOP Publishing Ltd., 2006. https://doi.org/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. Wiley-Blackwell, 2006. https://doi.org/10.1112/S0024609305018412.
View
| DOI
2006 |Published| Journal Article | IST-REx-ID: 216
Browning, Timothy D, Roger Heath Brown, and Per Salberger. “Counting Rational Points on Algebraic Varieties.” Duke Mathematical Journal. Unknown, 2006. https://doi.org/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. Instytut Matematyczny, 2006. https://doi.org/10.4064/aa125-3-6.
View
| DOI
2006 |Published| Conference Paper | IST-REx-ID: 2334 |
Seiringer, Robert, Élliott Lieb, and Jakob Yngvason. “One-Dimensional Behavior of Dilute, Trapped Bose Gases in Traps.” edited by Jean Zambrini. World Scientific Publishing, 2006. https://doi.org/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. Springer, 2006. https://doi.org/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.” In Large Coulomb Systems, edited by Jan Dereziński and Heinz Siedentop, 695:249–74. Springer, 2006. https://doi.org/10.1007/3-540-32579-4_6.
View
| DOI
2006 |Published| Book Chapter | IST-REx-ID: 2416
Bang Jensen, Jørgen, Bruce Reed, Bruce Schacht, Robert Šámal, Bjarne Toft, and Uli Wagner. “On Six Problems Posed by Jarik Nešetřil.” In Topics in Discrete Mathematics, 26:613–27. Springer, 2006. https://doi.org/10.1007/3-540-33700-8_30.
View
| DOI
2006 |Published| Journal Article | IST-REx-ID: 2663
Kodama, Takashi, Yuko Itsukaichi Nishida, Yugo Fukazawa, Minoru Wakamori, Mariko Miyata, Elek Molnár, Yasuo Mori, Ryuichi Shigemoto, and Keiji Imoto. “A CaV2.1 Calcium Channel Mutation Rocker Reduces the Number of Postsynaptic AMPA Receptors in Parallel Fiber-Purkinje Cell Synapses.” European Journal of Neuroscience. Wiley-Blackwell, 2006. https://doi.org/10.1111/j.1460-9568.2006.05191.x.
View
| DOI
2006 |Published| Journal Article | IST-REx-ID: 2745
Elgart, Alexander, László Erdös, Benjamin Schlein, and Horng Yau. “Gross-Pitaevskii Equation as the Mean Field Limit of Weakly Coupled Bosons.” Archive for Rational Mechanics and Analysis. Springer, 2006. https://doi.org/10.1007/s00205-005-0388-z.
View
| DOI
2006 |Published| Conference Paper | IST-REx-ID: 2746
Erdös, László, Manfred Salmhofer, and Horng Yau. “Towards the Quantum Brownian Motion,” 690:233–57. World Scientific Publishing, 2006. https://doi.org/10.1007/3-540-34273-7_18.
View
| DOI
2006 |Published| Journal Article | IST-REx-ID: 2792
Hof, Björn, Casimir Van Doorne, Jerry Westerweel, and Frans Nieuwstadt. “Observation of Nonlinear Travelling Waves in Turbulent Pipe Flow.” Fluid Mechanics and Its Applications. Springer, 2006. https://doi.org/10.1007/1-4020-4159-4_11.
View
| DOI