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.

1621 Publications


2007 | Journal Article | IST-REx-ID: 3973
Cohen Steiner D, Edelsbrunner H. 2007. Inequalities for the curvature of curves and surfaces. Foundations of Computational Mathematics. 7(4), 391–404.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 4247
Gardner A, West S, Barton NH. 2007. The relation between multilocus population genetics and social evolution theory. American Naturalist. 169(2), 207–226.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 4399
Beyer D, Henzinger TA, Singh V. 2007. Algorithms for interface synthesis. CAV: Computer Aided Verification, LNCS, vol. 4590, 4–19.
View | DOI
 

2007 | Book Chapter | IST-REx-ID: 4417
Manevich R, Field J, Henzinger TA, Ramalingam G, Sagiv M. 2007.Abstract counterexample-based refinement for powerset domains. In: Program Analysis and Compilation, Theory and Practice: Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday. LNCS, vol. 4444, 273–292.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 4514
Henzinger TA. 2007. Games, time, and probability: Graph models for system design and analysis. SOFSEM: Current Trends in Theory and Practice of Computer Science, LNCS, vol. 4362, 103–110.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 4511
Henzinger TA. 2007. Quantitative generalizations of languages. DLT: Developments in Language Theory, LNCS, vol. 4588, 20–22.
View | DOI
 

2007 | Conference (Editor) | IST-REx-ID: 4530
Duparc J, Henzinger TA. 2007. CSL: Computer Science Logic , Springer,p.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 4537
Chatterjee K, Henzinger TA. 2007. Assume-guarantee synthesis. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 4424, 261–275.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 4547
Chatterjee K, Doyen L, Henzinger TA, Raskin J. 2007. Algorithms for omega-regular games with imperfect information. Logical Methods in Computer Science. 3(184), 1–23.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 4570
Brihaye T, Henzinger TA, Prabhu V, Raskin J. 2007. Minimum-time reachability in timed games. ICALP: Automata, Languages and Programming, LNCS, vol. 4596, 825–837.
View | DOI
 

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

2007 | Conference Paper | IST-REx-ID: 4572
Beyer D, Henzinger TA, Majumdar R, Rybalchenko A. 2007. Invariant synthesis for combined theories. VMCAI: Verification, Model Checking and Abstract Interpretation, LNCS, vol. 4349, 378–394.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 4626
De Alfaro L, Henzinger TA, Kupferman O. 2007. Concurrent reachability games. Theoretical Computer Science. 386(3), 188–217.
View | DOI
 

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

2006 | Conference Paper | IST-REx-ID: 1034 | OA
Nägerl H, Kraemer T, Mark M, Waldburger P, Danzl JG, Engeser B, Lange A, Pilch K, Jaakkola A, Chin C, Grimm R. 2006. Experimental evidence for Efimov quantum states. ICAP: International Conference on Atomic Physics vol. 869, 269–277.
View | DOI | Download None (ext.)
 

2006 | Journal Article | IST-REx-ID: 11117
D’Angelo MA, Hetzer M. 2006. The role of the nuclear envelope in cellular organization. Cellular and Molecular Life Sciences. 63(3), 316–332.
View | DOI | PubMed | Europe PMC
 

2006 | Conference Paper | IST-REx-ID: 11929
Henzinger MH. 2006. Finding near-duplicate web pages: A large-scale evaluation of algorithms. 29th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval. SIGIR: International Conference on Research and Development in Information Retrieval, 284–291.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 2134
Ehresmann A, Werner L, Klumpp S, Demekhin P, Lemeshko M, Sukhorukov V, Schartner K, Schmoranzer H. 2006. 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. 39(6), L119–L126.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 215
Browning TD, Heath Brown R. 2006. The density of rational points on non-singular hypersurfaces, I. Bulletin of the London Mathematical Society. 38(3), 401–410.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 218
De La Bretèche R, Browning TD. 2006. Sums of arithmetic functions over values of binary forms. Acta Arithmetica. 125(3), 291–304.
View | DOI
 

Filters and Search Terms

isbn%3D978-364254630-3

Search

Filter Publications