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 | Conference Paper | IST-REx-ID: 4600
Alur, Rajeev, Luca De Alfaro, Radu Grosu, Thomas A Henzinger, Myong Kang, Christoph Kirsch, Ritankar Majumdar, Freddy Mang, and Bow Wang. “JMocha: A Model-Checking Tool That Exploits Design Structure.” In Proceedings of the 23rd International Conference on Software Engineering, 835–36. IEEE, 2001. https://doi.org/10.1109/ICSE.2001.919196.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 4599
Alur, Rajeev, Robert Brayton, Thomas A Henzinger, Shaz Qadeer, and Sriram Rajamani. “Partial-Order Reduction in Symbolic State-Space Exploration.” Formal Methods in System Design. Springer, 2001. https://doi.org/10.1023/A:1008767206905.
View | DOI
 

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 | Conference Paper | IST-REx-ID: 4623
De Alfaro, Luca, and Thomas A Henzinger. “Interface Theories for Component-Based Design.” In Proceedings of the 1st International Workshop on Embedded Software, 2211:148–65. ACM, 2001. https://doi.org/10.1007/3-540-45449-7_11.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4564
Brown, Timothy, Alessandro Pasetti, Wolfgang Pree, Thomas A Henzinger, and Christoph Kirsch. “A Reusable and Platform-Independent Framework for Distributed Control Systems.” In Proceedings of the 20th Digital Avionics Systems Conference, 1–11. IEEE, 2001. https://doi.org/10.1109/DASC.2001.964169.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4477
Henzinger, Thomas A, Marius Minea, and Vinayak Prabhu. “Assume-Guarantee Reasoning for Hierarchical Hybrid Systems.” In Proceedings of the 4th International Workshop on Hybrid Systems, 2034:275–90. Springer, 2001. https://doi.org/10.1007/3-540-45351-2_24.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4478
Henzinger, Thomas A, Benjamin Horowitz, and Christoph Kirsch. “Embedded Control Systems Development with Giotto.” In Proceedings of the 2nd ACM SIGPLAN Workshop on Languages, Compilers and Tools for Embedded Systems, 64–72. ACM, 2001. https://doi.org/10.1145/384197.384208.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4479
Henzinger, Thomas A, Benjamin Horowitz, and Christoph Kirsch. “Giotto: A Time-Triggered Language for Embedded Programming.” In Proceedings of the 1st International Workshop on Embedded Software, 2211:166–84. ACM, 2001. https://doi.org/10.1007/3-540-45449-7_12.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4475
Henzinger, Thomas A, Joerg Preussig, and Howard Wong Toi. “Some Lessons from the HYTECH Experience.” In Proceedings of the 40th IEEE Conference on Decision and Control, 3:2887–92. IEEE, 2001. https://doi.org/10.1109/.2001.980714.
View | DOI
 

2001 | Conference (Editor) | IST-REx-ID: 4449
Henzinger, Thomas A, ed. EMSOFT: Embedded Software. Vol. 2211. ACM, 2001. https://doi.org/10.1007/3-540-45449-7.
View | DOI
 

2001 | Book Chapter | IST-REx-ID: 4278
Barton, Nicholas H. “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 | OA
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: 4266
Barton, Nicholas H. “The Role of Hybridization in Evolution.” Molecular Ecology. Wiley-Blackwell, 2001. https://doi.org/10.1046/j.1365-294X.2001.01216.x.
View | DOI | PubMed | Europe PMC
 

2001 | Journal Article | IST-REx-ID: 4265
Otto, Sarah, and Nicholas H Barton. “Selection for Recombination in Small Populations.” Evolution; International Journal of Organic Evolution. Wiley-Blackwell, 2001. https://doi.org/10.1111/j.0014-3820.2001.tb01310.x.
View | DOI | PubMed | Europe PMC
 

2001 | Journal Article | IST-REx-ID: 4229
Bollback, Jonathan P, and John Huelsenbeck. “Phylogeny, Genome Evolution, and Host Specificity of Single-Stranded RNA Bacteriophage (Family Leviviridae).” Journal of Molecular Evolution. Springer, 2001. https://doi.org/10.1007/s002390010140.
View | DOI | PubMed | Europe PMC
 

2001 | Journal Article | IST-REx-ID: 4264
Turelli, Michael, Nicholas H Barton, and Jerry Coyne. “Theory and Speciation.” Trends in Ecology and Evolution. Cell Press, 2001. https://doi.org/10.1016/S0169-5347(01)02177-2.
View | DOI | PubMed | Europe PMC
 

2001 | Book Chapter | IST-REx-ID: 4267
Barton, Nicholas H. “Adaptation at the Edge of a Species’ Range.” In Integrating Ecology and Evolution in a Spatial Context, 365–92. Cambridge University Press, 2001.
View | Download None (ext.)
 

2001 | Journal Article | IST-REx-ID: 4002
Cheng, Siu, Herbert Edelsbrunner, Ping Fu, and Ka Lam. “Design and Analysis of Planar Shape Deformation.” Computational Geometry: Theory and Applications. Elsevier, 2001. https://doi.org/10.1016/S0925-7721(01)00020-7.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 4001
Cheng, Ho, Herbert Edelsbrunner, and Ping Fu. “Shape Space from Deformation.” Computational Geometry: Theory and Applications. Elsevier, 2001. https://doi.org/10.1016/S0925-7721(01)00021-9.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4005
Cheng, Ho, Tamal Dey, Herbert Edelsbrunner, and John Sullivan. “Dynamic Skin Triangulation.” In Proceedings of the 12th Annual ACM-SIAM Symposium on Discrete Algorithms, 47–56. SIAM, 2001.
View | Download None (ext.)
 

2001 | Journal Article | IST-REx-ID: 4007
Cheng, Ho, Tamal Dey, Herbert Edelsbrunner, and John Sullivan. “Dynamic Skin Triangulation.” Discrete & Computational Geometry. Springer, 2001. https://doi.org/10.1007/s00454-001-0007-1.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 4006
Edelsbrunner, Herbert. “180 Wrapped Tubes.” Journal of Universal Computer Science. Springer, 2001. https://doi.org/10.3217/jucs-007-05-0379.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 3928 | OA
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: 3927 | OA
Wolf, Dominik, Rupert Hallmann, Gabriele Sass, Michael K Sixt, Sabine Küsters, Bastian Fregien, Christian Trautwein, and Gisa Tiegs. “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, 2001. https://doi.org/10.4049/jimmunol.166.2.1300.
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

2001 | Journal Article | IST-REx-ID: 3930 | OA
Sixt, Michael K, Britta Engelhardt, Friederike Pausch, Rupert Hallmann, Olaf Wendler, and Lydia Sorokin. “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, 2001. 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, 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 | Book Review | IST-REx-ID: 3596
Barton, Nicholas H. “Mendel and Mathematics.” Trends in Genetics. Elsevier, 2001. https://doi.org/10.1016/S0168-9525(01)02315-0.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 3546 | OA
Hirase, Hajima, Xavier Leinekugel, Jozsef L Csicsvari, András Czurkó, and György Buzsáki. “Behavior-Dependent States of the Hippocampal Network Affect Functional Clustering of Neurons.” Journal of Neuroscience. Society for Neuroscience, 2001. 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 | OA
Hirase, Hajima, Xavier Leinekugel, András Czurkó, Jozsef L Csicsvari, and György Buzsáki. “Firing Rates of Hippocampal Neurons Are Preserved during Subsequent Sleep Episodes and Modified by Novel Awake Experience.” PNAS. National Academy of Sciences, 2001. 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 | OA
Bartos, Marlene, Imre Vida, Michael Frotscher, Jörg Geiger, and Peter M Jonas. “Rapid Signaling at Inhibitory Synapses in a Dentate Gyrus Interneuron Network.” Journal of Neuroscience. Society for Neuroscience, 2001. 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 | OA
Alle, Henrik, Peter M Jonas, and Jörg Geiger. “PTP and LTP at a Hippocampal Mossy Fiber-Interneuron Synapse.” PNAS. National Academy of Sciences, 2001. https://doi.org/10.1073/pnas.251610898 .
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: 3517
Szabo, Imre, András Czurkó, Jozsef L Csicsvari, Hajima Hirase, Xavier Leinekugel, and György Buzsáki. “The Application of Printed Circuit Board Technology for Fabrication of Multi-Channel Micro-Drives.” Journal of Neuroscience Methods. Elsevier, 2001. https://doi.org/10.1016/S0165-0270(00)00362-9.
View | DOI | PubMed | Europe PMC
 

2001 | Journal Article | IST-REx-ID: 3493 | OA
Jones, M.V, Peter M Jonas, Y. Sahara, and G. Westbrook. “Microscopic Kinetics and Energetics Distinguish GABAA Receptor Agonists from Antagonists.” Biophysical Journal. Biophysical Society, 2001. 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á, Libuše, Jiří Friml, and Oldřich Dračka. “Elimination Voltammetry of Adenine and Cytosine Mixtures.” Bioelectrochemistry. Elsevier, 2001. https://doi.org/10.1016/S1567-5394(01)00119-0.
View | DOI | PubMed | Europe PMC
 

2001 | Conference Paper | IST-REx-ID: 3169
Kolmogorov, Vladimir, and Ramin Zabih. “Computing Visual Correspondence with Occlusions Using Graph Cuts.” In Proceedings of the 8th IEEE International Conference on Computer Vision, 2:508–15. IEEE, 2001. https://doi.org/10.1109/ICCV.2001.937668.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 3439
Conn, Jan, Jonathan P Bollback, David Onyabe, Tessa Robinson, Richard Wilkerson, and Marinete Povoa. “Isolation of Polymorphic Microsatellite Markers from the Malaria Vector Anopheles Darlingi.” Molecular Ecology Notes. Wiley-Blackwell, 2001. https://doi.org/ 10.1046/j.1471-8278.2001.00078.x.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 3440
Huelsenbeck, John, and Jonathan P Bollback. “Empirical and Hierarchical Bayesian Estimation of Ancestral States.” Systematic Biology. Oxford University Press, 2001. https://doi.org/10.1080/10635150119871.
View | DOI | PubMed | Europe PMC
 

2001 | Journal Article | IST-REx-ID: 3438
Huelsenbeck, John, Fredrik Ronquist, Rasmus Nielsen, and Jonathan P Bollback. “Bayesian Inference of Phylogeny and Its Impact on Evolutionary Biology.” Science. American Association for the Advancement of Science, 2001. https://doi.org/10.1126/science.1065889.
View | DOI | PubMed | Europe PMC
 

2001 | Book Chapter | IST-REx-ID: 3434
Huelsenbeck, John, and Jonathan P Bollback. “Application of the Likelihood Function in Phylogenetic Analysis.” In Handbook of Statistical Genetics, edited by David Balding, Martin Bishop, and Chriss Cannings, 415–39. Wiley-Blackwell, 2001. https://doi.org/10.1002/9780470061619.ch15.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2982 | OA
Gil, Pedro, Elizabeth Dewey, Jiří Friml, Yunde Zhao, Kimberley Snowden, Jo Putterill, Klaus Palme, Mark Estelle, and Joanne Chory. “BIG: A Calossin-like Protein Required for Polar Auxin Transport in Arabidopsis.” Genes and Development. Cold Spring Harbor Laboratory Press, 2001. https://doi.org/10.1101/gad.905201.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2001 | Journal Article | IST-REx-ID: 2984 | OA
Swarup, Ranjan, Jiří Friml, Alan Marchant, Karin Ljung, Göran Sandberg, Klaus Palme, and Malcolm Bennett. “Localization of the Auxin Permease AUX1 Suggests Two Functionally Distinct Hormone Transport Pathways Operate in the Arabidopsis Root Apex.” Genes and Development. Cold Spring Harbor Laboratory Press, 2001. https://doi.org/10.1101/gad.210501.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2001 | Journal Article | IST-REx-ID: 2981 | OA
Molendijk, Arthur, Friedrich Bischoff, Chadalavada Rajendrakumar, Jiří Friml, Markus Braun, Simon Gilroy, and Klaus Palme. “Arabidopsis Thaliana Rop GTPases Are Localized to Tips of Root Hairs and Control Polar Growth.” EMBO Journal. Wiley-Blackwell, 2001. https://doi.org/10.1093/emboj/20.11.2779.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2001 | Journal Article | IST-REx-ID: 2983
Geldner, Niko, Jiří Friml, York Stierhof, Gerd Jürgens, and Klaus Palme. “Auxin Transport Inhibitors Block PIN1 Cycling and Vesicle Trafficking.” Nature. Nature Publishing Group, 2001. https://doi.org/10.1038/35096571.
View | DOI | PubMed | Europe PMC
 

2001 | Journal Article | IST-REx-ID: 2736 | OA
Erdös, László, and Horng Yau. “Derivation of the Nonlinear Schrödinger Equation from a Many Body Coulomb System.” Advances in Theoretical and Mathematical Physics. International Press, 2001. https://doi.org/10.48550/arXiv.math-ph/0111042.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2001 | Journal Article | IST-REx-ID: 2735 | OA
Erdös, László. “Lifschitz Tail in a Magnetic Field: Coexistence of Classical and Quantum Behavior in the Borderline Case.” Probability Theory and Related Fields. Springer, 2001. https://doi.org/10.1007/PL00008803.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2001 | Journal Article | IST-REx-ID: 2734 | OA
Erdös, László, and Jan Solovej. “The Kernel of Dirac Operators on S3 and R3.” Reviews in Mathematical Physics. World Scientific Publishing, 2001. https://doi.org/10.1142/S0129055X01000983.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2001 | Journal Article | IST-REx-ID: 2611
Ruocco, Isabella, Augusto Cuello, Ryuichi Shigemoto, and Alfredo Ribeiro Da Silva. “Sympathectomies Lead to Transient Substance P-Immunoreactive Sensory Fibre Plasticity in the Rat Skin.” Neuroscience. Elsevier, 2001. https://doi.org/10.1016/S0306-4522(01)00158-0.
View | DOI | PubMed | Europe PMC
 

2001 | Journal Article | IST-REx-ID: 2612
Li, Jin, Ryuichi Shigemoto, Ákos Kulik, Peng Chen, Sakashi Nomura, Takeshi Kaneko, and Noboru Mizuno. “Immunocytochemical Localization of GABAB Receptors in Mesencephalic Trigeminal Nucleus Neurons in the Rat.” Neuroscience Letters. Elsevier, 2001. https://doi.org/10.1016/S0304-3940(01)02321-7.
View | DOI | PubMed | Europe PMC
 

2001 | Book Chapter | IST-REx-ID: 2709
Erdös, László. “Long Time Dynamics of an Electron in a Weakly Coupled Phonon Field.” In 13th International Congress of Mathematical Physics, 273–81. International Press of Boston, 2001.
View
 

Filters and Search Terms

year=2001

Search

Filter Publications