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.
8923 Publications
2004 |
Published |
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 |
Published |
Thesis |
IST-REx-ID: 4424
Jhala, Ranjit. Program Verification by Lazy Abstraction. University of California, Berkeley, 2004, pp. 1–165.
View
2004 |
Published |
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 |
Published |
Conference Paper |
IST-REx-ID: 4458
Henzinger, Thomas A., et al. Abstractions from Proofs. ACM, 2004, pp. 232–44, doi:10.1145/964001.964021.
View
| DOI
2004 |
Published |
Conference Paper |
IST-REx-ID: 4459
Henzinger, Thomas A., et al. Race Checking by Context Inference. ACM, 2004, pp. 1–13, doi:10.1145/996841.996844.
View
| DOI
2004 |
Published |
Book Chapter |
IST-REx-ID: 4461
Henzinger, Thomas A., et al. “Extreme Model Checking.” Verification: Theory and Practice, vol. 2772, Springer, 2004, pp. 332–58, doi:10.1007/978-3-540-39910-0_16.
View
| DOI
2004 |
Published |
Conference Paper |
IST-REx-ID: 4525
Ghosal, Arkadeb, et al. Event-Driven Programming with Logical Execution Times. Vol. 2993, Springer, 2004, pp. 167–70, doi:10.1007/978-3-540-24743-2_24.
View
| DOI
2004 |
Published |
Conference Paper |
IST-REx-ID: 4555
Chatterjee, Krishnendu, et al. Trading Memory for Randomness. IEEE, 2004, pp. 206–17, doi:10.1109/QEST.2004.10051.
View
| DOI
2004 |
Published |
Journal Article |
IST-REx-ID: 4556
Chatterjee, Krishnendu, et al. “Stack Size Analysis for Interrupt-Driven Programs.” Information and Computation, vol. 194, no. 2, Elsevier, 2004, pp. 144–74, doi:10.1016/j.ic.2004.06.001.
View
| DOI
2004 |
Published |
Conference Paper |
IST-REx-ID: 4558
Chatterjee, Krishnendu, et al. Quantitative Stochastic Parity Games. SIAM, 2004, pp. 121–30.
View
2003 |
Published |
Journal Article |
IST-REx-ID: 2623
Coesmans, Michiel, et al. “Mechanisms Underlying Cerebellar Motor Deficits Due to MGluR1-Autoantibodies.” Annals of Neurology, vol. 53, no. 3, Wiley-Blackwell, 2003, pp. 325–36, doi:10.1002/ana.10451.
View
| DOI
2003 |
Published |
Journal Article |
IST-REx-ID: 2625
Minami, Itsunari, et al. “Long-Term Potentiation of MGluR1 Activity by Depolarization-Induced Homer1a in Mouse Cerebellar Purkinje Neurons.” European Journal of Neuroscience, vol. 17, no. 5, Wiley-Blackwell, 2003, pp. 1023–32, doi:10.1046/j.1460-9568.2003.02499.x.
View
| DOI
2003 |
Published |
Journal Article |
IST-REx-ID: 2626
Kaneda, Katsuyuki, et al. “Differential Expression Patterns of MGluR1α in Monkey Nigral Dopamine Neurons.” Neuroreport, vol. 14, no. 7, Lippincott, Williams & Wilkins, 2003, pp. 947–50, doi:10.1097/01.wnr.0000074344.81633.e4.
View
| DOI
2003 |
Published |
Journal Article |
IST-REx-ID: 2627
Kawakami, Ryosuke, et al. “Asymmetrical Allocation of NMDA Receptor Ε2 Subunits in Hippocampal Circuitry.” Science, vol. 300, no. 5621, American Association for the Advancement of Science, 2003, pp. 990–94, doi:10.1126/science.1082609.
View
| DOI
2003 |
Published |
Journal Article |
IST-REx-ID: 2628
Momiyama, Akiko, et al. “The Density of AMPA Receptors Activated by a Transmitter Quantum at the Climbing Fibre - Purkinje Cell Synapse in Immature Rats.” Journal of Physiology, vol. 549, no. 1, Wiley-Blackwell, 2003, pp. 75–92, doi:10.1113/jphysiol.2002.033472.
View
| DOI
2003 |
Published |
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 |
Published |
Journal Article |
IST-REx-ID: 2630
Toyono, Takashi, et al. “Expression of Metabotropic Glutamate Receptor Group I in Rat Gustatory Papillae.” Cell and Tissue Research, vol. 313, no. 1, Springer, 2003, pp. 29–35, doi:10.1007/s00441-003-0740-2.
View
| DOI
2003 |
Published |
Journal Article |
IST-REx-ID: 2631
Higashida, Haruhiro, et al. “Subtype-Specific Coupling with ADP-Ribosyl Cyclase of Metabotropic Glutamate Receptors in Retina, Cervical Superior Ganglion and NG108-15 Cells.” Journal of Neurochemistry, vol. 85, no. 5, Wiley-Blackwell, 2003, pp. 1148–58, doi:10.1046/j.1471-4159.2003.01751.x.
View
| DOI
2003 |
Published |
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