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 (Editor) | IST-REx-ID: 4530
J. Duparc and T. A. Henzinger, CSL: Computer Science Logic , vol. 4646. Springer, 2007.
View | DOI
 

2007 |Published| Conference Paper | IST-REx-ID: 4537
K. Chatterjee and T. A. Henzinger, “Assume-guarantee synthesis,” presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, 2007, vol. 4424, pp. 261–275.
View | DOI
 

2007 |Published| Journal Article | IST-REx-ID: 4547
K. Chatterjee, L. Doyen, T. A. Henzinger, and J. Raskin, “Algorithms for omega-regular games with imperfect information,” Logical Methods in Computer Science, vol. 3, no. 184. International Federation of Computational Logic, pp. 1–23, 2007.
View | DOI
 

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
 

2007 |Published| Journal Article | IST-REx-ID: 8511
A. Gorodetski and V. Kaloshin, “How often surface diffeomorphisms have infinitely many sinks and hyperbolicity of periodic points near a homoclinic tangency,” Advances in Mathematics, vol. 208, no. 2. Elsevier, pp. 710–797, 2007.
View | DOI
 

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: 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| Book Review | IST-REx-ID: 2363 | OA
É. Lieb and R. Seiringer, “Derivation of the Gross-Pitaevskii equation for rotating Bose gases,” Communications in Mathematical Physics, vol. 264, no. 2. Springer, pp. 505–537, 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
 

Filters and Search Terms

isbn%3D978-3-642-40707-9

Search

Filter Publications