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.

5758 Publications


1998 | Journal Article | IST-REx-ID: 4492
What's decidable about hybrid automata?
T.A. Henzinger, P. Kopke, A. Puri, P. Varaiya, Journal of Computer and System Sciences 57 (1998) 94–124.
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4515
It's about time: Real-time logics reviewed
T.A. Henzinger, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1998, pp. 439–454.
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4603
Alternating refinement relations
R. Alur, T.A. Henzinger, O. Kupferman, M. Vardi, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1998, pp. 163–178.
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4604
Mocha: Modularity in model checking
R. Alur, T.A. Henzinger, F. Mang, S. Qadeer, S. Rajamani, S. Tasiran, in:, Springer, 1998, pp. 521–525.
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4606
Symbolic exploration of transition hierarchies
R. Alur, T.A. Henzinger, S. Rajamani, in:, Springer, 1998, pp. 330–344.
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4639
Concurrent reachability games
L. De Alfaro, T.A. Henzinger, O. Kupferman, in:, IEEE, 1998, pp. 564–575.
View | DOI
 

1998 | Journal Article | IST-REx-ID: 6160 View | DOI | PubMed | Europe PMC
 

1998 | Journal Article | IST-REx-ID: 3487
Corelease of two fast neurotransmitters at a central synapse
P.M. Jonas, J. Bischofberger, J. Sandkühler, Science 281 (1998) 419–424.
View | DOI
 

1998 | Journal Article | IST-REx-ID: 3488
Functional and molecular differences between voltage-gated K+ channels of fast-spiking interneurons and pyramidal neurons of rat hippocampus
M. Martina, J. Schultz, H. Ehmke, H. Monyer, P.M. Jonas, Journal of Neuroscience 18 (1998) 8111–8125.
View | Download (ext.)
 

1998 | Patent | IST-REx-ID: 3506
Apparatus and method for geometric morphing
H. Edelsbrunner, P. Fu, (1998).
View | DOI | Download (ext.)
 

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

1998 | Journal Article | IST-REx-ID: 3525
Persistence and temporal compression of spike sequences during fast field oscillation in the hippocampus
Z. Nádasdy, J.L. Csicsvari, H. Hirase, A. Czurkó, G. Buzsáki, European Journal of Neuroscience 10 (1998) 9409–9409.
View
 

1998 | Journal Article | IST-REx-ID: 3527
Monosynaptic interactions between CA1 Pyramidal cells and interneuron in the behaving rat
J.L. Csicsvari, A. Czurkó, H. Hirase, G. Buzsáki, European Journal of Neuroscience 10 (1998) 2553–2553.
View
 

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 | Book Chapter | IST-REx-ID: 3570
Auditory Morse analysis of triangulated manifolds
U. Axen, H. Edelsbrunner, in:, Mathematical Visualization, Springer, 1998, pp. 223–236.
View | DOI
 

1998 | Journal Article | IST-REx-ID: 3627
The effect of hitch-hiking on neutral genealogies
N.H. Barton, Genetical Research 72 (1998) 123–133.
View | DOI
 

1998 | Journal Article | IST-REx-ID: 3628
Testing for epistasis between deleterious mutations
S. West, A. Peters, N.H. Barton, Genetics 149 (1998) 435–444.
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.)
 
 

1998 | Journal Article | IST-REx-ID: 4011
Analytical shape computation of macromolecules: I. molecular area and volume through alpha shape
J. Liang, H. Edelsbrunner, P. Fu, P. Sudhakar, S. Subramaniam, Proteins: Structure, Function and Bioinformatics 33 (1998) 1–17.
View | DOI
 

Search

Filter Publications