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. https://doi.org/10.1023/A:1008626013578.
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. https://doi.org/10.1007/s100090050008.
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. https://doi.org/10.1007/BFb0014736.
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. https://doi.org/10.1016/0005-2728(95)00125-5.
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. https://doi.org/10.1016/0304-3940(96)12519-2.
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed