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.
722 Publications
2007 | Thesis | IST-REx-ID: 4566
Chakrabarti, Arindam. A Framework for Compositional Design and Analysis of Systems. University of California, Berkeley, 2007, pp. 1–244.
View
2007 | Journal Article | IST-REx-ID: 4567
Beyer, Dirk, et al. “The Software Model Checker BLAST: Applications to Software Engineering.” International Journal on Software Tools for Technology Transfer, vol. 9, no. 5, Springer, 2007, pp. 505–25, doi:10.1007/s10009-007-0044-z.
View
| DOI
2007 | Journal Article | IST-REx-ID: 4626
De Alfaro, Luca, et al. “Concurrent Reachability Games.” Theoretical Computer Science, vol. 386, no. 3, Elsevier, 2007, pp. 188–217, doi:10.1016/j.tcs.2007.07.008.
View
| DOI
2007 | Journal Article | IST-REx-ID: 7781
Robinson, Matthew Richard, et al. “Live Fast, Die Young: Trade-Offs between Fitness Components and Sexually Antagonistic Selection on Weaponry in Soay Sheep.” Evolution, vol. 60, no. 10, Wiley, 2007, pp. 2168–81, doi:10.1111/j.0014-3820.2006.tb01854.x.
View
| DOI
2006 | Conference Paper | IST-REx-ID: 1034 | 
Nägerl, Hanns, et al. Experimental Evidence for Efimov Quantum States. Vol. 869, AIP, 2006, pp. 269–77, doi:10.1063/1.2400657.
View
| DOI
| Download None (ext.)
2006 | Journal Article | IST-REx-ID: 1715
Dudu, Veronika, et al. “Postsynaptic Mad Signaling at the Drosophila Neuromuscular Junction.” Current Biology, vol. 16, no. 7, Cell Press, 2006, pp. 625–35, doi:10.1016/j.cub.2006.02.061.
View
| Files available
| DOI
2006 | Journal Article | IST-REx-ID: 1796
Siegert, Sandra, et al. “Novel Anti-Viral Therapy: Drugs That Block HIV Entry at Different Target Sites.” Mini-Reviews in Medicinal Chemistry, vol. 6, no. 5, Bentham Science Publishers, 2006, pp. 557–62, doi:10.2174/138955706776876267.
View
| DOI
2006 | Journal Article | IST-REx-ID: 2089
Weyrich, Tim, et al. “Analysis of Human Faces Using a Measurement-Based Skin Reflectance Model.” ACM Transactions on Graphics, vol. 25, no. 3, ACM, 2006, pp. 1013–24, doi:10.1145/1141911.1141987.
View
| DOI
2006 | Conference Paper | IST-REx-ID: 2088
Weyrich, Tim, et al. Analysis of Human Faces Using a Measurement-Based Skin Reflectance Model. ACM, 2006, pp. 1013–24, doi:10.1145/1179352.1141987.
View
| DOI
2006 | Journal Article | IST-REx-ID: 2144
Vedrinskiǐ, Rostislav, et al. “Temperature Dependent XAFS Studies of Local Atomic Structure of the Perovskite-Type Zirconates.” Physical Review B - Condensed Matter and Materials Physics, vol. 73, no. 13, American Physical Society, 2006, doi:10.1103/PhysRevB.73.134109.
View
| DOI
2006 | Journal Article | IST-REx-ID: 2663
Kodama, Takashi, et al. “A CaV2.1 Calcium Channel Mutation Rocker Reduces the Number of Postsynaptic AMPA Receptors in Parallel Fiber-Purkinje Cell Synapses.” European Journal of Neuroscience, vol. 24, no. 11, Wiley-Blackwell, 2006, pp. 2993–3007, doi:10.1111/j.1460-9568.2006.05191.x.
View
| DOI
2006 | Book Chapter | IST-REx-ID: 3002
Sauer, Michael, and Jiří Friml. “In Vitro Culture of Arabidopsis Embryos.” Somatic Embryogenesis, edited by Abdul Mujib and Jozef Šamaj, vol. 2, Springer, 2006, pp. 343–54, doi:10.1007/7089_020.
View
| DOI
2006 | Journal Article | IST-REx-ID: 3934
Drumea Mirancea, Mihaela, et al. “Characterization of a Conduit System Containing Laminin-5 in the Human Thymus: A Potential Transport System for Small Molecules.” Journal of Cell Science, vol. 119, no. Pt 7, Company of Biologists, 2006, pp. 1396–405, doi:10.1242/jcs.02840.
View
| DOI
2006 | Journal Article | IST-REx-ID: 8490
Schanda, Paul, and Bernhard Brutscher. “Hadamard Frequency-Encoded SOFAST-HMQC for Ultrafast Two-Dimensional Protein NMR.” Journal of Magnetic Resonance, vol. 178, no. 2, Elsevier, 2006, pp. 334–39, doi:10.1016/j.jmr.2005.10.007.
View
| DOI
2005 | Book Chapter | IST-REx-ID: 1444 |
Hausel, Tamás. “Mirror Symmetry and Langlands Duality in the Non-Abelian Hodge Theory of a Curve.” Geometric Methods in Algebra and Number Theory, vol. 235, Springer, 2005, pp. 193–217, doi:10.1007/0-8176-4417-2_9.
View
| DOI
| Download (ext.)
2005 | Journal Article | IST-REx-ID: 1740
Costantini, Giovanni, et al. “Pyramids and Domes in the InAs/GaAs (0 0 1) and Ge/Si (0 0 1) Systems.” Journal of Crystal Growth, vol. 278, no. 1–4, Elsevier, 2005, pp. 38–45, doi:10.1016/j.jcrysgro.2004.12.047.
View
| DOI
2005 | Journal Article | IST-REx-ID: 1795
Siegert, Sandra, et al. “Assessment of HIV-1 Entry Inhibitors by MLV/HIV-1 Pseudotyped Vectors.” AIDS Research and Therapy, vol. 2, no. 1, BioMed Central, 2005, doi:10.1186/1742-6405-2-7.
View
| DOI
2005 | Journal Article | IST-REx-ID: 2650
Nyíri, Gábor, et al. “GABAB and CB1 Cannabinoid Receptor Expression Identifies Two Types of Septal Cholinergic Neurons.” European Journal of Neuroscience, vol. 21, no. 11, Wiley-Blackwell, 2005, pp. 3034–42, doi:10.1111/j.1460-9568.2005.04146.x.
View
| DOI
2005 | Journal Article | IST-REx-ID: 2649
Tanaka, Junichi, et al. “Number and Density of AMPA Receptors in Single Synapses in Immature Cerebellum.” Journal of Neuroscience, vol. 25, no. 4, Society for Neuroscience, 2005, pp. 799–807, doi:10.1523/JNEUROSCI.4256-04.2005.
View
| DOI
2005 | Journal Article | IST-REx-ID: 2654
Ferraguti, Francesco, et al. “ Metabotropic Glutamate Receptor 8-Expressing Nerve Terminals Target Subsets of GABAergic Neurons in the Hippocampus.” Journal of Neuroscience, vol. 25, no. 45, Society for Neuroscience, 2005, pp. 10520–36, doi:10.1523/JNEUROSCI.2547-05.2005.
View
| DOI
2005 | Journal Article | IST-REx-ID: 3443
Klausberger, Thomas, et al. “Complementary Roles of Cholecystokinin- and Parvalbumin-Expressing GABAergic Neurons in Hippocampal Network Oscillations.” Journal of Neuroscience, vol. 25, no. 42, Society for Neuroscience, 2005, pp. 9782–93, doi:10.1523/JNEUROSCI.3269-05.2005.
View
| DOI
2005 | Book Review | IST-REx-ID: 3812
Hefft, Stefan, and Peter M. Jonas. “Asynchronous GABA Release Generates Long-Lasting Inhibition at a Hippocampal Interneuron-Principal Neuron Synapse (Review).” Nature Neuroscience, vol. 8, no. 10, Nature Publishing Group, 2005, pp. 1319–28, doi:10.1038/nn1542.
View
| DOI
2005 | Journal Article | IST-REx-ID: 3611
Nürnberger, Beate, et al. “Mating Patterns in a Bombina Hybrid Zone: Inferences from Adult and Full Sib Genotypes.” Heredity, vol. 94, no. 2, Nature Publishing Group, 2005, pp. 247–57, doi:10.1038/sj.hdy.6800607.
View
| DOI
2005 | Journal Article | IST-REx-ID: 3613
Gardner, Michael, et al. “Genetic Variation for Total Fitness in Drosophila Melanogaster: Complex yet Replicable Patterns.” Genetics, vol. 169, no. 3, Genetics Society of America, 2005, pp. 1553–71, doi:10.1534/genetics.104.032367.
View
| DOI
2005 | Journal Article | IST-REx-ID: 4144
Ulrich, Florian, et al. “Wnt11 Functions in Gastrulation by Controlling Cell Cohesion through Rab5c and E-Cadherin.” Developmental Cell, vol. 9, no. 4, Cell Press, 2005, pp. 555–64, doi:10.1016/j.devcel.2005.08.011.
View
| DOI
2005 | Journal Article | IST-REx-ID: 4155
Puech, Pierre, et al. “Measuring Cell Adhesion Forces of Primary Gastrulating Cells from Zebrafish Using Atomic Force Microscopy.” Journal of Cell Science, vol. 118, no. 18, Company of Biologists, 2005, pp. 4199–206, doi:10.1242/jcs.02547.
View
| DOI
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 | 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
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: 2639
Somogyi, Jozsef, et al. “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, vol. 19, no. 3, Wiley-Blackwell, 2004, pp. 552–69, doi:10.1111/j.0953-816X.2003.03091.x.
View
| DOI
2004 | Journal Article | IST-REx-ID: 2638
Kulik, Ákos, et al. “Immunocytochemical Localization of the Α1A Subunit of the P/Q-Type Calcium Channel in the Rat Cerebellum.” European Journal of Neuroscience, vol. 19, no. 8, Wiley-Blackwell, 2004, pp. 2169–78, doi:10.1111/j.0953-816X.2004.03319.x.
View
| DOI
2004 | Journal Article | IST-REx-ID: 2644
Kogo, Naoki, et al. “Depression of GABAergic Input to Identified Hippocampal Neurons by Group III Metabotropic Glutamate Receptors in the Rat.” European Journal of Neuroscience, vol. 19, no. 10, Wiley-Blackwell, 2004, pp. 2727–40, doi:10.1111/j.0953-816X.2004.03394.x.
View
| DOI
2004 | Journal Article | IST-REx-ID: 2741
Erdös, László, and Jan Solovej. “Uniform Lieb-Thirring Inequality for the Three-Dimensional Pauli Operator with a Strong Non-Homogeneous Magnetic Field.” Annales Henri Poincare, vol. 5, no. 4, Birkhäuser, 2004, pp. 671–741, doi:10.1007/s00023-004-0180-x.
View
| DOI
2004 | Journal Article | IST-REx-ID: 3810
Oliver, Dominik, et al. “Functional Conversion between A-Type and Delayed Rectifier K+ Channels by Membrane Lipids.” Science, vol. 304, no. 5668, American Association for the Advancement of Science, 2004, pp. 265–70, doi:10.1126/science.1094113.
View
| DOI
2004 | Journal Article | IST-REx-ID: 4253
Barton, Nicholas H., et al. “Coalescence in a Random Background.” Annals of Applied Probability, vol. 14, no. 2, Institute of Mathematical Statistics, 2004, pp. 754–85.
View
| Download (ext.)
2004 | Journal Article | IST-REx-ID: 3809
Schmidt Hieber, Christoph, et al. “Enhanced Synaptic Plasticity in Newly Generated Granule Cells of the Adult Hippocampus.” Nature, vol. 429, no. 6988, Nature Publishing Group, 2004, pp. 184–87, doi:10.1038/nature02553.
View
| DOI
2004 | Thesis | IST-REx-ID: 4424
Jhala, Ranjit. Program Verification by Lazy Abstraction. University of California, Berkeley, 2004, pp. 1–165.
View
2004 | Conference Paper | IST-REx-ID: 4445
Henzinger, Thomas A., and Christoph Kirsch. A Typed Assembly Language for Real-Time Programs. ACM, 2004, pp. 104–13, doi:10.1145/1017753.1017774.
View
| DOI
2004 | Journal Article | IST-REx-ID: 875
Kondrashov, Fyodor, and Eugene Koonin. “A Common Framework for Understanding the Origin of Genetic Dominance and Evolutionary Fates of Gene Duplications.” Trends in Genetics, vol. 20, no. 7, Elsevier, 2004, pp. 287–91, doi:10.1016/j.tig.2004.05.001.
View
| DOI
2003 | Journal Article | IST-REx-ID: 2629
Somogyi, Péter, et al. “High Level of MGluR7 in the Presynaptic Active Zones of Select Populations of GABAergic Terminals Innervating Interneurons in the Rat Hippocampus.” European Journal of Neuroscience, vol. 17, no. 12, Wiley-Blackwell, 2003, pp. 2503–20, doi:10.1046/j.1460-9568.2003.02697.x.
View
| DOI
2003 | Journal Article | IST-REx-ID: 2633
Millán, Carmelo, et al. “Co-Expression of Metabotropic Glutamate Receptor 7 and N-Type Ca2+ Channels in Single Cerebrocortical Nerve Terminals of Adult Rats.” Journal of Biological Chemistry, vol. 278, no. 26, American Society for Biochemistry and Molecular Biology, 2003, pp. 23955–62, doi:10.1074/jbc.M211471200.
View
| DOI
2003 | Journal Article | IST-REx-ID: 2632
Holderith, Noémi, et al. “Cell Type-Dependent Expression of HCN1 in the Main Olfactory Bulb.” European Journal of Neuroscience, vol. 18, no. 2, Wiley-Blackwell, 2003, pp. 344–54, doi:10.1046/j.1460-9568.2003.02756.x.
View
| DOI
2002 | Conference Paper | IST-REx-ID: 1738
Falaras, Polycarpos, et al. Dye-Sensitization of Titanium Dioxide Thin Films by Ru(II)-Bpp-Bpy Complexes. Vol. 4801, SPIE, 2002, pp. 125–35, doi:10.1117/12.452446.
View
| DOI
2002 | Journal Article | IST-REx-ID: 2617 |
Losonczy, Attila, et al. “Cell Type Dependence and Variability in the Short-Term Plasticity of EPSCs in Identified Mouse Hippocampal Interneurones.” Journal of Physiology, vol. 542, no. 1, Wiley-Blackwell, 2002, pp. 193–210, doi:10.1113/jphysiol.2002.020024.
View
| DOI
| Download (ext.)
2002 | Thesis | IST-REx-ID: 4414
Mang, Freddy. Games in Open Systems Verification and Synthesis. University of California, Berkeley, 2002, pp. 1–116.
View
2002 | Conference Paper | IST-REx-ID: 4631
De Alfaro, Luca, et al. “Timed Interfaces.” Proceedings of the 2nd International Conference on Embedded Software, vol. 2491, ACM, 2002, pp. 108–22, doi:10.1007/3-540-45828-X_9.
View
| DOI
2002 | Journal Article | IST-REx-ID: 4259 |
Orive, Maria, and Nicholas H. Barton. “Associations between Cytoplasmic and Nuclear Loci in Hybridizing Populations.” Genetics, vol. 162, no. 3, Genetics Society of America, 2002, pp. 1469–85, doi:10.1093/genetics/162.3.1469.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2002 | Journal Article | IST-REx-ID: 3801 |
Hefft, Stefan, et al. “Presynaptic Short-Term Depression Is Maintained during Regulation of Transmitter Release at a GABAergic Synapse in Rat Hippocampus.” Journal of Physiology, vol. 539, no. Pt 1, Wiley-Blackwell, 2002, pp. 201–08, doi:10.1113/jphysiol.2001.013455.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2002 | Journal Article | IST-REx-ID: 3799 |
Lien, Cheng, et al. “Gating, Modulation and Subunit Composition of Voltage-Gated K(+) Channels in Dendritic Inhibitory Interneurones of Rat Hippocampus.” Journal of Physiology, vol. 538, no. Pt 2, Wiley-Blackwell, 2002, pp. 405–19, doi:10.1113/jphysiol.2001.013066.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2002 | Journal Article | IST-REx-ID: 2621
Millán, Carmelo, et al. “Subtype-Specific Expression of Group III Metabotropic Glutamate Receptors and Ca2+ Channels in Single Nerve Terminals.” Journal of Biological Chemistry, vol. 277, no. 49, American Society for Biochemistry and Molecular Biology, 2002, pp. 47796–803, doi:10.1074/jbc.M207531200.
[Published Version]
View
| DOI
| PubMed | Europe PMC
2002 | Journal Article | IST-REx-ID: 2614 |
Millán, Carmelo, et al. “The Inhibition of Glutamate Release by Metabotropic Glutamate Receptor 7 Affects Both [Ca2+]c and CAMP. Evidence for a Strong Reduction of Ca2+ Entry in Single Nerve Terminals.” Journal of Biological Chemistry, vol. 277, no. 16, American Society for Biochemistry and Molecular Biology, 2002, pp. 14092–101, doi:10.1074/jbc.M109044200.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2002 | Journal Article | IST-REx-ID: 2619
Dalezios, Yannis, et al. “Enrichment of MGluR7a in the Presynaptic Active Zones of GABAergic and Non-GABAergic Terminals on Interneurons in the Rat Somatosensory Cortex.” Cerebral Cortex, vol. 12, no. 9, Oxford University Press, 2002, pp. 961–74, doi:10.1093/cercor/12.9.961.
View
| DOI
| PubMed | Europe PMC
2002 | Journal Article | IST-REx-ID: 2618
Nunzi, Maria, et al. “Differential Expression of Calretinin and Metabotropic Glutamate Receptor MGluR1α Defines Subsets of Unipolar Brush Cells in Mouse Cerebellum.” Journal of Comparative Neurology, vol. 451, no. 2, Wiley-Blackwell, 2002, pp. 189–99, doi:10.1002/cne.10344.
View
| DOI
| PubMed | Europe PMC
2001 | Journal Article | IST-REx-ID: 9444
Lindroth, A. M., et al. “Requirement of CHROMOMETHYLASE3 for Maintenance of CpXpG Methylation.” Science, vol. 292, no. 5524, American Association for the Advancement of Science, 2001, pp. 2077–80, doi:10.1126/science.1059745.
View
| DOI
| PubMed | Europe PMC
2001 | Conference Paper | IST-REx-ID: 4634
De Alfaro, Luca, et al. “The Control of Synchronous Systems, Part II.” Proceedings of the 12th International Conference on on Concurrency Theory, vol. 2154, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2001, pp. 566–81, doi:10.1007/3-540-44685-0_38.
View
| DOI
2001 | Conference Paper | IST-REx-ID: 4622
De Alfaro, Luca, and Thomas A. Henzinger. “Interface Automata.” Proceedings of the 8th European Software Engineering Conference, ACM, 2001, pp. 109–20, doi:10.1145/503209.503226.
View
| DOI
2001 | Journal Article | IST-REx-ID: 4200 |
Heisenberg, Carl-Philipp J., et al. “A Mutation in the Gsk3-Binding Domain of Zebrafish Masterblind/Axin1 Leads to a Fate Transformation of Telencephalon and Eyes to Diencephalon.” Genes and Development, vol. 15, no. 11, Cold Spring Harbor Laboratory Press, 2001, pp. 1427–34, doi:10.1101/gad.194301.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2001 | Journal Article | IST-REx-ID: 3928 |
Sixt, Michael K., et al. “Cell Adhesion and Migration Properties of Β2-Integrin Negative Polymorphonuclear Granulocytes on Defined Extracellular Matrix Molecules. Relevance for Leukocyte Extravasation.” Journal of Biological Chemistry, vol. 276, no. 22, American Society for Biochemistry and Molecular Biology, 2001, pp. 18878–87, doi:10.1074/jbc.M010898200.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2001 | Journal Article | IST-REx-ID: 3622
Gardner, Michael, et al. “Genetic Variation for Preadult Viability in Drosophila Melanogaster.” Evolution, vol. 55, no. 8, Wiley-Blackwell, 2001, pp. 1609–20, doi:10.1111/j.0014-3820.2001.tb00680.x.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
2001 | Journal Article | IST-REx-ID: 3495
Jerecic, Jasna, et al. “Impaired NMDA Receptor Function in Mouse Olfactory Bulb Neurons by Tetracycline-Sensitive NR1 (N598R) Expression.” Molecular Brain Research, vol. 94, no. 1–2, Elsevier, 2001, pp. 96–104, doi:10.1016/S0169-328X(01)00221-2.
View
| DOI
| PubMed | Europe PMC
2001 | Journal Article | IST-REx-ID: 2609
Tamaru, Y., et al. “Distribution of Metabotropic Glutamate Receptor MGluR3 in the Mouse CNS: Differential Location Relative to Pre- and Postsynaptic Sites.” Neuroscience, vol. 106, no. 3, Elsevier, 2001, pp. 481–503, doi:10.1016/S0306-4522(01)00305-0.
View
| DOI
| PubMed | Europe PMC
2001 | Journal Article | IST-REx-ID: 2347 |
Lieb, Élliott, et al. “A Rigorous Derivation of the Gross-Pitaevskii Energy Functional for a Two-Dimensional Bose Gas.” Communications in Mathematical Physics, vol. 224, no. 1, Springer, 2001, pp. 17–31, doi:10.1007/s002200100533.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2001 | Journal Article | IST-REx-ID: 11755
Henzinger, Monika H. “Hyperlink Analysis for the Web.” IEEE Internet Computing, vol. 5, no. 1, Institute of Electrical and Electronics Engineers, 2001, pp. 45–50, doi:10.1109/4236.895141.
View
| DOI
| WoS
2000 | Journal Article | IST-REx-ID: 11770 |
Bharat, Krishna, et al. “A Comparison of Techniques to Find Mirrored Hosts on the WWW.” Journal of the American Society for Information Science, vol. 51, no. 12, Wiley, 2000, pp. 1114–22, doi:10.1002/1097-4571(2000)9999:9999<::aid-asi1025>3.0.co;2-0.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2000 | Conference Paper | IST-REx-ID: 4637
De Alfaro, Luca, et al. “The Control of Synchronous Systems.” Proceedings of the 11th International Conference on Concurrency Theory, vol. 1877, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2000, pp. 458–73, doi:10.1007/3-540-44618-4_33.
View
| DOI
2000 | Conference Paper | IST-REx-ID: 4435
Henzinger, Thomas A., and Ritankar Majumdar. “Symbolic Model Checking for Rectangular Hybrid Systems.” Proceedings of the 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, vol. 1785, Springer, 2000, pp. 142–56, doi:10.1007/3-540-46419-0_11.
View
| DOI
2000 | Journal Article | IST-REx-ID: 3798
Jonas, Peter M. “The Time Course of Signaling at Central Glutamatergic Synapses.” Physiology, vol. 15, no. 2, American Physiological Society, 2000, pp. 83–89, doi:10.1152/physiologyonline.2000.15.2.83.
View
| DOI
| PubMed | Europe PMC
2000 | Journal Article | IST-REx-ID: 3548
Harris, Kenneth, et al. “Accuracy of Tetrode Spike Separation as Determined by Simultaneous Intracellular and Extracellular Measurements.” Journal of Neurophysiology, vol. 84, no. 1, American Physiological Society, 2000, pp. 401–14, doi:10.1152/jn.2000.84.1.401.
View
| DOI
| PubMed | Europe PMC
2000 | Journal Article | IST-REx-ID: 3623
Barton, Nicholas H., and Linda Patridge. “Measuring Fitness by Means of Balancer Chromosomes.” Genetical Research, vol. 75, no. 3, Cambridge University Press, 2000, pp. 297–314, doi:10.1017/S0016672399004346.
View
| DOI
| PubMed | Europe PMC
2000 | Journal Article | IST-REx-ID: 3490 |
Normann, Claus, et al. “Associative Long-Term Depression in the Hippocampus Is Dependent on Postsynaptic N-Type Ca(2+) Channels.” Journal of Neuroscience, vol. 20, no. 22, Society for Neuroscience, 2000, pp. 8290–97, doi:10.1523/JNEUROSCI.20-22-08290.2000.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2000 | Journal Article | IST-REx-ID: 2602 |
Perroy, Julie, et al. “Selective Blockade of P/Q-Type Calcium Channels by the Metabotropic Glutamate Receptor Type 7 Involves a Phospholipase C Pathway in Neurons.” Journal of Neuroscience, vol. 20, no. 21, Society for Neuroscience, 2000, pp. 7896–904, doi:10.1523/JNEUROSCI.20-21-07896.2000.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2000 | Journal Article | IST-REx-ID: 2598 |
Sillevis Smitt, Peter, et al. “Paraneoplastic Cerebellar Ataxia Due to Autoantibodies against a Glutamate Receptor.” New England Journal of Medicine, vol. 342, no. 1, Massachussetts Medical Society, 2000, pp. 21–27, doi:10.1056/NEJM200001063420104.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1999 | Journal Article | IST-REx-ID: 11769
Henzinger, Monika H., and Valerie King. “Randomized Fully Dynamic Graph Algorithms with Polylogarithmic Time per Operation.” Journal of the ACM, vol. 46, no. 4, Association for Computing Machinery, 1999, pp. 502–16, doi:10.1145/320211.320215.
View
| DOI
1999 | Journal Article | IST-REx-ID: 11895 |
Silverstein, Craig, et al. “Analysis of a Very Large Web Search Engine Query Log.” ACM SIGIR Forum, vol. 33, no. 1, Association for Computing Machinery, 1999, pp. 6–12, doi:10.1145/331403.331405.
[Published Version]
View
| DOI
| Download Published Version (ext.)
1999 | Journal Article | IST-REx-ID: 2730
Erdös, László, and Jan Solovej. “Semiclassical Eigenvalue Estimates for the Pauli Operator with Strong Nonhomogeneous Magnetic Fields, I: Nonasymptotic Lieb-Thirring-Type Estimate.” Duke Mathematical Journal, vol. 96, no. 1, Duke University Press, 1999, pp. 127–73, doi:10.1215/S0012-7094-99-09604-7.
View
| DOI
1999 | Journal Article | IST-REx-ID: 2864
Witters, Erwin, et al. “Analysis of Cyclic Nucleotides and Cytokinins in Minute Plant Samples Using Phase System Switching Capillary Electrospray Liquid Chromatography Tandem Mass Spectrometry.” Phytochemical Analysis, vol. 10, no. 3, Wiley-Blackwell, 1999, pp. 143–51, doi:10.1002/(SICI)1099-1565(199905/06)10:3<143::AID-PCA441>3.0.CO;2-G.
View
| DOI
1999 | Journal Article | IST-REx-ID: 3148 |
Siekhaus, Daria E., and Robert Fuller. “A Role for Amontillado the Drosophila Homolog of the Neuropeptide Precursor Processing Protease PC2 in Triggering Hatching Behavior.” Journal of Neuroscience, vol. 19, no. 16, Society for Neuroscience, 1999, pp. 6942–54, doi:10.1523/jneurosci.19-16-06942.1999.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1999 | Journal Article | IST-REx-ID: 4277
Kruuk, Loeske, et al. “Hybrid Dysfunction in Fire-Bellied Toads (Bombina).” Evolution; International Journal of Organic Evolution, vol. 53, no. 5, Wiley-Blackwell, 1999, pp. 1611–16, doi:10.2307/2640907.
View
| DOI
| PubMed | Europe PMC
1999 | Journal Article | IST-REx-ID: 3582 |
Dey, Tamal, et al. “Topology Preserving Edge Contraction.” Publications de l’Institut Mathématique, vol. 66, Mathematical Institute, Serbian Academy of Sciences and Arts, 1999, pp. 23–45.
View
| Download None (ext.)
1999 | Journal Article | IST-REx-ID: 2592 |
Masugi, Miwako, et al. “Metabotropic Glutamate Receptor Subtype 7 Ablation Causes Deficit in Fear Response and Conditioned Taste Aversion.” Journal of Neuroscience, vol. 19, no. 3, Society for Neuroscience, 1999, pp. 955–63, doi:10.1523/JNEUROSCI.19-03-00955.1999.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1998 | Journal Article | IST-REx-ID: 11680
Alberts, D., and Monika H. Henzinger. “Average-Case Analysis of Dynamic Graph Algorithms.” Algorithmica, vol. 20, Springer Nature, 1998, pp. 31–60, doi:10.1007/pl00009186.
View
| Files available
| DOI
1998 | Journal Article | IST-REx-ID: 1954
Sazanov, Leonid A., et al. “The Chloroplast Ndh Complex Mediates the Dark Reduction of the Plastoquinone Pool in Response to Heat Stress in Tobacco Leaves.” FEBS Letters, vol. 429, no. 1, Elsevier, 1998, pp. 115–18, doi:10.1016/S0014-5793(98)00573-0.
View
| DOI
| PubMed | Europe PMC
1998 | Journal Article | IST-REx-ID: 2588
Kaupmann, Klemens, et al. “ GABA(B)-Receptor Subtypes Assemble into Functional Heteromeric Complexes.” Nature, vol. 396, no. 6712, Nature Publishing Group, 1998, pp. 683–87, doi:10.1038/25360.
View
| DOI
| PubMed | Europe PMC
1998 | Journal Article | IST-REx-ID: 3488 |
Martina, Marco, et al. “Functional and Molecular Differences between Voltage-Gated K+ Channels of Fast-Spiking Interneurons and Pyramidal Neurons of Rat Hippocampus.” Journal of Neuroscience, vol. 18, no. 20, Society for Neuroscience, 1998, pp. 8111–25, doi:10.1523/JNEUROSCI.18-20-08111.1998.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1998 | Journal Article | IST-REx-ID: 3629
Maccallum, Catriona, et al. “Habitat Preference in the Bombina Hybrid Zone in Croatia.” Evolution, vol. 52, no. 1, Wiley-Blackwell, 1998, pp. 227–39, doi:10.1111/j.1558-5646.1998.tb05156.x.
View
| DOI
| PubMed | Europe PMC
1998 | Conference Paper | IST-REx-ID: 4639
De Alfaro, Luca, et al. “Concurrent Reachability Games.” Proceedings 39th Annual Symposium on Foundations of Computer Science, IEEE, 1998, pp. 564–75, doi:10.1109/SFCS.1998.743507 .
View
| DOI
1997 | Journal Article | IST-REx-ID: 2581
Lee, Teffy, et al. “Collateral Projections from Striatonigral Neurons to Substance P Receptor-Expressing Intrinsic Neurons in the Striatum of the Rat.” Journal of Comparative Neurology, vol. 388, no. 2, Wiley-Blackwell, 1997, pp. 250–64, doi:10.1002/(SICI)1096-9861(19971117)388:2<250::AID-CNE5>3.0.CO;2-0.
View
| DOI
| PubMed | Europe PMC
1997 | Journal Article | IST-REx-ID: 2579
Mann, Patricia, et al. “Localisation of Neurokinin 3 (NK3) Receptor Immunoreactivity in the Rat Gastrointestinal Tract.” Cell and Tissue Research, vol. 289, no. 1, Springer, 1997, pp. 1–9, doi:10.1007/s004410050846.
View
| DOI
| PubMed | Europe PMC
1997 | Journal Article | IST-REx-ID: 4288 |
Fowler, Kevin, et al. “Genetic Variation for Total Fitness in Drosophila Melanogaster.” Proceedings of the Royal Society of London Series B Biological Sciences, vol. 264, no. 1379, The Royal Society, 1997, pp. 191–99, doi:10.1098/rspb.1997.0027.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1997 | Journal Article | IST-REx-ID: 3483 |
Ceranik, Katya, et al. “A Novel Type of GABAergic Interneuron Connecting the Input and the Output Regions of the Hippocampus.” Journal of Neuroscience, vol. 17, no. 14, Society for Neuroscience, 1997, pp. 5380–94, doi:10.1523/JNEUROSCI.17-14-05380.1997.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1997 | Journal Article | IST-REx-ID: 3482 |
Götz, Thomas, et al. “Functional Properties of AMPA and NMDA Receptors Expressed in Identified Types of Basal Ganglia Neurons.” Journal of Neuroscience, vol. 17, no. 1, Society for Neuroscience, 1997, pp. 204–15, doi:10.1523/JNEUROSCI.17-01-00204.1997.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1997 | Journal Article | IST-REx-ID: 4201 |
Heisenberg, Carl-Philipp J., and Christiane Nüsslein Volhard. “The Function of Silberblick in the Positioning of the Eye Anlage in the Zebrafish Embryo.” Developmental Biology, vol. 184, no. 1, Elsevier, 1997, pp. 85–94, doi:10.1006/dbio.1997.8511.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1996 | Journal Article | IST-REx-ID: 1952
Bizouarn, Tania, et al. “Estimation of the H+/H- Ratio of the Reaction Catalysed by the Nicotinamide Nucleotide Transhydrogenase in Chromatophores from over-Expressing Strains of Rhodospirillum Rubrum and in Liposomes Inlaid with the Purified Bovine Enzyme.” Biochimica et Biophysica Acta - Bioenergetics, vol. 1273, no. 1, Elsevier, 1996, pp. 4–12, doi:10.1016/0005-2728(95)00125-5.
View
| DOI
| PubMed | Europe PMC
1996 | Journal Article | IST-REx-ID: 2574
Luján, Rafael, et al. “ Perisynaptic Location of Metabotropic Glutamate Receptors MGluR1 and MGluR5 on Dendrites and Dendritic Spines in the Rat Hippocampus.” European Journal of Neuroscience, vol. 8, no. 7, Wiley-Blackwell, 1996, pp. 1488–500, doi:10.1111/j.1460-9568.1996.tb01611.x.
View
| DOI
| PubMed | Europe PMC
1996 | Journal Article | IST-REx-ID: 2726
Erdös, László. “Gaussian Decay of the Magnetic Eigenfunctions.” Geometric and Functional Analysis, vol. 6, no. 2, Birkhäuser, 1996, pp. 231–48, doi:10.1007/BF02247886.
View
| DOI
1996 | Journal Article | IST-REx-ID: 2725
Erdös, László. “Rayleigh-Type Isoperimetric Inequality with a Homogeneous Magnetic Field.” Calculus of Variations and Partial Differential Equations, vol. 4, no. 3, Springer, 1996, pp. 283–92, doi:10.1007/BF01254348.
View
| DOI
1996 | Journal Article | IST-REx-ID: 4166 |
Odenthal, Jörg, et al. “Mutations Affecting the Formation of the Notochord in the Zebrafish, Danio Rerio.” Development, vol. 123, no. 1, Company of Biologists, 1996, pp. 103–15, doi:10.1242/dev.123.1.103.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1996 | Journal Article | IST-REx-ID: 4142
Whitfield, Tanya, et al. “Mutations Affecting Development of the Zebrafish Inner Ear and Lateral Line.” Development, vol. 123, Company of Biologists, 1996, pp. 241–54, doi:10.1242/dev.123.1.241.
View
| DOI
| PubMed | Europe PMC