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.

8923 Publications


2005 | Published | Journal Article | IST-REx-ID: 2427
Ambühl C, Wagner U. 2005. The Clique problem in intersection graphs of ellipses and triangles. Theory of Computing Systems. 38(3), 279–292.
View | DOI
 

2005 | Published | Conference Paper | IST-REx-ID: 2428
Fiat A, Levy M, Matoušek J, Pach E, Sharir M, Smorodinsky S, Wagner U, Welzl E. 2005. Online conflict-free coloring for intervals. SODA: Symposium on Discrete Algorithms, 545–554.
View | DOI
 

2005 | Published | Conference Paper | IST-REx-ID: 4560
Chakrabarti A, Chatterjee K, Henzinger TA, Kupferman O, Majumdar R. 2005. Verifying quantitative properties using bound functions. CHARME: Correct Hardware Design and Verification Methods, LNCS, vol. 3725, 50–64.
View | DOI
 

2005 | Published | Conference Paper | IST-REx-ID: 4576
Beyer D, Chakrabarti A, Henzinger TA. 2005. Web service interfaces. WWW: World Wide Web Conference, 148–159.
View | DOI
 

2005 | Published | Conference Paper | IST-REx-ID: 4579
Beyer D, Henzinger TA, Jhala R, Majumdar R. 2005. Checking memory safety with BLAST. FASE: Fundamental Approaches To Software Engineering, LNCS, vol. 3442, 2–18.
View | DOI
 

2005 | Published | Conference Paper | IST-REx-ID: 4624
De Alfaro L, Henzinger TA. 2005. Interface-based design. Engineering Theories of Software Intensive Systems, NATO Science Series: Mathematics, Physics, and Chemistry, vol. 195, 83–104.
View | DOI
 

2005 | Published | Journal Article | IST-REx-ID: 4625
De Alfaro L, Faella M, Henzinger TA, Majumdar R, Stoelinga M. 2005. Model checking discounted temporal properties. Theoretical Computer Science. 345(1), 139–170.
View | DOI
 

2005 | Published | Conference Paper | IST-REx-ID: 575
Hosten O, Rakher M, Barreiro J, Peters N, Kwiat P. 2005. Counterfactual quantum computation. QELS: Quantum Electronics and Laser Science, QELS, vol. 1, 365–367.
View | DOI
 

2005 | Published | Journal Article | IST-REx-ID: 6153
de Bono M, Villu Maricq A. 2005. Neuronal substrates of complex behaviors in C. elegans. Annual Review of Neuroscience. 28, 451–501.
View | DOI | PubMed | Europe PMC
 

2005 | Published | Journal Article | IST-REx-ID: 6154
Cheung BHH, Cohen M, Rogers C, Albayram O, de Bono M. 2005. Experience-dependent modulation of C. elegans behavior by ambient oxygen. Current Biology. 15(10), 905–917.
View | DOI | PubMed | Europe PMC
 

2005 | Published | Book Chapter | IST-REx-ID: 1444 | OA
Hausel T. 2005.Mirror symmetry and Langlands duality in the non-Abelian Hodge theory of a curve. In: Geometric Methods in Algebra and Number Theory. Progress in Mathematics, vol. 235, 193–217.
View | DOI | Download (ext.)
 

2005 | Published | Journal Article | IST-REx-ID: 1447 | OA
Hausel T. 2005. Quaternionic geometry of matroids. Open Mathematics. 3(1), 26–38.
View | DOI | Download (ext.)
 

2005 | Published | Journal Article | IST-REx-ID: 1463 | OA
Hausel T, Proudfoot N. 2005. Abelianization for hyperkähler quotients. Topology. 44(1), 231–248.
View | DOI | Download (ext.)
 

2005 | Published | Journal Article | IST-REx-ID: 13431
Smoukov SK, Bishop KJM, Klajn R, Campbell CJ, Grzybowski BA. 2005. Cutting into solids with micropatterned gels. Advanced Materials. 17(11), 1361–1365.
View | DOI | PubMed | Europe PMC
 

2005 | Published | Journal Article | IST-REx-ID: 13432
Campbell CJ, Klajn R, Fialkowski M, Grzybowski BA. 2005. One-step multilevel microfabrication by reaction−diffusion. Langmuir. 21(1), 418–423.
View | DOI | PubMed | Europe PMC
 

2005 | Published | Journal Article | IST-REx-ID: 13433
Witt D, Klajn R, Barski P, Grzybowski B. 2005. Applications, properties and synthesis of w-functionalized n-alkanethiols and disulfides - the building blocks of self-assembled monolayers. Current Organic Chemistry. 8(18), 1763–1797.
View | DOI
 

2005 | Published | Journal Article | IST-REx-ID: 9491 | OA
Tran RK, Henikoff JG, Zilberman D, Ditt RF, Jacobsen SE, Henikoff S. 2005. DNA methylation profiling identifies CG methylation clusters in Arabidopsis genes. Current Biology. 15(2), 154–159.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2005 | Published | Journal Article | IST-REx-ID: 9514 | OA
Tran RK, Zilberman D, de Bustos C, Ditt RF, Henikoff JG, Lindroth AM, Delrow J, Boyle T, Kwong S, Bryson TD, Jacobsen SE, Henikoff S. 2005. Chromatin and siRNA pathways cooperate to maintain DNA methylation of small transposable elements in Arabidopsis. Genome Biology. 6(11), R90.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2005 | Published | Journal Article | IST-REx-ID: 9529
Zilberman D, Henikoff S. 2005. Epigenetic inheritance in Arabidopsis: Selective silence. Current Opinion in Genetics and Development. 15(5), 557–562.
View | DOI | PubMed | Europe PMC
 

2005 | Published | Journal Article | IST-REx-ID: 11904
Henzinger MH, Chang B-W, Milch B, Brin S. 2005. Query-free news search. World Wide Web. 8(2), 101–126.
View | Files available | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed