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.

119 Publications


2003 | Journal Article | IST-REx-ID: 3529
Csicsvari, J. L., Henze, D., Jamieson, B., Harris, K., Sirota, A., Bartho, P., … Buzsáki, G. (2003). Massively parallel recording of unit and local field potentials with silicon-based electrodes. Journal of Neurophysiology. American Physiological Society. https://doi.org/10.1152/jn.00116.2003
View | DOI
 

2003 | Journal Article | IST-REx-ID: 3528
Csicsvari, J. L., Jamieson, B., Wise, K., & Buzsáki, G. (2003). Mechanisms of gamma oscillations in the hippocampus of the behaving rat. Neuron. Elsevier. https://doi.org/10.1016/S0896-6273(02)01169-8
View | DOI
 

2003 | Journal Article | IST-REx-ID: 3543
Sirota, A., Csicsvari, J. L., Buhl, D., & Buzsáki, G. (2003). Communication between neocortex and hippocampus during sleep in rodents. PNAS. National Academy of Sciences. https://doi.org/10.1073/pnas.0437938100
View | DOI
 

2003 | Journal Article | IST-REx-ID: 3593
Chatterjee, K., Dasgupta, P., & Chakrabarti, P. (2003). A branching time temporal framework for quantitative reasoning. Journal of Automated Reasoning. Springer. https://doi.org/10.1023/A:1023217515688
View | DOI
 

2003 | Thesis | IST-REx-ID: 3678
Lampert, C. (2003). The Neumann operator in strictly pseudoconvex domains with weighted Bergman metric . Bonner Mathematische Schriften. Universität Bonn, Fachbibliothek Mathematik.
View | Download (ext.)
 

2003 | Journal Article | IST-REx-ID: 3725 | OA
Janovjak, H. L., Kessler, M., Oesterhelt, D., Gaub, H., & Mueller, D. (2003). Unfolding pathways of native bacteriorhodopsin depend on temperature. EMBO Journal. Wiley-Blackwell. https://doi.org/10.1093/emboj/cdg509
View | DOI | Download (ext.)
 

2003 | Journal Article | IST-REx-ID: 3804
Lien, C., & Jonas, P. M. (2003). Kv3 potassium conductance is necessary and kinetically optimized for high-frequency action potential generation in hippocampal interneurons. Journal of Neuroscience. Society for Neuroscience.
View
 

2003 | Journal Article | IST-REx-ID: 3806
Hallermann, S., Pawlu, C., Jonas, P. M., & Heckmann, M. (2003). A large pool of releasable vesicles in a cortical glutamatergic synapse. PNAS. National Academy of Sciences. https://doi.org/10.1073/pnas.1432836100
View | DOI
 

2003 | Journal Article | IST-REx-ID: 3921
Anderson, C., Cremer, S., & Heinze, J. (2003). Live and let die: Why fighter males of the ant Cardiocondyla kill each other but tolerate their winged rivals. Behavioral Ecology. Oxford University Press. https://doi.org/10.1093/beheco/14.1.54
View | DOI
 

2003 | Journal Article | IST-REx-ID: 3922
Cremer, S., & Heinze, J. (2003). Stress grows wings: Environmental induction of winged dispersal males in Cardiocondyla ants. Current Biology. Cell Press. https://doi.org/10.1016/S0960-9822(03)00012-5
View | DOI
 

2003 | Journal Article | IST-REx-ID: 3917
Cremer, S., & Heinze, J. (2003). Zwischen Hochzeitsflug und Brudermord: reproduktive Taktiken bei Ameisenmännchen. Blick in Die Wissenschaft. Schnell und Steiner.
View
 

2003 | Thesis | IST-REx-ID: 4416
Majumdar, R. (2003). Symbolic algorithms for verification and control. University of California, Berkeley.
View
 

2003 | Thesis | IST-REx-ID: 4425
Horowitz, B. (2003). Giotto: A time-triggered language for embedded programming. University of California, Berkeley.
View
 

2003 | Journal Article | IST-REx-ID: 576
Hosten, O., Vignolo, P., Minguzzi, A., Tanatar, B., & Tosi, M. (2003). Free expansion of two-dimensional condensates with a vortex. Journal of Physics B: Atomic, Molecular and Optical Physics. IOP Publishing Ltd. https://doi.org/10.1088/0953-4075/36/12/306
View | DOI
 

2003 | Journal Article | IST-REx-ID: 6156
Rogers, C., Reale, V., Kim, K., Chatwin, H., Li, C., Evans, P., & de Bono, M. (2003). Inhibition of Caenorhabditis elegans social feeding by FMRFamide-related peptide activation of NPR-1. Nature Neuroscience. Springer Nature. https://doi.org/10.1038/nn1140
View | DOI | PubMed | Europe PMC
 

2003 | Journal Article | IST-REx-ID: 6157
de Bono, M. (2003). Molecular approaches to aggregation behavior and social attachment. Journal of Neurobiology. Wiley. https://doi.org/10.1002/neu.10162
View | DOI | PubMed | Europe PMC
 

2003 | Journal Article | IST-REx-ID: 847
Sunyaev, S., Kondrashov, F., Bork, P., & Ramensky, V. (2003). Impact of selection, mutation rate and genetic drift on human genetic variation. Human Molecular Genetics. Oxford University Press. https://doi.org/10.1093/hmg/ddg359
View | DOI
 

2003 | Journal Article | IST-REx-ID: 876
Kondrashov, F., & Koonin, E. (2003). Evolution of alternative splicing: Deletions, insertions and origin of functional parts of proteins from intron sequences. Trends in Genetics. Elsevier. https://doi.org/10.1016/S0168-9525(02)00029-X
View | DOI
 

2003 | Journal Article | IST-REx-ID: 9495 | OA
Cao, X., Aufsatz, W., Zilberman, D., Mette, M. F., Huang, M. S., Matzke, M., & Jacobsen, S. E. (2003). Role of the DRM and CMT3 methyltransferases in RNA-directed DNA methylation. Current Biology. Elsevier. https://doi.org/10.1016/j.cub.2003.11.052
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2003 | Journal Article | IST-REx-ID: 8519
Kaloshin, V. (2003). The existential Hilbert 16-th problem and an estimate for cyclicity of elementary polycycles. Inventiones Mathematicae. Springer Nature. https://doi.org/10.1007/s00222-002-0244-9
View | DOI
 

2003 | Journal Article | IST-REx-ID: 9455
Zilberman, D., Cao, Xiaofeng, & Jacobsen, S. E. (2003). ARGONAUTE4 control of locus-specific siRNA accumulation and DNA and histone methylation. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.1079695
View | DOI | PubMed | Europe PMC
 

2003 | Conference Paper | IST-REx-ID: 4628
De Alfaro, L., Henzinger, T. A., & Majumdar, R. (2003). Discounting the future in systems theory. In Proceedings of the 30th International Colloquium on Automata, Languages and Programming (Vol. 2719, pp. 1022–1037). Eindhoven, The Netherlands: Springer. https://doi.org/10.1007/3-540-45061-0_79
View | DOI
 

2003 | Journal Article | IST-REx-ID: 13436
Michrowska, A., Bieniek, M., Kim, M., Klajn, R., & Grela, K. (2003). Cross-metathesis reaction of vinyl sulfones and sulfoxides. Tetrahedron. Elsevier. https://doi.org/10.1016/s0040-4020(03)00682-3
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 4561
Chakrabarti, A., De Alfaro, L., Henzinger, T. A., & Stoelinga, M. (2003). Resource interfaces. In Third International Conference on Embedded Software (Vol. 2855, pp. 117–133). Philadelphia, PA, USA: ACM. https://doi.org/10.1007/978-3-540-45212-6_9
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 4630
De Alfaro, L., Faella, M., Henzinger, T. A., Majumdar, R., & Stoelinga, M. (2003). The element of surprise in timed games. In Proceedings of the 14th International Conference on Concurrency Theory (Vol. 2761, pp. 144–158). Marseille, France: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/978-3-540-45187-7_9
View | DOI
 

2003 | Journal Article | IST-REx-ID: 4468
Henzinger, T. A., Kirsch, C., Sanvido, M., & Pree, W. (2003). From control models to real-time code using Giotto. IEEE Control Systems Magazine. IEEE. https://doi.org/10.1109/MCS.2003.1172829
View | DOI
 

2003 | Book Chapter | IST-REx-ID: 4465
Henzinger, T. A., Horowitz, B., & Kirsch, C. (2003). Embedded control systems development with Giotto. In Software-Enabled Control: Information Technology for Dynamical Systems (pp. 123–146). Wiley-Blackwell. https://doi.org/10.1002/047172288X.ch8
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 4466
Henzinger, T. A., Kupferman, O., & Majumdar, R. (2003). On the universal and existential fragments of the mu-calculus. In Proceedings of the 9th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (Vol. 2619, pp. 49–64). Warsaw, Poland: Springer. https://doi.org/10.1007/3-540-36577-X_5
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 4467
Henzinger, T. A., Jhala, R., Majumdar, R., & Sutre, G. (2003). Software verification with BLAST. In Proceedings of the 10th International SPIN Workshop (Vol. 2648, pp. 235–239). Portland, OR, USA: Springer. https://doi.org/10.1007/3-540-44829-2_17
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 4463
Henzinger, T. A., Jhala, R., Majumdar, R., & Qadeer, S. (2003). Thread-modular abstraction refinement. In Proceedings of the 15th International Conference on Computer Aided Verification (Vol. 2725, pp. 262–274). Boulder, CO, USA: Springer. https://doi.org/10.1007/978-3-540-45069-6_27
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 4462
Henzinger, T. A., Jhala, R., & Majumdar, R. (2003). Counterexample-guided control. In Proceedings of the 30th International Colloquium on Automata, Languages and Programming (Vol. 2719, pp. 886–902). Eindhoven, The Netherlands: Springer. https://doi.org/10.1007/3-540-45061-0_69
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 4464
Henzinger, T. A., Kirsch, C., & Matic, S. (2003). Schedule-carrying code. In Proceedings of the 3rd International Conference on Embedded Software (Vol. 2855, pp. 241–256). Philadelphia, PA, USA: ACM. https://doi.org/10.1007/978-3-540-45212-6_16
View | DOI
 

2003 | Journal Article | IST-REx-ID: 4460
Henzinger, T. A., Kupferman, O., & Qadeer, S. (2003). From pre-historic to post-modern symbolic model checking. Formal Methods in System Design. Springer. https://doi.org/10.1023/A:1026228213080
View | DOI
 

2003 | Journal Article | IST-REx-ID: 4469
Henzinger, T. A., Horowitz, B., & Kirsch, C. (2003). Giotto: A time-triggered language for embedded programming. Proceedings of the IEEE. IEEE. https://doi.org/10.1109/JPROC.2002.805825
View | DOI
 

2003 | Journal Article | IST-REx-ID: 4338
Vines, T., Kohler, S. C., Thiel, M., Ghira, I., Sands, T. R., Maccallum, C., … Nürnberger, B. (2003). On the maintenance of reproductive isolation in a mosaic hybrid zone between the toads Bombina bombina and B. variegata. Evolution. Wiley-Blackwell. https://doi.org/10.1111/j.0014-3820.2003.tb00595.x
View | DOI
 

2003 | Journal Article | IST-REx-ID: 4350
Harshman, J., Huddleston, C., Bollback, J. P., Parsons, T., & Braun, M. (2003). True and false gharials: A nuclear gene phylogeny of crocodylia. Systematic Biology. Oxford University Press. https://doi.org/10.1080/10635150390197028
View | DOI | PubMed | Europe PMC
 

2003 | Journal Article | IST-REx-ID: 4348
Huelsenbeck, J., Nielsen, R., & Bollback, J. P. (2003). Stochastic mapping of morphological characters. Systematic Biology. Oxford University Press. https://doi.org/10.1080/10635150390192780
View | DOI | PubMed | Europe PMC
 

2003 | Journal Article | IST-REx-ID: 4254
Navarro, A., & Barton, N. H. (2003). Accumulating postzygotic isolation genes in parapatry: a new twist on chromosomal speciation. Evolution; International Journal of Organic Evolution. Wiley-Blackwell. https://doi.org/10.1111/j.0014-3820.2003.tb01537.x
View | DOI | PubMed | Europe PMC
 

2003 | Journal Article | IST-REx-ID: 4257
Charlesworth, B., Charlesworth, D., & Barton, N. H. (2003). The effects of genetic and geographic structure on neutral variation. Annual Review of Ecology and Systematics. Annual Reviews. https://doi.org/10.1146/annurev.ecolsys.34.011802.132359
View | DOI
 

2003 | Journal Article | IST-REx-ID: 4256
Barton, N. H., & Zuidema, W. (2003). The erratic path towards complexity. Current Biology. Cell Press. https://doi.org/10.1016/S0960-9822(03)00573-6
[Published Version] View | DOI
 

2003 | Journal Article | IST-REx-ID: 4255
Navarro, A., & Barton, N. H. (2003). Chromosomal speciation and molecular divergence -- Accelerated evolution in rearranged chromosomes. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.1080600
View | DOI | PubMed | Europe PMC
 

2003 | Journal Article | IST-REx-ID: 4146 | OA
Ulrich, F., Concha, M., Heid, P., Voss, E., Witzel, S., Roehl, H., … Heisenberg, C.-P. J. (2003). Slb/Wnt11 controls hypoblast cell migration and morphogenesis at the onset of zebrafish gastrulation. Development. Company of Biologists. https://doi.org/10.1242/dev.00758
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

2003 | Journal Article | IST-REx-ID: 4169
Montero, J., Kilian, B., Chan, J., Bayliss, P., & Heisenberg, C.-P. J. (2003). Phosphoinositide 3-kinase is required for process outgrowth and cell polarization of gastrulating mesendodermal cells. Current Biology. Cell Press. https://doi.org/10.1016/S0960-9822(03)00505-0
View | DOI | PubMed | Europe PMC
 

2003 | Journal Article | IST-REx-ID: 4185
Kilian, B., Mansukoski, H., Barbosa, F., Ulrich, F., Tada, M., & Heisenberg, C.-P. J. (2003). The role of Ppt/Wnt5 in regulating cell shape and movement during zebrafish gastrulation. Mechanisms of Development. Elsevier. https://doi.org/10.1016/S0925-4773(03)00004-2
View | DOI | PubMed | Europe PMC
 

2003 | Journal Article | IST-REx-ID: 3992 | OA
Edelsbrunner, H., & Koehl, P. (2003). The weighted-volume derivative of a space-filling diagram. PNAS. National Academy of Sciences. https://doi.org/10.1073/pnas.0537830100
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2003 | Conference Paper | IST-REx-ID: 3999
Edelsbrunner, H., & Üngör, A. (2003). Relaxed scheduling in dynamic skin triangulation. In Proceedings of the Japanese Conference on Discrete and Computational Geometry (Vol. 2866, pp. 135–151). Tokyo, Japan: Springer. https://doi.org/10.1007/978-3-540-44400-8_14
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 3997
Bremer, P., Edelsbrunner, H., Hamann, B., & Pascucci, V. (2003). A multi-resolution data structure for two-dimensional Morse-Smale functions. In Proceedings of the 14th IEEE Conference on Visualization (pp. 139–146). Seattle, WA, USA : IEEE. https://doi.org/10.1109/VISUAL.2003.1250365
View | DOI
 

2003 | Journal Article | IST-REx-ID: 4168
Montero, J., & Heisenberg, C.-P. J. (2003). Adhesive crosstalk in gastrulation. Developmental Cell. Cell Press. https://doi.org/10.1016/S1534-5807(03)00235-1
View | DOI | PubMed | Europe PMC
 

2003 | Book Chapter | IST-REx-ID: 3991
Cheng, H., & Edelsbrunner, H. (2003). Area and perimeter derivatives of a union of disks. In Computer Science in Perspective: Essays Dedicated to Thomas Ottmann (Vol. 2598, pp. 88–97). Springer. https://doi.org/10.1007/3-540-36477-3_7
View | DOI
 

Filters and Search Terms

year=2003

Search

Filter Publications