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
N. H. Barton, “The ccological detective: Confronting models with data,” Genetical Research, vol. 70, no. 2. Cambridge University Press, pp. 180–181, 1997.
View
 

1997 | Book Chapter | IST-REx-ID: 4293
N. H. Barton and M. Whitlock, “The evolution of metapopulations,” in Metapopulation Biology, Academic Press, 1997, pp. 183–210.
View | DOI
 

1997 | Conference Paper | IST-REx-ID: 4438
T. A. Henzinger and O. Kupferman, “From quantity to quality,” presented at the HART: Hybrid and Real-Time Systems, 1997, vol. 1201, pp. 48–62.
View | DOI
 

1997 | Conference Paper | IST-REx-ID: 4441
T. A. Henzinger and P. Kopke, “Discrete-time control for rectangular hybrid automata,” presented at the ICALP: Automata, Languages and Programming, 1997, vol. 1256, pp. 582–593.
View | DOI
 

1997 | Journal Article | IST-REx-ID: 4493
T. A. Henzinger, P. Ho, and H. Wong Toi, “HyTech: A model checker for hybrid systems,” Software Tools For Technology Transfer, vol. 1, no. 1–2, pp. 110–122, 1997.
View | DOI
 

1997 | Conference Paper | IST-REx-ID: 4494
T. A. Henzinger, P. Ho, and H. Wong Toi, “HyTech: A model checker for hybrid systems,” presented at the CAV: Computer Aided Verification, 1997, vol. 1254, pp. 460–463.
View | DOI
 

1997 | Conference Paper | IST-REx-ID: 4496
T. A. Henzinger, O. Kupferman, and S. Rajamani, “Fair simulation,” presented at the CONCUR: Concurrency Theory, 1997, vol. 1243, pp. 273–287.
View | DOI
 

1997 | Conference Paper | IST-REx-ID: 4520
V. Gupta, T. A. Henzinger, and R. Jagadeesan, “Robust timed automata,” presented at the HART: Hybrid and Real-Time Systems, 1997, vol. 1201, pp. 331–345.
View | DOI
 

1997 | Journal Article | IST-REx-ID: 4201
C. Heisenberg and C. Nüsslein Volhard, “The function of silberblick in the positioning of the eye anlage in the zebrafish embryo,” Developmental Biology, vol. 184, no. 1, pp. 85–94, 1997.
View | DOI
 

1997 | Conference Paper | IST-REx-ID: 4583
R. Alur and T. A. Henzinger, “Modularity for timed and hybrid systems,” presented at the CONCUR: Concurrency Theory, 1997, vol. 1243, pp. 74–88.
View | DOI
 

1997 | Journal Article | IST-REx-ID: 4584
R. Alur and T. A. Henzinger, “Real-time system = discrete system + clock variables,” Software Tools For Technology Transfer, vol. 1, no. 1–2, pp. 86–109, 1997.
View | DOI
 

1997 | Conference Paper | IST-REx-ID: 4605
R. Alur, T. A. Henzinger, and H. Wong Toi, “Symbolic analysis of hybrid systems,” presented at the CDC: Decision and Control, 1997, pp. 702–707.
View | DOI
 

1997 | Journal Article | IST-REx-ID: 4607
R. Alur, C. Courcoubetis, and T. A. Henzinger, “Computing accumulated delays in real-time systems,” Formal Methods in System Design, vol. 11, no. 2, pp. 137–156, 1997.
View | DOI
 

1997 | Conference Paper | IST-REx-ID: 4608
R. Alur, R. Brayton, T. A. Henzinger, S. Qadeer, and S. Rajamani, “Partial-order reduction in symbolic state-space exploration,” presented at the CAV: Computer Aided Verification, 1997, vol. 1254, pp. 340–351.
View | DOI
 

1997 | Conference Paper | IST-REx-ID: 4609
R. Alur, T. A. Henzinger, and O. Kupferman, “Alternating-time temporal logic,” presented at the FOCS: Foundations of Computer Science, 1997, pp. 100–109.
View | DOI
 

1996 | Conference Paper | IST-REx-ID: 1942
L. A. Sazanov, P. Burrows, and P. J. Nixon, “Presence of a large protein complex containing the ndhK gene product and possessing NADH-specific dehydrogenase activity in thylakoid membranes of higher plant chloroplasts,” presented at the IPC: International Photosynthesis Congress, 1996, vol. 2, pp. 705–708.
View
 

1996 | Journal Article | IST-REx-ID: 1951
L. A. Sazanov, P. Burrows, and P. Nixon, “Detection and characterization of a complex I-like NADH-specific dehydrogenase from pea thylakoids,” Biochemical Society Transactions, vol. 24, no. 3, pp. 739–743, 1996.
View
 

1996 | Journal Article | IST-REx-ID: 1952
T. Bizouarn, L. A. Sazanov, S. Aubourg, and J. 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, vol. 1273, no. 1, pp. 4–12, 1996.
View | DOI
 

1996 | Journal Article | IST-REx-ID: 2492
A. Neki, H. Ohishi, T. Kaneko, R. Shigemoto, S. Nakanishi, and N. Mizuno, “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, pp. 815–826, 1996.
View | DOI
 

1996 | Journal Article | IST-REx-ID: 2562
A. Neki, H. Ohishi, T. Kaneko, R. Shigemoto, S. Nakanishi, and N. Mizuno, “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, pp. 197–200, 1996.
View | DOI
 

Search

Filter Publications