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.

723 Publications


2007 | Journal Article | IST-REx-ID: 4531
Fisher, Jasmin, et al. “Predictive Modeling of Signaling Crosstalk during C. Elegans Vulval Development.” PLoS Computational Biology, vol. 3(5):e92, Public Library of Science, 2007, doi:10.1371/journal.pcbi.0030092.
View | DOI
 

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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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
 

Filters and Search Terms

type%3Ddissertation

Search

Filter Publications