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.
52 Publications
1995 | Journal Article | IST-REx-ID: 11677
Henzinger MH. Fully dynamic biconnectivity in graphs. Algorithmica. 1995;13(6):503-538. doi:10.1007/bf01189067
View
| DOI
1995 | Conference Paper | IST-REx-ID: 11684
Henzinger MH, King V. Fully dynamic biconnectivity and transitive closure. In: Proceedings of IEEE 36th Annual Foundations of Computer Science. Institute of Electrical and Electronics Engineers; 1995:664-672. doi:10.1109/SFCS.1995.492668
View
| DOI
1995 | Conference Paper | IST-REx-ID: 11806
Henzinger MH. Approximating minimum cuts under insertions. In: 22nd International Colloquium on Automata, Languages and Programming. Vol 944. Springer Nature; 1995:280–291. doi:10.1007/3-540-60084-1_81
View
| DOI
1995 | Conference Paper | IST-REx-ID: 11805
Henzinger MH, 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
1995 | Conference Paper | IST-REx-ID: 11928 | 
Alberts D, Henzinger MH. Average case analysis of dynamic graph algorithms. In: 6th Annual ACM-SIAM Symposium on Discrete Algorithms. Society for Industrial and Applied Mathematics; 1995:312-321.
[Published Version]
View
| Files available
| Download Published Version (ext.)
1995 | Journal Article | IST-REx-ID: 1943 |
Sazanov LA, Jackson B. Cyclic reactions catalysed by detergent-dispersed and reconstituted transhydrogenase from beef heart mitochondria; implications for the mechanism of proton translocation. Biochimica et Biophysica Acta - Bioenergetics. 1995;1231(3):304-312. doi:10.1016/0005-2728(95)00096-2
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1995 | Book Chapter | IST-REx-ID: 2465
Morris D, Friml J, Zažímalová E. Auxin transport. In: Davies P, ed. Plant Hormones: Biosynthesis, Signal Transduction, Action!. Kluwer; 1995:451-484. doi:10.1007/978-1-4020-2686-7_21
View
| DOI
| Download None (ext.)
1995 | Journal Article | IST-REx-ID: 2491
Ohishi H, Akazawa C, Shigemoto R, Nakanishi S, Mizuno N. Distributions of the mRNAs for L-2-amino-4-phosphonobutyrate-sensitive metabotropic glutamate receptors, mGluR4 and mGluR7, in the rat brain. Journal of Comparative Neurology. 1995;360(4):555-570. doi:10.1002/cne.903600402
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1995 | Journal Article | IST-REx-ID: 2559 |
Masu M, Iwakabe H, Tagawa Y, et al. Specific deficit of the ON response in visual transmission by targeted disruption of the mGIuR6 gene. Cell. 1995;80(5):757-765. doi:10.1016/0092-8674(95)90354-2
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1995 | Journal Article | IST-REx-ID: 2558
Mick G, Shigemoto R, Kitahama K. Localization of substance P receptors in central neural structures controlling daily rhythms in nocturnal rodents. Comptes Rendus de l’Academie des Sciences - Series III. 1995;318(2):209-217.
View
| Download None (ext.)
| PubMed | Europe PMC
1995 | Journal Article | IST-REx-ID: 2561
Ohishi H, Nomura S, Ding Y, et al. Presynaptic localization of a metabotropic glutamate receptor, mGluR7, in the primary afferent neurons: An immunohistochemical study in the rat. Neuroscience Letters. 1995;202(1-2):85-88. doi:10.1016/0304-3940(95)12207-9
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1995 | Journal Article | IST-REx-ID: 2560
Lü Y, Jin S, Xu T, et al. Expression of c-fos protein in substance P receptor-like immunoreactive neurons in response to noxious stimuli on the urinary bladder: an observation in the lumbosacral cord segments of the rat. Neuroscience Letters. 1995;198(2):139-142. doi:10.1016/0304-3940(95)11991-5
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1995 | Journal Article | IST-REx-ID: 2556
Ding Y, Takada M, Shigemoto R, Mizuno N. Spinoparabrachial tract neurons showing substance P receptor-like immunoreactivity in the lumbar spinal cord of the rat. Brain Research. 1995;674(2):336-340. doi:10.1016/0006-8993(95)00022-I
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1995 | Journal Article | IST-REx-ID: 2563
Ding Y, Takada M, Shigemoto R, Mizuno N. Trigeminoparabrachial projection neurons showing substance P receptor-like immunoreactivity in the rat. Neuroscience Research. 1995;23(4):415-418. doi:10.1016/0168-0102(95)00961-R
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1995 | Conference Paper | IST-REx-ID: 2712
Erdös L. Magnetic Lieb-Thirring inequalities and stochastic oscillatory integrals. In: Vol 78. Birkhäuser; 1995:127-132. doi:10.1007/978-3-0348-9092-2_13
View
| DOI
| Download None (ext.)
1995 | Journal Article | IST-REx-ID: 2724
Erdös L. Magnetic Lieb-Thirring inequalities. Communications in Mathematical Physics. 1995;170(3):629-668. doi:10.1007/BF02099152
View
| DOI
| Download None (ext.)
1995 | Book Chapter | IST-REx-ID: 3454
Monyer H, Jonas PM. Polymerase chain reaction analysis of ion channel expression in single neurons of brain slices. In: Sakmann B, Neher E, eds. Single-Channel Recording. Plenum; 1995:357-373. doi:10.1007/978-1-4419-1229-9_16
View
| DOI
| Download None (ext.)
1995 | Book Chapter | IST-REx-ID: 3455
Jonas PM. Fast application of agonists to isolated membrane patches. In: Sakmann B, Neher E, eds. Single-Channel Recording. Plenum; 1995:231-243. doi:10.1007/978-1-4419-1229-9_10
View
| DOI
| Download None (ext.)
1995 | Journal Article | IST-REx-ID: 3461 |
Jonas PM, Burnashev N. Molecular mechanisms controlling calcium entry through AMPA-type glutamate receptor channels. Neuron. 1995;15(5):987-990. doi:10.1016/0896-6273(95)90087-X
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1995 | Journal Article | IST-REx-ID: 3478 |
Spruston N, Jonas PM, Sakmann B. Dendritic glutamate receptor channels in rat hippocampal CA3 and CA1 pyramidal neurons. Journal of Physiology. 1995;482(Pt 2):325-352. doi:10.1113/jphysiol.1995.sp020521
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1995 | Conference Paper | IST-REx-ID: 3551
Edelsbrunner H, Facello M, Fu P, Liang J. Measuring proteins and voids in proteins. In: Proceedings of the 28th Annual Hawaii International Conference on System Sciences. IEEE; 1995:256-264. doi:10.1109/HICSS.1995.375331
View
| DOI
| Download None (ext.)
1995 | Conference Paper | IST-REx-ID: 3552
Akkiraju N, Edelsbrunner H, Facello M, Fu P, Mücke E, Varela C. Alpha shapes: definition and software. In: Elsevier; 1995:63-66.
View
| Download None (ext.)
1995 | Journal Article | IST-REx-ID: 3636 |
Nürnberger B, Barton NH, Maccallum C, Gilchrist J, Appleby M. Natural selection on quantitative traits in the Bombina hybrid zone. Evolution. 1995;49(6):1224-1238. doi:10.1111/j.1558-5646.1995.tb04449.x
[Published Version]
View
| DOI
| Download Published Version (ext.)
1995 | Journal Article | IST-REx-ID: 3637
Maccallum C, Nürnberger B, Barton NH. Experimental evidence for habitat dependent selection in a Bombina hybrid zone. Proceedings of the Royal Society of London Series B Biological Sciences. 1995;260(1359):257-264. doi:10.1098/rspb.1995.0089
View
| DOI
| Download None (ext.)
1995 | Journal Article | IST-REx-ID: 3639
Barton NH. A general model for the evolution of recombination. Genetical Research. 1995;65(2):123-144. doi:10.1017/S0016672300033140
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1995 | Journal Article | IST-REx-ID: 3638
Barton NH, Wilson I. Genealogies and geography. Philosophical Transactions of the Royal Society of London Series B, Biological Sciences. 1995;349(1327):49-59. doi:10.1098/rstb.1995.0090
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1995 | Journal Article | IST-REx-ID: 4035
Chazelle B, Edelsbrunner H, Grigni M, Guibas L, Sharir M, Welzl E. Improved bounds on weak ε-nets for convex sets. Discrete & Computational Geometry. 1995;13(1):1-15. doi:10.1007/BF02574025
View
| DOI
| Download None (ext.)
1995 | Conference Paper | IST-REx-ID: 4034
Edelsbrunner H. Algebraic decomposition of non-convex polyhedra. In: Proceedings of IEEE 36th Annual Foundations of Computer Science. IEEE; 1995:248-257.
View
| Download None (ext.)
1995 | Journal Article | IST-REx-ID: 4153
Ransom D, Brownlie A, Haffter P, et al. Hematopoietic mutants identified in a saturation screen of the zebrafish genome. Blood. 1995;86(10):1912-1912.
View
1995 | Journal Article | IST-REx-ID: 3479 |
Koh D, Geiger J, Jonas PM, Sakmann B. Ca(2+)-permeable AMPA and NMDA receptor channels in basket cells of rat hippocampal dentate gyrus. Journal of Physiology. 1995;485(Pt 2):383-402. doi:10.1113/jphysiol.1995.sp020737
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1995 | Journal Article | IST-REx-ID: 3481 |
Koh D, Burnashev N, Jonas PM. Block of native Ca(2+)-permeable AMPA receptors in rat brain by intracellular polyamines generates double rectification. Journal of Physiology. 1995;486(Pt 2):305-312. doi:10.1113/jphysiol.1995.sp020813
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1995 | Journal Article | IST-REx-ID: 3480 |
Geiger J, Melcher T, Koh D, et al. Relative abundance of subunit mRNAs determines gating and Ca(2+) permeability of AMPA receptors in principal neurons and interneurons in rat CNS. Neuron. 1995;15(1):193-204. doi:10.1016/0896-6273(95)90076-4
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1995 | Book Review | IST-REx-ID: 3597
Kirkpatrick M, Barton NH. Déjà vu all over again. Nature. 1995;377:388-389. doi:10.1038/377388a0
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1995 | Journal Article | IST-REx-ID: 3640 |
Barton NH. Linkage and the limits to natural selection. Genetics. 1995;140(2):821-841. doi:http://www.genetics.org/content/140/2/821.long
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1995 | Journal Article | IST-REx-ID: 4028 |
Edelsbrunner H. The union of balls and its dual shape. Discrete & Computational Geometry. 1995;13(1):415-440. doi:10.1007/BF02574053
[Published Version]
View
| DOI
| Download Published Version (ext.)
1995 | Journal Article | IST-REx-ID: 4029
Delfinado C, Edelsbrunner H. An incremental algorithm for Betti numbers of simplicial complexes on the 3-sphere. Computer Aided Geometric Design. 1995;12(7):771-784. doi:10.1016/0167-8396(95)00016-Y
View
| DOI
| Download None (ext.)
1995 | Journal Article | IST-REx-ID: 4297 |
Sites J, Barton NH, Reed K. The genetic structure of a mosaic hybrid zone between two chromosome races of the Sceloporus grammicus complex (Sauria, Phrynosomatidae) in central Mexico. Evolution. 1995;49(1):9-36. doi:10.1111/j.1558-5646.1995.tb05955.x
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1995 | Journal Article | IST-REx-ID: 4296 |
Partridge L, Barrie B, Barton NH, Fowler K, French V. Rapid laboratory evolution of adult life history traits in Drosophila melanogaster in response to temperature. Evolution. 1995;49(3):538-544. doi:10.1111/j.1558-5646.1995.tb02285.x
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1995 | Journal Article | IST-REx-ID: 4298 |
Barton NH. Appendix to “A simulation study of multilocus clines” by S J E Baird. Evolution. 1995;49(6):1038-1045. doi:10.1111/j.1558-5646.1995.tb04431.x
[Published Version]
View
| DOI
| Download Published Version (ext.)
1995 | Thesis | IST-REx-ID: 4428 |
Ho P. Automatic analysis of hybrid systems. 1995:1-188.
[Published Version]
View
| Download Published Version (ext.)
1995 | Conference Paper | IST-REx-ID: 4450
Henzinger TA, Ho P. Algorithmic analysis of nonlinear hybrid systems. In: 7th International Conference on Computer Aided Verification. Vol 939. Springer; 1995:225-238. doi:10.1007/3-540-60045-0_53
View
| DOI
| Download None (ext.)
1995 | Conference Paper | IST-REx-ID: 4448
Henzinger TA, Ho P. A note on abstract-interpretation strategies for hybrid automata. In: Panos A, Kohn W, Nerode A, Sastry S, eds. 3rd International Hybrid Systems Workshop. Vol 999. Springer; 1995:252-264. doi:10.1007/3-540-60472-3_13
View
| DOI
| Download None (ext.)
1995 | Conference Paper | IST-REx-ID: 4447
Henzinger TA, Ho P. HyTech: The Cornell Hybrid Technology Tool. In: Panos A, Kohn W, Nerode A, Sastry S, eds. 4th International Hybrid Systems Workshop. Vol 999. LNCS. Springer; 1995:265-293. doi:10.1007/3-540-60472-3_14
View
| DOI
| Download None (ext.)
1995 | Conference Paper | IST-REx-ID: 4497
Henzinger TA, Ho P, Wong Toi H. A user guide to HyTech. In: 1st International Workshop on Tools and Algorithms for the Construction and Analysis of Systems. Vol 1019. Springer; 1995:41-71. doi:10.1007/3-540-60630-0_3
View
| DOI
| Download None (ext.)
1995 | Conference Paper | IST-REx-ID: 4499
Henzinger TA, Ho P, Wong Toi H. HyTech: The next generation. In: Proceedings 16th IEEE Real-Time Systems Symposium. IEEE; 1995:56-65. doi:10.1109/REAL.1995.495196
View
| DOI
| Download None (ext.)
1995 | Conference Paper | IST-REx-ID: 4498
Henzinger MH, Henzinger TA, Kopke P. Computing simulations on finite and infinite graphs. In: Proceedings of IEEE 36th Annual Foundations of Computer Science. IEEE; 1995:453-462. doi:10.1109/SFCS.1995.492576
View
| DOI
1995 | Conference Paper | IST-REx-ID: 4502 |
Henzinger TA, Kopke P, Puri A, Varaiya P. What’s decidable about hybrid automata? In: Proceedings of the 27th Annual ACM Symposium on Theory of Computing. ACM; 1995:373-382. doi:10.1145/225058.225162
[Published Version]
View
| DOI
| Download Published Version (ext.)
1995 | Conference Paper | IST-REx-ID: 4500
Henzinger TA, Kopke P, Wong Toi H. The expressive power of clocks. In: 22nd International Colloquium on Automata, Languages and Programming . Vol 944. Springer; 1995:417-428. doi:10.1007/3-540-60084-1_93
View
| DOI
| Download None (ext.)
1995 | Conference Paper | IST-REx-ID: 4518
Henzinger TA. Hybrid automata with finite bisimulations. In: 22nd International Colloquium on Automata, Languages and Programming . Vol 944. Springer; 1995:324-335. doi:10.1007/3-540-60084-1_85
View
| DOI
| Download None (ext.)
1995 | Conference Paper | IST-REx-ID: 4587
Alur R, Henzinger TA. Local liveness for compositional modeling of fair reactive systems. In: 7th International Conference on Computer Aided Verification. Vol 939. Springer; 1995:166-179. doi:10.1007/3-540-60045-0_49
View
| DOI
| Download None (ext.)