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, Christoph, and Uli Wagner. “The Clique Problem in Intersection Graphs of Ellipses and Triangles.” Theory of Computing Systems. Springer, 2005. https://doi.org/10.1007/s00224-005-1141-6.
View | DOI
 

2005 | Published | Conference Paper | IST-REx-ID: 2428
Fiat, Amos, Meital Levy, Jiří Matoušek, Elchanan Pach, Micha Sharir, Shakhar Smorodinsky, Uli Wagner, and Emo Welzl. “Online Conflict-Free Coloring for Intervals,” 545–54. SIAM, 2005. https://doi.org/10.1137/S0097539704446682.
View | DOI
 

2005 | Published | Conference Paper | IST-REx-ID: 4560
Chakrabarti, Arindam, Krishnendu Chatterjee, Thomas A Henzinger, Orna Kupferman, and Ritankar Majumdar. “Verifying Quantitative Properties Using Bound Functions,” 3725:50–64. Springer, 2005. https://doi.org/10.1007/11560548_7.
View | DOI
 

2005 | Published | Conference Paper | IST-REx-ID: 4576
Beyer, Dirk, Arindam Chakrabarti, and Thomas A Henzinger. “Web Service Interfaces,” 148–59. ACM, 2005. https://doi.org/10.1145/1060745.1060770.
View | DOI
 

2005 | Published | Conference Paper | IST-REx-ID: 4579
Beyer, Dirk, Thomas A Henzinger, Ranjit Jhala, and Ritankar Majumdar. “Checking Memory Safety with BLAST,” 3442:2–18. Springer, 2005. https://doi.org/10.1007/978-3-540-31984-9_2.
View | DOI
 

2005 | Published | Conference Paper | IST-REx-ID: 4624
De Alfaro, Luca, and Thomas A Henzinger. “Interface-Based Design,” 195:83–104. Springer, 2005. https://doi.org/10.1007/1-4020-3532-2_3.
View | DOI
 

2005 | Published | Journal Article | IST-REx-ID: 4625
De Alfaro, Luca, Marco Faella, Thomas A Henzinger, Ritankar Majumdar, and Mariëlle Stoelinga. “Model Checking Discounted Temporal Properties.” Theoretical Computer Science. Elsevier, 2005. https://doi.org/10.1016/j.tcs.2005.07.033.
View | DOI
 

2005 | Published | Conference Paper | IST-REx-ID: 575
Hosten, Onur, Matthew Rakher, Julio Barreiro, Nicholas Peters, and Paul Kwiat. “Counterfactual Quantum Computation,” 1:365–67. IEEE, 2005. https://doi.org/ 10.1109/QELS.2005.1548783.
View | DOI
 

2005 | Published | Journal Article | IST-REx-ID: 6153
Bono, Mario de, and Andres Villu Maricq. “Neuronal Substrates of Complex Behaviors in C. Elegans.” Annual Review of Neuroscience. Annual Reviews, 2005. https://doi.org/10.1146/annurev.neuro.27.070203.144259.
View | DOI | PubMed | Europe PMC
 

2005 | Published | Journal Article | IST-REx-ID: 6154
Cheung, Benny H.H., Merav Cohen, Candida Rogers, Onder Albayram, and Mario de Bono. “Experience-Dependent Modulation of C. Elegans Behavior by Ambient Oxygen.” Current Biology. Elsevier, 2005. https://doi.org/10.1016/j.cub.2005.04.017.
View | DOI | PubMed | Europe PMC
 

2005 | Published | Book Chapter | IST-REx-ID: 1444 | OA
Hausel, Tamás. “Mirror Symmetry and Langlands Duality in the Non-Abelian Hodge Theory of a Curve.” In Geometric Methods in Algebra and Number Theory, 235:193–217. Springer, 2005. https://doi.org/10.1007/0-8176-4417-2_9.
View | DOI | Download (ext.)
 

2005 | Published | Journal Article | IST-REx-ID: 1447 | OA
Hausel, Tamás. “Quaternionic Geometry of Matroids.” Open Mathematics. Central European Science Journals, 2005. https://doi.org/10.2478/BF02475653.
View | DOI | Download (ext.)
 

2005 | Published | Journal Article | IST-REx-ID: 1463 | OA
Hausel, Tamás, and Nicholas Proudfoot. “Abelianization for Hyperkähler Quotients.” Topology. Elsevier, 2005. https://doi.org/10.1016/j.top.2004.04.002.
View | DOI | Download (ext.)
 

2005 | Published | Journal Article | IST-REx-ID: 13431
Smoukov, S. K., K. J. M. Bishop, Rafal Klajn, C. J. Campbell, and B. A. Grzybowski. “Cutting into Solids with Micropatterned Gels.” Advanced Materials. Wiley, 2005. https://doi.org/10.1002/adma.200402086.
View | DOI | PubMed | Europe PMC
 

2005 | Published | Journal Article | IST-REx-ID: 13432
Campbell, Christopher J., Rafal Klajn, Marcin Fialkowski, and Bartosz A. Grzybowski. “One-Step Multilevel Microfabrication by Reaction−diffusion.” Langmuir. American Chemical Society, 2005. https://doi.org/10.1021/la0487747.
View | DOI | PubMed | Europe PMC
 

2005 | Published | Journal Article | IST-REx-ID: 13433
Witt, Dariusz, Rafal Klajn, Piotr Barski, and Bartosz Grzybowski. “Applications, Properties and Synthesis of w-Functionalized n-Alkanethiols and Disulfides - the Building Blocks of Self-Assembled Monolayers.” Current Organic Chemistry. Bentham Science, 2005. https://doi.org/10.2174/1385272043369421.
View | DOI
 

2005 | Published | Journal Article | IST-REx-ID: 9491 | OA
Tran, Robert K., Jorja G. Henikoff, Daniel Zilberman, Renata F. Ditt, Steven E. Jacobsen, and Steven Henikoff. “DNA Methylation Profiling Identifies CG Methylation Clusters in Arabidopsis Genes.” Current Biology. Elsevier, 2005. https://doi.org/10.1016/j.cub.2005.01.008.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2005 | Published | Journal Article | IST-REx-ID: 9514 | OA
Tran, Robert K., Daniel Zilberman, Cecilia de Bustos, Renata F. Ditt, Jorja G. Henikoff, Anders M. Lindroth, Jeffrey Delrow, et al. “Chromatin and SiRNA Pathways Cooperate to Maintain DNA Methylation of Small Transposable Elements in Arabidopsis.” Genome Biology. Springer Nature, 2005. https://doi.org/10.1186/gb-2005-6-11-r90.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2005 | Published | Journal Article | IST-REx-ID: 9529
Zilberman, Daniel, and Steven Henikoff. “Epigenetic Inheritance in Arabidopsis: Selective Silence.” Current Opinion in Genetics and Development. Elsevier, 2005. https://doi.org/10.1016/j.gde.2005.07.002.
View | DOI | PubMed | Europe PMC
 

2005 | Published | Journal Article | IST-REx-ID: 11904
Henzinger, Monika H, Bay-Wei Chang, Brian Milch, and Sergey Brin. “Query-Free News Search.” World Wide Web. Springer Nature, 2005. https://doi.org/10.1007/s11280-004-4870-6.
View | Files available | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed