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
C. Ambühl and U. Wagner, “The Clique problem in intersection graphs of ellipses and triangles,” Theory of Computing Systems, vol. 38, no. 3. Springer, pp. 279–292, 2005.
View | DOI
 

2005 | Published | Conference Paper | IST-REx-ID: 2428
A. Fiat et al., “Online conflict-free coloring for intervals,” presented at the SODA: Symposium on Discrete Algorithms, 2005, pp. 545–554.
View | DOI
 

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

2005 | Published | Conference Paper | IST-REx-ID: 4576
D. Beyer, A. Chakrabarti, and T. A. Henzinger, “Web service interfaces,” presented at the WWW: World Wide Web Conference, 2005, pp. 148–159.
View | DOI
 

2005 | Published | Conference Paper | IST-REx-ID: 4579
D. Beyer, T. A. Henzinger, R. Jhala, and R. Majumdar, “Checking memory safety with BLAST,” presented at the FASE: Fundamental Approaches To Software Engineering, 2005, vol. 3442, pp. 2–18.
View | DOI
 

2005 | Published | Conference Paper | IST-REx-ID: 4624
L. De Alfaro and T. A. Henzinger, “Interface-based design,” presented at the Engineering Theories of Software Intensive Systems, 2005, vol. 195, pp. 83–104.
View | DOI
 

2005 | Published | Journal Article | IST-REx-ID: 4625
L. De Alfaro, M. Faella, T. A. Henzinger, R. Majumdar, and M. Stoelinga, “Model checking discounted temporal properties,” Theoretical Computer Science, vol. 345, no. 1. Elsevier, pp. 139–170, 2005.
View | DOI
 

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

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

2005 | Published | Journal Article | IST-REx-ID: 6154
B. H. H. Cheung, M. Cohen, C. Rogers, O. Albayram, and M. de Bono, “Experience-dependent modulation of C. elegans behavior by ambient oxygen,” Current Biology, vol. 15, no. 10. Elsevier, pp. 905–917, 2005.
View | DOI | PubMed | Europe PMC
 

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

2005 | Published | Journal Article | IST-REx-ID: 1447 | OA
T. Hausel, “Quaternionic geometry of matroids,” Open Mathematics, vol. 3, no. 1. Central European Science Journals, pp. 26–38, 2005.
View | DOI | Download (ext.)
 

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

2005 | Published | Journal Article | IST-REx-ID: 13431
S. K. Smoukov, K. J. M. Bishop, R. Klajn, C. J. Campbell, and B. A. Grzybowski, “Cutting into solids with micropatterned gels,” Advanced Materials, vol. 17, no. 11. Wiley, pp. 1361–1365, 2005.
View | DOI | PubMed | Europe PMC
 

2005 | Published | Journal Article | IST-REx-ID: 13432
C. J. Campbell, R. Klajn, M. Fialkowski, and B. A. Grzybowski, “One-step multilevel microfabrication by reaction−diffusion,” Langmuir, vol. 21, no. 1. American Chemical Society, pp. 418–423, 2005.
View | DOI | PubMed | Europe PMC
 

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

2005 | Published | Journal Article | IST-REx-ID: 9491 | OA
R. K. Tran, J. G. Henikoff, D. Zilberman, R. F. Ditt, S. E. Jacobsen, and S. Henikoff, “DNA methylation profiling identifies CG methylation clusters in Arabidopsis genes,” Current Biology, vol. 15, no. 2. Elsevier, pp. 154–159, 2005.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2005 | Published | Journal Article | IST-REx-ID: 9514 | OA
R. K. Tran et al., “Chromatin and siRNA pathways cooperate to maintain DNA methylation of small transposable elements in Arabidopsis,” Genome Biology, vol. 6, no. 11. Springer Nature, 2005.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

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

2005 | Published | Journal Article | IST-REx-ID: 11904
M. H. Henzinger, B.-W. Chang, B. Milch, and S. Brin, “Query-free news search,” World Wide Web, vol. 8, no. 2. Springer Nature, pp. 101–126, 2005.
View | Files available | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed