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
 

1996 | Journal Article | IST-REx-ID: 2570
Shigemoto, Ryuichi, Ákos Kulik, John Roberts, Hitoshi Ohishi, Zoltán Nusser, Takeshi Kaneko, and Péter Somogyi. “Target-Cell-Specific Concentration of a Metabotropic Glutamate Receptor in the Presynaptic Active Zone.” Nature 381, no. 6582 (1996): 523–25. https://doi.org/10.1038/381523a0.
View | DOI
 

1996 | Journal Article | IST-REx-ID: 3756
Dogterom, Marileen, M. Felix, Calin C Guet, and Stanislas Leibler. “Influence of M-Phase Chromatin on the Anisotropy of Microtubule Asters.” Journal of Cell Biology 133, no. 1 (1996): 125–40. https://doi.org/doi: 10.1083/jcb.133.1.125 .
View | DOI
 

1996 | Journal Article | IST-REx-ID: 4026
Edelsbrunner, Herbert, and Nimish Shah. “Incremental Topological Flipping Works for Regular Triangulations.” Algorithmica 15, no. 3 (1996): 223–41. https://doi.org/10.1007/BF01975867.
View | DOI
 

1996 | Journal Article | IST-REx-ID: 4189
Kane, Donald, Hans Maischein, Michael Brand, Fredericus Van Eeden, Makoto Furutani Seiki, Michael Granato, Pascal Haffter, et al. “The Zebrafish Early Arrest Mutants.” Development 123 (1996): 57–66.
View
 

1996 | Journal Article | IST-REx-ID: 4191
Jiang, Yunjin, Michael Brand, Carl Heisenberg, Dirk Beuchle, Makoto Furutani Seiki, Robert Kelsh, Rachel Warga, et al. “Mutations Affecting Neurogenesis and Brain Morphology in the Zebrafish, Danio Rerio.” Development 123 (1996): 205–16.
View
 

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed