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.

6065 Publications


2002 | Conference Paper | IST-REx-ID: 4476
Lazy abstraction
T.A. Henzinger, R. Jhala, R. Majumdar, G. Sutre, in:, ACM, 2002, pp. 58–70.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4562
Synchronous and bidirectional component interfaces
A. Chakrabarti, L. De Alfaro, T.A. Henzinger, F. Mang, in:, Springer, 2002, pp. 414–427.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4563
Interface compatibility checking for software modules
A. Chakrabarti, L. De Alfaro, T.A. Henzinger, M. Jurdziński, F. Mang, in:, Springer, 2002, pp. 428–441.
View | DOI
 

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
 

Search

Filter Publications