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.

6318 Publications


1997 | Conference Paper | IST-REx-ID: 4441
Henzinger, Thomas A., and Peter Kopke. Discrete-Time Control for Rectangular Hybrid Automata. Vol. 1256, Springer, 1997, pp. 582–93, doi:10.1007/3-540-63165-8_213.
View | DOI
 

1997 | Journal Article | IST-REx-ID: 4493
Henzinger, Thomas A., et al. “HyTech: A Model Checker for Hybrid Systems.” Software Tools For Technology Transfer, vol. 1, no. 1–2, Springer, 1997, pp. 110–22, doi:10.1007/s100090050008.
View | DOI
 

1997 | Conference Paper | IST-REx-ID: 4494
Henzinger, Thomas A., et al. HyTech: A Model Checker for Hybrid Systems. Vol. 1254, Springer, 1997, pp. 460–63, doi:10.1007/3-540-63166-6_48.
View | DOI
 

1997 | Conference Paper | IST-REx-ID: 4496
Henzinger, Thomas A., et al. Fair Simulation. Vol. 1243, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1997, pp. 273–87, doi:10.1007/3-540-63141-0_19.
View | DOI
 

1997 | Conference Paper | IST-REx-ID: 4520
Gupta, Vineet, et al. Robust Timed Automata. Vol. 1201, Springer, 1997, pp. 331–45, doi:10.1007/BFb0014736.
View | DOI
 

1997 | Conference Paper | IST-REx-ID: 4583
Alur, Rajeev, and Thomas A. Henzinger. Modularity for Timed and Hybrid Systems. Vol. 1243, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1997, pp. 74–88, doi:10.1007/3-540-63141-0_6.
View | DOI
 

1997 | Journal Article | IST-REx-ID: 4584
Alur, Rajeev, and Thomas A. Henzinger. “Real-Time System = Discrete System + Clock Variables.” Software Tools For Technology Transfer, vol. 1, no. 1–2, Springer, 1997, pp. 86–109, doi:10.1007/s100090050007.
View | DOI
 

1997 | Journal Article | IST-REx-ID: 3482
Götz, Thomas, et al. “Functional Properties of AMPA and NMDA Receptors Expressed in Identified Types of Basal Ganglia Neurons.” Journal of Neuroscience, vol. 17, no. 1, Society for Neuroscience, 1997, pp. 204–15.
View | Download (ext.)
 

1997 | Journal Article | IST-REx-ID: 3483
Ceranik, Katya, et al. “A Novel Type of GABAergic Interneuron Connecting the Input and the Output Regions of the Hippocampus.” Journal of Neuroscience, vol. 17, no. 14, Society for Neuroscience, 1997, pp. 5380–94.
View | Download (ext.)
 

1997 | Journal Article | IST-REx-ID: 3484
Geiger, Jörg, et al. “Submillisecond AMPA Receptor-Mediated Signaling at a Principal Neuron-Interneuron Synapse.” Neuron, vol. 18, no. 6, Elsevier, 1997, pp. 1009–23, doi:10.1016/S0896-6273(00)80339-6.
View | DOI
 

Search

Filter Publications