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.
725 Publications
2001 | Conference Paper | IST-REx-ID: 4622
De Alfaro, Luca, and Thomas A Henzinger. “Interface Automata.” In Proceedings of the 8th European Software Engineering Conference, 109–20. ACM, 2001. https://doi.org/10.1145/503209.503226.
View
| DOI
2001 | Journal Article | IST-REx-ID: 4200 | 
Heisenberg, Carl-Philipp J, Corinne Houart, Masaya Take Uchi, Gerd Rauch, Neville Young, Pedro Coutinho, Ichiro Masai, et al. “A Mutation in the Gsk3-Binding Domain of Zebrafish Masterblind/Axin1 Leads to a Fate Transformation of Telencephalon and Eyes to Diencephalon.” Genes and Development. Cold Spring Harbor Laboratory Press, 2001. https://doi.org/10.1101/gad.194301.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2001 | Journal Article | IST-REx-ID: 3928 |
Sixt, Michael K, Rupert Hallmann, Olaf Wendler, Karin Scharffetter Kochanek, and Lydia Sorokin. “Cell Adhesion and Migration Properties of Β2-Integrin Negative Polymorphonuclear Granulocytes on Defined Extracellular Matrix Molecules. Relevance for Leukocyte Extravasation.” Journal of Biological Chemistry. American Society for Biochemistry and Molecular Biology, 2001. https://doi.org/10.1074/jbc.M010898200.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2001 | Journal Article | IST-REx-ID: 3622
Gardner, Michael, Kevin Fowler, Linda Patridge, and Nicholas H Barton. “Genetic Variation for Preadult Viability in Drosophila Melanogaster.” Evolution. Wiley-Blackwell, 2001. https://doi.org/10.1111/j.0014-3820.2001.tb00680.x.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
2001 | Journal Article | IST-REx-ID: 3495
Jerecic, Jasna, Christian Schulze, Peter M Jonas, Rolf Sprengel, Peter Seeburg, and Joseph Bischofberger. “Impaired NMDA Receptor Function in Mouse Olfactory Bulb Neurons by Tetracycline-Sensitive NR1 (N598R) Expression.” Molecular Brain Research. Elsevier, 2001. https://doi.org/10.1016/S0169-328X(01)00221-2.
View
| DOI
| PubMed | Europe PMC
2001 | Journal Article | IST-REx-ID: 2609
Tamaru, Y, Sakashi Nomura, Noboru Mizuno, and Ryuichi Shigemoto. “Distribution of Metabotropic Glutamate Receptor MGluR3 in the Mouse CNS: Differential Location Relative to Pre- and Postsynaptic Sites.” Neuroscience. Elsevier, 2001. https://doi.org/10.1016/S0306-4522(01)00305-0.
View
| DOI
| PubMed | Europe PMC
2001 | Journal Article | IST-REx-ID: 2347 |
Lieb, Élliott, Robert Seiringer, and Jakob Yngvason. “A Rigorous Derivation of the Gross-Pitaevskii Energy Functional for a Two-Dimensional Bose Gas.” Communications in Mathematical Physics. Springer, 2001. https://doi.org/10.1007/s002200100533.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2001 | Journal Article | IST-REx-ID: 11755
Henzinger, Monika H. “Hyperlink Analysis for the Web.” IEEE Internet Computing. Institute of Electrical and Electronics Engineers, 2001. https://doi.org/10.1109/4236.895141.
View
| DOI
| WoS
2000 | Journal Article | IST-REx-ID: 11770 |
Bharat, Krishna, Andrei Broder, Jeffrey Dean, and Monika H Henzinger. “A Comparison of Techniques to Find Mirrored Hosts on the WWW.” Journal of the American Society for Information Science. Wiley, 2000. https://doi.org/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: 4637
De Alfaro, Luca, Thomas A Henzinger, and Freddy Mang. “The Control of Synchronous Systems.” In Proceedings of the 11th International Conference on Concurrency Theory, 1877:458–73. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2000. https://doi.org/10.1007/3-540-44618-4_33.
View
| DOI
2000 | Conference Paper | IST-REx-ID: 4435
Henzinger, Thomas A, and Ritankar Majumdar. “Symbolic Model Checking for Rectangular Hybrid Systems.” In Proceedings of the 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 1785:142–56. Springer, 2000. https://doi.org/10.1007/3-540-46419-0_11.
View
| DOI
2000 | Journal Article | IST-REx-ID: 3798
Jonas, Peter M. “The Time Course of Signaling at Central Glutamatergic Synapses.” Physiology. American Physiological Society, 2000. https://doi.org/10.1152/physiologyonline.2000.15.2.83.
View
| DOI
| PubMed | Europe PMC
2000 | Journal Article | IST-REx-ID: 3548
Harris, Kenneth, Darrell Henze, Jozsef L Csicsvari, Hajima Hirase, and György Buzsáki. “Accuracy of Tetrode Spike Separation as Determined by Simultaneous Intracellular and Extracellular Measurements.” Journal of Neurophysiology. American Physiological Society, 2000. https://doi.org/10.1152/jn.2000.84.1.401.
View
| DOI
| PubMed | Europe PMC
2000 | Journal Article | IST-REx-ID: 3623
Barton, Nicholas H, and Linda Patridge. “Measuring Fitness by Means of Balancer Chromosomes.” Genetical Research. Cambridge University Press, 2000. https://doi.org/10.1017/S0016672399004346.
View
| DOI
| PubMed | Europe PMC
2000 | Journal Article | IST-REx-ID: 3490 |
Normann, Claus, Diana Peckys, Christian Schulze, Jörg Walden, Peter M Jonas, and Joseph Bischofberger. “Associative Long-Term Depression in the Hippocampus Is Dependent on Postsynaptic N-Type Ca(2+) Channels.” Journal of Neuroscience. Society for Neuroscience, 2000. https://doi.org/10.1523/JNEUROSCI.20-22-08290.2000.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2000 | Journal Article | IST-REx-ID: 2602 |
Perroy, Julie, Laurent Prezèau, Michel De Waard, Ryuichi Shigemoto, Joël Bockaërt, and Laurent Fagni. “Selective Blockade of P/Q-Type Calcium Channels by the Metabotropic Glutamate Receptor Type 7 Involves a Phospholipase C Pathway in Neurons.” Journal of Neuroscience. Society for Neuroscience, 2000. https://doi.org/10.1523/JNEUROSCI.20-21-07896.2000.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2000 | Journal Article | IST-REx-ID: 2598 |
Sillevis Smitt, Peter, Ayae Kinoshita, Bertie De Leeuw, Wiebe Moll, Michiel Coesmans, Dick Jaarsma, Sonja Henzen Logmans, et al. “Paraneoplastic Cerebellar Ataxia Due to Autoantibodies against a Glutamate Receptor.” New England Journal of Medicine. Massachussetts Medical Society, 2000. https://doi.org/10.1056/NEJM200001063420104.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1999 | Journal Article | IST-REx-ID: 11769
Henzinger, Monika H, and Valerie King. “Randomized Fully Dynamic Graph Algorithms with Polylogarithmic Time per Operation.” Journal of the ACM. Association for Computing Machinery, 1999. https://doi.org/10.1145/320211.320215.
View
| DOI
1999 | Journal Article | IST-REx-ID: 11895 |
Silverstein, Craig, Hannes Marais, Monika H Henzinger, and Michael Moricz. “Analysis of a Very Large Web Search Engine Query Log.” ACM SIGIR Forum. Association for Computing Machinery, 1999. https://doi.org/10.1145/331403.331405.
[Published Version]
View
| DOI
| Download Published Version (ext.)
1999 | Journal Article | IST-REx-ID: 2730
Erdös, László, and Jan Solovej. “Semiclassical Eigenvalue Estimates for the Pauli Operator with Strong Nonhomogeneous Magnetic Fields, I: Nonasymptotic Lieb-Thirring-Type Estimate.” Duke Mathematical Journal. Duke University Press, 1999. https://doi.org/10.1215/S0012-7094-99-09604-7.
View
| DOI