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, Nir Piterman, Alex Hajnal, and Thomas A Henzinger. “Predictive Modeling of Signaling Crosstalk during C. Elegans Vulval Development.” PLoS Computational Biology. Public Library of Science, 2007. https://doi.org/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.
View
2007 | Journal Article | IST-REx-ID: 4567
Beyer, Dirk, Thomas A Henzinger, Ranjit Jhala, and Ritankar Majumdar. “The Software Model Checker BLAST: Applications to Software Engineering.” International Journal on Software Tools for Technology Transfer. Springer, 2007. https://doi.org/10.1007/s10009-007-0044-z.
View
| DOI
2007 | Journal Article | IST-REx-ID: 4626
De Alfaro, Luca, Thomas A Henzinger, and Orna Kupferman. “Concurrent Reachability Games.” Theoretical Computer Science. Elsevier, 2007. https://doi.org/10.1016/j.tcs.2007.07.008.
View
| DOI
2007 | Journal Article | IST-REx-ID: 7781
Robinson, Matthew Richard, Jill G. Pilkington, Tim H. Clutton-Brock, Josephine M. Pemberton, and Loeske E.B. Kruuk. “Live Fast, Die Young: Trade-Offs between Fitness Components and Sexually Antagonistic Selection on Weaponry in Soay Sheep.” Evolution. Wiley, 2007. https://doi.org/10.1111/j.0014-3820.2006.tb01854.x.
View
| DOI
2006 | Conference Paper | IST-REx-ID: 1034 | 
Nägerl, Hanns, Tobias Kraemer, Michael Mark, Philipp Waldburger, Johann G Danzl, Bastian Engeser, Adam Lange, et al. “Experimental Evidence for Efimov Quantum States,” 869:269–77. AIP, 2006. https://doi.org/10.1063/1.2400657.
View
| DOI
| Download None (ext.)
2006 | Journal Article | IST-REx-ID: 1715
Dudu, Veronika, Thomas Bittig, Eugeni Entchev, Anna Kicheva, Frank Julicher, and Marcos González Gaitán. “Postsynaptic Mad Signaling at the Drosophila Neuromuscular Junction.” Current Biology. Cell Press, 2006. https://doi.org/10.1016/j.cub.2006.02.061.
View
| Files available
| DOI
2006 | Journal Article | IST-REx-ID: 1796
Siegert, Sandra, Peter Schnierle, and Barbara Schnierle. “Novel Anti-Viral Therapy: Drugs That Block HIV Entry at Different Target Sites.” Mini-Reviews in Medicinal Chemistry. Bentham Science Publishers, 2006. https://doi.org/10.2174/138955706776876267.
View
| DOI
2006 | Journal Article | IST-REx-ID: 2089
Weyrich, Tim, Wojciech Matusik, Hanspeter Pfister, Bernd Bickel, Craig Donner, Chien Tu, Janet Mcandless, et al. “Analysis of Human Faces Using a Measurement-Based Skin Reflectance Model.” ACM Transactions on Graphics. ACM, 2006. https://doi.org/10.1145/1141911.1141987.
View
| DOI
2006 | Conference Paper | IST-REx-ID: 2088
Weyrich, Tim, Wojciech Matusik, Hanspeter Pfister, Bernd Bickel, Craig Donner, Chien Tu, Janet Mcandless, et al. “Analysis of Human Faces Using a Measurement-Based Skin Reflectance Model,” 1013–24. ACM, 2006. https://doi.org/10.1145/1179352.1141987.
View
| DOI
2006 | Journal Article | IST-REx-ID: 2144
Vedrinskiǐ, Rostislav, Elena Nazarenko, Mikhail Lemeshko, Vivian Nassif, Olivier Proux, Alexander Novakovich, and Yves Joly. “Temperature Dependent XAFS Studies of Local Atomic Structure of the Perovskite-Type Zirconates.” Physical Review B - Condensed Matter and Materials Physics. American Physical Society, 2006. https://doi.org/10.1103/PhysRevB.73.134109.
View
| DOI
2006 | Journal Article | IST-REx-ID: 2663
Kodama, Takashi, Yuko Itsukaichi Nishida, Yugo Fukazawa, Minoru Wakamori, Mariko Miyata, Elek Molnár, Yasuo Mori, Ryuichi Shigemoto, and Keiji Imoto. “A CaV2.1 Calcium Channel Mutation Rocker Reduces the Number of Postsynaptic AMPA Receptors in Parallel Fiber-Purkinje Cell Synapses.” European Journal of Neuroscience. Wiley-Blackwell, 2006. https://doi.org/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.” In Somatic Embryogenesis, edited by Abdul Mujib and Jozef Šamaj, 2:343–54. Springer, 2006. https://doi.org/10.1007/7089_020.
View
| DOI
2006 | Journal Article | IST-REx-ID: 3934
Drumea Mirancea, Mihaela, Johannes Wessels, Claudia Müller, Mike Essl, Johannes Eble, Eva Tolosa, Manuel Koch, 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. Company of Biologists, 2006. https://doi.org/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. Elsevier, 2006. https://doi.org/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.” In Geometric Methods in Algebra and Number Theory, 235:193–217. Springer, 2005. https://doi.org/10.1007/0-8176-4417-2_9.
View
| DOI
| Download (ext.)
2005 | Journal Article | IST-REx-ID: 1740
Costantini, Giovanni, Armando Rastelli, Carlos Manzano, P Acosta Diaz, Georgios Katsaros, Rudeeson Songmuang, Oliver Schmidt, Hans Von Känel, and Klaus Kern. “Pyramids and Domes in the InAs/GaAs (0 0 1) and Ge/Si (0 0 1) Systems.” Journal of Crystal Growth. Elsevier, 2005. https://doi.org/10.1016/j.jcrysgro.2004.12.047.
View
| DOI
2005 | Journal Article | IST-REx-ID: 1795
Siegert, Sandra, Sonja Thaler, Ralf Wagner, and Barbara Schnierle. “Assessment of HIV-1 Entry Inhibitors by MLV/HIV-1 Pseudotyped Vectors.” AIDS Research and Therapy. BioMed Central, 2005. https://doi.org/10.1186/1742-6405-2-7.
View
| DOI
2005 | Journal Article | IST-REx-ID: 2650
Nyíri, Gábor, Eszter Szabadits, Csaba Cserép, Ken Mackie, Ryuichi Shigemoto, and Tamás Freund. “GABAB and CB1 Cannabinoid Receptor Expression Identifies Two Types of Septal Cholinergic Neurons.” European Journal of Neuroscience. Wiley-Blackwell, 2005. https://doi.org/10.1111/j.1460-9568.2005.04146.x.
View
| DOI
2005 | Journal Article | IST-REx-ID: 2649
Tanaka, Junichi, Masanori Matsuzaki, Etsuko Tarusawa, Akiko Momiyama, Elek Molnár, Haruo Kasai, and Ryuichi Shigemoto. “Number and Density of AMPA Receptors in Single Synapses in Immature Cerebellum.” Journal of Neuroscience. Society for Neuroscience, 2005. https://doi.org/10.1523/JNEUROSCI.4256-04.2005.
View
| DOI
2005 | Journal Article | IST-REx-ID: 2654
Ferraguti, Francesco, Thomas Klausberger, Philip Cobden, Agnès Baude, John Roberts, Péter Szűcs, Ayae Kinoshita, Ryuichi Shigemoto, Péter Somogyi, and Yannis Dalezios. “ Metabotropic Glutamate Receptor 8-Expressing Nerve Terminals Target Subsets of GABAergic Neurons in the Hippocampus.” Journal of Neuroscience. Society for Neuroscience, 2005. https://doi.org/10.1523/JNEUROSCI.2547-05.2005.
View
| DOI
2005 | Journal Article | IST-REx-ID: 3443
Klausberger, Thomas, Laszlo Marton, Joseph O’Neill, Jojanneke Huck, Yannis Dalezios, Pablo Fuentealba, Wai Suen, et al. “Complementary Roles of Cholecystokinin- and Parvalbumin-Expressing GABAergic Neurons in Hippocampal Network Oscillations.” Journal of Neuroscience. Society for Neuroscience, 2005. https://doi.org/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. Nature Publishing Group, 2005. https://doi.org/10.1038/nn1542.
View
| DOI
2005 | Journal Article | IST-REx-ID: 3611
Nürnberger, Beate, Nicholas H Barton, Loeske Kruuk, and Timothy Vines. “Mating Patterns in a Bombina Hybrid Zone: Inferences from Adult and Full Sib Genotypes.” Heredity. Nature Publishing Group, 2005. https://doi.org/10.1038/sj.hdy.6800607.
View
| DOI
2005 | Journal Article | IST-REx-ID: 3613
Gardner, Michael, Kevin Fowler, Nicholas H Barton, and Linda Patridge. “Genetic Variation for Total Fitness in Drosophila Melanogaster: Complex yet Replicable Patterns.” Genetics. Genetics Society of America, 2005. https://doi.org/10.1534/genetics.104.032367.
View
| DOI
2005 | Journal Article | IST-REx-ID: 4144
Ulrich, Florian, Michael Krieg, Eva Schötz, Vinzenz Link, Irinka Castanon, Viktor Schnabel, Anna Taubenberger, Daniel Müller, Pierre Puech, and Carl-Philipp J Heisenberg. “Wnt11 Functions in Gastrulation by Controlling Cell Cohesion through Rab5c and E-Cadherin.” Developmental Cell. Cell Press, 2005. https://doi.org/10.1016/j.devcel.2005.08.011.
View
| DOI
2005 | Journal Article | IST-REx-ID: 4155
Puech, Pierre, Anna Taubenberger, Florian Ulrich, Michael Krieg, Daniel Mueller, and Carl-Philipp J Heisenberg. “Measuring Cell Adhesion Forces of Primary Gastrulating Cells from Zebrafish Using Atomic Force Microscopy.” Journal of Cell Science. Company of Biologists, 2005. https://doi.org/10.1242/jcs.02547.
View
| DOI
2005 | Conference Paper | IST-REx-ID: 4579
Beyer, Dirk, Thomas A Henzinger, Ranjit Jhala, and Ritankar Majumdar. “Checking Memory Safety with BLAST,” 3442:2–18. Springer, 2005. https://doi.org/10.1007/978-3-540-31984-9_2.
View
| DOI
2005 | Journal Article | IST-REx-ID: 9491 |
Tran, Robert K., Jorja G. Henikoff, Daniel Zilberman, Renata F. Ditt, Steven E. Jacobsen, and Steven Henikoff. “DNA Methylation Profiling Identifies CG Methylation Clusters in Arabidopsis Genes.” Current Biology. Elsevier, 2005. 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 |
Tran, Robert K., Daniel Zilberman, Cecilia de Bustos, Renata F. Ditt, Jorja G. Henikoff, Anders M. Lindroth, Jeffrey Delrow, et al. “Chromatin and SiRNA Pathways Cooperate to Maintain DNA Methylation of Small Transposable Elements in Arabidopsis.” Genome Biology. Springer Nature, 2005. https://doi.org/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, Eugénie Hunsicker, and Rafe Mazzeo. “Hodge Cohomology of Gravitational Instantons.” Duke Mathematical Journal. Duke University Press, 2004. https://doi.org/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. Oxford University Press, 2004. https://doi.org/10.1112/S0024611503014618.
View
| DOI
| Download (ext.)
2004 | Journal Article | IST-REx-ID: 2639
Somogyi, Jozsef, Agnès Baude, Yuko Omori, Hidemi Shimizu, Salah El Mestikawy, Masahiro Fukaya, Ryuichi Shigemoto, Masahiko Watanabe, and Péter Somogyi. “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, 2004. https://doi.org/10.1111/j.0953-816X.2003.03091.x.
View
| DOI
2004 | Journal Article | IST-REx-ID: 2638
Kulik, Ákos, Kazuhiko Nakadate, Akari Hagiwara, Yugo Fukazawa, Rafael Luján, Hiromitsu Saito, Noboru Suzuki, et al. “Immunocytochemical Localization of the Α1A Subunit of the P/Q-Type Calcium Channel in the Rat Cerebellum.” European Journal of Neuroscience. Wiley-Blackwell, 2004. https://doi.org/10.1111/j.0953-816X.2004.03319.x.
View
| DOI
2004 | Journal Article | IST-REx-ID: 2644
Kogo, Naoki, Yannis Dalezios, Marco Capogna, Francesco Ferraguti, Ryuichi Shigemoto, and Péter Somogyi. “Depression of GABAergic Input to Identified Hippocampal Neurons by Group III Metabotropic Glutamate Receptors in the Rat.” European Journal of Neuroscience. Wiley-Blackwell, 2004. https://doi.org/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. Birkhäuser, 2004. https://doi.org/10.1007/s00023-004-0180-x.
View
| DOI
2004 | Journal Article | IST-REx-ID: 3810
Oliver, Dominik, Cheng Lien, Malle Soom, Thomas Baukrowitz, Peter M Jonas, and Bernd Fakler. “Functional Conversion between A-Type and Delayed Rectifier K+ Channels by Membrane Lipids.” Science. American Association for the Advancement of Science, 2004. https://doi.org/10.1126/science.1094113.
View
| DOI
2004 | Journal Article | IST-REx-ID: 4253
Barton, Nicholas H, Alison Etheridge, and Anja Sturm. “Coalescence in a Random Background.” Annals of Applied Probability. Institute of Mathematical Statistics, 2004.
View
| Download (ext.)
2004 | Journal Article | IST-REx-ID: 3809
Schmidt Hieber, Christoph, Peter M Jonas, and Josef Bischofberger. “Enhanced Synaptic Plasticity in Newly Generated Granule Cells of the Adult Hippocampus.” Nature. Nature Publishing Group, 2004. https://doi.org/10.1038/nature02553.
View
| DOI
2004 | Thesis | IST-REx-ID: 4424
Jhala, Ranjit. “Program Verification by Lazy Abstraction.” University of California, Berkeley, 2004.
View
2004 | Conference Paper | IST-REx-ID: 4445
Henzinger, Thomas A, and Christoph Kirsch. “A Typed Assembly Language for Real-Time Programs,” 104–13. ACM, 2004. https://doi.org/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. Elsevier, 2004. https://doi.org/10.1016/j.tig.2004.05.001.
View
| DOI
2003 | Journal Article | IST-REx-ID: 2629
Somogyi, Péter, Yannis Dalezios, Rafael Luján, John Roberts, Masahiko Watanabe, and Ryuichi Shigemoto. “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. Wiley-Blackwell, 2003. https://doi.org/10.1046/j.1460-9568.2003.02697.x.
View
| DOI
2003 | Journal Article | IST-REx-ID: 2633
Millán, Carmelo, Enrique Castro, Magdalena Torres, Ryuichi Shigemoto, and José Sánchez Prieto. “Co-Expression of Metabotropic Glutamate Receptor 7 and N-Type Ca2+ Channels in Single Cerebrocortical Nerve Terminals of Adult Rats.” Journal of Biological Chemistry. American Society for Biochemistry and Molecular Biology, 2003. https://doi.org/10.1074/jbc.M211471200.
View
| DOI
2003 | Journal Article | IST-REx-ID: 2632
Holderith, Noémi, Ryuichi Shigemoto, and Zoltán Nusser. “Cell Type-Dependent Expression of HCN1 in the Main Olfactory Bulb.” European Journal of Neuroscience. Wiley-Blackwell, 2003. https://doi.org/10.1046/j.1460-9568.2003.02756.x.
View
| DOI
2002 | Conference Paper | IST-REx-ID: 1738
Falaras, Polycarpos, Katerina Chryssou, Thomas Stergiopoulos, Ioannis Arabatzis, Georgios Katsaros, Vincent Catalano, Raif Kurtaran, Anne Hugot Le Goff, and Marie Bernard. “Dye-Sensitization of Titanium Dioxide Thin Films by Ru(II)-Bpp-Bpy Complexes,” 4801:125–35. SPIE, 2002. https://doi.org/10.1117/12.452446.
View
| DOI
2002 | Journal Article | IST-REx-ID: 2617 |
Losonczy, Attila, Limei Zhang, Ryuichi Shigemoto, Péter Somogyi, and Zoltán Nusser. “Cell Type Dependence and Variability in the Short-Term Plasticity of EPSCs in Identified Mouse Hippocampal Interneurones.” Journal of Physiology. Wiley-Blackwell, 2002. https://doi.org/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.
View
2002 | Conference Paper | IST-REx-ID: 4631
De Alfaro, Luca, Thomas A Henzinger, and Mariëlle Stoelinga. “Timed Interfaces.” In Proceedings of the 2nd International Conference on Embedded Software, 2491:108–22. ACM, 2002. https://doi.org/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. Genetics Society of America, 2002. https://doi.org/10.1093/genetics/162.3.1469.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC