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.
8920 Publications
1997 |
Published |
Journal Article |
IST-REx-ID: 2579
Localisation of neurokinin 3 (NK3) receptor immunoreactivity in the rat gastrointestinal tract
P. Mann, B. Southwell, Y. Ding, R. Shigemoto, N. Mizuno, J. Furness, Cell and Tissue Research 289 (1997) 1–9.
View
| DOI
| PubMed | Europe PMC
P. Mann, B. Southwell, Y. Ding, R. Shigemoto, N. Mizuno, J. Furness, Cell and Tissue Research 289 (1997) 1–9.
1997 |
Published |
Journal Article |
IST-REx-ID: 2580
Differential plasma membrane distribution of metabotropic glutamate receptors mGluR1α, mGluR2 and mGluR5, relative to neurotransmitter release sites
R. Luján, J. Roberts, R. Shigemoto, H. Ohishi, P. Somogyi, Journal of Chemical Neuroanatomy 13 (1997) 219–241.
View
| DOI
| PubMed | Europe PMC
R. Luján, J. Roberts, R. Shigemoto, H. Ohishi, P. Somogyi, Journal of Chemical Neuroanatomy 13 (1997) 219–241.
1997 |
Published |
Journal Article |
IST-REx-ID: 2581
Collateral projections from striatonigral neurons to substance P receptor-expressing intrinsic neurons in the striatum of the rat
T. Lee, T. Kaneko, R. Shigemoto, S. Nomura, N. Mizuno, Journal of Comparative Neurology 388 (1997) 250–264.
View
| DOI
| PubMed | Europe PMC
T. Lee, T. Kaneko, R. Shigemoto, S. Nomura, N. Mizuno, Journal of Comparative Neurology 388 (1997) 250–264.
1997 |
Published |
Journal Article |
IST-REx-ID: 2582 |
Differential presynaptic localization of metabotropic glutamate receptor subtypes in the rat hippocampus
R. Shigemoto, A. Kinoshita, E. Wada, S. Nomura, H. Ohishi, M. Takada, P. Flor, A. Neki, T. Abe, S. Nakanishi, N. Mizuno, Journal of Neuroscience 17 (1997) 7503–7522.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
R. Shigemoto, A. Kinoshita, E. Wada, S. Nomura, H. Ohishi, M. Takada, P. Flor, A. Neki, T. Abe, S. Nakanishi, N. Mizuno, Journal of Neuroscience 17 (1997) 7503–7522.
1997 |
Published |
Journal Article |
IST-REx-ID: 2727
Dia- and paramagnetism for nonhomogeneous magnetic fields
L. Erdös, Journal of Mathematical Physics 38 (1997) 1289–1317.
View
| DOI
L. Erdös, Journal of Mathematical Physics 38 (1997) 1289–1317.
1997 |
Published |
Journal Article |
IST-REx-ID: 2729
Semiclassical eigenvalue estimates for the Pauli operator with strong non-homogeneous magnetic fields, II. Leading order asymptotic estimates
L. Erdös, J. Solovej, Communications in Mathematical Physics 188 (1997) 599–656.
View
| DOI
L. Erdös, J. Solovej, Communications in Mathematical Physics 188 (1997) 599–656.
1997 |
Published |
Journal Article |
IST-REx-ID: 11666
Continuous profiling: Where have all the cycles gone?
J.M. Anderson, L.M. Berc, J. Dean, S. Ghemawat, M.H. Henzinger, S.-T.A. Leung, R.L. Sites, M.T. Vandevoorde, C.A. Waldspurger, W.E. Weihl, ACM Transactions on Computer Systems 15 (1997) 357–390.
View
| DOI
J.M. Anderson, L.M. Berc, J. Dean, S. Ghemawat, M.H. Henzinger, S.-T.A. Leung, R.L. Sites, M.T. Vandevoorde, C.A. Waldspurger, W.E. Weihl, ACM Transactions on Computer Systems 15 (1997) 357–390.
1997 |
Published |
Journal Article |
IST-REx-ID: 11765
A static 2-approximation algorithm for vertex connectivity and incremental approximation algorithms for edge and vertex connectivity
M.H. Henzinger, Journal of Algorithms 24 (1997) 194–220.
View
| DOI
M.H. Henzinger, Journal of Algorithms 24 (1997) 194–220.
1997 |
Published |
Journal Article |
IST-REx-ID: 11767 |
Faster shortest-path algorithms for planar graphs
M.H. Henzinger, P. Klein, S. Rao, S. Subramanian, Journal of Computer and System Sciences 55 (1997) 3–23.
[Published Version]
View
| DOI
| Download Published Version (ext.)
M.H. Henzinger, P. Klein, S. Rao, S. Subramanian, Journal of Computer and System Sciences 55 (1997) 3–23.
1997 |
Published |
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
B.R. Hunt, V. Kaloshin, Nonlinearity 10 (1997) 1031–1046.
1997 |
Published |
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
V. Kaloshin, Functional Analysis and Its Applications 31 (1997) 95–99.
1997 |
Published |
Conference Paper |
IST-REx-ID: 4583
Modularity for timed and hybrid systems
R. Alur, T.A. Henzinger, in:, 8th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1997, pp. 74–88.
View
| DOI
R. Alur, T.A. Henzinger, in:, 8th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1997, pp. 74–88.
1997 |
Published |
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
R. Alur, T.A. Henzinger, Software Tools For Technology Transfer 1 (1997) 86–109.
1997 |
Published |
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
R. Alur, T.A. Henzinger, H. Wong Toi, in:, Proceedings of the 36th IEEE Conference on Decision and Control, IEEE, 1997, pp. 702–707.
1997 |
Published |
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
R. Alur, C. Courcoubetis, T.A. Henzinger, Formal Methods in System Design 11 (1997) 137–156.
1997 |
Published |
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
R. Alur, R. Brayton, T.A. Henzinger, S. Qadeer, S. Rajamani, in:, 9th International Conference on Computer Aided Verification, Springer, 1997, pp. 340–351.
1997 |
Published |
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
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.
1997 |
Published |
Conference Paper |
IST-REx-ID: 11803
Maintaining minimum spanning trees in dynamic graphs
M.H. Henzinger, V. King, in:, 24th International Colloquium on Automata, Languages and Programming, Springer Nature, 1997, pp. 594–604.
View
| DOI
M.H. Henzinger, V. King, in:, 24th International Colloquium on Automata, Languages and Programming, Springer Nature, 1997, pp. 594–604.
1997 |
Published |
Journal Article |
IST-REx-ID: 11849 |
Continuous profiling: Where have all the cycles gone?
J.M. Anderson, L.M. Berc, J. Dean, S. Ghemawat, M.H. Henzinger, S.-T.A. Leung, R.L. Sites, M.T. Vandevoorde, C.A. Waldspurger, W.E. Weihl, ACM SIGOPS Operating Systems Review 31 (1997) 1–14.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
J.M. Anderson, L.M. Berc, J. Dean, S. Ghemawat, M.H. Henzinger, S.-T.A. Leung, R.L. Sites, M.T. Vandevoorde, C.A. Waldspurger, W.E. Weihl, ACM SIGOPS Operating Systems Review 31 (1997) 1–14.
1997 |
Published |
Journal Article |
IST-REx-ID: 11883
Sampling to provide or to bound: With applications to fully dynamic graph algorithms
M.H. Henzinger, M. Thorup, Random Structures and Algorithms 11 (1997) 369–379.
View
| DOI
M.H. Henzinger, M. Thorup, Random Structures and Algorithms 11 (1997) 369–379.