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 HH, Walther TC, Bilbao-Cortes D, Warren G, Mattaj IW. Distinct AAA-ATPase p97 complexes function in discrete steps of nuclear assembly. Nature Cell Biology. 2001;3(12):1086-1091. doi:10.1038/ncb1201-1086
View
| DOI
| PubMed | Europe PMC
2001 | Journal Article | IST-REx-ID: 11892
Henzinger MH, King V. Maintaining minimum spanning forests in dynamic graphs. SIAM Journal on Computing. 2001;31(2):364-374. doi:10.1137/s0097539797327209
View
| DOI
2001 | Conference Paper | IST-REx-ID: 11914
Bharat K, Chang B-W, Henzinger MH, Ruhl M. Who links to whom: Mining linkage between Web sites. In: 1st IEEE International Conference on Data Mining. Institute of Electrical and Electronics Engineers; 2001:51-58. doi:10.1109/ICDM.2001.989500
View
| DOI
2001 | Patent | IST-REx-ID: 3507 | 
Liang J, Edelsbrunner H. Molecular classification for property prediction. 2001.
[Published Version]
View
| Download Published Version (ext.)
2001 | Book | IST-REx-ID: 3586
Edelsbrunner H. Geometry and Topology for Mesh Generation. Vol 7. Cambridge University Press; 2001. doi:10.1017/CBO9780511530067
View
| Files available
| DOI
2001 | Conference Paper | IST-REx-ID: 3447
Chatterjee K, Dasgupta P, Chakrabarti P. Weighted quantified computation tree logic. In: Elsevier; 2001.
View
2001 | Journal Article | IST-REx-ID: 8522
Kaloshin V, Hunt BR. 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. 2001;7(4):17-27. doi:10.1090/s1079-6762-01-00090-7
View
| DOI
2001 | Journal Article | IST-REx-ID: 8521
Kaloshin V, Hunt BR. 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. 2001;7(5):28-36. doi:10.1090/s1079-6762-01-00091-9
View
| DOI
2001 | Journal Article | IST-REx-ID: 8524
Kaloshin V, Rodnianski I. Diophantine properties of elements of SO(3). Geometric And Functional Analysis. 2001;11(5):953-970. doi:10.1007/s00039-001-8222-8
View
| DOI
2001 | Journal Article | IST-REx-ID: 9444
Lindroth AM, Cao X, Jackson JP, et al. Requirement of CHROMOMETHYLASE3 for maintenance of CpXpG methylation. Science. 2001;292(5524):2077-2080. doi:10.1126/science.1059745
View
| DOI
| PubMed | Europe PMC
2001 | Conference Paper | IST-REx-ID: 4634
De Alfaro L, Henzinger TA, Mang F. The control of synchronous systems, Part II. In: Proceedings of the 12th International Conference on on Concurrency Theory. Vol 2154. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2001:566-581. doi:10.1007/3-540-44685-0_38
View
| DOI
2001 | Conference Paper | IST-REx-ID: 4633
De Alfaro L, Henzinger TA, Majumdar R. Symbolic algorithms for infinite-state games. In: Proceedings of the 12th International Conference on on Concurrency Theory. Vol 2154. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2001:536-550. doi:10.1007/3-540-44685-0_36
View
| DOI
2001 | Conference Paper | IST-REx-ID: 4636
De Alfaro L, Henzinger TA, Majumdar R. From verification to control: dynamic programs for omega-regular objectives. In: Proceedings of the 16th Annual IEEE Symposium on Logic in Computer Science. IEEE; 2001:279-290. doi:10.1109/LICS.2001.932504
View
| DOI
2001 | Conference Paper | IST-REx-ID: 4635
De Alfaro L, Henzinger TA, Mang F. MCWEB: A model-checking tool for web-site debugging. In: Proceedings of the 10th International Conference on World Wide Web. ACM; 2001:86-87.
View
| Download None (ext.)
2001 | Conference Paper | IST-REx-ID: 4632
De Alfaro L, Henzinger TA, Jhala R. Compositional methods for probabilistic systems. In: Proceedings of the 12th International Conference on on Concurrency Theory. Vol 2154. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2001:351-365. doi:10.1007/3-540-44685-0_24
View
| DOI
2001 | Conference Paper | IST-REx-ID: 4600
Alur R, De Alfaro L, Grosu R, et al. jMocha: A model-checking tool that exploits design structure. In: Proceedings of the 23rd International Conference on Software Engineering. IEEE; 2001:835-836. doi:10.1109/ICSE.2001.919196
View
| DOI
2001 | Journal Article | IST-REx-ID: 4599
Alur R, Brayton R, Henzinger TA, Qadeer S, Rajamani S. Partial-order reduction in symbolic state-space exploration. Formal Methods in System Design. 2001;18(2):97-116. doi:10.1023/A:1008767206905
View
| DOI
2001 | Conference Paper | IST-REx-ID: 4622
De Alfaro L, Henzinger TA. Interface automata. In: Proceedings of the 8th European Software Engineering Conference. ACM; 2001:109-120. doi:10.1145/503209.503226
View
| DOI
2001 | Conference Paper | IST-REx-ID: 4623
De Alfaro L, Henzinger TA. Interface theories for component-based design. In: Proceedings of the 1st International Workshop on Embedded Software. Vol 2211. ACM; 2001:148-165. doi:10.1007/3-540-45449-7_11
View
| DOI
2001 | Conference Paper | IST-REx-ID: 4564
Brown T, Pasetti A, Pree W, Henzinger TA, Kirsch C. A reusable and platform-independent framework for distributed control systems. In: Proceedings of the 20th Digital Avionics Systems Conference. IEEE; 2001:1-11. doi:10.1109/DASC.2001.964169
View
| DOI
2001 | Conference Paper | IST-REx-ID: 4477
Henzinger TA, Minea M, Prabhu V. Assume-guarantee reasoning for hierarchical hybrid systems. In: Proceedings of the 4th International Workshop on Hybrid Systems. Vol 2034. Springer; 2001:275-290. doi:10.1007/3-540-45351-2_24
View
| DOI
2001 | Conference Paper | IST-REx-ID: 4478
Henzinger TA, Horowitz B, Kirsch C. Embedded control systems development with Giotto. In: Proceedings of the 2nd ACM SIGPLAN Workshop on Languages, Compilers and Tools for Embedded Systems. ACM; 2001:64-72. doi:10.1145/384197.384208
View
| DOI
2001 | Conference Paper | IST-REx-ID: 4479
Henzinger TA, Horowitz B, Kirsch C. Giotto: A time-triggered language for embedded programming. In: Proceedings of the 1st International Workshop on Embedded Software. Vol 2211. ACM; 2001:166-184. doi:10.1007/3-540-45449-7_12
View
| DOI
2001 | Conference Paper | IST-REx-ID: 4475
Henzinger TA, Preussig J, Wong Toi H. Some lessons from the HYTECH experience. In: Proceedings of the 40th IEEE Conference on Decision and Control. Vol 3. IEEE; 2001:2887-2892. doi:10.1109/.2001.980714
View
| DOI
2001 | Conference (Editor) | IST-REx-ID: 4449
Henzinger TA, ed. EMSOFT: Embedded Software. Vol 2211. ACM; 2001. doi:10.1007/3-540-45449-7
View
| DOI
2001 | Book Chapter | IST-REx-ID: 4278
Barton NH. The evolutionary consequences of gene flow and local adaptation: Future approaches. In: Dispersal. Oxford University Press; 2001.
View
| Download None (ext.)
2001 | Journal Article | IST-REx-ID: 4200 |
Heisenberg C-PJ, Houart C, Take Uchi M, 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. 2001;15(11):1427-1434. doi:10.1101/gad.194301
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2001 | Journal Article | IST-REx-ID: 4266
Barton NH. The role of hybridization in evolution. Molecular Ecology. 2001;10(3):551-568. doi:10.1046/j.1365-294X.2001.01216.x
View
| DOI
| PubMed | Europe PMC
2001 | Journal Article | IST-REx-ID: 4265
Otto S, Barton NH. Selection for recombination in small populations. Evolution; International Journal of Organic Evolution. 2001;55(10):1921-1931. doi:10.1111/j.0014-3820.2001.tb01310.x
View
| DOI
| PubMed | Europe PMC
2001 | Journal Article | IST-REx-ID: 4229
Bollback JP, Huelsenbeck J. Phylogeny, genome evolution, and host specificity of single-stranded RNA bacteriophage (Family Leviviridae). Journal of Molecular Evolution. 2001;52(2):117-128. doi:10.1007/s002390010140
View
| DOI
| PubMed | Europe PMC
2001 | Journal Article | IST-REx-ID: 4264
Turelli M, Barton NH, Coyne J. Theory and speciation. Trends in Ecology and Evolution. 2001;16(7):330-343. doi:10.1016/S0169-5347(01)02177-2
View
| DOI
| PubMed | Europe PMC
2001 | Book Chapter | IST-REx-ID: 4267
Barton NH. Adaptation at the edge of a species’ range. In: Integrating Ecology and Evolution in a Spatial Context. Cambridge University Press; 2001:365-392.
View
| Download None (ext.)
2001 | Journal Article | IST-REx-ID: 4002
Cheng S, Edelsbrunner H, Fu P, Lam K. Design and analysis of planar shape deformation. Computational Geometry: Theory and Applications. 2001;19(2-3):205-218. doi:10.1016/S0925-7721(01)00020-7
View
| DOI
2001 | Journal Article | IST-REx-ID: 4001
Cheng H, Edelsbrunner H, Fu P. Shape space from deformation. Computational Geometry: Theory and Applications. 2001;19(2-3):191-204. doi:10.1016/S0925-7721(01)00021-9
View
| DOI
2001 | Conference Paper | IST-REx-ID: 4005
Cheng H, Dey T, Edelsbrunner H, Sullivan J. Dynamic skin triangulation. In: Proceedings of the 12th Annual ACM-SIAM Symposium on Discrete Algorithms. SIAM; 2001:47-56.
View
| Download None (ext.)
2001 | Journal Article | IST-REx-ID: 4007
Cheng H, Dey T, Edelsbrunner H, Sullivan J. Dynamic skin triangulation. Discrete & Computational Geometry. 2001;25(4):525-568. doi:10.1007/s00454-001-0007-1
View
| DOI
2001 | Journal Article | IST-REx-ID: 4006
Edelsbrunner H. 180 wrapped tubes. Journal of Universal Computer Science. 2001;7(5):379-399. doi:10.3217/jucs-007-05-0379
View
| DOI
2001 | Journal Article | IST-REx-ID: 3928 |
Sixt MK, Hallmann R, Wendler O, Scharffetter Kochanek K, Sorokin L. Cell adhesion and migration properties of β2-integrin negative polymorphonuclear granulocytes on defined extracellular matrix molecules. Relevance for leukocyte extravasation. Journal of Biological Chemistry. 2001;276(22):18878-18887. doi: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, et al. TNF-α-induced expression of adhesion molecules in the liver is under the control of TNFR1--relevance for concanavalin A-induced hepatitis. Journal of Immunology. 2001;166(2):1300-1307. doi:10.4049/jimmunol.166.2.1300
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
2001 | Journal Article | IST-REx-ID: 3930 |
Sixt MK, Engelhardt B, Pausch F, Hallmann R, Wendler O, Sorokin L. 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. 2001;153(5):933-946. doi: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 NH. Genetic variation for preadult viability in Drosophila melanogaster. Evolution. 2001;55(8):1609-1620. doi:10.1111/j.0014-3820.2001.tb00680.x
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
2001 | Book Review | IST-REx-ID: 3596
Barton NH. Mendel and mathematics. Trends in Genetics. 2001;17:420-420. doi:10.1016/S0168-9525(01)02315-0
View
| DOI
2001 | Journal Article | IST-REx-ID: 3546 |
Hirase H, Leinekugel X, Csicsvari JL, Czurkó A, Buzsáki G. Behavior-dependent states of the hippocampal network affect functional clustering of neurons. Journal of Neuroscience. 2001;21(10). doi: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 JL, Buzsáki G. Firing rates of hippocampal neurons are preserved during subsequent sleep episodes and modified by novel awake experience. PNAS. 2001;98(16):9386-9390. doi: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 PM. Rapid signaling at inhibitory synapses in a dentate gyrus interneuron network. Journal of Neuroscience. 2001;21(8):2687-2698. doi: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 PM, Geiger J. PTP and LTP at a hippocampal mossy fiber-interneuron synapse. PNAS. 2001;98(25):14708-14713. doi:10.1073/pnas.251610898
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
2001 | Journal Article | IST-REx-ID: 3495
Jerecic J, Schulze C, Jonas PM, Sprengel R, Seeburg P, Bischofberger J. Impaired NMDA receptor function in mouse olfactory bulb neurons by tetracycline-sensitive NR1 (N598R) expression. Molecular Brain Research. 2001;94(1-2):96-104. doi:10.1016/S0169-328X(01)00221-2
View
| DOI
| PubMed | Europe PMC
2001 | Journal Article | IST-REx-ID: 3517
Szabo I, Czurkó A, Csicsvari JL, Hirase H, Leinekugel X, Buzsáki G. The application of printed circuit board technology for fabrication of multi-channel micro-drives. Journal of Neuroscience Methods. 2001;105(1):105-110. doi:10.1016/S0165-0270(00)00362-9
View
| DOI
| PubMed | Europe PMC
2001 | Journal Article | IST-REx-ID: 3493 |
Jones M., Jonas PM, Sahara Y, Westbrook G. Microscopic kinetics and energetics distinguish GABAA receptor agonists from antagonists. Biophysical Journal. 2001;81(5):2660-2670. doi: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. Elimination voltammetry of adenine and cytosine mixtures. Bioelectrochemistry. 2001;54(2):131-136. doi:10.1016/S1567-5394(01)00119-0
View
| DOI
| PubMed | Europe PMC