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.

5695 Publications


1999 | Conference Paper | IST-REx-ID: 4602
Automating modular verification
R. Alur, L. De Alfaro, T.A. Henzinger, F. Mang, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1999, pp. 82–97.
View | DOI
 

1998 | Journal Article | IST-REx-ID: 2587 View | DOI
 

1998 | Conference Paper | IST-REx-ID: 2695
Linear Boltzmann equation as scaling limit of quantum Lorentz gas
L. Erdös, H. Yau, in:, American Mathematical Society, 1998, pp. 137–155.
View | DOI
 

1998 | Journal Article | IST-REx-ID: 3535
Hippocampal pyramidal neutrons “space-clamped” in a running wheel task: Place cells or path integrators?
H. Hirase, A. Czurkó, J.L. Csicsvari, G. Buzsáki, European Journal of Neuroscience 10 (1998) 9932–9932.
View
 

1998 | Journal Article | IST-REx-ID: 3629
Habitat preference in the Bombina hybrid zone in Croatia
C. Maccallum, B. Nürnberger, N.H. Barton, J. Szymura, Evolution 52 (1998) 227–239.
View | Download (ext.)
 

Search

Filter Publications

Display / Sort

Citation Style: Default

Export / Embed