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.
9114 Publications
2005 | Conference Paper | IST-REx-ID: 4457
Henzinger, Thomas A., et al. Composable Code Generation for Distributed Giotto. ACM, 2005, pp. 21–30, doi:10.1145/1065910.1065914.
View
| DOI
2005 | Conference Paper | IST-REx-ID: 4536
Doyen, Laurent, et al. Automatic Rectangular Refinement of Affine Hybrid Systems. Vol. 3829, Springer, 2005, pp. 144–61, doi:DOI: 10.1007/11603009_13.
View
| DOI
2005 | Conference Paper | IST-REx-ID: 4541
Chatterjee, Krishnendu, and Thomas A. Henzinger. Semiperfect-Information Games. Vol. 3821, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2005, pp. 1–18, doi:10.1007/11590156_1.
View
| DOI
2005 | Conference Paper | IST-REx-ID: 4553
Chatterjee, Krishnendu, et al. The Complexity of Stochastic Rabin and Streett Games. Vol. 3580, Springer, 2005, pp. 878–90, doi:10.1007/11523468_71.
View
| DOI
2005 | Conference Paper | IST-REx-ID: 4554
Chatterjee, Krishnendu, et al. Mean-Payoff Parity Games. IEEE, 2005, pp. 178–87, doi:10.1109/LICS.2005.26.
View
| DOI
2005 | Conference Paper | IST-REx-ID: 4560
Chakrabarti, Arindam, et al. Verifying Quantitative Properties Using Bound Functions. Vol. 3725, Springer, 2005, pp. 50–64, doi:10.1007/11560548_7.
View
| DOI
2005 | Conference Paper | IST-REx-ID: 4557
Chatterjee, Krishnendu, et al. Counterexample-Guided Planning. AUAI Press, 2005, pp. 104–11.
View
| Download (ext.)
2005 | Conference Paper | IST-REx-ID: 4579
Beyer, Dirk, et al. Checking Memory Safety with BLAST. Vol. 3442, Springer, 2005, pp. 2–18, doi:10.1007/978-3-540-31984-9_2.
View
| DOI
2005 | Conference Paper | IST-REx-ID: 4576
Beyer, Dirk, et al. Web Service Interfaces. ACM, 2005, pp. 148–59, doi:10.1145/1060745.1060770.
View
| DOI
2005 | Journal Article | IST-REx-ID: 4625
De Alfaro, Luca, et al. “Model Checking Discounted Temporal Properties.” Theoretical Computer Science, vol. 345, no. 1, Elsevier, 2005, pp. 139–70, doi:10.1016/j.tcs.2005.07.033.
View
| DOI
2005 | Conference Paper | IST-REx-ID: 4624
De Alfaro, Luca, and Thomas A. Henzinger. Interface-Based Design. Vol. 195, Springer, 2005, pp. 83–104, doi:10.1007/1-4020-3532-2_3.
View
| DOI
2005 | Conference Paper | IST-REx-ID: 575
Hosten, Onur, et al. Counterfactual Quantum Computation. Vol. 1, IEEE, 2005, pp. 365–67, doi: 10.1109/QELS.2005.1548783.
View
| DOI
2005 | Journal Article | IST-REx-ID: 6153
de Bono, Mario, and Andres Villu Maricq. “Neuronal Substrates of Complex Behaviors in C. Elegans.” Annual Review of Neuroscience, vol. 28, Annual Reviews, 2005, pp. 451–501, doi:10.1146/annurev.neuro.27.070203.144259.
View
| DOI
| PubMed | Europe PMC
2005 | Journal Article | IST-REx-ID: 6154
Cheung, Benny H. H., et al. “Experience-Dependent Modulation of C. Elegans Behavior by Ambient Oxygen.” Current Biology, vol. 15, no. 10, Elsevier, 2005, pp. 905–17, doi:10.1016/j.cub.2005.04.017.
View
| DOI
| PubMed | Europe PMC
2005 | Journal Article | IST-REx-ID: 8028 | 
Vogels, Tim P., and L. F. Abbott. “Signal Propagation and Logic Gating in Networks of Integrate-and-Fire Neurons.” Journal of Neuroscience, vol. 25, no. 46, Society for Neuroscience, 2005, pp. 10786–95, doi:10.1523/jneurosci.3508-05.2005.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2005 | Journal Article | IST-REx-ID: 8029
Vogels, Tim P., et al. “Neural Network Dynamics.” Annual Review of Neuroscience, vol. 28, no. 1, Annual Reviews, 2005, pp. 357–76, doi:10.1146/annurev.neuro.28.061604.135637.
View
| DOI
| PubMed | Europe PMC
2005 | Journal Article | IST-REx-ID: 9491 |
Tran, Robert K., et al. “DNA Methylation Profiling Identifies CG Methylation Clusters in Arabidopsis Genes.” Current Biology, vol. 15, no. 2, Elsevier, 2005, pp. 154–59, doi:10.1016/j.cub.2005.01.008.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2005 | Journal Article | IST-REx-ID: 9514 |
Tran, Robert K., et al. “Chromatin and SiRNA Pathways Cooperate to Maintain DNA Methylation of Small Transposable Elements in Arabidopsis.” Genome Biology, vol. 6, no. 11, R90, Springer Nature, 2005, doi:10.1186/gb-2005-6-11-r90.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2005 | Journal Article | IST-REx-ID: 843
Yampolsky, Lev, et al. “Distribution of the Strength of Selection against Amino Acid Replacements in Human Proteins.” Human Molecular Genetics, vol. 14, no. 21, Oxford University Press, 2005, pp. 3191–201, doi:10.1093/hmg/ddi350.
View
| DOI
2005 | Journal Article | IST-REx-ID: 8491
Schanda, Paul, et al. “SOFAST-HMQC Experiments for Recording Two-Dimensional Deteronuclear Correlation Spectra of Proteins within a Few Seconds.” Journal of Biomolecular NMR, vol. 33, no. 4, Springer Nature, 2005, pp. 199–211, doi:10.1007/s10858-005-4425-x.
View
| DOI
2005 | Journal Article | IST-REx-ID: 8492
Schanda, Paul, and Bernhard Brutscher. “Very Fast Two-Dimensional NMR Spectroscopy for Real-Time Investigation of Dynamic Events in Proteins on the Time Scale of Seconds.” Journal of the American Chemical Society, vol. 127, no. 22, American Chemical Society, 2005, pp. 8014–15, doi:10.1021/ja051306e.
View
| DOI
2005 | Journal Article | IST-REx-ID: 8516
Bourgain, Jean, and Vadim Kaloshin. “On Diffusion in High-Dimensional Hamiltonian Systems.” Journal of Functional Analysis, vol. 229, no. 1, Elsevier, 2005, pp. 1–61, doi:10.1016/j.jfa.2004.09.006.
View
| DOI
2005 | Journal Article | IST-REx-ID: 877
Kondrashov, Fyodor. “The Analysis of Monomer Sequences in Protein and TRNA and the Manifestation of the Compensation of Pathogenic Deviations in Their Evolution.” Biofizika, vol. 50, no. 3, Pleiades Publishing, 2005, pp. 389–95.
View
| Download None (ext.)
| PubMed | Europe PMC
2005 | Journal Article | IST-REx-ID: 878
Kondrashov, Fyodor. “In Search of the Limits of Evolution.” Nature Genetics, vol. 37, no. 1, Nature Publishing Group, 2005, pp. 9–10, doi:10.1038/ng0105-9.
View
| DOI
2005 | Journal Article | IST-REx-ID: 882
Kondrashov, Fyodor. “Prediction of Pathogenic Mutations in Mitochondrially Encoded Human TRNAs.” Human Molecular Genetics, vol. 14, no. 16, Oxford University Press, 2005, pp. 2415–19, doi:10.1093/hmg/ddi243.
View
| DOI
2005 | Journal Article | IST-REx-ID: 880
Kondrashov, Fyodor. “The Convergent Evolution of the Secondary Structure of Mitochondrial Cysteine TRNA in the Nine-Banded Armadillo Dasypus Novemcinctus.” Biofizika, vol. 50, no. 3, Pleiades Publishing, 2005, pp. 396–403.
View
| Download None (ext.)
| PubMed | Europe PMC
2005 | Journal Article | IST-REx-ID: 893
Jordan, Ingo, et al. “A Universal Trend of Amino Acid Gain and Loss in Protein Evolution.” Nature, vol. 433, no. 7026, Nature Publishing Group, 2005, pp. 633–38, doi:10.1038/nature03306.
View
| DOI
2005 | Journal Article | IST-REx-ID: 9529
Zilberman, Daniel, and Steven Henikoff. “Epigenetic Inheritance in Arabidopsis: Selective Silence.” Current Opinion in Genetics and Development, vol. 15, no. 5, Elsevier, 2005, pp. 557–62, doi:10.1016/j.gde.2005.07.002.
View
| DOI
| PubMed | Europe PMC
2005 | Journal Article | IST-REx-ID: 13431
Smoukov, S. K., et al. “Cutting into Solids with Micropatterned Gels.” Advanced Materials, vol. 17, no. 11, Wiley, 2005, pp. 1361–65, doi:10.1002/adma.200402086.
View
| DOI
| PubMed | Europe PMC
2005 | Journal Article | IST-REx-ID: 13433
Witt, Dariusz, et al. “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, 2005, pp. 1763–97, doi:10.2174/1385272043369421.
View
| DOI
2005 | Journal Article | IST-REx-ID: 13432
Campbell, Christopher J., et al. “One-Step Multilevel Microfabrication by Reaction−diffusion.” Langmuir, vol. 21, no. 1, American Chemical Society, 2005, pp. 418–23, doi:10.1021/la0487747.
View
| DOI
| PubMed | Europe PMC
2004 | Journal Article | IST-REx-ID: 11762 |
Henzinger, Monika H. “Algorithmic Challenges in Web Search Engines.” Internet Mathematics, vol. 1, no. 1, Internet Mathematics, 2004, pp. 115–23, doi:10.1080/15427951.2004.10129079.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2004 | Conference Paper | IST-REx-ID: 11801
Henzinger, Monika H. “Algorithmic Aspects of Web Search Engines.” 2th Annual European Symposium on Algorithms, vol. 3221, Springer Nature, 2004, p. 3, doi:10.1007/978-3-540-30140-0_2.
View
| DOI
2004 | Conference Paper | IST-REx-ID: 11800
Henzinger, Monika H. “The Past, Present, and Future of Web Search Engines.” 31st International Colloquium on Automata, Languages and Programming, vol. 3142, Springer Nature, 2004, p. 3, doi:10.1007/978-3-540-27836-8_2.
View
| DOI
2004 | Conference Paper | IST-REx-ID: 11859
Henzinger, Monika H. “The Past, Present, and Future of Web Information Retrieval.” SPIE Proceedings, vol. 5296, Society of Photo-Optical Instrumentation Engineers, 2004, pp. 23–26, doi:10.1117/12.537534.
View
| DOI
2004 | Journal Article | IST-REx-ID: 11877 |
Henzinger, Monika H., and Steve Lawrence. “Extracting Knowledge from the World Wide Web.” Proceedings of the National Academy of Sciences, vol. 101, no. suppl_1, Proceedings of the National Academy of Sciences, 2004, pp. 5186–91, doi:10.1073/pnas.0307528100.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2004 | Journal Article | IST-REx-ID: 12658
Strasser, Ulrich, et al. “Spatial and Temporal Variability of Meteorological Variables at Haut Glacier d’Arolla (Switzerland) during the Ablation Season 2001: Measurements and Simulations.” Journal of Geophysical Research: Atmospheres, vol. 109, no. D3, D03103, American Geophysical Union, 2004, doi:10.1029/2003jd003973.
View
| DOI
2004 | Journal Article | IST-REx-ID: 1456 |
Hausel, Tamás, et al. “Hodge Cohomology of Gravitational Instantons.” Duke Mathematical Journal, vol. 122, no. 3, Duke University Press, 2004, pp. 485–548, doi:10.1215/S0012-7094-04-12233-X.
View
| DOI
| Download (ext.)
2004 | Journal Article | IST-REx-ID: 1464 |
Hausel, Tamás, and Michael Thaddeus. “Generators for the Cohomology Ring of the Moduli Space of Rank 2 Higgs Bundles.” Proceedings of the London Mathematical Society, vol. 88, no. 3, Oxford University Press, 2004, pp. 632–58, doi:10.1112/S0024611503014618.
View
| DOI
| Download (ext.)
2004 | Journal Article | IST-REx-ID: 1963
Mamedova, Aygun, et al. “Substrate-Induced Conformational Change in Bacterial Complex I.” Journal of Biological Chemistry, vol. 279, no. 22, American Society for Biochemistry and Molecular Biology, 2004, pp. 23830–36, doi:10.1074/jbc.M401539200.
View
| DOI
2004 | Journal Article | IST-REx-ID: 209
Browning, Timothy D., and Roger Heath Brown. “Equal Sums of Three Powers.” Inventiones Mathematicae, vol. 157, no. 3, Unknown, 2004, pp. 553–73, doi:10.1007/s00222-004-0360-9.
View
| DOI
2004 | Journal Article | IST-REx-ID: 2308
Novarino, Gaia, et al. “Involvement of the Intracellular Ion Channel CLIC1 in Microglia-Mediated β-Amyloid-Induced Neurotoxicity.” Journal of Neuroscience, vol. 24, no. 23, Society for Neuroscience, 2004, pp. 5322–30, doi:10.1523/JNEUROSCI.1170-04.2004.
View
| DOI
2004 | Journal Article | IST-REx-ID: 2356 |
Lieb, Élliott, et al. “One-Dimensional Behavior of Dilute, Trapped Bose Gases.” Communications in Mathematical Physics, vol. 244, no. 2, Springer, 2004, pp. 347–93, doi:10.1007/s00220-003-0993-3.
View
| DOI
| Download (ext.)
2004 | Journal Article | IST-REx-ID: 2355 |
Lieb, Élliott, and Robert Seiringer. “ Equivalent Forms of the Bessis-Moussa-Villani Conjecture.” Journal of Statistical Physics, vol. 115, no. 1–2, Springer, 2004, pp. 185–90, doi:10.1023/B:JOSS.0000019811.15510.27.
View
| DOI
| Download (ext.)
2004 | Journal Article | IST-REx-ID: 2360 |
Aizenman, Michael, et al. “Bose-Einstein Quantum Phase Transition in an Optical Lattice Model.” Physical Review A - Atomic, Molecular, and Optical Physics, vol. 70, no. 2, American Physical Society, 2004, pp. 023612-1-0236121-2, doi:10.1103/PhysRevA.70.023612.
View
| DOI
| Download (ext.)
2004 | Book Chapter | IST-REx-ID: 2417
Lovász, László, et al. “Convex Quadrilaterals and K-Sets .” Towards a Theory of Geometric Graphs, edited by János Pach, vol. 342, American Mathematical Society, 2004, pp. 139–48, doi:10.1090/conm/342.
View
| DOI
2004 | Journal Article | IST-REx-ID: 2426
Giesen, Joachim, and Uli Wagner. “Shape Dimension and Intrinsic Metric from Samples of Manifolds.” Discrete & Computational Geometry, vol. 32, no. 2, Springer, 2004, pp. 245–67, doi:10.1007/s00454-004-1120-8.
View
| DOI
2004 | Journal Article | IST-REx-ID: 2425
Matoušek, Jiří, and Uli Wagner. “New Constructions of Weak ε-Nets.” Discrete & Computational Geometry, vol. 32, no. 2, Springer, 2004, pp. 195–206, doi:10.1007/s00454-004-1116-4.
View
| DOI
2004 | Book Review | IST-REx-ID: 2461
Sauer, Michael, and Jiří Friml. “The Matryoshka Dolls of Plant Polarity.” Development, vol. 131, no. 23, Company of Biologists, 2004, pp. 5774–75, doi:10.1242/dev.01463.
View
| DOI
2004 | Journal Article | IST-REx-ID: 2642
Ferraguti, Francesco, et al. “Immunolocalization of Metabotropic Glutamate Receptor 1α (MGluR1α) in Distinct Classes of Interneuron in the CA1 Region of the Rat Hippocampus.” Hippocampus, vol. 14, no. 2, Wiley-Blackwell, 2004, pp. 193–215, doi:10.1002/hipo.10163.
View
| DOI