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.
1966 Publications
1997 | Published | Conference Paper | IST-REx-ID: 4583
Alur R, Henzinger TA. Modularity for timed and hybrid systems. In: 8th International Conference on Concurrency Theory. Vol 1243. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 1997:74-88. doi:10.1007/3-540-63141-0_6
View
| DOI
1997 | Published | Conference Paper | IST-REx-ID: 4608
Alur R, Brayton R, Henzinger TA, Qadeer S, Rajamani S. Partial-order reduction in symbolic state-space exploration. In: 9th International Conference on Computer Aided Verification. Vol 1254. Springer; 1997:340-351. doi:10.1007/3-540-63166-6_34
View
| DOI
1997 | Published | Journal Article | IST-REx-ID: 3485 | 
Martina M, Jonas PM. Functional differences in Na+ channel gating between fast-spiking interneurones and principal neurones in rat hippocampus. Journal of Physiology. 1997;505(3):593-603. doi:10.1111/j.1469-7793.1997.593ba.x
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1997 | Published | Journal Article | IST-REx-ID: 3486 |
Bischofberger J, Jonas PM. Action potential propagation into the presynaptic dendrites of rat mitral cells. Journal of Physiology. 1997;504(Pt 2):359-365. doi:10.1111/j.1469-7793.1997.359be.x
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1997 | Published | Journal Article | IST-REx-ID: 4022
Edelsbrunner H, Valtr P, Welzl E. Cutting dense point sets in half. Discrete & Computational Geometry. 1997;17(3):243-255. doi:10.1007/PL00009291
View
| DOI
1997 | Published | Journal Article | IST-REx-ID: 4174 |
Masai I, Heisenberg C-PJ, Barth KA, Macdonald R, Adamek S, Wilson S. Floating head and masterblind regulate neuronal patterning in the roof of the forebrain. Neuron. 1997;18(1):43-57. doi:10.1016/S0896-6273(01)80045-3
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1996 | Published | Conference Paper | IST-REx-ID: 11804
Henzinger M, Telle JA. Faster algorithms for the nonemptiness of streett automata and for communication protocol pruning. In: 5th Scandinavian Workshop on Algorithm Theory. Vol 1097. Springer Nature; 1996:16–27. doi:10.1007/3-540-61422-2_117
View
| DOI
1996 | Published | Conference Paper | IST-REx-ID: 11910
Henzinger M, Thorup M. Improved sampling with applications to dynamic graph algorithms. In: 23rd International Colloquium on Automata, Languages, and Programming. Vol 1099. Springer Nature; 1996:290-299. doi:10.1007/3-540-61440-0_136
View
| DOI
1996 | Published | Conference Paper | IST-REx-ID: 11927 |
Henzinger M, King V, Warnow T. Constructing a tree from homeomorphic subtrees, with applications to computational evolutionary biology. In: 7th Annual ACM-SIAM Symposium on Discrete Algorithms. Society for Industrial and Applied Mathematics; 1996:333-340.
[Published Version]
View
| Files available
| Download Published Version (ext.)
1996 | Published | Conference Paper | IST-REx-ID: 4443
Henzinger TA, Kopke P. State equivalences for rectangular hybrid automata. In: 7th International Conference on Concurrency Theory. Vol 1119. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 1996:530-545. doi:10.1007/3-540-61604-7_74
View
| DOI
| Download None (ext.)
1996 | Published | Conference Paper | IST-REx-ID: 4495
Henzinger TA, Kupferman O, Vardi M. A space-efficient on-the-fly algorithm for real-time model checking. In: 7th International Conference on Concurrency Theory. Vol 1119. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 1996:514-529. doi:10.1007/3-540-61604-7_73
View
| DOI
| Download None (ext.)
1996 | Published | Conference (Editor) | IST-REx-ID: 4585
Henzinger TA, Alur R, eds. 8th International Conference on Computer Aided Verification. Vol 1102. Springer; 1996. doi:10.1007/3-540-61474-5
View
| DOI
| Download None (ext.)
1996 | Published | Book (Editor) | IST-REx-ID: 4612
Alur R, Henzinger TA, Sontag ED, eds. Hybrid Systems III: Verification and Control. Vol 1066. Berlin ; Heidelberg: Springer; 1996. doi:10.1007/BFb0020931
View
| DOI
1996 | Published | Journal Article | IST-REx-ID: 4027
Chazelle B, Edelsbrunner H, Guibas L, Sharir M, Stolfi J. Lines in space: Combinatorics and algorithms. Algorithmica. 1996;15(5):428-447. doi:10.1007/BF01955043
View
| DOI
1996 | Published | Journal Article | IST-REx-ID: 4164
Odenthal J, Rossnagel K, Haffter P, et al. Mutations affecting xanthophore pigmentation in the zebrafish, Danio rerio. Development. 1996;123(1):391-398. doi:10.1242/dev.123.1.391
View
| DOI
| PubMed | Europe PMC
1996 | Published | Journal Article | IST-REx-ID: 4212
Haffter P, Granato M, Brand M, et al. The identification of genes with unique and essential functions in the development of the zebrafish, Danio rerio. Development. 1996;123(1):1-36. doi:10.1242/dev.123.1.1
View
| DOI
| PubMed | Europe PMC
1996 | Published | Journal Article | IST-REx-ID: 17822 |
Haiman Z, Rees MJ, Loeb A. H 2 cooling of primordial gas triggered by UV irradiation. The Astrophysical Journal. 1996;467. doi:10.1086/177628
[Preprint]
View
| DOI
| Download Preprint (ext.)
1996 | Published | Journal Article | IST-REx-ID: 17834 |
Haiman Z, Thoul AA, Loeb A. Cosmological formation of low-mass objects. The Astrophysical Journal. 1996;464. doi:10.1086/177343
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
1995 | Published | Journal Article | IST-REx-ID: 11677
Henzinger M. Fully dynamic biconnectivity in graphs. Algorithmica. 1995;13(6):503-538. doi:10.1007/bf01189067
View
| DOI
1995 | Published | Conference Paper | IST-REx-ID: 11805
Henzinger M, Poutré H. Certificates and fast algorithms for biconnectivity in fully-dynamic graphs. In: 3rd Annual European Symposium on Algorithms. Vol 979. Springer Nature; 1995:171–184. doi:10.1007/3-540-60313-1_142
View
| DOI