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.
89 Publications
2001 | Journal Article | IST-REx-ID: 11125
Hetzer, M., Meyer, H. H., Walther, T. C., Bilbao-Cortes, D., Warren, G., & Mattaj, I. W. (2001). Distinct AAA-ATPase p97 complexes function in discrete steps of nuclear assembly. Nature Cell Biology. Springer Nature. https://doi.org/10.1038/ncb1201-1086
View
| DOI
| PubMed | Europe PMC
2001 | Journal Article | IST-REx-ID: 11892
Henzinger, M. H., & King, V. (2001). Maintaining minimum spanning forests in dynamic graphs. SIAM Journal on Computing. Society for Industrial & Applied Mathematics. https://doi.org/10.1137/s0097539797327209
View
| DOI
2001 | Conference Paper | IST-REx-ID: 11914
Bharat, K., Chang, B.-W., Henzinger, M. H., & Ruhl, M. (2001). Who links to whom: Mining linkage between Web sites. In 1st IEEE International Conference on Data Mining (pp. 51–58). San Jose, CA, United States: Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/ICDM.2001.989500
View
| DOI
2001 | Patent | IST-REx-ID: 3507 | 
Liang, J., & Edelsbrunner, H. (2001). Molecular classification for property prediction.
[Published Version]
View
| Download Published Version (ext.)
2001 | Book | IST-REx-ID: 3586
Edelsbrunner, H. (2001). Geometry and Topology for Mesh Generation (Vol. 7). Cambridge University Press. https://doi.org/10.1017/CBO9780511530067
View
| Files available
| DOI
2001 | Conference Paper | IST-REx-ID: 3447
Chatterjee, K., Dasgupta, P., & Chakrabarti, P. (2001). Weighted quantified computation tree logic. Presented at the CIT: Conference on Information Technology, Elsevier.
View
2001 | Journal Article | IST-REx-ID: 8522
Kaloshin, V., & Hunt, B. R. (2001). A stretched exponential bound on the rate of growth of the number of periodic points for prevalent diffeomorphisms I. Electronic Research Announcements of the American Mathematical Society. American Mathematical Society. https://doi.org/10.1090/s1079-6762-01-00090-7
View
| DOI
2001 | Journal Article | IST-REx-ID: 8521
Kaloshin, V., & Hunt, B. R. (2001). A stretched exponential bound on the rate of growth of the number of periodic points for prevalent diffeomorphisms II. Electronic Research Announcements of the American Mathematical Society. American Mathematical Society. https://doi.org/10.1090/s1079-6762-01-00091-9
View
| DOI
2001 | Journal Article | IST-REx-ID: 8524
Kaloshin, V., & Rodnianski, I. (2001). Diophantine properties of elements of SO(3). Geometric And Functional Analysis. Springer Nature. https://doi.org/10.1007/s00039-001-8222-8
View
| DOI
2001 | Journal Article | IST-REx-ID: 9444
Lindroth, A. M., Cao, X., Jackson, J. P., Zilberman, D., McCallum, C. M., Henikoff, S., & Jacobsen, S. E. (2001). Requirement of CHROMOMETHYLASE3 for maintenance of CpXpG methylation. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.1059745
View
| DOI
| PubMed | Europe PMC
2001 | Conference Paper | IST-REx-ID: 4634
De Alfaro, L., Henzinger, T. A., & Mang, F. (2001). The control of synchronous systems, Part II. In Proceedings of the 12th International Conference on on Concurrency Theory (Vol. 2154, pp. 566–581). Aalborg, Denmark: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/3-540-44685-0_38
View
| DOI
2001 | Conference Paper | IST-REx-ID: 4633
De Alfaro, L., Henzinger, T. A., & Majumdar, R. (2001). Symbolic algorithms for infinite-state games. In Proceedings of the 12th International Conference on on Concurrency Theory (Vol. 2154, pp. 536–550). Aalborg, Denmark: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/3-540-44685-0_36
View
| DOI
2001 | Conference Paper | IST-REx-ID: 4636
De Alfaro, L., Henzinger, T. A., & Majumdar, R. (2001). From verification to control: dynamic programs for omega-regular objectives. In Proceedings of the 16th Annual IEEE Symposium on Logic in Computer Science (pp. 279–290). Boston, MA, USA: IEEE. https://doi.org/10.1109/LICS.2001.932504
View
| DOI
2001 | Conference Paper | IST-REx-ID: 4635
De Alfaro, L., Henzinger, T. A., & Mang, F. (2001). MCWEB: A model-checking tool for web-site debugging. In Proceedings of the 10th international conference on World Wide Web (pp. 86–87). Hong Kong, Hong Kong: ACM.
View
| Download None (ext.)
2001 | Conference Paper | IST-REx-ID: 4632
De Alfaro, L., Henzinger, T. A., & Jhala, R. (2001). Compositional methods for probabilistic systems. In Proceedings of the 12th International Conference on on Concurrency Theory (Vol. 2154, pp. 351–365). Aalborg, Denmark: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/3-540-44685-0_24
View
| DOI
2001 | Conference Paper | IST-REx-ID: 4600
Alur, R., De Alfaro, L., Grosu, R., Henzinger, T. A., Kang, M., Kirsch, C., … Wang, B. (2001). jMocha: A model-checking tool that exploits design structure. In Proceedings of the 23rd International Conference on Software Engineering (pp. 835–836). IEEE. https://doi.org/10.1109/ICSE.2001.919196
View
| DOI
2001 | Journal Article | IST-REx-ID: 4599
Alur, R., Brayton, R., Henzinger, T. A., Qadeer, S., & Rajamani, S. (2001). Partial-order reduction in symbolic state-space exploration. Formal Methods in System Design. Springer. https://doi.org/10.1023/A:1008767206905
View
| DOI
2001 | Conference Paper | IST-REx-ID: 4622
De Alfaro, L., & Henzinger, T. A. (2001). Interface automata. In Proceedings of the 8th European software engineering conference (pp. 109–120). Vienna, Austria: ACM. https://doi.org/10.1145/503209.503226
View
| DOI
2001 | Conference Paper | IST-REx-ID: 4623
De Alfaro, L., & Henzinger, T. A. (2001). Interface theories for component-based design. In Proceedings of the 1st International Workshop on Embedded Software (Vol. 2211, pp. 148–165). Tahoe City, CA, USA: ACM. https://doi.org/10.1007/3-540-45449-7_11
View
| DOI
2001 | Conference Paper | IST-REx-ID: 4564
Brown, T., Pasetti, A., Pree, W., Henzinger, T. A., & Kirsch, C. (2001). A reusable and platform-independent framework for distributed control systems. In Proceedings of the 20th Digital Avionics Systems Conference (pp. 1–11). Daytona Beach, FL, USA: IEEE. https://doi.org/10.1109/DASC.2001.964169
View
| DOI
2001 | Conference Paper | IST-REx-ID: 4477
Henzinger, T. A., Minea, M., & Prabhu, V. (2001). Assume-guarantee reasoning for hierarchical hybrid systems. In Proceedings of the 4th International Workshop on Hybrid Systems (Vol. 2034, pp. 275–290). Rome, Italy: Springer. https://doi.org/10.1007/3-540-45351-2_24
View
| DOI
2001 | Conference Paper | IST-REx-ID: 4478
Henzinger, T. A., Horowitz, B., & Kirsch, C. (2001). Embedded control systems development with Giotto. In Proceedings of the 2nd ACM SIGPLAN workshop on Languages, compilers and tools for embedded systems (pp. 64–72). New York, NY, United States: ACM. https://doi.org/10.1145/384197.384208
View
| DOI
2001 | Conference Paper | IST-REx-ID: 4479
Henzinger, T. A., Horowitz, B., & Kirsch, C. (2001). Giotto: A time-triggered language for embedded programming. In Proceedings of the 1st International Workshop on Embedded Software (Vol. 2211, pp. 166–184). Tahoe City, CA, USA: ACM. https://doi.org/10.1007/3-540-45449-7_12
View
| DOI
2001 | Conference Paper | IST-REx-ID: 4475
Henzinger, T. A., Preussig, J., & Wong Toi, H. (2001). Some lessons from the HYTECH experience. In Proceedings of the 40th IEEE Conference on Decision and Control (Vol. 3, pp. 2887–2892). Orlando, FL, USA: IEEE. https://doi.org/10.1109/.2001.980714
View
| DOI
2001 | Conference (Editor) | IST-REx-ID: 4449
Henzinger, T. A. (Ed.). (2001). EMSOFT: Embedded Software (Vol. 2211). Presented at the EMSOFT 2001: Embedded Software, Tahoe City, CA, USA: ACM. https://doi.org/10.1007/3-540-45449-7
View
| DOI
2001 | Book Chapter | IST-REx-ID: 4278
Barton, N. H. (2001). The evolutionary consequences of gene flow and local adaptation: Future approaches. In Dispersal. Oxford University Press.
View
| Download None (ext.)
2001 | Journal Article | IST-REx-ID: 4200 |
Heisenberg, C.-P. J., Houart, C., Take Uchi, M., Rauch, G., Young, N., Coutinho, P., … Stemple, D. (2001). 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. https://doi.org/10.1101/gad.194301
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2001 | Journal Article | IST-REx-ID: 4266
Barton, N. H. (2001). The role of hybridization in evolution. Molecular Ecology. Wiley-Blackwell. https://doi.org/10.1046/j.1365-294X.2001.01216.x
View
| DOI
| PubMed | Europe PMC
2001 | Journal Article | IST-REx-ID: 4265
Otto, S., & Barton, N. H. (2001). Selection for recombination in small populations. Evolution; International Journal of Organic Evolution. Wiley-Blackwell. https://doi.org/10.1111/j.0014-3820.2001.tb01310.x
View
| DOI
| PubMed | Europe PMC
2001 | Journal Article | IST-REx-ID: 4229
Bollback, J. P., & Huelsenbeck, J. (2001). Phylogeny, genome evolution, and host specificity of single-stranded RNA bacteriophage (Family Leviviridae). Journal of Molecular Evolution. Springer. https://doi.org/10.1007/s002390010140
View
| DOI
| PubMed | Europe PMC
2001 | Journal Article | IST-REx-ID: 4264
Turelli, M., Barton, N. H., & Coyne, J. (2001). Theory and speciation. Trends in Ecology and Evolution. Cell Press. https://doi.org/10.1016/S0169-5347(01)02177-2
View
| DOI
| PubMed | Europe PMC
2001 | Book Chapter | IST-REx-ID: 4267
Barton, N. H. (2001). Adaptation at the edge of a species’ range. In Integrating ecology and evolution in a spatial context (pp. 365–392). Cambridge University Press.
View
| Download None (ext.)
2001 | Journal Article | IST-REx-ID: 4002
Cheng, S., Edelsbrunner, H., Fu, P., & Lam, K. (2001). Design and analysis of planar shape deformation. Computational Geometry: Theory and Applications. Elsevier. https://doi.org/10.1016/S0925-7721(01)00020-7
View
| DOI
2001 | Journal Article | IST-REx-ID: 4001
Cheng, H., Edelsbrunner, H., & Fu, P. (2001). Shape space from deformation. Computational Geometry: Theory and Applications. Elsevier. https://doi.org/10.1016/S0925-7721(01)00021-9
View
| DOI
2001 | Conference Paper | IST-REx-ID: 4005
Cheng, H., Dey, T., Edelsbrunner, H., & Sullivan, J. (2001). Dynamic skin triangulation. In Proceedings of the 12th annual ACM-SIAM symposium on Discrete algorithms (pp. 47–56). Washington, DC, USA : SIAM.
View
| Download None (ext.)
2001 | Journal Article | IST-REx-ID: 4007
Cheng, H., Dey, T., Edelsbrunner, H., & Sullivan, J. (2001). Dynamic skin triangulation. Discrete & Computational Geometry. Springer. https://doi.org/10.1007/s00454-001-0007-1
View
| DOI
2001 | Journal Article | IST-REx-ID: 4006
Edelsbrunner, H. (2001). 180 wrapped tubes. Journal of Universal Computer Science. Springer. https://doi.org/10.3217/jucs-007-05-0379
View
| DOI
2001 | Journal Article | IST-REx-ID: 3928 |
Sixt, M. K., Hallmann, R., Wendler, O., Scharffetter Kochanek, K., & Sorokin, L. (2001). 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. https://doi.org/10.1074/jbc.M010898200
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2001 | Journal Article | IST-REx-ID: 3927 |
Wolf, D., Hallmann, R., Sass, G., Sixt, M. K., Küsters, S., Fregien, B., … Tiegs, G. (2001). TNF-α-induced expression of adhesion molecules in the liver is under the control of TNFR1--relevance for concanavalin A-induced hepatitis. Journal of Immunology. American Association of Immunologists. https://doi.org/10.4049/jimmunol.166.2.1300
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
2001 | Journal Article | IST-REx-ID: 3930 |
Sixt, M. K., Engelhardt, B., Pausch, F., Hallmann, R., Wendler, O., & Sorokin, L. (2001). Endothelial cell laminin isoforms, laminins 8 and 10, play decisive roles in T cell recruitment across the blood-brain barrier in experimental autoimmune encephalomyelitis. Journal of Cell Biology. Rockefeller University Press. https://doi.org/10.1083/jcb.153.5.933
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2001 | Journal Article | IST-REx-ID: 3622
Gardner, M., Fowler, K., Patridge, L., & Barton, N. H. (2001). Genetic variation for preadult viability in Drosophila melanogaster. Evolution. Wiley-Blackwell. https://doi.org/10.1111/j.0014-3820.2001.tb00680.x
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
2001 | Book Review | IST-REx-ID: 3596
Barton, N. H. (2001). Mendel and mathematics. Trends in Genetics. Elsevier. https://doi.org/10.1016/S0168-9525(01)02315-0
View
| DOI
2001 | Journal Article | IST-REx-ID: 3546 |
Hirase, H., Leinekugel, X., Csicsvari, J. L., Czurkó, A., & Buzsáki, G. (2001). Behavior-dependent states of the hippocampal network affect functional clustering of neurons. Journal of Neuroscience. Society for Neuroscience. https://doi.org/10.1523/JNEUROSCI.21-10-j0003.2001
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2001 | Journal Article | IST-REx-ID: 3540 |
Hirase, H., Leinekugel, X., Czurkó, A., Csicsvari, J. L., & Buzsáki, G. (2001). Firing rates of hippocampal neurons are preserved during subsequent sleep episodes and modified by novel awake experience. PNAS. National Academy of Sciences. https://doi.org/10.1073/pnas.161274398
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2001 | Journal Article | IST-REx-ID: 3494 |
Bartos, M., Vida, I., Frotscher, M., Geiger, J., & Jonas, P. M. (2001). Rapid signaling at inhibitory synapses in a dentate gyrus interneuron network. Journal of Neuroscience. Society for Neuroscience. https://doi.org/10.1523/JNEUROSCI.21-08-02687.2001
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2001 | Journal Article | IST-REx-ID: 3496 |
Alle, H., Jonas, P. M., & Geiger, J. (2001). PTP and LTP at a hippocampal mossy fiber-interneuron synapse. PNAS. National Academy of Sciences. https://doi.org/10.1073/pnas.251610898
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
2001 | Journal Article | IST-REx-ID: 3495
Jerecic, J., Schulze, C., Jonas, P. M., Sprengel, R., Seeburg, P., & Bischofberger, J. (2001). Impaired NMDA receptor function in mouse olfactory bulb neurons by tetracycline-sensitive NR1 (N598R) expression. Molecular Brain Research. Elsevier. https://doi.org/10.1016/S0169-328X(01)00221-2
View
| DOI
| PubMed | Europe PMC
2001 | Journal Article | IST-REx-ID: 3517
Szabo, I., Czurkó, A., Csicsvari, J. L., Hirase, H., Leinekugel, X., & Buzsáki, G. (2001). The application of printed circuit board technology for fabrication of multi-channel micro-drives. Journal of Neuroscience Methods. Elsevier. https://doi.org/10.1016/S0165-0270(00)00362-9
View
| DOI
| PubMed | Europe PMC
2001 | Journal Article | IST-REx-ID: 3493 |
Jones, M. ., Jonas, P. M., Sahara, Y., & Westbrook, G. (2001). Microscopic kinetics and energetics distinguish GABAA receptor agonists from antagonists. Biophysical Journal. Biophysical Society. https://doi.org/10.1016/S0006-3495(01)75909-7
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2001 | Journal Article | IST-REx-ID: 2985
Trnková, L., Friml, J., & Dračka, O. (2001). Elimination voltammetry of adenine and cytosine mixtures. Bioelectrochemistry. Elsevier. https://doi.org/10.1016/S1567-5394(01)00119-0
View
| DOI
| PubMed | Europe PMC