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.
50 Publications
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
B.R. Hunt, V. Kaloshin, Nonlinearity 10 (1997) 1031–1046.
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
V. Kaloshin, Functional Analysis and Its Applications 31 (1997) 95–99.
1997 | Journal Article | IST-REx-ID: 4493
HyTech: A model checker for hybrid systems
T.A. Henzinger, P. Ho, H. Wong Toi, Software Tools For Technology Transfer 1 (1997) 110–122.
View
| DOI
T.A. Henzinger, P. Ho, H. Wong Toi, Software Tools For Technology Transfer 1 (1997) 110–122.
1997 | Conference Paper | IST-REx-ID: 4494
HyTech: A model checker for hybrid systems
T.A. Henzinger, P. Ho, H. Wong Toi, in:, Springer, 1997, pp. 460–463.
View
| DOI
T.A. Henzinger, P. Ho, H. Wong Toi, in:, Springer, 1997, pp. 460–463.
1997 | Conference Paper | IST-REx-ID: 4496
Fair simulation
T.A. Henzinger, O. Kupferman, S. Rajamani, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1997, pp. 273–287.
View
| DOI
T.A. Henzinger, O. Kupferman, S. Rajamani, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1997, pp. 273–287.
1997 | Conference Paper | IST-REx-ID: 4520
Robust timed automata
V. Gupta, T.A. Henzinger, R. Jagadeesan, in:, Springer, 1997, pp. 331–345.
View
| DOI
V. Gupta, T.A. Henzinger, R. Jagadeesan, in:, Springer, 1997, pp. 331–345.
1997 | Conference Paper | IST-REx-ID: 4583
Modularity for timed and hybrid systems
R. Alur, T.A. Henzinger, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1997, pp. 74–88.
View
| DOI
R. Alur, T.A. Henzinger, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1997, pp. 74–88.
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
R. Alur, T.A. Henzinger, Software Tools For Technology Transfer 1 (1997) 86–109.
1997 | Conference Paper | IST-REx-ID: 4605
Symbolic analysis of hybrid systems
R. Alur, T.A. Henzinger, H. Wong Toi, in:, IEEE, 1997, pp. 702–707.
View
| DOI
R. Alur, T.A. Henzinger, H. Wong Toi, in:, IEEE, 1997, pp. 702–707.
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
R. Alur, C. Courcoubetis, T.A. Henzinger, Formal Methods in System Design 11 (1997) 137–156.
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:, Springer, 1997, pp. 340–351.
View
| DOI
R. Alur, R. Brayton, T.A. Henzinger, S. Qadeer, S. Rajamani, in:, Springer, 1997, pp. 340–351.
1997 | Conference Paper | IST-REx-ID: 4609
Alternating-time temporal logic
R. Alur, T.A. Henzinger, O. Kupferman, in:, IEEE, 1997, pp. 100–109.
View
| DOI
R. Alur, T.A. Henzinger, O. Kupferman, in:, IEEE, 1997, pp. 100–109.
1997 | Journal Article | IST-REx-ID: 3482
Functional properties of AMPA and NMDA receptors expressed in identified types of basal ganglia neurons
T. Götz, U. Kraushaar, J. Geiger, J. Lubke, T. Berger, P.M. Jonas, Journal of Neuroscience 17 (1997) 204–215.
View
| Download (ext.)
T. Götz, U. Kraushaar, J. Geiger, J. Lubke, T. Berger, P.M. Jonas, Journal of Neuroscience 17 (1997) 204–215.
1997 | Journal Article | IST-REx-ID: 3483
A novel type of GABAergic interneuron connecting the input and the output regions of the hippocampus.
K. Ceranik, R. Bender, J. Geiger, H. Monyer, P.M. Jonas, M. Frotscher, J. Lubke, Journal of Neuroscience 17 (1997) 5380–5394.
View
| Download (ext.)
K. Ceranik, R. Bender, J. Geiger, H. Monyer, P.M. Jonas, M. Frotscher, J. Lubke, Journal of Neuroscience 17 (1997) 5380–5394.
1997 | Journal Article | IST-REx-ID: 3484
Submillisecond AMPA receptor-mediated signaling at a principal neuron-interneuron synapse
J. Geiger, J. Lubke, A. Roth, M. Frotscher, P.M. Jonas, Neuron 18 (1997) 1009–1023.
View
| DOI
J. Geiger, J. Lubke, A. Roth, M. Frotscher, P.M. Jonas, Neuron 18 (1997) 1009–1023.
1997 | Journal Article | IST-REx-ID: 3485
Functional differences in Na+ channel gating between fast-spiking interneurones and principal neurones in rat hippocampus
M. Martina, P.M. Jonas, Journal of Physiology 505 (1997) 593–603.
View
| DOI
M. Martina, P.M. Jonas, Journal of Physiology 505 (1997) 593–603.
1997 | Journal Article | IST-REx-ID: 3486
Action potential propagation into the presynaptic dendrites of rat mitral cells
J. Bischofberger, P.M. Jonas, Journal of Physiology 504 (1997) 359–365.
View
| DOI
J. Bischofberger, P.M. Jonas, Journal of Physiology 504 (1997) 359–365.
1997 | Journal Article | IST-REx-ID: 3541
Epileptic afterdischarge in the hippocampal-entorhinal system: Current source density and unit studies
A. Bragin, J.L. Csicsvari, M. Penttonen, G. Buzsáki, Neuroscience 76 (1997) 1187–1203.
View
| DOI
A. Bragin, J.L. Csicsvari, M. Penttonen, G. Buzsáki, Neuroscience 76 (1997) 1187–1203.
1997 | Journal Article | IST-REx-ID: 3630
The effective size of a subdivided population
M. Whitlock, N.H. Barton, Genetics 146 (1997) 427–441.
View
M. Whitlock, N.H. Barton, Genetics 146 (1997) 427–441.
1997 | Journal Article | IST-REx-ID: 3631
Mutational collapse of fitness in marginal habitats and the evolution of ecological specialisation
T. Kawecki, N.H. Barton, J. Fry, Journal of Evolutionary Biology 10 (1997) 407–430.
View
| DOI
T. Kawecki, N.H. Barton, J. Fry, Journal of Evolutionary Biology 10 (1997) 407–430.