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.
8920 Publications
2005 |
Published |
Conference Paper |
IST-REx-ID: 4456
Henzinger, Thomas A., et al. Permissive Interfaces. ACM, 2005, pp. 31–40, doi:10.1145/1081706.1081713.
View
| DOI
2005 |
Published |
Conference Paper |
IST-REx-ID: 4457
Henzinger, Thomas A., et al. Composable Code Generation for Distributed Giotto. ACM, 2005, pp. 21–30, doi:10.1145/1065910.1065914.
View
| DOI
2005 |
Published |
Conference Paper |
IST-REx-ID: 4536
Doyen, Laurent, et al. Automatic Rectangular Refinement of Affine Hybrid Systems. Vol. 3829, Springer, 2005, pp. 144–61, doi:DOI: 10.1007/11603009_13.
View
| DOI
2005 |
Published |
Conference Paper |
IST-REx-ID: 4541
Chatterjee, Krishnendu, and Thomas A. Henzinger. Semiperfect-Information Games. Vol. 3821, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2005, pp. 1–18, doi:10.1007/11590156_1.
View
| DOI
2005 |
Published |
Conference Paper |
IST-REx-ID: 4553
Chatterjee, Krishnendu, et al. The Complexity of Stochastic Rabin and Streett Games. Vol. 3580, Springer, 2005, pp. 878–90, doi:10.1007/11523468_71.
View
| DOI
2005 |
Published |
Conference Paper |
IST-REx-ID: 4554
Chatterjee, Krishnendu, et al. Mean-Payoff Parity Games. IEEE, 2005, pp. 178–87, doi:10.1109/LICS.2005.26.
View
| DOI
2005 |
Published |
Conference Paper |
IST-REx-ID: 4557
Chatterjee, Krishnendu, et al. Counterexample-Guided Planning. AUAI Press, 2005, pp. 104–11.
View
| Download (ext.)
2004 |
Published |
Book Review |
IST-REx-ID: 2461
Sauer, Michael, and Jiří Friml. “The Matryoshka Dolls of Plant Polarity.” Development, vol. 131, no. 23, Company of Biologists, 2004, pp. 5774–75, doi:10.1242/dev.01463.
View
| DOI
2004 |
Published |
Book Review |
IST-REx-ID: 2636
Momiyama, Akiko, and Ryuichi Shigemoto. “Function and Distribution of Glutamate Receptors in the Central Synapses.” Tanpakushitsu Kakusan Koso Protein Nucleic Acid Enzyme, vol. 49, no. 3 Suppl, Kyoritsu Shuppan, 2004, pp. 287–94.
View
2004 |
Published |
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 |
Published |
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 |
Published |
Journal Article |
IST-REx-ID: 2640
Notomi, Takuya, and Ryuichi Shigemoto. “Immunohistochemical Localization of Ih Channel Subunits, HCN1-4, in the Rat Brain.” Journal of Comparative Neurology, vol. 471, no. 3, Wiley-Blackwell, 2004, pp. 241–76, doi:10.1002/cne.11039.
View
| DOI
2004 |
Published |
Journal Article |
IST-REx-ID: 2641
Kang, Youngnam, et al. “Bidirectional Interactions between H-Channels and Na+-K + Pumps in Mesencephalic Trigeminal Neurons.” Journal of Neuroscience, vol. 24, no. 14, Society for Neuroscience, 2004, pp. 3694–702, doi:10.1523/JNEUROSCI.5641-03.2004.
View
| DOI
2004 |
Published |
Journal Article |
IST-REx-ID: 2642
Ferraguti, Francesco, et al. “Immunolocalization of Metabotropic Glutamate Receptor 1α (MGluR1α) in Distinct Classes of Interneuron in the CA1 Region of the Rat Hippocampus.” Hippocampus, vol. 14, no. 2, Wiley-Blackwell, 2004, pp. 193–215, doi:10.1002/hipo.10163.
View
| DOI
2004 |
Published |
Journal Article |
IST-REx-ID: 2643
Luján, Rafael, et al. “Localization of the GABAB Receptor 1a/b Subunit Relative to Glutamatergic Synapses in the Dorsal Cochlear Nucleus of the Rat.” Journal of Comparative Neurology, vol. 475, no. 1, Wiley-Blackwell, 2004, pp. 36–46, doi:10.1002/cne.20160.
View
| DOI
2004 |
Published |
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 |
Published |
Journal Article |
IST-REx-ID: 2645
Chan, Savio, et al. “HCN2 and HCN1 Channels Govern the Regularity of Autonomous Pacemaking and Synaptic Resetting in Globus Pallidus Neurons.” Journal of Neuroscience, vol. 24, no. 44, Society for Neuroscience, 2004, pp. 9921–32, doi:10.1523/JNEUROSCI.2162-04.2004.
View
| DOI
2004 |
Published |
Journal Article |
IST-REx-ID: 2646
López Bendito, Guillermina, et al. “ Distribution of Metabotropic GABA Receptor Subunits GABAB1a/b and GABAB2 in the Rat Hippocampus during Prenatal and Postnatal Development.” Hippocampus, vol. 14, no. 7, Wiley-Blackwell, 2004, pp. 836–48, doi:10.1002/hipo.10221.
View
| DOI
2004 |
Published |
Journal Article |
IST-REx-ID: 2706
Erdös, László, and Jan Solovej. “Magnetic Lieb-Thirring Inequalities with Optimal Dependence on the Field Strength.” Journal of Statistical Physics, vol. 116, no. 1–4, Springer, 2004, pp. 475–506, doi:10.1023/B:JOSS.0000037216.45270.1d.
View
| DOI
2004 |
Published |
Journal Article |
IST-REx-ID: 2707
Erdös, László, et al. “On the Quantum Boltzmann Equation.” Journal of Statistical Physics, vol. 116, no. 1–4, Springer, 2004, pp. 367–80, doi:10.1023/B:JOSS.0000037224.56191.ed.
View
| DOI