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.

9099 Publications


2005 | Conference Paper | IST-REx-ID: 4560
Chakrabarti, A., Chatterjee, K., Henzinger, T. A., Kupferman, O., & Majumdar, R. (2005). Verifying quantitative properties using bound functions (Vol. 3725, pp. 50–64). Presented at the CHARME: Correct Hardware Design and Verification Methods, Springer. https://doi.org/10.1007/11560548_7
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4557
Chatterjee, K., Henzinger, T. A., Jhala, R., & Majumdar, R. (2005). Counterexample-guided planning (pp. 104–111). Presented at the UAI: Uncertainty in Artificial Intelligence, AUAI Press.
View | Download (ext.)
 

2005 | Conference Paper | IST-REx-ID: 4579
Beyer, D., Henzinger, T. A., Jhala, R., & Majumdar, R. (2005). Checking memory safety with BLAST (Vol. 3442, pp. 2–18). Presented at the FASE: Fundamental Approaches To Software Engineering, Springer. https://doi.org/10.1007/978-3-540-31984-9_2
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4576
Beyer, D., Chakrabarti, A., & Henzinger, T. A. (2005). Web service interfaces (pp. 148–159). Presented at the WWW: World Wide Web Conference, ACM. https://doi.org/10.1145/1060745.1060770
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4625
De Alfaro, L., Faella, M., Henzinger, T. A., Majumdar, R., & Stoelinga, M. (2005). Model checking discounted temporal properties. Theoretical Computer Science. Elsevier. https://doi.org/10.1016/j.tcs.2005.07.033
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4624
De Alfaro, L., & Henzinger, T. A. (2005). Interface-based design (Vol. 195, pp. 83–104). Presented at the Engineering Theories of Software Intensive Systems, Springer. https://doi.org/10.1007/1-4020-3532-2_3
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 575
Hosten, O., Rakher, M., Barreiro, J., Peters, N., & Kwiat, P. (2005). Counterfactual quantum computation (Vol. 1, pp. 365–367). Presented at the QELS: Quantum Electronics and Laser Science, IEEE. https://doi.org/ 10.1109/QELS.2005.1548783
View | DOI
 

2005 | 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. Annual Reviews. https://doi.org/10.1146/annurev.neuro.27.070203.144259
View | DOI | PubMed | Europe PMC
 

2005 | Journal Article | IST-REx-ID: 6154
Cheung, B. H. H., Cohen, M., Rogers, C., Albayram, O., & de Bono, M. (2005). Experience-dependent modulation of C. elegans behavior by ambient oxygen. Current Biology. Elsevier. https://doi.org/10.1016/j.cub.2005.04.017
View | DOI | PubMed | Europe PMC
 

2005 | Journal Article | IST-REx-ID: 8028 | OA
Vogels, T. P., & Abbott, L. F. (2005). Signal propagation and logic gating in networks of integrate-and-fire neurons. Journal of Neuroscience. Society for Neuroscience. https://doi.org/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, T. P., Rajan, K., & Abbott, L. F. (2005). Neural network dynamics. Annual Review of Neuroscience. Annual Reviews. https://doi.org/10.1146/annurev.neuro.28.061604.135637
View | DOI | PubMed | Europe PMC
 

2005 | Journal Article | IST-REx-ID: 9491 | OA
Tran, R. K., Henikoff, J. G., Zilberman, D., Ditt, R. F., Jacobsen, S. E., & Henikoff, S. (2005). DNA methylation profiling identifies CG methylation clusters in Arabidopsis genes. Current Biology. Elsevier. https://doi.org/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 | OA
Tran, R. K., Zilberman, D., de Bustos, C., Ditt, R. F., Henikoff, J. G., Lindroth, A. M., … Henikoff, S. (2005). Chromatin and siRNA pathways cooperate to maintain DNA methylation of small transposable elements in Arabidopsis. Genome Biology. Springer Nature. https://doi.org/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, L., Kondrashov, F., & Kondrashov, A. (2005). Distribution of the strength of selection against amino acid replacements in human proteins. Human Molecular Genetics. Oxford University Press. https://doi.org/10.1093/hmg/ddi350
View | DOI
 

2005 | Journal Article | IST-REx-ID: 8491
Schanda, P., Kupče, Ē., & Brutscher, B. (2005). SOFAST-HMQC experiments for recording two-dimensional deteronuclear correlation spectra of proteins within a few seconds. Journal of Biomolecular NMR. Springer Nature. https://doi.org/10.1007/s10858-005-4425-x
View | DOI
 

2005 | Journal Article | IST-REx-ID: 8492
Schanda, P., & Brutscher, B. (2005). 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. American Chemical Society. https://doi.org/10.1021/ja051306e
View | DOI
 

2005 | Journal Article | IST-REx-ID: 8516
Bourgain, J., & Kaloshin, V. (2005). On diffusion in high-dimensional Hamiltonian systems. Journal of Functional Analysis. Elsevier. https://doi.org/10.1016/j.jfa.2004.09.006
View | DOI
 

2005 | Journal Article | IST-REx-ID: 877
Kondrashov, F. (2005). The analysis of monomer sequences in protein and tRNA and the manifestation of the compensation of pathogenic deviations in their evolution. Biofizika. Pleiades Publishing.
View | Download None (ext.) | PubMed | Europe PMC
 

2005 | Journal Article | IST-REx-ID: 878
Kondrashov, F. (2005). In search of the limits of evolution. Nature Genetics. Nature Publishing Group. https://doi.org/10.1038/ng0105-9
View | DOI
 

2005 | Journal Article | IST-REx-ID: 882
Kondrashov, F. (2005). Prediction of pathogenic mutations in mitochondrially encoded human tRNAs. Human Molecular Genetics. Oxford University Press. https://doi.org/10.1093/hmg/ddi243
View | DOI
 

2005 | Journal Article | IST-REx-ID: 880
Kondrashov, F. (2005). The convergent evolution of the secondary structure of mitochondrial cysteine tRNA in the nine-banded armadillo Dasypus novemcinctus. Biofizika. Pleiades Publishing.
View | Download None (ext.) | PubMed | Europe PMC
 

2005 | Journal Article | IST-REx-ID: 893
Jordan, I., Kondrashov, F., Adzhubeǐ, I., Wolf, Y., Koonin, E., Kondrashov, A., & Sunyaev, S. (2005). A universal trend of amino acid gain and loss in protein evolution. Nature. Nature Publishing Group. https://doi.org/10.1038/nature03306
View | DOI
 

2005 | Journal Article | IST-REx-ID: 9529
Zilberman, D., & Henikoff, S. (2005). Epigenetic inheritance in Arabidopsis: Selective silence. Current Opinion in Genetics and Development. Elsevier. https://doi.org/10.1016/j.gde.2005.07.002
View | DOI | PubMed | Europe PMC
 

2005 | Journal Article | IST-REx-ID: 13431
Smoukov, S. K., Bishop, K. J. M., Klajn, R., Campbell, C. J., & Grzybowski, B. A. (2005). Cutting into solids with micropatterned gels. Advanced Materials. Wiley. https://doi.org/10.1002/adma.200402086
View | DOI | PubMed | Europe PMC
 

2005 | 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. Bentham Science. https://doi.org/10.2174/1385272043369421
View | DOI
 

2005 | Journal Article | IST-REx-ID: 13432
Campbell, C. J., Klajn, R., Fialkowski, M., & Grzybowski, B. A. (2005). One-step multilevel microfabrication by reaction−diffusion. Langmuir. American Chemical Society. https://doi.org/10.1021/la0487747
View | DOI | PubMed | Europe PMC
 

2004 | Journal Article | IST-REx-ID: 11762 | OA
Henzinger, M. H. (2004). Algorithmic challenges in web search engines. Internet Mathematics. Internet Mathematics. https://doi.org/10.1080/15427951.2004.10129079
[Published Version] View | DOI | Download Published Version (ext.)
 

2004 | Conference Paper | IST-REx-ID: 11801
Henzinger, M. H. (2004). Algorithmic aspects of web search engines. In 2th Annual European Symposium on Algorithms (Vol. 3221, p. 3). Bergen, Norway: Springer Nature. https://doi.org/10.1007/978-3-540-30140-0_2
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 11800
Henzinger, M. H. (2004). The past, present, and future of web search engines. In 31st International Colloquium on Automata, Languages and Programming (Vol. 3142, p. 3). Turku, Finland: Springer Nature. https://doi.org/10.1007/978-3-540-27836-8_2
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 11859
Henzinger, M. H. (2004). The past, present, and future of web information retrieval. In SPIE Proceedings (Vol. 5296, pp. 23–26). San Jose, CA, United States: Society of Photo-Optical Instrumentation Engineers. https://doi.org/10.1117/12.537534
View | DOI
 

2004 | Journal Article | IST-REx-ID: 11877 | OA
Henzinger, M. H., & Lawrence, S. (2004). Extracting knowledge from the World Wide Web. Proceedings of the National Academy of Sciences. Proceedings of the National Academy of Sciences. https://doi.org/10.1073/pnas.0307528100
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2004 | Journal Article | IST-REx-ID: 12658
Strasser, U., Corripio, J., Pellicciotti, F., Burlando, P., Brock, B., & Funk, M. (2004). 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. American Geophysical Union. https://doi.org/10.1029/2003jd003973
View | DOI
 

2004 | Journal Article | IST-REx-ID: 1456 | OA
Hausel, T., Hunsicker, E., & Mazzeo, R. (2004). Hodge cohomology of gravitational instantons. Duke Mathematical Journal. Duke University Press. https://doi.org/10.1215/S0012-7094-04-12233-X
View | DOI | Download (ext.)
 

2004 | Journal Article | IST-REx-ID: 1464 | OA
Hausel, T., & Thaddeus, M. (2004). Generators for the cohomology ring of the moduli space of rank 2 higgs bundles. Proceedings of the London Mathematical Society. Oxford University Press. https://doi.org/10.1112/S0024611503014618
View | DOI | Download (ext.)
 

2004 | Journal Article | IST-REx-ID: 1963
Mamedova, A., Holt, P., Carroll, J., & Sazanov, L. A. (2004). Substrate-induced conformational change in bacterial complex I. Journal of Biological Chemistry. American Society for Biochemistry and Molecular Biology. https://doi.org/10.1074/jbc.M401539200
View | DOI
 

2004 | Journal Article | IST-REx-ID: 209
Browning, T. D., & Heath Brown, R. (2004). Equal sums of three powers. Inventiones Mathematicae. Unknown. https://doi.org/10.1007/s00222-004-0360-9
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2308
Novarino, G., Fabrizi, C., Tonini, R., Denti, M., Malchiodi, A., Lauro, G., … Mazzanti, M. (2004). Involvement of the intracellular ion channel CLIC1 in microglia-mediated β-amyloid-induced neurotoxicity. Journal of Neuroscience. Society for Neuroscience. https://doi.org/10.1523/JNEUROSCI.1170-04.2004
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2356 | OA
Lieb, É., Seiringer, R., & Yngvason, J. (2004). One-dimensional behavior of dilute, trapped Bose gases. Communications in Mathematical Physics. Springer. https://doi.org/10.1007/s00220-003-0993-3
View | DOI | Download (ext.)
 

2004 | Journal Article | IST-REx-ID: 2355 | OA
Lieb, É., & Seiringer, R. (2004). Equivalent forms of the Bessis-Moussa-Villani conjecture. Journal of Statistical Physics. Springer. https://doi.org/10.1023/B:JOSS.0000019811.15510.27
View | DOI | Download (ext.)
 

2004 | Journal Article | IST-REx-ID: 2360 | OA
Aizenman, M., Lieb, É., Seiringer, R., Solovej, J., & Yngvason, J. (2004). Bose-Einstein quantum phase transition in an optical lattice model. Physical Review A - Atomic, Molecular, and Optical Physics. American Physical Society. https://doi.org/10.1103/PhysRevA.70.023612
View | DOI | Download (ext.)
 

2004 | Book Chapter | IST-REx-ID: 2417
Lovász, L., Vesztergombi, K., Wagner, U., & Welzl, E. (2004). Convex quadrilaterals and k-sets . In J. Pach (Ed.), Towards a Theory of Geometric Graphs (Vol. 342, pp. 139–148). American Mathematical Society. https://doi.org/10.1090/conm/342
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2426
Giesen, J., & Wagner, U. (2004). Shape dimension and intrinsic metric from samples of manifolds. Discrete & Computational Geometry. Springer. https://doi.org/10.1007/s00454-004-1120-8
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2425
Matoušek, J., & Wagner, U. (2004). New constructions of weak ε-nets. Discrete & Computational Geometry. Springer. https://doi.org/10.1007/s00454-004-1116-4
View | DOI
 

2004 | Book Review | IST-REx-ID: 2461
Sauer, M., & Friml, J. (2004). The Matryoshka dolls of plant polarity. Development. Company of Biologists. https://doi.org/10.1242/dev.01463
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2642
Ferraguti, F., Cobden, P., Pollard, M., Cope, D., Shigemoto, R., Watanabe, M., & Somogyi, P. (2004). Immunolocalization of metabotropic glutamate receptor 1α (mGluR1α) in distinct classes of interneuron in the CA1 region of the rat hippocampus. Hippocampus. Wiley-Blackwell. https://doi.org/10.1002/hipo.10163
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2639
Somogyi, J., Baude, A., Omori, Y., Shimizu, H., El Mestikawy, S., Fukaya, M., … Somogyi, P. (2004). GABAergic basket cells expressing cholecystokinin contain vesicular glutamate transporter type 3 (VGLUT3) in their synaptic terminals in hippocampus and isocortex of the rat. European Journal of Neuroscience. Wiley-Blackwell. https://doi.org/10.1111/j.0953-816X.2003.03091.x
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2643
Luján, R., Shigemoto, R., Kulik, Á., & Juíz, J. (2004). Localization of the GABAB receptor 1a/b subunit relative to glutamatergic synapses in the dorsal cochlear nucleus of the rat. Journal of Comparative Neurology. Wiley-Blackwell. https://doi.org/10.1002/cne.20160
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2638
Kulik, Á., Nakadate, K., Hagiwara, A., Fukazawa, Y., Luján, R., Saito, H., … Shigemoto, R. (2004). Immunocytochemical localization of the α1A subunit of the P/Q-type calcium channel in the rat cerebellum. European Journal of Neuroscience. Wiley-Blackwell. https://doi.org/10.1111/j.0953-816X.2004.03319.x
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2640
Notomi, T., & Shigemoto, R. (2004). Immunohistochemical localization of Ih channel subunits, HCN1-4, in the rat brain. Journal of Comparative Neurology. Wiley-Blackwell. https://doi.org/10.1002/cne.11039
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2641
Kang, Y., Notomi, T., Saito, M., Zhang, W., & Shigemoto, R. (2004). Bidirectional interactions between H-channels and Na+-K + pumps in mesencephalic trigeminal neurons. Journal of Neuroscience. Society for Neuroscience. https://doi.org/10.1523/JNEUROSCI.5641-03.2004
View | DOI
 

Search

Filter Publications