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.
8032 Publications
2002 | Journal Article | IST-REx-ID: 4262
Barton, Nicholas H., and Arcadio Navarro. “Extending the Coalescent to Multilocus Systems: The Case of Balancing Selection.” Genetical Research, vol. 79, no. 2, Cambridge University Press, 2002, pp. 129–39, doi:10.1017/S0016672301005493.
View
| DOI
2002 | Journal Article | IST-REx-ID: 4263
Barton, Nicholas H., et al. “Neutral Evolution in Spatially Continuous Populations.” Theoretical Population Biology, vol. 61, no. 1, Academic Press, 2002, pp. 31–48, doi:10.1006/tpbi.2001.1557.
View
| DOI
2002 | Journal Article | IST-REx-ID: 4261
Barton, Nicholas H., and Peter Keightley. “Understanding Quantitative Genetic Variation.” Nature Reviews Genetics, vol. 3, Nature Publishing Group, 2002, pp. 11–21, doi:10.1038/nrg700.
View
| DOI
2002 | Thesis | IST-REx-ID: 4414
Mang, Freddy. Games in Open Systems Verification and Synthesis. University of California, Berkeley, 2002, pp. 1–116.
View
2002 | Conference Paper | IST-REx-ID: 4413
Passerone, Roberto, et al. Convertibility Verification and Converter Synthesis: Two Faces of the Same Coin. IEEE, 2002, pp. 132–39, doi:10.1145/774572.774592.
View
| DOI
2002 | Journal Article | IST-REx-ID: 4407
Raskin, Jean, et al. “Axioms for Real-Time Logics.” Theoretical Computer Science, vol. 274, no. 1–2, Elsevier, 2002, pp. 151–82, doi:10.1016/S0304-3975(00)00308-X.
View
| DOI
2002 | Conference Paper | IST-REx-ID: 4421
Kirsch, Christoph, et al. A Giotto-Based Helicopter Control System. Vol. 2491, ACM, 2002, pp. 46–60, doi:10.1007/3-540-45828-X_5.
View
| DOI
2002 | Conference Paper | IST-REx-ID: 4422
Jurdziński, Marcin, et al. Trading Probability for Fairness. Vol. 2471, Springer, 2002, pp. 292–305, doi:10.1007/3-540-45793-3_20.
View
| DOI
2002 | Conference Paper | IST-REx-ID: 4423
Horowitz, Benjamin, et al. Embedded Software Design and System Integration for Rotorcraft UAV Using Platforms. Vol. 15, no. 1, Elsevier, 2002, doi:10.3182/20020721-6-ES-1901.01628.
View
| DOI
2002 | Conference Paper | IST-REx-ID: 4444
Henzinger, Thomas A., and Christoph Kirsch. The Embedded Machine: Predictable, Portable Real-Time Code. ACM, 2002, pp. 315–26, doi:10.1145/512529.512567.
View
| DOI
2002 | Conference Paper | IST-REx-ID: 4470
Henzinger, Thomas A., et al. Time-Safety Checking for Embedded Programs. Vol. 2491, ACM, 2002, pp. 76–92, doi:10.1007/3-540-45828-X_7.
View
| DOI
2002 | Journal Article | IST-REx-ID: 4474
Henzinger, Thomas A., et al. “Fair Simulation.” Information and Computation, vol. 173, no. 1, Elsevier, 2002, pp. 64–81, doi:10.1006/inco.2001.3085.
View
| DOI
2002 | Conference Paper | IST-REx-ID: 4471
Henzinger, Thomas A., et al. Synthesis of Uninitialized Systems. Vol. 2380, Springer, 2002, pp. 644–56, doi:10.1007/3-540-45465-9_55.
View
| DOI
2002 | Conference Paper | IST-REx-ID: 4472
Henzinger, Thomas A., et al. Temporal Safety Proofs for Systems Code. Vol. 2404, Springer, 2002, pp. 526–38, doi:10.1007/3-540-45657-0_45.
View
| DOI
2002 | Journal Article | IST-REx-ID: 4473
Henzinger, Thomas A., et al. “An Assume-Guarantee Rule for Checking Simulation.” ACM Transactions on Programming Languages and Systems (TOPLAS), vol. 24, no. 1, ACM, 2002, pp. 51–64, doi:10.1145/509705.509707.
View
| DOI
2002 | Conference Paper | IST-REx-ID: 4476
Henzinger, Thomas A., et al. Lazy Abstraction. ACM, 2002, pp. 58–70, doi:10.1145/503272.503279.
View
| DOI
2002 | Conference Paper | IST-REx-ID: 4562
Chakrabarti, Arindam, et al. Synchronous and Bidirectional Component Interfaces. Vol. 2404, Springer, 2002, pp. 414–27, doi:10.1007/3-540-45657-0_34.
View
| DOI
2002 | Conference Paper | IST-REx-ID: 4563
Chakrabarti, Arindam, et al. Interface Compatibility Checking for Software Modules. Vol. 2404, Springer, 2002, pp. 428–41, doi:10.1007/3-540-45657-0_35.
View
| DOI
2002 | Conference Paper | IST-REx-ID: 4565
Cassez, Franck, et al. A Comparison of Control Problems for Timed and Hybrid Systems. Vol. 2289, Springer, 2002, pp. 134–48, doi:10.1007/3-540-45873-5_13.
View
| DOI
2002 | Journal Article | IST-REx-ID: 4595
Alur, Rajeev, et al. “Alternating-Time Temporal Logic.” Journal of the ACM, vol. 49, no. 5, ACM, 2002, pp. 672–713, doi:10.1145/585265.585270.
View
| DOI
2002 | Conference Paper | IST-REx-ID: 4631
De Alfaro, Luca, et al. Timed Interfaces. Vol. 2491, ACM, 2002, pp. 108–22, doi:10.1007/3-540-45828-X_9.
View
| DOI
2002 | Journal Article | IST-REx-ID: 6158
Coates, Juliet C., and Mario de Bono. “Antagonistic Pathways in Neurons Exposed to Body Fluid Regulate Social Feeding in Caenorhabditis Elegans.” Nature, vol. 419, no. 6910, Springer Nature, 2002, pp. 925–29, doi:10.1038/nature01170.
View
| DOI
| PubMed | Europe PMC
2002 | Journal Article | IST-REx-ID: 6159
de Bono, Mario, et al. “Social Feeding in Caenorhabditis Elegans Is Induced by Neurons That Detect Aversive Stimuli.” Nature, vol. 419, no. 6910, Springer Nature, 2002, pp. 899–903, doi:10.1038/nature01169.
View
| DOI
| PubMed | Europe PMC
2002 | Journal Article | IST-REx-ID: 859
Perelygin, Andrey, et al. “Evolution of the Mouse Polyubiquitin C Gene.” Journal of Molecular Evolution, vol. 55, no. 2, Springer, 2002, pp. 202–10, doi:10.1007/s00239-002-2318-0.
View
| DOI
2002 | Journal Article | IST-REx-ID: 871
Kondrashov, Fyodor, et al. “Selection in the Evolution of Gene Duplications .” Genome Biology, vol. 3, no. 2, BioMed Central, 2002, doi:10.1186/gb-2002-3-2-research0008.
View
| DOI
2002 | Journal Article | IST-REx-ID: 885
Kondrashov, Alexey, et al. “Dobzhansky-Muller Incompatibilities in Protein Evolution.” PNAS, vol. 99, no. 23, National Academy of Sciences, 2002, pp. 14878–83, doi:10.1073/pnas.232565499.
View
| DOI
2002 | Journal Article | IST-REx-ID: 897
Castillo Davis, Cristian, et al. “Selection for Short Introns in Highly Expressed Genes.” Nature Genetics, vol. 31, no. 4, Nature Publishing Group, 2002, pp. 415–18, doi:10.1038/ng940.
View
| DOI
2001 | Journal Article | IST-REx-ID: 11125
Hetzer, Martin, et al. “Distinct AAA-ATPase P97 Complexes Function in Discrete Steps of Nuclear Assembly.” Nature Cell Biology, vol. 3, no. 12, Springer Nature, 2001, pp. 1086–91, doi:10.1038/ncb1201-1086.
View
| DOI
| PubMed | Europe PMC
2001 | Journal Article | IST-REx-ID: 11755
Henzinger, Monika H. “Hyperlink Analysis for the Web.” IEEE Internet Computing, vol. 5, no. 1, Institute of Electrical and Electronics Engineers, 2001, pp. 45–50, doi:10.1109/4236.895141.
View
| DOI
2001 | Journal Article | IST-REx-ID: 11892
Henzinger, Monika H., and Valerie King. “Maintaining Minimum Spanning Forests in Dynamic Graphs.” SIAM Journal on Computing, vol. 31, no. 2, Society for Industrial & Applied Mathematics, 2001, pp. 364–74, doi:10.1137/s0097539797327209.
View
| DOI
2001 | Conference Paper | IST-REx-ID: 11914
Bharat, K., et al. “Who Links to Whom: Mining Linkage between Web Sites.” 1st IEEE International Conference on Data Mining, Institute of Electrical and Electronics Engineers, 2001, pp. 51–58, doi:10.1109/ICDM.2001.989500.
View
| DOI
2001 | Journal Article | IST-REx-ID: 1452 | 
Hausel, Tamás, and Michael Thaddeus. “Examples of Mirror Partners Arising from Integrable Systems.” Comptes Rendus de l’Academie Des Sciences - Series I: Mathematics, vol. 333, no. 4, Elsevier, 2001, pp. 313–18, doi:10.1016/S0764-4442(01)02057-2.
View
| DOI
| Download (ext.)
2001 | Journal Article | IST-REx-ID: 1453 |
Etesi, Gábor, and Tamás Hausel. “Geometric Construction of New Yang-Mills Instantons over Taub-NUT Space.” Physics Letters, Section B: Nuclear, Elementary Particle and High-Energy Physics, vol. 514, no. 1–2, Elsevier, 2001, pp. 189–99, doi:10.1016/S0370-2693(01)00821-8.
View
| DOI
| Download (ext.)
2001 | Journal Article | IST-REx-ID: 1454 |
Etesi, Gábor, and Tamás Hausel. “Geometric Interpretation of Schwarzschild Instantons.” Journal of Geometry and Physics, vol. 37, no. 1–2, Elsevier, 2001, pp. 126–36, doi:10.1016/S0393-0440(00)00040-1.
View
| DOI
| Download (ext.)
2001 | Conference Paper | IST-REx-ID: 2340 |
Seiringer, Robert. Bosons in a Trap: Asymptotic Exactness of the Gross-Pitaevskii Ground State Energy Formula. Edited by Michael Demuth and Bert Schultze, vol. 126, Birkhäuser, 2001, pp. 307–14, doi:10.1007/978-3-0348-8231-6.
View
| DOI
| Download (ext.)
2001 | Journal Article | IST-REx-ID: 2341 |
Baumgartner, Bernhard, and Robert Seiringer. “Atoms with Bosonic "Electrons" in Strong Magnetic Fields.” Annales Henri Poincare, vol. 2, no. 1, Birkhäuser, 2001, pp. 41–76, doi:10.1007/PL00001032.
View
| DOI
| Download (ext.)
2001 | Journal Article | IST-REx-ID: 2348 |
Hainzl, Christian, and Robert Seiringer. “A Discrete Density Matrix Theory for Atoms in Strong Magnetic Fields.” Communications in Mathematical Physics, vol. 217, no. 1, Springer, 2001, pp. 229–48, doi:10.1007/s002200100373.
View
| DOI
| Download (ext.)
2001 | Journal Article | IST-REx-ID: 2347 |
Lieb, Élliott, et al. “A Rigorous Derivation of the Gross-Pitaevskii Energy Functional for a Two-Dimensional Bose Gas.” Communications in Mathematical Physics, vol. 224, no. 1, Springer, 2001, pp. 17–31, doi:10.1007/s002200100533.
View
| DOI
| Download (ext.)
2001 | Journal Article | IST-REx-ID: 2345 |
Seiringer, Robert. “On the Maximal Ionization of Atoms in Strong Magnetic Fields.” Journal of Physics A: Mathematical and General, vol. 34, no. 9, IOP Publishing Ltd., 2001, pp. 1943–48, doi:10.1088/0305-4470/34/9/311.
View
| DOI
| Download (ext.)
2001 | Journal Article | IST-REx-ID: 2346 |
Hainzl, Christian, and Robert Seiringer. “Bounds on One-Dimensional Exchange Energies with Application to Lowest Landau Band Quantum Mechanics.” Letters in Mathematical Physics, vol. 55, no. 2, Springer, 2001, pp. 133–42, doi:10.1023/A:1010951905548.
View
| DOI
| Download (ext.)
2001 | Journal Article | IST-REx-ID: 2419
Wagner, Uli, and Emo Welzl. “A Continuous Analogue of the Upper Bound Theorem.” Discrete & Computational Geometry, vol. 26, no. 2, Springer, 2001, pp. 205–19, doi:10.1007/s00454-001-0028-9.
View
| DOI
2001 | Journal Article | IST-REx-ID: 2604
Ruocco, Isabella, et al. “Light and Electron Microscopic Study of the Distribution of Substance P-Immunoreactive Fibers and Neurokinin-1 Receptors in the Skin of the Rat Lower Lip.” Journal of Comparative Neurology, vol. 432, no. 4, Wiley-Blackwell, 2001, pp. 466–80, doi:10.1002/cne.1114.
View
| DOI
2001 | Journal Article | IST-REx-ID: 2609
Tamaru, Y., et al. “Distribution of Metabotropic Glutamate Receptor MGluR3 in the Mouse CNS: Differential Location Relative to Pre- and Postsynaptic Sites.” Neuroscience, vol. 106, no. 3, Elsevier, 2001, pp. 481–503, doi:10.1016/S0306-4522(01)00305-0.
View
| DOI
2001 | Journal Article | IST-REx-ID: 2610
Sansig, Gilles, et al. “Increased Seizure Susceptibility in Mice Lacking Metabotropic Glutamate Receptor 7.” Journal of Neuroscience, vol. 21, no. 22, Society for Neuroscience, 2001, pp. 8734–45.
View
2001 | Journal Article | IST-REx-ID: 2605
Geurts, Frederik, et al. “Morphological and Neurochemical Differentiation of Large Granular Layer Interneurons in the Adult Rat Cerebellum.” Neuroscience, vol. 104, no. 2, Elsevier, 2001, pp. 499–512, doi:10.1016/S0306-4522(01)00058-6.
View
| DOI
2001 | Journal Article | IST-REx-ID: 2608
López Bendito, Guillermina, et al. “Developmental Changes in the Localisation of the MGluR1α Subtype of Metabotropic Glutamate Receptors in Purkinje Cells.” Neuroscience, vol. 105, no. 2, Elsevier, 2001, pp. 413–29, doi:10.1016/S0306-4522(01)00188-9.
View
| DOI
2001 | Journal Article | IST-REx-ID: 2607
Mion, Silvia, et al. “Bidirectional Regulation of Neurite Elaboration by Alternatively Spliced Metabotropic Glutamate Receptor 5 (MGluR5) Isoforms.” Molecular and Cellular Neuroscience, vol. 17, no. 6, Academic Press, 2001, pp. 957–72, doi:10.1006/mcne.2001.0993.
View
| DOI
2001 | Journal Article | IST-REx-ID: 2606
Martínez, Galán, et al. “Cajal-Retzius Cells in Early Postnatal Mouse Cortex Selectively Express Functional Metabotropic Glutamate Receptors.” European Journal of Neuroscience, vol. 13, no. 6, Wiley-Blackwell, 2001, pp. 1147–54, doi:10.1046/j.0953-816X.2001.01494.x.
View
| DOI
2001 | Journal Article | IST-REx-ID: 2611
Ruocco, Isabella, et al. “Sympathectomies Lead to Transient Substance P-Immunoreactive Sensory Fibre Plasticity in the Rat Skin.” Neuroscience, vol. 108, no. 1, Elsevier, 2001, pp. 157–66, doi:10.1016/S0306-4522(01)00158-0.
View
| DOI
2001 | Journal Article | IST-REx-ID: 2612
Li, Jin, et al. “Immunocytochemical Localization of GABAB Receptors in Mesencephalic Trigeminal Nucleus Neurons in the Rat.” Neuroscience Letters, vol. 315, no. 1–2, Elsevier, 2001, pp. 93–97, doi:10.1016/S0304-3940(01)02321-7.
View
| DOI
2001 | Journal Article | IST-REx-ID: 2709
Erdös, László. “Long Time Dynamics of an Electron in a Weakly Coupled Phonon Field.” ICMP: International Congress on Mathematical Physics, World Scientific Publishing, 2001, pp. 273–81.
View
2001 | Journal Article | IST-REx-ID: 2736 |
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, vol. 5, no. 6, International Press, 2001, pp. 1169–205.
View
| Download (ext.)
2001 | Journal Article | IST-REx-ID: 2735
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, vol. 121, no. 2, Springer, 2001, pp. 219–36, doi:10.1007/PL00008803.
View
| DOI
2001 | Journal Article | IST-REx-ID: 2734
Erdös, László, and Jan Solovej. “The Kernel of Dirac Operators on S3 and R3.” Reviews in Mathematical Physics, vol. 13, no. 10, World Scientific Publishing, 2001, pp. 1247–80, doi:10.1142/S0129055X01000983.
View
| DOI
2001 | Journal Article | IST-REx-ID: 2981 |
Molendijk, Arthur, et al. “Arabidopsis Thaliana Rop GTPases Are Localized to Tips of Root Hairs and Control Polar Growth.” EMBO Journal, vol. 20, no. 11, Wiley-Blackwell, 2001, pp. 2779–88, doi:10.1093/emboj/20.11.2779.
View
| DOI
| Download (ext.)
2001 | Journal Article | IST-REx-ID: 2982
Gil, Pedro, et al. “BIG: A Calossin-like Protein Required for Polar Auxin Transport in Arabidopsis.” Genes and Development, vol. 15, no. 15, Cold Spring Harbor Laboratory Press, 2001, pp. 1985–97, doi:10.1101/gad.905201.
View
| DOI
2001 | Journal Article | IST-REx-ID: 2983
Geldner, Niko, et al. “Auxin Transport Inhibitors Block PIN1 Cycling and Vesicle Trafficking.” Nature, vol. 413, no. 6854, Nature Publishing Group, 2001, pp. 425–28, doi:10.1038/35096571.
View
| DOI
2001 | Journal Article | IST-REx-ID: 2984
Swarup, Ranjan, et al. “Localization of the Auxin Permease AUX1 Suggests Two Functionally Distinct Hormone Transport Pathways Operate in the Arabidopsis Root Apex.” Genes and Development, vol. 15, no. 20, Cold Spring Harbor Laboratory Press, 2001, pp. 2648–53, doi:10.1101/gad.210501.
View
| DOI
2001 | Journal Article | IST-REx-ID: 2985
Trnková, Libuše, et al. “Elimination Voltammetry of Adenine and Cytosine Mixtures.” Bioelectrochemistry, vol. 54, no. 2, Elsevier, 2001, pp. 131–36, doi:10.1016/S1567-5394(01)00119-0.
View
| DOI
2001 | Conference Paper | IST-REx-ID: 3169
Kolmogorov, Vladimir, and Ramin Zabih. Computing Visual Correspondence with Occlusions Using Graph Cuts. Vol. 2, IEEE, 2001, pp. 508–15, doi:10.1109/ICCV.2001.937668.
View
| DOI
| Download (ext.)
2001 | Journal Article | IST-REx-ID: 3439
Conn, Jan, et al. “Isolation of Polymorphic Microsatellite Markers from the Malaria Vector Anopheles Darlingi.” Molecular Ecology Notes, vol. 1, no. 4, Wiley-Blackwell, 2001, pp. 223–25, doi: 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, vol. 50, no. 3, Oxford University Press, 2001, pp. 351–66, doi:10.1080/10635150119871.
View
| DOI
2001 | Journal Article | IST-REx-ID: 3438
Huelsenbeck, John, et al. “Bayesian Inference of Phylogeny and Its Impact on Evolutionary Biology.” Science, vol. 294, no. 5550, American Association for the Advancement of Science, 2001, pp. 2310–14, doi:10.1126/science.1065889.
View
| DOI
2001 | Journal Article | IST-REx-ID: 3493 |
Jones, M. .., et al. “Microscopic Kinetics and Energetics Distinguish GABAA Receptor Agonists from Antagonists.” Biophysical Journal, vol. 81, no. 5, Biophysical Society, 2001, pp. 2660–70, doi:10.1016/S0006-3495(01)75909-7 .
View
| DOI
| Download (ext.)
2001 | Journal Article | IST-REx-ID: 3494
Bartos, Marlene, et al. “Rapid Signaling at Inhibitory Synapses in a Dentate Gyrus Interneuron Network.” Journal of Neuroscience, vol. 21, no. 8, Society for Neuroscience, 2001, pp. 2687–98.
View
2001 | Patent | IST-REx-ID: 3507 |
Liang, Jie, and Herbert Edelsbrunner. Molecular Classification for Property Prediction. 2001.
View
| Download Published Version (ext.)
2001 | Journal Article | IST-REx-ID: 3517
Szabo, I., et al. “The Application of Printed Circuit Board Technology for Fabrication of Multi-Channel Micro-Drives.” Journal of Neuroscience Methods, vol. 105, no. 1, Elsevier, 2001, pp. 105–10, doi:10.1016/S0165-0270(00)00362-9.
View
| DOI
2001 | Journal Article | IST-REx-ID: 3540
Hirase, Hajima, et al. “Firing Rates of Hippocampal Neurons Are Preserved during Subsequent Sleep Episodes and Modified by Novel Awake Experience.” PNAS, vol. 98, no. 16, National Academy of Sciences, 2001, pp. 9386–90, doi:10.1073/pnas.161274398.
View
| DOI
2001 | Book | IST-REx-ID: 3586
Edelsbrunner, Herbert. Geometry and Topology for Mesh Generation. Vol. 7, Cambridge University Press, 2001, doi:10.1017/CBO9780511530067.
View
| Files available
| DOI
2001 | Journal Article | IST-REx-ID: 3622
Gardner, Michael, et al. “Genetic Variation for Preadult Viability in Drosophila Melanogaster.” Evolution, vol. 55, no. 8, Wiley-Blackwell, 2001, pp. 1609–20.
View
| Download (ext.)
2001 | Journal Article | IST-REx-ID: 3928
Sixt, Michael K., et al. “Cell Adhesion and Migration Properties of Β2-Integrin Negative Polymorphonuclear Granulocytes on Defined Extracellular Matrix Molecules. Relevance for Leukocyte Extravasation.” Journal of Biological Chemistry, vol. 276, no. 22, American Society for Biochemistry and Molecular Biology, 2001, pp. 18878–87, doi:10.1074/jbc.M010898200.
View
| DOI
2001 | Journal Article | IST-REx-ID: 3927
Wolf, Dominik, 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, vol. 166, no. 2, American Association of Immunologists, 2001, pp. 1300–07.
View
| Download (ext.)
2001 | Journal Article | IST-REx-ID: 3930
Sixt, Michael K., et al. “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, vol. 153, no. 5, Rockefeller University Press, 2001, pp. 933–46, doi:10.1083/jcb.153.5.933 .
View
| DOI
2001 | Journal Article | IST-REx-ID: 4006
Edelsbrunner, Herbert. “180 Wrapped Tubes.” Journal of Universal Computer Science, vol. 7, no. 5, Springer, 2001, pp. 379–99, doi:10.3217/jucs-007-05-0379.
View
| DOI
2001 | Journal Article | IST-REx-ID: 4007
Cheng, Ho, et al. “Dynamic Skin Triangulation.” Discrete & Computational Geometry, vol. 25, no. 4, Springer, 2001, pp. 525–68, doi:10.1007/s00454-001-0007-1.
View
| DOI
2001 | Conference Paper | IST-REx-ID: 4005
Cheng, Ho, et al. Dynamic Skin Triangulation. SIAM, 2001, pp. 47–56.
View
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, vol. 52, no. 2, Springer, 2001, pp. 117–28, doi:10.1007/s002390010140.
View
| DOI
2001 | Book Chapter | IST-REx-ID: 3434
Huelsenbeck, John, and Jonathan P. Bollback. “Application of the Likelihood Function in Phylogenetic Analysis.” Handbook of Statistical Genetics, edited by David Balding et al., Wiley-Blackwell, 2001, pp. 415–39, doi:10.1002/9780470061619.ch15.
View
| DOI
2001 | Conference Paper | IST-REx-ID: 3447
Chatterjee, Krishnendu, et al. Weighted Quantified Computation Tree Logic. Elsevier, 2001.
View
2001 | Journal Article | IST-REx-ID: 3496 |
Alle, Henrik, et al. “PTP and LTP at a Hippocampal Mossy Fiber-Interneuron Synapse.” PNAS, vol. 98, no. 25, National Academy of Sciences, 2001, pp. 14708–13, doi:10.1073/pnas.251610898 .
View
| DOI
| Download (ext.)
2001 | Journal Article | IST-REx-ID: 3495
Jerecic, Jasna, et al. “Impaired NMDA Receptor Function in Mouse Olfactory Bulb Neurons by Tetracycline-Sensitive NR1 (N598R) Expression.” Molecular Brain Research, vol. 94, no. 1–2, Elsevier, 2001, pp. 96–104, doi:10.1016/S0169-328X(01)00221-2.
View
| DOI
2001 | Journal Article | IST-REx-ID: 3546
Hirase, Hajima, et al. “Behavior-Dependent States of the Hippocampal Network Affect Functional Clustering of Neurons.” Journal of Neuroscience, vol. 21, no. 10, Society for Neuroscience, 2001.
View
2001 | Book Review | IST-REx-ID: 3596
Barton, Nicholas H. “Mendel and Mathematics.” Trends in Genetics, vol. 17, Elsevier, 2001, pp. 420–420, doi:10.1016/S0168-9525(01)02315-0.
View
| DOI
2001 | Journal Article | IST-REx-ID: 4002
Cheng, Siu, et al. “Design and Analysis of Planar Shape Deformation.” Computational Geometry: Theory and Applications, vol. 19, no. 2–3, Elsevier, 2001, pp. 205–18, doi:10.1016/S0925-7721(01)00020-7.
View
| DOI
2001 | Journal Article | IST-REx-ID: 4001
Cheng, Ho, et al. “Shape Space from Deformation.” Computational Geometry: Theory and Applications, vol. 19, no. 2–3, Elsevier, 2001, pp. 191–204, doi:10.1016/S0925-7721(01)00021-9.
View
| DOI
2001 | Journal Article | IST-REx-ID: 4200
Heisenberg, Carl-Philipp J., 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, vol. 15, no. 11, Cold Spring Harbor Laboratory Press, 2001, pp. 1427–34, doi:10.1101/gad.194301.
View
| DOI
2001 | Journal Article | IST-REx-ID: 4266
Barton, Nicholas H. “The Role of Hybridisation in Evolution.” Molecular Ecology, vol. 10, no. 3, Wiley-Blackwell, 2001, pp. 551–68, doi:10.1046/j.1365-294X.2001.01216.x.
View
| DOI
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, vol. 55, no. 10, Wiley-Blackwell, 2001, pp. 1921–31, doi:10.1111/j.0014-3820.2001.tb01310.x.
View
| DOI
2001 | Journal Article | IST-REx-ID: 4264
Turelli, Michael, et al. “Theory and Speciation.” Trends in Ecology and Evolution, vol. 16, no. 7, Cell Press, 2001, pp. 330–43, doi:10.1016/S0169-5347(01)02177-2.
View
| DOI
2001 | Book Chapter | IST-REx-ID: 4267
Barton, Nicholas H. “Adaptation at the Edge of a Species’ Range.” Integrating Ecology and Evolution in a Spatial Context, Cambridge University Press, 2001, pp. 365–92.
View
2001 | Book Chapter | IST-REx-ID: 4278
Barton, Nicholas H. “The Evolutionary Consequences of Gene Flow and Local Adaptation: Future Approaches.” Dispersal, Oxford University Press, 2001.
View
2001 | Conference (Editor) | IST-REx-ID: 4449
Henzinger, Thomas A., and Christoph Kirsch. “EMSOFT: Embedded Software.” EMSOFT: Embedded Software , vol. 2211, ACM, 2001, doi:10.1007/3-540-45449-7.
View
| DOI
2001 | Conference Paper | IST-REx-ID: 4477
Henzinger, Thomas A., et al. Assume-Guarantee Reasoning for Hierarchical Hybrid Systems. Vol. 2034, Springer, 2001, pp. 275–90, doi:10.1007/3-540-45351-2_24.
View
| DOI
2001 | Conference Paper | IST-REx-ID: 4478
Henzinger, Thomas A., et al. Embedded Control Systems Development with Giotto. ACM, 2001, pp. 64–72, doi:10.1145/384197.384208.
View
| DOI
2001 | Conference Paper | IST-REx-ID: 4475
Henzinger, Thomas A., et al. Some Lessons from the HYTECH Experience. Vol. 3, IEEE, 2001, pp. 2887–92, doi:10.1109/.2001.980714.
View
| DOI
2001 | Conference Paper | IST-REx-ID: 4564
Brown, Timothy, et al. A Reusable and Platform-Independent Framework for Distributed Control Systems. IEEE, 2001, pp. 1–11, doi:10.1109/DASC.2001.964169.
View
| DOI
2001 | Conference Paper | IST-REx-ID: 4600
Alur, Rajeev, et al. JMocha: A Model-Checking Tool That Exploits Design Structure. IEEE, 2001, pp. 835–36, doi:10.1109/ICSE.2001.919196.
View
| DOI
2001 | Journal Article | IST-REx-ID: 4599
Alur, Rajeev, et al. “Partial-Order Reduction in Symbolic State-Space Exploration.” Formal Methods in System Design, vol. 18, no. 2, Springer, 2001, pp. 97–116, doi:10.1023/A:1008767206905.
View
| DOI
2001 | Conference Paper | IST-REx-ID: 4622
De Alfaro, Luca, and Thomas A. Henzinger. Interface Automata. ACM, 2001, pp. 109–20, doi:10.1145/503209.503226.
View
| DOI