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.
2062 Publications
1995 |
Published |
Conference Paper |
IST-REx-ID: 4450
Henzinger, Thomas A., and Pei Ho. “Algorithmic Analysis of Nonlinear Hybrid Systems.” 7th International Conference on Computer Aided Verification, vol. 939, Springer, 1995, pp. 225–38, doi:10.1007/3-540-60045-0_53.
View
| DOI
| Download None (ext.)
1995 |
Published |
Conference Paper |
IST-REx-ID: 4497
Henzinger, Thomas A., et al. “A User Guide to HyTech.” 1st International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, vol. 1019, Springer, 1995, pp. 41–71, doi:10.1007/3-540-60630-0_3.
View
| DOI
| Download None (ext.)
1995 |
Published |
Conference Paper |
IST-REx-ID: 4500
Henzinger, Thomas A., et al. “The Expressive Power of Clocks.” 22nd International Colloquium on Automata, Languages and Programming , vol. 944, Springer, 1995, pp. 417–28, doi:10.1007/3-540-60084-1_93.
View
| DOI
| Download None (ext.)
1995 |
Published |
Conference Paper |
IST-REx-ID: 4518
Henzinger, Thomas A. “Hybrid Automata with Finite Bisimulations.” 22nd International Colloquium on Automata, Languages and Programming , vol. 944, Springer, 1995, pp. 324–35, doi:10.1007/3-540-60084-1_85.
View
| DOI
1995 |
Published |
Conference Paper |
IST-REx-ID: 4587
Alur, Rajeev, and Thomas A. Henzinger. “Local Liveness for Compositional Modeling of Fair Reactive Systems.” 7th International Conference on Computer Aided Verification, vol. 939, Springer, 1995, pp. 166–79, doi:10.1007/3-540-60045-0_49.
View
| DOI
| Download None (ext.)
1995 |
Published |
Journal Article |
IST-REx-ID: 3478 |
Spruston, Nelson, et al. “Dendritic Glutamate Receptor Channels in Rat Hippocampal CA3 and CA1 Pyramidal Neurons.” Journal of Physiology, vol. 482, no. Pt 2, Wiley-Blackwell, 1995, pp. 325–52, doi:10.1113/jphysiol.1995.sp020521.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1995 |
Published |
Journal Article |
IST-REx-ID: 3479 |
Koh, Duk, et al. “Ca(2+)-Permeable AMPA and NMDA Receptor Channels in Basket Cells of Rat Hippocampal Dentate Gyrus.” Journal of Physiology, vol. 485, no. Pt 2, Wiley-Blackwell, 1995, pp. 383–402, doi:10.1113/jphysiol.1995.sp020737.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1995 |
Published |
Journal Article |
IST-REx-ID: 3481 |
Koh, Duk, et al. “Block of Native Ca(2+)-Permeable AMPA Receptors in Rat Brain by Intracellular Polyamines Generates Double Rectification.” Journal of Physiology, vol. 486, no. Pt 2, Wiley-Blackwell, 1995, pp. 305–12, doi:10.1113/jphysiol.1995.sp020813.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1995 |
Published |
Conference Paper |
IST-REx-ID: 3551
Edelsbrunner, Herbert, et al. “Measuring Proteins and Voids in Proteins.” Proceedings of the 28th Annual Hawaii International Conference on System Sciences, IEEE, 1995, pp. 256–64, doi:10.1109/HICSS.1995.375331.
View
| DOI
| Download None (ext.)
1995 |
Published |
Conference Paper |
IST-REx-ID: 3552
Akkiraju, Nataraj, et al. Alpha Shapes: Definition and Software. Elsevier, 1995, pp. 63–66.
View
| Download None (ext.)
1995 |
Published |
Journal Article |
IST-REx-ID: 3639
Barton, Nicholas H. “A General Model for the Evolution of Recombination.” Genetical Research, vol. 65, no. 2, Cambridge University Press, 1995, pp. 123–44, doi:10.1017/S0016672300033140.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1995 |
Published |
Book Chapter |
IST-REx-ID: 2465
Morris, David, et al. “Auxin Transport.” Plant Hormones: Biosynthesis, Signal Transduction, Action!, edited by Peter Davies, Kluwer, 1995, pp. 451–84, doi:10.1007/978-1-4020-2686-7_21.
View
| DOI
| Download None (ext.)
1995 |
Published |
Conference Paper |
IST-REx-ID: 2712
Erdös, László. Magnetic Lieb-Thirring Inequalities and Stochastic Oscillatory Integrals. Vol. 78, Birkhäuser, 1995, pp. 127–32, doi:10.1007/978-3-0348-9092-2_13.
View
| DOI
| Download None (ext.)
1995 |
Published |
Journal Article |
IST-REx-ID: 11677
Henzinger, Monika. “Fully Dynamic Biconnectivity in Graphs.” Algorithmica, vol. 13, no. 6, Springer Nature, 1995, pp. 503–38, doi:10.1007/bf01189067.
View
| DOI
1995 |
Published |
Conference Paper |
IST-REx-ID: 11805
Henzinger, Monika, and Han Poutré. “Certificates and Fast Algorithms for Biconnectivity in Fully-Dynamic Graphs.” 3rd Annual European Symposium on Algorithms, vol. 979, Springer Nature, 1995, pp. 171–184, doi:10.1007/3-540-60313-1_142.
View
| DOI
1995 |
Published |
Conference Paper |
IST-REx-ID: 11806
Henzinger, Monika. “Approximating Minimum Cuts under Insertions.” 22nd International Colloquium on Automata, Languages and Programming, vol. 944, Springer Nature, 1995, pp. 280–291, doi:10.1007/3-540-60084-1_81.
View
| DOI
1994 |
Published |
Journal Article |
IST-REx-ID: 4032
Dey, Tamal, and Herbert Edelsbrunner. “Counting Triangle Crossings and Halving Planes.” Discrete & Computational Geometry, vol. 12, no. 1, Springer, 1994, pp. 281–89, doi:10.1007/BF02574381.
View
| DOI
| Download None (ext.)
1994 |
Published |
Journal Article |
IST-REx-ID: 4179 |
Leingärtner, Axel, et al. “Brain-Derived Neurotrophic Factor Increases Neurotrophin-3 Expression in Cerebellar Granule Neurons.” Journal of Biological Chemistry, vol. 269, no. 2, American Society for Biochemistry and Molecular Biology, 1994, pp. 828–30, doi:10.1016/s0021-9258(17)42186-7.
View
| DOI
| Download None (ext.)
1994 |
Published |
Conference Paper |
IST-REx-ID: 4420
Kapur, Arjun, et al. “Proving Safety Properties of Hybrid Systems.” 3rd International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, vol. 863, Springer, 1994, pp. 431–54, doi:10.1007/3-540-58468-4_177.
View
| DOI
| Download None (ext.)
1994 |
Published |
Conference Paper |
IST-REx-ID: 4440
Henzinger, Thomas A., and Peter Kopke. “Verification Methods for the Divergent Runs of Clock Systems.” 3rd International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, vol. 863, Springer, 1994, pp. 351–72, doi:10.1007/3-540-58468-4_173.
View
| DOI
| Download None (ext.)