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.
1612 Publications
1996 | Conference Paper | IST-REx-ID: 4443
State equivalences for rectangular hybrid automata
T.A. Henzinger, P. Kopke, in:, 7th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1996, pp. 530–545.
View
| DOI
| Download None (ext.)
T.A. Henzinger, P. Kopke, in:, 7th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1996, pp. 530–545.
1996 | Conference Paper | IST-REx-ID: 4495
A space-efficient on-the-fly algorithm for real-time model checking
T.A. Henzinger, O. Kupferman, M. Vardi, in:, 7th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1996, pp. 514–529.
View
| DOI
| Download None (ext.)
T.A. Henzinger, O. Kupferman, M. Vardi, in:, 7th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1996, pp. 514–529.
1996 | Conference (Editor) | IST-REx-ID: 4585
8th International Conference on Computer Aided Verification
T.A. Henzinger, R. Alur, eds., 8th International Conference on Computer Aided Verification, Springer, 1996.
View
| DOI
| Download None (ext.)
T.A. Henzinger, R. Alur, eds., 8th International Conference on Computer Aided Verification, Springer, 1996.
1996 | Book (Editor) | IST-REx-ID: 4612
Hybrid Systems III: Verification and Control
R. Alur, T.A. Henzinger, E.D. Sontag, eds., Hybrid Systems III: Verification and Control, Springer, Berlin ; Heidelberg, 1996.
View
| DOI
R. Alur, T.A. Henzinger, E.D. Sontag, eds., Hybrid Systems III: Verification and Control, Springer, Berlin ; Heidelberg, 1996.
1995 | Journal Article | IST-REx-ID: 11677
Fully dynamic biconnectivity in graphs
M.H. Henzinger, Algorithmica 13 (1995) 503–538.
View
| DOI
M.H. Henzinger, Algorithmica 13 (1995) 503–538.
1995 | Conference Paper | IST-REx-ID: 11806
Approximating minimum cuts under insertions
M.H. Henzinger, in:, 22nd International Colloquium on Automata, Languages and Programming, Springer Nature, 1995, pp. 280–291.
View
| DOI
M.H. Henzinger, in:, 22nd International Colloquium on Automata, Languages and Programming, Springer Nature, 1995, pp. 280–291.
1995 | Conference Paper | IST-REx-ID: 11805
Certificates and fast algorithms for biconnectivity in fully-dynamic graphs
M.H. Henzinger, H. Poutré, in:, 3rd Annual European Symposium on Algorithms, Springer Nature, 1995, pp. 171–184.
View
| DOI
M.H. Henzinger, H. Poutré, in:, 3rd Annual European Symposium on Algorithms, Springer Nature, 1995, pp. 171–184.
1995 | Book Chapter | IST-REx-ID: 2465
Auxin transport
D. Morris, J. Friml, E. Zažímalová, in:, P. Davies (Ed.), Plant Hormones: Biosynthesis, Signal Transduction, Action!, Kluwer, 1995, pp. 451–484.
View
| DOI
| Download None (ext.)
D. Morris, J. Friml, E. Zažímalová, in:, P. Davies (Ed.), Plant Hormones: Biosynthesis, Signal Transduction, Action!, Kluwer, 1995, pp. 451–484.
1995 | Conference Paper | IST-REx-ID: 2712
Magnetic Lieb-Thirring inequalities and stochastic oscillatory integrals
L. Erdös, in:, Birkhäuser, 1995, pp. 127–132.
View
| DOI
| Download None (ext.)
L. Erdös, in:, Birkhäuser, 1995, pp. 127–132.
1995 | Journal Article | IST-REx-ID: 3478 | 
Dendritic glutamate receptor channels in rat hippocampal CA3 and CA1 pyramidal neurons
N. Spruston, P.M. Jonas, B. Sakmann, Journal of Physiology 482 (1995) 325–352.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
N. Spruston, P.M. Jonas, B. Sakmann, Journal of Physiology 482 (1995) 325–352.
1995 | Conference Paper | IST-REx-ID: 3551
Measuring proteins and voids in proteins
H. Edelsbrunner, M. Facello, P. Fu, J. Liang, in:, Proceedings of the 28th Annual Hawaii International Conference on System Sciences, IEEE, 1995, pp. 256–264.
View
| DOI
| Download None (ext.)
H. Edelsbrunner, M. Facello, P. Fu, J. Liang, in:, Proceedings of the 28th Annual Hawaii International Conference on System Sciences, IEEE, 1995, pp. 256–264.
1995 | Conference Paper | IST-REx-ID: 3552
Alpha shapes: definition and software
N. Akkiraju, H. Edelsbrunner, M. Facello, P. Fu, E. Mücke, C. Varela, in:, Elsevier, 1995, pp. 63–66.
View
| Download None (ext.)
N. Akkiraju, H. Edelsbrunner, M. Facello, P. Fu, E. Mücke, C. Varela, in:, Elsevier, 1995, pp. 63–66.
1995 | Journal Article | IST-REx-ID: 3639
A general model for the evolution of recombination
N.H. Barton, Genetical Research 65 (1995) 123–144.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
N.H. Barton, Genetical Research 65 (1995) 123–144.
1995 | Journal Article | IST-REx-ID: 3479 |
Ca(2+)-permeable AMPA and NMDA receptor channels in basket cells of rat hippocampal dentate gyrus
D. Koh, J. Geiger, P.M. Jonas, B. Sakmann, Journal of Physiology 485 (1995) 383–402.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
D. Koh, J. Geiger, P.M. Jonas, B. Sakmann, Journal of Physiology 485 (1995) 383–402.
1995 | Journal Article | IST-REx-ID: 3481 |
Block of native Ca(2+)-permeable AMPA receptors in rat brain by intracellular polyamines generates double rectification
D. Koh, N. Burnashev, P.M. Jonas, Journal of Physiology 486 (1995) 305–312.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
D. Koh, N. Burnashev, P.M. Jonas, Journal of Physiology 486 (1995) 305–312.
1995 | Journal Article | IST-REx-ID: 4028 |
The union of balls and its dual shape
H. Edelsbrunner, Discrete & Computational Geometry 13 (1995) 415–440.
[Published Version]
View
| DOI
| Download Published Version (ext.)
H. Edelsbrunner, Discrete & Computational Geometry 13 (1995) 415–440.
1995 | Journal Article | IST-REx-ID: 4029
An incremental algorithm for Betti numbers of simplicial complexes on the 3-sphere
C. Delfinado, H. Edelsbrunner, Computer Aided Geometric Design 12 (1995) 771–784.
View
| DOI
| Download None (ext.)
C. Delfinado, H. Edelsbrunner, Computer Aided Geometric Design 12 (1995) 771–784.
1995 | Journal Article | IST-REx-ID: 4297 |
The genetic structure of a mosaic hybrid zone between two chromosome races of the Sceloporus grammicus complex (Sauria, Phrynosomatidae) in central Mexico
J. Sites, N.H. Barton, K. Reed, Evolution 49 (1995) 9–36.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
J. Sites, N.H. Barton, K. Reed, Evolution 49 (1995) 9–36.
1995 | Conference Paper | IST-REx-ID: 4450
Algorithmic analysis of nonlinear hybrid systems
T.A. Henzinger, P. Ho, in:, 7th International Conference on Computer Aided Verification, Springer, 1995, pp. 225–238.
View
| DOI
| Download None (ext.)
T.A. Henzinger, P. Ho, in:, 7th International Conference on Computer Aided Verification, Springer, 1995, pp. 225–238.
1995 | Conference Paper | IST-REx-ID: 4448
A note on abstract-interpretation strategies for hybrid automata
T.A. Henzinger, P. Ho, in:, A. Panos, W. Kohn, A. Nerode, S. Sastry (Eds.), 3rd International Hybrid Systems Workshop, Springer, 1995, pp. 252–264.
View
| DOI
| Download None (ext.)
T.A. Henzinger, P. Ho, in:, A. Panos, W. Kohn, A. Nerode, S. Sastry (Eds.), 3rd International Hybrid Systems Workshop, Springer, 1995, pp. 252–264.