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 | Journal Article | IST-REx-ID: 4473
An assume-guarantee rule for checking simulation
T.A. Henzinger, S. Qadeer, S. Rajamani, S. Tasiran, ACM Transactions on Programming Languages and Systems (TOPLAS) 24 (2002) 51–64.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4474
Fair simulation
T.A. Henzinger, O. Kupferman, S. Rajamani, Information and Computation 173 (2002) 64–81.
View | DOI
 

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
 

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
 

2002 | Conference Paper | IST-REx-ID: 2708
Two dimensional Pauli operator via scalar potential
L. Erdös, in:, World Scientific Publishing, 2002, pp. 129–133.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2737
Derivation of the Schrödinger-Poisson equation from the quantum N-body problem
C. Bardos, L. Erdös, F. Golse, N. Mauser, H. Yau, Comptes Rendus Mathematique 334 (2002) 515–520.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2738
Linear Boltzmann equation as the long time dynamics of an electron weakly coupled to a phonon field
L. Erdös, Journal of Statistical Physics 107 (2002) 1043–1127.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2739
Pauli operator and Aharonov-Casher theorem for measure valued magnetic fields
L. Erdös, V. Vougalter, Communications in Mathematical Physics 225 (2002) 399–421.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2740
Spectral shift and multiplicity of the first eigenvalue of the magnetic Schrödinger operator in two dimensions
L. Erdös, Annales de l’Institut Fourier 52 (2002) 1833–1874+XI+VII.
View | DOI
 

Search

Filter Publications