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.

5630 Publications


1997 | Book Review | IST-REx-ID: 4291
Barton, Nicholas H. “The Ccological Detective: Confronting Models with Data.” Genetical Research, vol. 70, no. 2, Cambridge University Press, 1997, pp. 180–81.
View
 

1997 | Journal Article | IST-REx-ID: 4607
Alur, Rajeev, et al. “Computing Accumulated Delays in Real-Time Systems.” Formal Methods in System Design, vol. 11, no. 2, Springer, 1997, pp. 137–56, doi:10.1023/A:1008626013578.
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: 4520
Gupta, Vineet, et al. Robust Timed Automata. Vol. 1201, Springer, 1997, pp. 331–45, doi:10.1007/BFb0014736.
View | DOI
 

1996 | Journal Article | IST-REx-ID: 1952
Bizouarn, Tania, et al. “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, vol. 1273, no. 1, Elsevier, 1996, pp. 4–12, doi:10.1016/0005-2728(95)00125-5.
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed