Please note that ISTA 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.

9191 Publications


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

1997 | Conference Paper | IST-REx-ID: 4608
Partial-order reduction in symbolic state-space exploration
R. Alur, R. Brayton, T.A. Henzinger, S. Qadeer, S. Rajamani, in:, 9th International Conference on Computer Aided Verification, Springer, 1997, pp. 340–351.
View | DOI
 

1997 | Conference Paper | IST-REx-ID: 4609
Alternating-time temporal logic
R. Alur, T.A. Henzinger, O. Kupferman, in:, Proceedings of the 38th Annual Symposium on Foundations of Computer Science, Association for Computing Machinery (ACM), 1997, pp. 100–109.
View | DOI
 

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

1997 | Conference Paper | IST-REx-ID: 4605
Symbolic analysis of hybrid systems
R. Alur, T.A. Henzinger, H. Wong Toi, in:, Proceedings of the 36th IEEE Conference on Decision and Control, IEEE, 1997, pp. 702–707.
View | DOI
 

1997 | Journal Article | IST-REx-ID: 8528
Prevalence in the space of finitely smooth maps
V. Kaloshin, Functional Analysis and Its Applications 31 (1997) 95–99.
View | DOI
 

1997 | Journal Article | IST-REx-ID: 8527
How projections affect the dimension spectrum of fractal measures
B.R. Hunt, V. Kaloshin, Nonlinearity 10 (1997) 1031–1046.
View | DOI
 

1996 | Journal Article | IST-REx-ID: 11761
On the number of small cuts in a graph
M.H. Henzinger, D.P. Williamson, Information Processing Letters 59 (1996) 41–44.
View | DOI
 

1996 | Conference Paper | IST-REx-ID: 11804
Faster algorithms for the nonemptiness of streett automata and for communication protocol pruning
M.H. Henzinger, J.A. Telle, in:, 5th Scandinavian Workshop on Algorithm Theory, Springer Nature, 1996, pp. 16–27.
View | DOI
 

1996 | Conference Paper | IST-REx-ID: 11910
Improved sampling with applications to dynamic graph algorithms
M.H. Henzinger, M. Thorup, in:, 23rd International Colloquium on Automata, Languages, and Programming, Springer Nature, 1996, pp. 290–299.
View | DOI
 

1996 | Conference Paper | IST-REx-ID: 11927 | OA
Constructing a tree from homeomorphic subtrees, with applications to computational evolutionary biology
M.H. Henzinger, V. King, T. Warnow, in:, 7th Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 1996, pp. 333–340.
[Published Version] View | Files available | Download Published Version (ext.)
 

1996 | Conference Paper | IST-REx-ID: 1942 View
 

1996 | Journal Article | IST-REx-ID: 1952 View | DOI | PubMed | Europe PMC
 

1996 | Journal Article | IST-REx-ID: 1951
Detection and characterization of a complex I-like NADH-specific dehydrogenase from pea thylakoids
L.A. Sazanov, P. Burrows, P. Nixon, Biochemical Society Transactions 24 (1996) 739–743.
View | DOI | PubMed | Europe PMC
 

1996 | Journal Article | IST-REx-ID: 2492
Metabotropic glutamate receptors mGluR2 and mGluR5 are expressed in two non-overlapping populations of Golgi cells in the rat cerebellum
A. Neki, H. Ohishi, T. Kaneko, R. Shigemoto, S. Nakanishi, N. Mizuno, Neuroscience 75 (1996) 815–826.
View | DOI | PubMed | Europe PMC
 

1996 | Journal Article | IST-REx-ID: 2564
Localization of the neuromedin K receptor (NK3) in the central nervous system of the rat
Y. Ding, R. Shigemoto, M. Takada, H. Ohishi, S. Nakanishi, N. Mizuno, Journal of Comparative Neurology 364 (1996) 290–310.
View | DOI | PubMed | Europe PMC
 

1996 | Journal Article | IST-REx-ID: 2566
Presynaptic localization of a metabotropic glutamate receptor, mGluR8, in the rhinencephalic areas: A light and electron microscope study in the rat
A. Kinoshita, H. Ohishi, A. Neki, S. Nomura, R. Shigemoto, M. Takada, S. Nakanishi, N. Mizuno, Neuroscience Letters 207 (1996) 61–64.
View | DOI | PubMed | Europe PMC
 

1996 | Journal Article | IST-REx-ID: 2565 View | DOI | PubMed | Europe PMC
 

1996 | Journal Article | IST-REx-ID: 2562
Pre- and postsynaptic localization of a metabotropic glutamate receptor, mGluR2, in the rat brain: An immunohistochemical study with a monoclonal antibody
A. Neki, H. Ohishi, T. Kaneko, R. Shigemoto, S. Nakanishi, N. Mizuno, Neuroscience Letters 202 (1996) 197–200.
View | DOI | PubMed | Europe PMC
 

1996 | Journal Article | IST-REx-ID: 2568
Presynaptic localization of a metabotropic glutamate receptor, mGluR4a, in the cerebellar cortex: A light and electron microscope study in the rat
A. Kinoshita, H. Ohishi, S. Nomura, R. Shigemoto, S. Nakanishi, N. Mizuno, Neuroscience Letters 207 (1996) 199–202.
View | DOI | PubMed | Europe PMC
 

Search

Filter Publications