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.

5716 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 | Book Chapter | IST-REx-ID: 4293
Barton, Nicholas H., and Michael Whitlock. “The Evolution of Metapopulations.” Metapopulation Biology, Academic Press, 1997, pp. 183–210, doi:10.1016/B978-012323445-2/50012-2.
View | DOI
 

1997 | Conference Paper | IST-REx-ID: 4438
Henzinger, Thomas A., and Orna Kupferman. From Quantity to Quality. Vol. 1201, Springer, 1997, pp. 48–62, doi: 10.1007/BFb0014712.
View | DOI
 

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 | Journal Article | IST-REx-ID: 4201
Heisenberg, Carl, and Christiane Nüsslein Volhard. “The Function of Silberblick in the Positioning of the Eye Anlage in the Zebrafish Embryo.” Developmental Biology, vol. 184, no. 1, Elsevier, 1997, pp. 85–94, doi:10.1006/dbio.1997.8511.
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 | Conference Paper | IST-REx-ID: 4605
Alur, Rajeev, et al. Symbolic Analysis of Hybrid Systems. IEEE, 1997, pp. 702–07, doi:10.1109/CDC.1997.650717  .
View | DOI
 

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 | Conference Paper | IST-REx-ID: 4608
Alur, Rajeev, et al. Partial-Order Reduction in Symbolic State-Space Exploration. Vol. 1254, Springer, 1997, pp. 340–51, doi:10.1007/3-540-63166-6_34.
View | DOI
 

1997 | Conference Paper | IST-REx-ID: 4609
Alur, Rajeev, et al. Alternating-Time Temporal Logic. IEEE, 1997, pp. 100–09, doi: 10.1109/SFCS.1997.646098 .
View | DOI
 

1996 | Conference Paper | IST-REx-ID: 1942
Sazanov, Leonid A., et al. Presence of a Large Protein Complex Containing the NdhK Gene Product and Possessing NADH-Specific Dehydrogenase Activity in Thylakoid Membranes of Higher Plant Chloroplasts. Vol. 2, Kluwer, 1996, pp. 705–08.
View
 

1996 | Journal Article | IST-REx-ID: 1951
Sazanov, Leonid A., et al. “Detection and Characterization of a Complex I-like NADH-Specific Dehydrogenase from Pea Thylakoids.” Biochemical Society Transactions, vol. 24, no. 3, Portland Press, 1996, pp. 739–43.
View
 

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
 

1996 | Journal Article | IST-REx-ID: 2492
Neki, Akio, et al. “Metabotropic Glutamate Receptors MGluR2 and MGluR5 Are Expressed in Two Non-Overlapping Populations of Golgi Cells in the Rat Cerebellum.” Neuroscience, vol. 75, no. 3, Elsevier, 1996, pp. 815–26, doi:10.1016/0306-4522(96)00316-8.
View | DOI
 

1996 | Journal Article | IST-REx-ID: 2562
Neki, Akio, et al. “Pre- and Postsynaptic Localization of a Metabotropic Glutamate Receptor, MGluR2, in the Rat Brain: An Immunohistochemical Study with a Monoclonal Antibody.” Neuroscience Letters, vol. 202, no. 3, Elsevier, 1996, pp. 197–200, doi:10.1016/0304-3940(95)12248-6.
View | DOI
 

Search

Filter Publications