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
T. Brihaye, T. A. Henzinger, V. Prabhu, and J. Raskin, “Minimum-time reachability in timed games,” presented at the ICALP: Automata, Languages and Programming, 2007, vol. 4596, pp. 825–837.
View | DOI
 

2007 |Published| Conference Paper | IST-REx-ID: 4573
D. Beyer, T. A. Henzinger, and G. Théoduloz, “Configurable software verification: Concretizing the convergence of model checking and program analysis,” presented at the CAV: Computer Aided Verification, 2007, vol. 4590, pp. 504–518.
View | DOI
 

2007 |Published| Conference Paper | IST-REx-ID: 4572
D. Beyer, T. A. Henzinger, R. Majumdar, and A. Rybalchenko, “Invariant synthesis for combined theories,” presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, 2007, vol. 4349, pp. 378–394.
View | DOI
 

2007 |Published| Journal Article | IST-REx-ID: 4626
L. De Alfaro, T. A. Henzinger, and O. Kupferman, “Concurrent reachability games,” Theoretical Computer Science, vol. 386, no. 3. Elsevier, pp. 188–217, 2007.
View | DOI
 

2007 |Published| Journal Article | IST-REx-ID: 9487 | OA
J. Penterman, D. Zilberman, J. H. Huh, T. Ballinger, S. Henikoff, and R. L. Fischer, “DNA demethylation in the Arabidopsis genome,” Proceedings of the National Academy of Sciences, vol. 104, no. 16. National Academy of Sciences, pp. 6752–6757, 2007.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2006 |Published| Conference Paper | IST-REx-ID: 1034 | OA
H. Nägerl et al., “Experimental evidence for Efimov quantum states,” presented at the ICAP: International Conference on Atomic Physics, 2006, vol. 869, pp. 269–277.
View | DOI | Download None (ext.)
 

2006 |Published| Journal Article | IST-REx-ID: 11117
M. A. D’Angelo and M. Hetzer, “The role of the nuclear envelope in cellular organization,” Cellular and Molecular Life Sciences, vol. 63, no. 3. Springer Nature, pp. 316–332, 2006.
View | DOI | PubMed | Europe PMC
 

2006 |Published| Conference Paper | IST-REx-ID: 11929
M. H. Henzinger, “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, Seattle, WA, United States, 2006, pp. 284–291.
View | DOI
 

2006 |Published| Journal Article | IST-REx-ID: 2134
A. Ehresmann 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., pp. L119–L126, 2006.
View | DOI
 

2006 |Published| Journal Article | IST-REx-ID: 215
T. D. Browning and R. Heath Brown, “The density of rational points on non-singular hypersurfaces, I,” Bulletin of the London Mathematical Society, vol. 38, no. 3. Wiley-Blackwell, pp. 401–410, 2006.
View | DOI
 

2006 |Published| Journal Article | IST-REx-ID: 216
T. D. Browning, R. Heath Brown, and P. Salberger, “Counting rational points on algebraic varieties,” Duke Mathematical Journal, vol. 132, no. 3. Unknown, pp. 545–578, 2006.
View | DOI
 

2006 |Published| Journal Article | IST-REx-ID: 218
R. De La Bretèche and T. D. Browning, “Sums of arithmetic functions over values of binary forms,” Acta Arithmetica, vol. 125, no. 3. Instytut Matematyczny, pp. 291–304, 2006.
View | DOI
 

2006 |Published| Conference Paper | IST-REx-ID: 2334 | OA
R. Seiringer, É. Lieb, and J. Yngvason, “One-dimensional behavior of dilute, trapped Bose gases in traps,” presented at the ICMP: International Congress on Mathematical Physics, 2006.
View | DOI | Download (ext.)
 

2006 |Published| Journal Article | IST-REx-ID: 2365 | OA
R. Seiringer, “The thermodynamic pressure of a dilute fermi gas,” Communications in Mathematical Physics, vol. 261, no. 3. Springer, pp. 729–757, 2006.
View | DOI | Download (ext.)
 

2006 |Published| Book Chapter | IST-REx-ID: 2368
R. Seiringer, “Dilute, trapped Bose gases and Bose-Einstein condensation,” in Large Coulomb Systems, vol. 695, J. Dereziński and H. Siedentop, Eds. Springer, 2006, pp. 249–274.
View | DOI
 

2006 |Published| Book Chapter | IST-REx-ID: 2416
J. Bang Jensen, B. Reed, B. Schacht, R. Šámal, B. Toft, and U. Wagner, “On six problems posed by Jarik Nešetřil,” in Topics in Discrete Mathematics, vol. 26, Springer, 2006, pp. 613–627.
View | DOI
 

2006 |Published| Journal Article | IST-REx-ID: 2663
T. Kodama 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, pp. 2993–3007, 2006.
View | DOI
 

2006 |Published| Journal Article | IST-REx-ID: 2745
A. Elgart, L. Erdös, B. Schlein, and H. Yau, “Gross-Pitaevskii equation as the mean field limit of weakly coupled bosons,” Archive for Rational Mechanics and Analysis, vol. 179, no. 2. Springer, pp. 265–283, 2006.
View | DOI
 

2006 |Published| Conference Paper | IST-REx-ID: 2746
L. Erdös, M. Salmhofer, and H. Yau, “Towards the quantum Brownian motion,” presented at the QMath: Mathematical Results in Quantum Physics, 2006, vol. 690, pp. 233–257.
View | DOI
 

2006 |Published| Journal Article | IST-REx-ID: 2792
B. Hof, C. Van Doorne, J. Westerweel, and F. Nieuwstadt, “Observation of nonlinear travelling waves in turbulent pipe flow,” Fluid Mechanics and its Applications, vol. 78. Springer, pp. 109–114, 2006.
View | DOI
 

Filters and Search Terms

isbn%3D978-3-030-00150-6

Search

Filter Publications