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.

6284 Publications

1998 | Journal Article | IST-REx-ID: 4492
Henzinger, Thomas A, Peter Kopke, Anuj Puri, and P. Varaiya. “What’s Decidable about Hybrid Automata?” Journal of Computer and System Sciences. Elsevier, 1998.
View | DOI

1998 | Conference Paper | IST-REx-ID: 4515
Henzinger, Thomas A. “It’s about Time: Real-Time Logics Reviewed,” 1466:439–54. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1998.
View | DOI

1998 | Journal Article | IST-REx-ID: 3487
Jonas, Peter M, Joseph Bischofberger, and Jürgen Sandkühler. “Corelease of Two Fast Neurotransmitters at a Central Synapse.” Science. American Association for the Advancement of Science, 1998.
View | DOI

1998 | Journal Article | IST-REx-ID: 3488
Martina, Marco, Jobst Schultz, Heimo Ehmke, Hannah Monyer, and Peter M Jonas. “Functional and Molecular Differences between Voltage-Gated K+ Channels of Fast-Spiking Interneurons and Pyramidal Neurons of Rat Hippocampus.” Journal of Neuroscience. Society for Neuroscience, 1998.
View | Download (ext.)

1998 | Patent | IST-REx-ID: 3506
Edelsbrunner, Herbert, and Ping Fu. “Apparatus and Method for Geometric Morphing.” Elsevier, 1998. 5,850,229.
View | DOI | Download (ext.)


Filter Publications