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.

11380 Publications


2003 | Published | Conference Paper | IST-REx-ID: 4462
T. A. Henzinger, R. Jhala, and R. Majumdar, “Counterexample-guided control,” in Proceedings of the 30th International Colloquium on Automata, Languages and Programming, Eindhoven, The Netherlands, 2003, vol. 2719, pp. 886–902.
View | DOI
 

2003 | Published | Conference Paper | IST-REx-ID: 4463
T. A. Henzinger, R. Jhala, R. Majumdar, and S. Qadeer, “Thread-modular abstraction refinement,” in Proceedings of the 15th International Conference on Computer Aided Verification, Boulder, CO, USA, 2003, vol. 2725, pp. 262–274.
View | DOI
 

2003 | Published | Conference Paper | IST-REx-ID: 4464
T. A. Henzinger, C. Kirsch, and S. Matic, “Schedule-carrying code,” in Proceedings of the 3rd International Conference on Embedded Software, Philadelphia, PA, USA, 2003, vol. 2855, pp. 241–256.
View | DOI
 

2003 | Published | Book Chapter | IST-REx-ID: 4465
T. A. Henzinger, B. Horowitz, and C. Kirsch, “Embedded control systems development with Giotto,” in Software-Enabled Control: Information Technology for Dynamical Systems, Wiley-Blackwell, 2003, pp. 123–146.
View | DOI
 

2003 | Published | Conference Paper | IST-REx-ID: 4466
T. A. Henzinger, O. Kupferman, and R. Majumdar, “On the universal and existential fragments of the mu-calculus,” in Proceedings of the 9th International Conference on Tools and Algorithms for the Construction and Analysis of Systems , Warsaw, Poland, 2003, vol. 2619, pp. 49–64.
View | DOI
 

2003 | Published | Conference Paper | IST-REx-ID: 4467
T. A. Henzinger, R. Jhala, R. Majumdar, and G. Sutre, “Software verification with BLAST,” in Proceedings of the 10th International SPIN Workshop , Portland, OR, USA, 2003, vol. 2648, pp. 235–239.
View | DOI
 

2003 | Published | Journal Article | IST-REx-ID: 4468
T. A. Henzinger, C. Kirsch, M. Sanvido, and W. Pree, “From control models to real-time code using Giotto,” IEEE Control Systems Magazine, vol. 23, no. 1. IEEE, pp. 50–64, 2003.
View | DOI
 

2003 | Published | Journal Article | IST-REx-ID: 4469
T. A. Henzinger, B. Horowitz, and C. Kirsch, “Giotto: A time-triggered language for embedded programming,” Proceedings of the IEEE, vol. 91, no. 1. IEEE, pp. 84–99, 2003.
View | DOI
 

2003 | Published | Conference Paper | IST-REx-ID: 4561
A. Chakrabarti, L. De Alfaro, T. A. Henzinger, and M. Stoelinga, “Resource interfaces,” in Third International Conference on Embedded Software, Philadelphia, PA, USA, 2003, vol. 2855, pp. 117–133.
View | DOI
 

2002 | Published | Journal Article | IST-REx-ID: 2615
T. Toyono et al., “Expression of the metabotropic glutamate receptor, mGluR4a, in the taste hairs of taste buds in rat gustatory papillae,” Archives of Histology and Cytology, vol. 65, no. 1. Japan Society of Histological Documentation, pp. 91–96, 2002.
View | DOI | PubMed | Europe PMC
 

2002 | Published | Journal Article | IST-REx-ID: 2616
G. López Bendito, R. Shigemoto, A. Fairén, and R. Luján, “Differential distribution of group I metabotropic glutamate receptors during rat cortical development,” Cerebral Cortex, vol. 12, no. 6. Oxford University Press, pp. 625–638, 2002.
View | DOI | PubMed | Europe PMC
 

2002 | Published | Journal Article | IST-REx-ID: 2617 | OA
A. Losonczy, L. Zhang, R. Shigemoto, P. Somogyi, and Z. Nusser, “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, pp. 193–210, 2002.
View | DOI | Download (ext.)
 

2002 | Published | Journal Article | IST-REx-ID: 2618
M. Nunzi, R. Shigemoto, and E. Mugnaini, “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, pp. 189–199, 2002.
View | DOI | PubMed | Europe PMC
 

2002 | Published | Journal Article | IST-REx-ID: 2619
Y. Dalezios, R. Luján, R. Shigemoto, J. Roberts, and P. Somogyi, “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, pp. 961–974, 2002.
View | DOI | PubMed | Europe PMC
 

2002 | Published | Journal Article | IST-REx-ID: 2620
A. Lörincz, T. Notomi, G. Tamás, R. Shigemoto, and Z. Nusser, “Polarized and compartment-dependent distribution of HCN1 in pyramidal cell dendrites,” Nature Neuroscience, vol. 5, no. 11. Nature Publishing Group, pp. 1185–1193, 2002.
View | DOI | PubMed | Europe PMC
 

2002 | Published | Journal Article | IST-REx-ID: 2621
C. Millán, R. Luján, R. Shigemoto, and J. Sánchez Prieto, “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, pp. 47796–47803, 2002.
[Published Version] View | DOI | PubMed | Europe PMC
 

2002 | Published | Journal Article | IST-REx-ID: 2622
G. López Bendito, R. Shigemoto, Á. Kulik, O. Paulsen, A. Fairén, and R. Luján, “Expression and distribution of metabotropic GABA receptor subtypes GABABR1 and GABABR2 during rat neocortical development,” European Journal of Neuroscience, vol. 15, no. 11. Wiley-Blackwell, pp. 1766–1778, 2002.
View | DOI | PubMed | Europe PMC
 

2002 | Published | Journal Article | IST-REx-ID: 2624
Á. Kulik et al., “Distinct localization of GABAB receptors relative to synaptic sites in the rat cerebellum and ventrobasal thalamus,” European Journal of Neuroscience, vol. 15, no. 2. Wiley-Blackwell, pp. 291–307, 2002.
View | DOI | PubMed | Europe PMC
 

2002 | Published | Book Chapter | IST-REx-ID: 2694
L. Erdös, “Scaling limits of Schrödinger quantum mechanics,” in Dynamics of Dissipation, Springer, 2002, pp. 487–506.
View | DOI
 

2002 | Published | Conference Paper | IST-REx-ID: 2708
L. Erdös, “Two dimensional Pauli operator via scalar potential,” presented at the QMath: Mathematical Results in Quantum Physics, 2002, vol. 307, pp. 129–133.
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed