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.
538 Publications
2000 | Journal Article | IST-REx-ID: 11770 | 
Bharat, Krishna, et al. “A Comparison of Techniques to Find Mirrored Hosts on the WWW.” Journal of the American Society for Information Science, vol. 51, no. 12, Wiley, 2000, pp. 1114–22, doi:10.1002/1097-4571(2000)9999:9999<::aid-asi1025>3.0.co;2-0.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2000 | Conference Paper | IST-REx-ID: 4627
De Alfaro, Luca, and Thomas A. Henzinger. “Concurrent Omega-Regular Games.” Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science, IEEE, 2000, pp. 141–54, doi:10.1109/LICS.2000.855763.
View
| DOI
2000 | Journal Article | IST-REx-ID: 4272
Barton, Nicholas H., and Max Shpak. “The Stability of Symmetrical Solutions to Polygenic Models.” Theoretical Population Biology, vol. 57, no. 3, Academic Press, 2000, pp. 249–63, doi:10.1006/tpbi.2000.1455.
View
| DOI
| PubMed | Europe PMC
2000 | Journal Article | IST-REx-ID: 3624
Barton, Nicholas H. “Estimating Multilocus Linkage Disequilibria.” Heredity, vol. 84, no. 3, Nature Publishing Group, 2000, pp. 373–89, doi:10.1046/j.1365-2540.2000.00683.x.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
2000 | Journal Article | IST-REx-ID: 3548
Harris, Kenneth, et al. “Accuracy of Tetrode Spike Separation as Determined by Simultaneous Intracellular and Extracellular Measurements.” Journal of Neurophysiology, vol. 84, no. 1, American Physiological Society, 2000, pp. 401–14, doi:10.1152/jn.2000.84.1.401.
View
| DOI
| PubMed | Europe PMC
2000 | Conference Paper | IST-REx-ID: 2418
Wagner, Uli, and Emo Welzl. “Origin-Embracing Distributions or a Continuous Analogue of the Upper Bound Theorem.” Proceedings of the 16th Annual Symposium on Computational Geometry, ACM, 2000, pp. 50–56, doi:10.1145/336154.336176.
View
| DOI
1999 | Journal Article | IST-REx-ID: 11679
Henzinger, Monika H., et al. “Constructing a Tree from Homeomorphic Subtrees, with Applications to Computational Evolutionary Biology.” Algorithmica, vol. 24, Springer Nature, 1999, pp. 1–13, doi:10.1007/pl00009268.
View
| Files available
| DOI
1999 | Journal Article | IST-REx-ID: 2595
Lafon Cazal, Mireille, et al. “MGluR7-like Receptor and GABA(B) Receptor Activation Enhance Neurotoxic Effects of N-Methyl-D-Aspartate in Cultured Mouse Striatal GABAergic Neurones.” Neuropharmacology, vol. 38, no. 10, Elsevier, 1999, pp. 1631–40, doi:10.1016/S0028-3908(99)00124-0.
View
| DOI
| PubMed | Europe PMC
1999 | Book (Editor) | IST-REx-ID: 3137
Jonas, Peter M., and Hannah Monyer, editors. Ionotropic Glutamate Receptors in the CNS. 1st ed., vol. 141, Springer, 1999, doi:10.1007/978-3-662-08022-1.
View
| DOI
| Download None (ext.)
1998 | Conference Paper | IST-REx-ID: 11682
Agarwal, P. K., et al. “Parametric and Kinetic Minimum Spanning Trees.” Proceedings of the 39th Annual Symposium on Foundations of Computer Science, 1998, pp. 596–605, doi:10.1109/SFCS.1998.743510.
View
| DOI
1998 | Journal Article | IST-REx-ID: 11680
Alberts, D., and Monika H. Henzinger. “Average-Case Analysis of Dynamic Graph Algorithms.” Algorithmica, vol. 20, Springer Nature, 1998, pp. 31–60, doi:10.1007/pl00009186.
View
| Files available
| DOI
1998 | Journal Article | IST-REx-ID: 1954
Sazanov, Leonid A., et al. “The Chloroplast Ndh Complex Mediates the Dark Reduction of the Plastoquinone Pool in Response to Heat Stress in Tobacco Leaves.” FEBS Letters, vol. 429, no. 1, Elsevier, 1998, pp. 115–18, doi:10.1016/S0014-5793(98)00573-0.
View
| DOI
| PubMed | Europe PMC
1998 | Conference Paper | IST-REx-ID: 4639
De Alfaro, Luca, et al. “Concurrent Reachability Games.” Proceedings 39th Annual Symposium on Foundations of Computer Science, IEEE, 1998, pp. 564–75, doi:10.1109/SFCS.1998.743507 .
View
| DOI
1997 | Journal Article | IST-REx-ID: 11765
Henzinger, Monika H. “A Static 2-Approximation Algorithm for Vertex Connectivity and Incremental Approximation Algorithms for Edge and Vertex Connectivity.” Journal of Algorithms, vol. 24, no. 1, Elsevier, 1997, pp. 194–220, doi:10.1006/jagm.1997.0855.
View
| DOI
1997 | Journal Article | IST-REx-ID: 2581
Lee, Teffy, et al. “Collateral Projections from Striatonigral Neurons to Substance P Receptor-Expressing Intrinsic Neurons in the Striatum of the Rat.” Journal of Comparative Neurology, vol. 388, no. 2, Wiley-Blackwell, 1997, pp. 250–64, doi:10.1002/(SICI)1096-9861(19971117)388:2<250::AID-CNE5>3.0.CO;2-0.
View
| DOI
| PubMed | Europe PMC
1997 | Journal Article | IST-REx-ID: 3541
Bragin, Anatol, et al. “Epileptic Afterdischarge in the Hippocampal-Entorhinal System: Current Source Density and Unit Studies.” Neuroscience, vol. 76, no. 4, Elsevier, 1997, pp. 1187–203, doi:10.1016/S0306-4522(96)00446-0.
View
| DOI
| PubMed | Europe PMC
1996 | Journal Article | IST-REx-ID: 2564
Ding, Yu, et al. “Localization of the Neuromedin K Receptor (NK3) in the Central Nervous System of the Rat.” Journal of Comparative Neurology, vol. 364, no. 2, Wiley-Blackwell, 1996, pp. 290–310, doi:10.1002/(SICI)1096-9861(19960108)364:2<290::AID-CNE8>3.0.CO;2-0.
View
| DOI
| PubMed | Europe PMC
1996 | Journal Article | IST-REx-ID: 2565
Li, Jin, et al. “Immunohistochemical Localization of a Metabotropic Glutamate Receptor, MGluR7, in Ganglion Neurons of the Rat; with Special Reference to the Presence in Glutamatergic Ganglion Neurons.” Neuroscience Letters, vol. 204, no. 1–2, Elsevier, 1996, pp. 9–12, doi:10.1016/0304-3940(95)12299-0.
View
| DOI
| PubMed | Europe PMC
1996 | Journal Article | IST-REx-ID: 4027
Chazelle, Bernard, et al. “Lines in Space: Combinatorics and Algorithms.” Algorithmica, vol. 15, no. 5, Springer, 1996, pp. 428–47, doi:10.1007/BF01955043.
View
| DOI
1996 | Book Chapter | IST-REx-ID: 4295 |
Barton, Nicholas H. “Speciation: More than the Sum of Its Parts.” Current Biology, vol. 6, Cell Press, 1996, pp. 1244–46, doi:10.1016/S0960-9822(02)70707-0.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1996 | Conference Paper | IST-REx-ID: 4495
Henzinger, Thomas A., et al. “A Space-Efficient on-the-Fly Algorithm for Real-Time Model Checking.” 7th International Conference on Concurrency Theory, vol. 1119, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1996, pp. 514–29, doi:10.1007/3-540-61604-7_73.
View
| DOI
| Download None (ext.)
1995 | Conference Paper | IST-REx-ID: 11684
Henzinger, Monika H., and V. King. “Fully Dynamic Biconnectivity and Transitive Closure.” Proceedings of IEEE 36th Annual Foundations of Computer Science, Institute of Electrical and Electronics Engineers, 1995, pp. 664–72, doi:10.1109/SFCS.1995.492668.
View
| DOI
1995 | Conference Paper | IST-REx-ID: 11806
Henzinger, Monika H. “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
1995 | Book Chapter | IST-REx-ID: 3454
Monyer, Hannah, and Peter M. Jonas. “Polymerase Chain Reaction Analysis of Ion Channel Expression in Single Neurons of Brain Slices.” Single-Channel Recording, edited by Bert Sakmann and Erwin Neher, Plenum, 1995, pp. 357–73, doi:10.1007/978-1-4419-1229-9_16.
View
| DOI
| Download None (ext.)
1995 | Book Chapter | IST-REx-ID: 3455
Jonas, Peter M. “Fast Application of Agonists to Isolated Membrane Patches.” Single-Channel Recording, edited by Bert Sakmann and Erwin Neher, Plenum, 1995, pp. 231–43, doi:10.1007/978-1-4419-1229-9_10.
View
| DOI
| Download None (ext.)
1995 | 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 | 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 | 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 | Journal Article | IST-REx-ID: 4035
Chazelle, Bernard, et al. “Improved Bounds on Weak ε-Nets for Convex Sets.” Discrete & Computational Geometry, vol. 13, no. 1, Springer, 1995, pp. 1–15, doi:10.1007/BF02574025.
View
| DOI
| Download None (ext.)
1995 | 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
1994 | Conference Paper | IST-REx-ID: 11857
Henzinger, Monika H. “Fully Dynamic Cycle-Equivalence in Graphs.” 35th Annual Symposium on Foundations of Computer Science, Institute of Electrical and Electronics Engineers, 1994, pp. 744–55, doi:10.1109/sfcs.1994.365718.
View
| DOI
1994 | Journal Article | IST-REx-ID: 2489
Akazawa, Chihiro, et al. “Differential Expression of Five N-Methyl-D-Aspartate Receptor Subunit MRNAs in the Cerebellum of Developing and Adult Rats.” Journal of Comparative Neurology, vol. 347, no. 1, Wiley-Blackwell, 1994, pp. 150–60, doi:10.1002/cne.903470112.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1993 | Journal Article | IST-REx-ID: 2536 |
Nakajima, Yoshiaki, et al. “Molecular Characterization of a Novel Retinal Metabotropic Glutamate Receptor MGluR6 with a High Agonist Selectivity for L-2-Amino-4- Phosphonobutyrate.” Journal of Biological Chemistry, vol. 268, no. 16, American Society for Biochemistry and Molecular Biology, 1993, pp. 11868–73, doi:10.1016/S0021-9258(19)50280-0.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1993 | Journal Article | IST-REx-ID: 3474 |
Jonas, Peter M., et al. “Quantal Components of Unitary EPSCs at the Mossy Fibre Synapse on CA3 Pyramidal Cells of Rat Hippocampus.” Journal of Physiology, vol. 472, Wiley-Blackwell, 1993, pp. 615–63, doi:10.1113/jphysiol.1993.sp019965.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1993 | Book Chapter | IST-REx-ID: 3568
Edelsbrunner, Herbert. “Geometric Algorithms.” Handbook of Convex Geometry, North Holland, 1993, pp. 699–735, doi:10.1016/C2009-0-15705-7.
View
| DOI
| Download None (ext.)
1993 | Book Chapter | IST-REx-ID: 4301
Barton, Nicholas H., and Katherine Gale. “Genetic Analysis of Hybrid Zones.” Hybrid Zones and the Evolutionary Process, edited by Richard Harrison, Oxford University Press, 1993, pp. 13–45, doi:10.1046/j.1420-9101.1994.7050631.x.
View
| DOI
| Download None (ext.)
1993 | Journal Article | IST-REx-ID: 3643
Rouhani, Shahin, and Nicholas H. Barton. “Group Selection and the ‘Shifting Balance.’” Genetical Research, vol. 61, no. 2, Cambridge University Press, 1993, pp. 127–36, doi:10.1017/S0016672300031232.
View
| DOI
| Download None (ext.)
1993 | Journal Article | IST-REx-ID: 4045
Chazelle, Bernard, et al. “Diameter, Width, Closest Line Pair, and Parametric Searching.” Discrete & Computational Geometry, vol. 10, no. 1, Springer, 1993, pp. 183–96, doi:10.1007/BF02573973.
View
| DOI
| Download None (ext.)
1993 | Journal Article | IST-REx-ID: 4042
Edelsbrunner, Herbert, and Tiow Tan. “A Quadratic Time Algorithm for the Minmax Length Triangulation.” SIAM Journal on Computing, vol. 22, no. 3, SIAM, 1993, pp. 527–51, doi:10.1137/0222036 .
View
| DOI
| Download None (ext.)
1993 | Conference Paper | IST-REx-ID: 4506
Henzinger, Thomas A., et al. “Towards Refining Temporal Specifications into Hybrid Systems.” International Hybrid Systems Workshop, edited by Robert Grossman et al., vol. 736, Springer, 1993, pp. 60–76, doi:10.1007/3-540-57318-6_24.
View
| DOI
| Download None (ext.)
1993 | Conference Paper | IST-REx-ID: 4616
Alur, Rajeev, et al. “Automatic Symbolic Verification of Embedded Systems.” 1993 Proceedings Real-Time Systems Symposium, IEEE, 1993, pp. 2–11, doi:10.1109/REAL.1993.393520 .
View
| DOI
| Download None (ext.)
1992 | Journal Article | IST-REx-ID: 3470 |
Jonas, Peter M., and Bert Sakmann. “Glutamate Receptor Channels in Isolated Patches from CA1 and CA3 Pyramidal Cells of Rat Hippocampal Slices.” Journal of Physiology, vol. 455, Wiley-Blackwell, 1992, pp. 143–71, doi:10.1113/jphysiol.1992.sp019294 .
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1992 | Journal Article | IST-REx-ID: 3581 |
Chazelle, Bernard, et al. “Counting and Cutting Cycles of Lines and Rods in Space.” Computational Geometry: Theory and Applications, vol. 1, no. 6, Elsevier, 1992, pp. 305–23, doi:10.1016/0925-7721(92)90009-H.
[Published Version]
View
| DOI
| Download Published Version (ext.)
1992 | Conference Paper | IST-REx-ID: 4049
Bern, Marshall, et al. “Edge Insertion for Optimal Triangulations.” 1st Latin American Symposium on Theoretical Informatics, edited by Imre Simon, vol. 583, Springer, 1992, pp. 46–60, doi:10.1007/BFb0023816.
View
| DOI
| Download None (ext.)
1992 | Conference Paper | IST-REx-ID: 4505
Henzinger, Thomas A., et al. “Symbolic Model Checking for Real-Time Systems.” Proceedings of the 7th Annual IEEE Symposium on Logic in Computer Science, IEEE, 1992, pp. 394–406, doi:10.1109/LICS.1992.185551.
View
| DOI
| Download None (ext.)
1991 | Book Chapter | IST-REx-ID: 2530
Nakanishi, Shigetada, et al. “Molecular Characterization of Mammalian Tachykinin Receptors and a Possible Epithelial Potassium Channel.” Recent Progress in Hormone Research, vol. 46, The Endocrine Society, 1991, pp. 59–83, doi:10.1016/b978-0-12-571146-3.50007-9.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1991 | Conference Paper | IST-REx-ID: 4058
Chazelle, Bernard, et al. “Computing a Face in an Arrangement of Line Segments.” Proceedings of the 2nd Annual ACM-SIAM Symposium on Discrete Algorithms, SIAM, 1991, pp. 441–48.
View
| Download None (ext.)
1991 | Journal Article | IST-REx-ID: 4061 |
Agarwal, Pankaj, et al. “Euclidean Minimum Spanning Trees and Bichromatic Closest Pairs.” Discrete & Computational Geometry, vol. 6, no. 1, Springer, 1991, pp. 407–22, doi:10.1007/BF02574698.
[Published Version]
View
| DOI
| Download Published Version (ext.)
1991 | Conference Paper | IST-REx-ID: 4508
Henzinger, Thomas A., et al. “Temporal Proof Methodologies for Real-Time Systems.” Proceedings of the 18th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, ACM, 1991, pp. 353–66, doi:10.1145/99583.99629.
View
| DOI
| Download None (ext.)
1991 | Conference Paper | IST-REx-ID: 4621
Alur, Rajeev, et al. “The Benefits of Relaxing Punctuality.” Proceedings of the 10th Annual ACM Symposium on Principles of Distributed Computing, ACM, 1991, pp. 139–52, doi:10.1145/227595.227602.
View
| DOI
| Download None (ext.)