Please note that IST 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.

6032 Publications


2002 | Conference Paper | IST-REx-ID: 4565
A comparison of control problems for timed and hybrid systems
F. Cassez, T.A. Henzinger, J. Raskin, in:, Springer, 2002, pp. 134–148.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4595
Alternating-time temporal logic
R. Alur, T.A. Henzinger, O. Kupferman, Journal of the ACM 49 (2002) 672–713.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4631
Timed interfaces
L. De Alfaro, T.A. Henzinger, M. Stoelinga, in:, ACM, 2002, pp. 108–122.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 6158 View | DOI | PubMed | Europe PMC
 

2002 | Journal Article | IST-REx-ID: 6159
Social feeding in Caenorhabditis elegans is induced by neurons that detect aversive stimuli
M. de Bono, D.M. Tobin, M.W. Davis, L. Avery, C.I. Bargmann, Nature 419 (2002) 899–903.
View | DOI | PubMed | Europe PMC
 

2002 | Journal Article | IST-REx-ID: 2620
Polarized and compartment-dependent distribution of HCN1 in pyramidal cell dendrites
A. Lörincz, T. Notomi, G. Tamás, R. Shigemoto, Z. Nusser, Nature Neuroscience 5 (2002) 1185–1193.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2621
Subtype-specific expression of Group III metabotropic glutamate receptors and Ca2+ channels in single nerve terminals
C. Millán, R. Luján, R. Shigemoto, J. Sánchez Prieto, Journal of Biological Chemistry 277 (2002) 47796–47803.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2622
Expression and distribution of metabotropic GABA receptor subtypes GABABR1 and GABABR2 during rat neocortical development
G. López Bendito, R. Shigemoto, Á. Kulik, O. Paulsen, A. Fairén, R. Luján, European Journal of Neuroscience 15 (2002) 1766–1778.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2624
Distinct localization of GABAB receptors relative to synaptic sites in the rat cerebellum and ventrobasal thalamus
Á. Kulik, K. Nakadate, G. Nyíri, T. Notomi, B. Malitschek, B. Bettler, R. Shigemoto, European Journal of Neuroscience 15 (2002) 291–307.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 2694
Scaling limits of Schrödinger quantum mechanics
L. Erdös, in:, Springer, 2002, pp. 487–506.
View | DOI
 

Search

Filter Publications