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.

5761 Publications


1993 | Book Chapter | IST-REx-ID: 4506
Henzinger, T. A., Manna, Z., & Pnueli, A. (1993). Towards refining temporal specifications into hybrid systems. In R. Grossman, A. Nerode, A. Ravn, & H. Rischel (Eds.), Hybrid Systems (Vol. 736, pp. 60–76). Springer. https://doi.org/10.1007/3-540-57318-6_24
View | DOI
 

1993 | Journal Article | IST-REx-ID: 4589
Alur, R., & Henzinger, T. A. (1993). Real-time logics: Complexity and expressiveness. Information and Computation, 104(1), 35–77. https://doi.org/10.1006/inco.1993.1025
View | DOI
 

1993 | Conference Paper | IST-REx-ID: 4616
Alur, R., Henzinger, T. A., & Ho, P. (1993). Automatic symbolic verification of embedded systems (pp. 2–11). Presented at the RTSS: Real-Time Systems Symposium, IEEE. https://doi.org/10.1109/REAL.1993.393520
View | DOI
 

1993 | Book Chapter | IST-REx-ID: 4618
Alur, R., Courcoubetis, C., Henzinger, T. A., & Ho, P. (1993). Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems. In R. Grossman, A. Nerode, A. Ravn, & H. Rischel (Eds.), Hybrid Systems (Vol. 736, pp. 209–229). Springer. https://doi.org/10.1007/3-540-57318-6_30
View | DOI
 

1993 | Conference Paper | IST-REx-ID: 4619
Alur, R., Henzinger, T. A., & Vardi, M. (1993). Parametric real-time reasoning (pp. 592–601). Presented at the STOC: Symposium on the Theory of Computing, ACM. https://doi.org/10.1145/167088.167242
View | DOI
 

1993 | Conference Paper | IST-REx-ID: 4620
Alur, R., Courcoubetis, C., & Henzinger, T. A. (1993). Computing accumulated delays in real-time systems (Vol. 697, pp. 181–193). Presented at the CAV: Computer Aided Verification, Springer. https://doi.org/10.1007/3-540-56922-7_16
View | DOI
 

1993 | Journal Article | IST-REx-ID: 3446
Sziranyi, T., & Csicsvari, J. L. (1993). High-speed character recognition using a dual cellular neural network architecture (CNND). IEEE Transactions on Circuits and Systems II: Analog and Digital Signal Processing, 40(3), 223–231. https://doi.org/10.1109/82.222823
View | DOI
 

1993 | Book Chapter | IST-REx-ID: 3451
Jonas, P. M. (1993). Glutamate receptors in the central nervous system. In Molecular Basis of Ion Channels and Receptors Involved in Nerve Excitation, Synaptic Transmission, and Muscle Contraction (Vol. 707, pp. 126–135). New York Academy of Sciences.
View | Download (ext.)
 

1993 | Book Chapter | IST-REx-ID: 3452
Jonas, P. M. (1993). AMPA-type glutamate receptors - nonselective cation channels mediating fast excitatory transmission in the CNS. In D. Siemen (Ed.), Nonselective cation channels: Pharmacology, Physiology and Biophysics. (Vol. 66, pp. 61–76). Birkhäuser.
View
 

1993 | Journal Article | IST-REx-ID: 3473
Ruppersberg, P., Ermler, M., Knopf, M., Kues, W., Jonas, P. M., & Koenen, M. (1993). Properties of Shaker-homologous potassium channels expressed in the mammalian brain. Cellular Physiology and Biochemistry, 3, 250–269. https://doi.org/10.1159/000154691
View | DOI
 

1993 | Journal Article | IST-REx-ID: 3474 | OA
Jonas, P. M., Major, G., & Sakmann, B. (1993). Quantal components of unitary EPSCs at the mossy fibre synapse on CA3 pyramidal cells of rat hippocampus. Journal of Physiology, 472, 615–663. https://doi.org/10.1113/jphysiol.1993.sp019965
View | DOI | Download (ext.)
 

1993 | Book Chapter | IST-REx-ID: 3568
Edelsbrunner, H. (1993). Geometric algorithms. In Handbook of Convex Geometry (pp. 699–735). North Holland.
View | Download (ext.)
 

1993 | Book Chapter | IST-REx-ID: 3569
Edelsbrunner, H. (1993). Computational geometry. In Current Trends in Theoretical Computer Science, Essays and Tutorials (pp. 1–48). World Scientific Publishing. https://doi.org/10.1007/978-3-662-04245-8_1
View | DOI
 

1993 | Journal Article | IST-REx-ID: 3643
Rouhani, S., & Barton, N. H. (1993). Group selection and the “shifting balance.” Genetical Research, 61(2), 127–136. https://doi.org/10.1017/S0016672300031232
View | DOI
 

1993 | Journal Article | IST-REx-ID: 3644
Barton, N. H., & Rouhani, S. (1993). Adaptation and the “shifting balance.” Genetical Research, 61(1), 57–74. https://doi.org/10.1017/S0016672300031098
View | DOI
 

1993 | Journal Article | IST-REx-ID: 4036
Chazelle, B., Edelsbrunner, H., Guibas, L., Sharir, M., & Snoeyink, J. (1993). Computing a face in an arrangement of line segments and related problems. SIAM Journal on Computing, 22(6), 1286–1302. https://doi.org/10.1137/0222077
View | DOI
 

1993 | Journal Article | IST-REx-ID: 4040
Edelsbrunner, H., & Tan, T. (1993). An upper bound for conforming Delaunay triangulations. Discrete & Computational Geometry, 10(1), 197–213. https://doi.org/10.1007/BF02573974
View | DOI
 

1993 | Journal Article | IST-REx-ID: 4041
Edelsbrunner, H., Seidel, R., & Sharir, M. (1993). On the zone theorem for hyperplane arrangements. SIAM Journal on Computing, 22(2), 418–429. https://doi.org/10.1137/0222031
View | DOI
 

1993 | Journal Article | IST-REx-ID: 4042
Edelsbrunner, H., & Tan, T. (1993). A quadratic time algorithm for the minmax length triangulation. SIAM Journal on Computing, 22(3), 527–551. https://doi.org/10.1137/0222036
View | DOI
 

1993 | Journal Article | IST-REx-ID: 4044
Bern, M., Edelsbrunner, H., Eppstein, D., Mitchell, S., & Tan, T. (1993). Edge insertion for optimal triangulations. Discrete & Computational Geometry, 10(1), 47–65. https://doi.org/10.1007/BF02573962
View | DOI
 

Search

Filter Publications