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.

5424 Publications

1997 | Journal Article | IST-REx-ID: 4607
Alur, Rajeev, Costas Courcoubetis, and Thomas A Henzinger. “Computing Accumulated Delays in Real-Time Systems.” Formal Methods in System Design 11, no. 2 (1997): 137–56.
View | DOI

1997 | Journal Article | IST-REx-ID: 4493
Henzinger, Thomas A, Pei Ho, and Howard Wong Toi. “HyTech: A Model Checker for Hybrid Systems.” Software Tools For Technology Transfer 1, no. 1–2 (1997): 110–22.
View | DOI

1997 | Conference Paper | IST-REx-ID: 4520
Gupta, Vineet, Thomas A Henzinger, and Radha Jagadeesan. “Robust Timed Automata,” 1201:331–45. Springer, 1997.
View | DOI

1996 | Journal Article | IST-REx-ID: 1952
Bizouarn, Tania, Leonid A Sazanov, Sébastien Aubourg, and Julie Jackson. “Estimation of the H+/H- Ratio of the Reaction Catalysed by the Nicotinamide Nucleotide Transhydrogenase in Chromatophores from over-Expressing Strains of Rhodospirillum Rubrum and in Liposomes Inlaid with the Purified Bovine Enzyme.” Biochimica et Biophysica Acta - Bioenergetics 1273, no. 1 (1996): 4–12.
View | DOI

1996 | Journal Article | IST-REx-ID: 2568
Kinoshita, Ayae, Hitoshi Ohishi, Sakashi Nomura, Ryuichi Shigemoto, Shigetada Nakanishi, and Noboru Mizuno. “Presynaptic Localization of a Metabotropic Glutamate Receptor, MGluR4a, in the Cerebellar Cortex: A Light and Electron Microscope Study in the Rat.” Neuroscience Letters 207, no. 3 (1996): 199–202.
View | DOI


Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed