Please note that IST 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.

6403 Publications


2002 | Journal Article | IST-REx-ID: 4199
Heisenberg C-PJ, Tada M. Wnt signalling: A moving picture emerges from van gogh. Current Biology. 2002;12(4):R126-R128. doi:10.1016/S0960-9822(02)00704-2
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4207
Heisenberg C-PJ. Wnt signalling: Refocusing on Strabismus. Current Biology. 2002;12(19):R657-R659. doi:10.1016/S0960-9822(02)01160-0
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4209
Hannus M, Feiguin F, Heisenberg C-PJ, Eaton S. Planar cell polarization requires Widerborst, a B ’ regulatory subunit of protein phosphatase 2A. Development. 2002;129(14):3493-3503.
View
 

2002 | Journal Article | IST-REx-ID: 4258
Navarro A, Barton NH. The effects of multilocus balancing selection on neutral variability. Genetics. 2002;161(2):849-863.
View | Download (ext.)
 

2002 | Journal Article | IST-REx-ID: 4259
Orive M, Barton NH. Associations between cytoplasmic and nuclear loci in hybridizing populations. Genetics. 2002;162(3):1469-1485.
View | Download (ext.)
 

2002 | Journal Article | IST-REx-ID: 4260
Johnson T, Barton NH. The effect of deleterious alleles on adaptation in asexual populations. Genetics. 2002;162(1):395-411.
View | Download (ext.)
 

2002 | Journal Article | IST-REx-ID: 4261
Barton NH, Keightley P. Understanding quantitative genetic variation. Nature Reviews Genetics. 2002;3:11-21. doi:10.1038/nrg700
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4262
Barton NH, Navarro A. Extending the coalescent to multilocus systems: the case of balancing selection. Genetical Research. 2002;79(2):129-139. doi:10.1017/S0016672301005493
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4263
Barton NH, Depaulis F, Etheridge A. Neutral evolution in spatially continuous populations. Theoretical Population Biology. 2002;61(1):31-48. doi:10.1006/tpbi.2001.1557
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4347
Huelsenbeck J, Bollback JP, Levine A. Inferring the root of a phylogenetic tree. Systematic Biology. 2002;51(1):32-43. doi:10.1080/106351502753475862
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4349
Bollback JP. Bayesian model adequacy and choice in phylogenetics. Molecular Biology and Evolution. 2002;19(7):1171-1180.
View | Download (ext.)
 

2002 | Journal Article | IST-REx-ID: 4407
Raskin J, Schobbens P, Henzinger TA. Axioms for real-time logics. Theoretical Computer Science. 2002;274(1-2):151-182. doi:10.1016/S0304-3975(00)00308-X
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4413
Passerone R, De Alfaro L, Henzinger TA, Sangiovanni Vincentelli A. Convertibility verification and converter synthesis: Two faces of the same coin. In: IEEE; 2002:132-139. doi:10.1145/774572.774592
View | DOI
 

2002 | Thesis | IST-REx-ID: 4414
Mang F. Games in open systems verification and synthesis. 2002:1-116.
View
 

2002 | Conference Paper | IST-REx-ID: 4421
Kirsch C, Sanvido M, Henzinger TA, Pree W. A Giotto-based helicopter control system. In: Vol 2491. ACM; 2002:46-60. doi:10.1007/3-540-45828-X_5
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4422
Jurdziński M, Kupferman O, Henzinger TA. Trading probability for fairness. In: Vol 2471. Springer; 2002:292-305. doi:10.1007/3-540-45793-3_20
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4423
Horowitz B, Liebman J, Ma C, et al. Embedded software design and system integration for rotorcraft UAV using platforms. In: Vol 15. Elsevier; 2002. doi:10.3182/20020721-6-ES-1901.01628
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4444
Henzinger TA, Kirsch C. The embedded machine: predictable, portable real-time code. In: ACM; 2002:315-326. doi:10.1145/512529.512567
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4470
Henzinger TA, Kirsch C, Majumdar R, Matic S. Time-safety checking for embedded programs. In: Vol 2491. ACM; 2002:76-92. doi:10.1007/3-540-45828-X_7
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4471
Henzinger TA, Krishnan S, Kupferman O, Mang F. Synthesis of uninitialized systems. In: Vol 2380. Springer; 2002:644-656. doi:10.1007/3-540-45465-9_55
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4472
Henzinger TA, Necula G, Jhala R, Sutre G, Majumdar R, Weimer W. Temporal safety proofs for systems code. In: Vol 2404. Springer; 2002:526-538. doi:10.1007/3-540-45657-0_45
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4473
Henzinger TA, Qadeer S, Rajamani S, Tasiran S. An assume-guarantee rule for checking simulation. ACM Transactions on Programming Languages and Systems (TOPLAS). 2002;24(1):51-64. doi:10.1145/509705.509707
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4474
Henzinger TA, Kupferman O, Rajamani S. Fair simulation. Information and Computation. 2002;173(1):64-81. doi:10.1006/inco.2001.3085
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4476
Henzinger TA, Jhala R, Majumdar R, Sutre G. Lazy abstraction. In: ACM; 2002:58-70. doi:10.1145/503272.503279
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4562
Chakrabarti A, De Alfaro L, Henzinger TA, Mang F. Synchronous and bidirectional component interfaces. In: Vol 2404. Springer; 2002:414-427. doi:10.1007/3-540-45657-0_34
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4563
Chakrabarti A, De Alfaro L, Henzinger TA, Jurdziński M, Mang F. Interface compatibility checking for software modules. In: Vol 2404. Springer; 2002:428-441. doi:10.1007/3-540-45657-0_35
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4565
Cassez F, Henzinger TA, Raskin J. A comparison of control problems for timed and hybrid systems. In: Vol 2289. Springer; 2002:134-148. doi:10.1007/3-540-45873-5_13
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4595
Alur R, Henzinger TA, Kupferman O. Alternating-time temporal logic. Journal of the ACM. 2002;49(5):672-713. doi:10.1145/585265.585270
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2986
Friml J, Wiśniewska J, Benková E, Mendgen K, Palme K. Lateral relocation of auxin efflux regulator PIN3 mediates tropism in Arabidopsis. Nature. 2002;415(6873):806-809. doi:10.1038/415806a
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2987
Souter M, Topping J, Pullen M, et al. Hydra mutants of Arabidopsis are defective in sterol profiles and auxin and ethylene signaling. Plant Cell. 2002;14(5):1017-1031. doi:10.1105/tpc.001248
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2988
Grebe M, Friml J, Swarup R, et al. Cell polarity signaling in Arabidopsis involves a BFA sensitive auxin influx pathway. Current Biology. 2002;12(4):329-334. doi:10.1016/S0960-9822(02)00654-1
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2989
Friml J, Benková E, Blilou I, et al. AtPIN4 mediates sink-driven auxin gradients and root patterning in Arabidopsis. Cell. 2002;108(5):661-673. doi:10.1016/S0092-8674(02)00656-6
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2991
Friml J, Palme K. Polar auxin transport - Old questions and new concepts? Plant Molecular Biology. 2002;49(3-4):273-284. doi:10.1023/A:1015248926412
View | DOI
 

2002 | Journal Article | IST-REx-ID: 3140
Hippenmeyer S, Shneider N, Birchmeier C, Burden S, Jessell T, Arber S. A role for Neuregulin1 signaling in muscle spindle differentiation. Neuron. 2002;36(6):1035-1049. doi:10.1016/S0896-6273(02)01101-7
View | DOI
 

2002 | Book Review | IST-REx-ID: 3421
Mueller D, Janovjak HL, Lehto T, Kuerschner L, Anderson K. Observing structure, function and assembly of single proteins by AFM. Progress in Biophysics and Molecular Biology. 2002;79(1-3):1-43. doi:10.1016/S0079-6107(02)00009-3
View | DOI
 

2002 | Journal Article | IST-REx-ID: 3422
Müller P, Janovjak HL, Miserez A, Dobbie Z. Processing of gene expression data generated by quantitative real-time RT-PCR. Biotechniques. 2002;32(6):1372-1379.
View
 

2002 | Conference Paper | IST-REx-ID: 3423
Bauer W, Bollenbach MT, Kleine Berkenbusch M, Harreis H. The percolation interpretation of the nuclear fragmentation phase transition. In: EP Systema; 2002:111-118.
View
 

2002 | Conference Paper | IST-REx-ID: 3424
Bollenbach MT, Bauer W. 3d supernovae collapse calculations. In: Vol 644. American Institute of Physics; 2002:219-232. doi:10.1063/1.1523196
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 3448
Mallick S, Chatterjee K, Merchant A, Dasgupta P. Implementation of shape grammar for plan analysis. In: Elsevier; 2002.
View
 

2002 | Journal Article | IST-REx-ID: 3497
Geiger J, Bischofberger J, Vida I, et al. Patch-clamp recording in brain slices with improved slicer technology. Pflugers Archiv : European Journal of Physiology. 2002;443(3):491-501. doi:10.1007/s00424-001-0735-3
View | DOI
 

2002 | Patent | IST-REx-ID: 3508
Edelsbrunner H, Fu P. Methods of generating three-dimensional digital models of objects by wrapping point cloud data points. 2002. doi:US 6,377,865 B1
View | DOI | Download (ext.)
 

2002 | Journal Article | IST-REx-ID: 3533
Buzsáki G, Csicsvari JL, Dragoi G, Harris K, Henze D, Hirase H. Homeostatic maintenance of neuronal excitability by burst discharges in vivo. Cerebral Cortex. 2002;12(9):893-899. doi:10.1093/cercor/12.9.893
View | DOI
 

2002 | Journal Article | IST-REx-ID: 3621 | OA
Kirkpatrick M, Johnson T, Barton NH. General models of multilocus evolution. Genetics. 2002;161(4):1727-1750.
View | Download (ext.)
 

2001 | Conference Paper | IST-REx-ID: 2340 | OA
Seiringer R. Bosons in a trap: Asymptotic exactness of the Gross-Pitaevskii ground state energy formula. In: Demuth M, Schultze B, eds. Vol 126. Birkhäuser; 2001:307-314. doi:10.1007/978-3-0348-8231-6
View | DOI | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 2341 | OA
Baumgartner B, Seiringer R. Atoms with bosonic "electrons" in strong magnetic fields. Annales Henri Poincare. 2001;2(1):41-76. doi:10.1007/PL00001032
View | DOI | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 2345 | OA
Seiringer R. On the maximal ionization of atoms in strong magnetic fields. Journal of Physics A: Mathematical and General. 2001;34(9):1943-1948. doi:10.1088/0305-4470/34/9/311
View | DOI | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 2346 | OA
Hainzl C, Seiringer R. Bounds on one-dimensional exchange energies with application to lowest Landau band quantum mechanics. Letters in Mathematical Physics. 2001;55(2):133-142. doi:10.1023/A:1010951905548
View | DOI | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 2347 | OA
Lieb É, Seiringer R, Yngvason J. A rigorous derivation of the Gross-Pitaevskii energy functional for a two-dimensional Bose gas. Communications in Mathematical Physics. 2001;224(1):17-31. doi:10.1007/s002200100533
View | DOI | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 2348 | OA
Hainzl C, Seiringer R. A discrete density matrix theory for atoms in strong magnetic fields. Communications in Mathematical Physics. 2001;217(1):229-248. doi:10.1007/s002200100373
View | DOI | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 2419
Wagner U, Welzl E. A continuous analogue of the Upper Bound Theorem. Discrete & Computational Geometry. 2001;26(2):205-219. doi:10.1007/s00454-001-0028-9
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2604
Ruocco I, Cuello A, Shigemoto R, Ribeiro Da Silva A. 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. 2001;432(4):466-480. doi:10.1002/cne.1114
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2605
Geurts F, Timmermans J, Shigemoto R, De Schutter E. Morphological and neurochemical differentiation of large granular layer interneurons in the adult rat cerebellum. Neuroscience. 2001;104(2):499-512. doi:10.1016/S0306-4522(01)00058-6
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2606
Martínez G, López Bendito G, Luján R, Shigemoto R, Fairén A, Valdeolmillos M. Cajal-Retzius cells in early postnatal mouse cortex selectively express functional metabotropic glutamate receptors. European Journal of Neuroscience. 2001;13(6):1147-1154. doi:10.1046/j.0953-816X.2001.01494.x
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2607
Mion S, Corti C, Neki A, et al. Bidirectional regulation of neurite elaboration by alternatively spliced metabotropic glutamate receptor 5 (mGluR5) isoforms. Molecular and Cellular Neuroscience. 2001;17(6):957-972. doi:10.1006/mcne.2001.0993
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2608
López Bendito G, Shigemoto R, Luján R, Juíz J. Developmental changes in the localisation of the mGluR1α subtype of metabotropic glutamate receptors in Purkinje cells. Neuroscience. 2001;105(2):413-429. doi:10.1016/S0306-4522(01)00188-9
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2609
Tamaru Y, Nomura S, Mizuno N, Shigemoto R. Distribution of metabotropic glutamate receptor mGluR3 in the mouse CNS: Differential location relative to pre- and postsynaptic sites. Neuroscience. 2001;106(3):481-503. doi:10.1016/S0306-4522(01)00305-0
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2610
Sansig G, Bushell T, Clarke V, et al. Increased seizure susceptibility in mice lacking metabotropic glutamate receptor 7. Journal of Neuroscience. 2001;21(22):8734-8745.
View
 

2001 | Journal Article | IST-REx-ID: 2611
Ruocco I, Cuello A, Shigemoto R, Ribeiro Da Silva A. Sympathectomies lead to transient substance P-immunoreactive sensory fibre plasticity in the rat skin. Neuroscience. 2001;108(1):157-166. doi:10.1016/S0306-4522(01)00158-0
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2612
Li J, Shigemoto R, Kulik Á, et al. Immunocytochemical localization of GABAB receptors in mesencephalic trigeminal nucleus neurons in the rat. Neuroscience Letters. 2001;315(1-2):93-97. doi:10.1016/S0304-3940(01)02321-7
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2709
Erdös L. Long time dynamics of an electron in a weakly coupled phonon field. ICMP: International Congress on Mathematical Physics. 2001:273-281.
View
 

2001 | Journal Article | IST-REx-ID: 2734
Erdös L, Solovej J. The kernel of Dirac operators on S3 and R3. Reviews in Mathematical Physics. 2001;13(10):1247-1280. doi:10.1142/S0129055X01000983
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2735
Erdös L. Lifschitz tail in a magnetic field: Coexistence of classical and quantum behavior in the borderline case. Probability Theory and Related Fields. 2001;121(2):219-236. doi:10.1007/PL00008803
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2736 | OA
Erdös L, Yau H. Derivation of the nonlinear Schrödinger equation from a many body Coulomb system. Advances in Theoretical and Mathematical Physics. 2001;5(6):1169-1205.
View | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 841
Wolf Y, Kondrashov F, Koonin E. Footprints of primordial introns on the eukaryotic genome: still no clear traces . Trends in Genetics. 2001;17(9):499-501. doi:10.1016/S0168-9525(01)02376-9
View | DOI
 

2001 | Journal Article | IST-REx-ID: 851
Rogozin I, Kondrashov F, Glazko G. Use of mutation spectra analysis software. Human Mutation. 2001;17(2):83-102. doi:10.1002/1098-1004(200102)17:2<83::AID-HUMU1>3.0.CO;2-E
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: 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: 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: 855
Rogozin I, Kochetov A, Kondrashov F, Koonin E, Milanesi L. Presence of ATG triplets in 5′ untranslated regions of eukaryotic cDNAs correlates with a ’weak’context of the start codon. Bioinformatics. 2001;17(10):890-900. doi:10.1093/bioinformatics/17.10.890
View | DOI
 

2001 | Journal Article | IST-REx-ID: 867
Kondrashov F, Koonin E. Origin of alternative splicing by tandem exon duplication. Human Molecular Genetics. 2001;10(23):2661-2669. doi:10.1093/hmg/10.23.2661
View | DOI
 

2001 | Journal Article | IST-REx-ID: 874
Kondrashov F, Kondrashov A. Multidimensional epistasis and the disadvantage of sex. PNAS. 2001;98(21):12089-12092. doi:10.1073/pnas.211214298
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: IEEE; 2001:835-836. doi:10.1109/ICSE.2001.919196
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4622
De Alfaro L, Henzinger TA. Interface automata. In: 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: Vol 2211. ACM; 2001:148-165. doi:10.1007/3-540-45449-7_11
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4632
De Alfaro L, Henzinger TA, Jhala R. Compositional methods for probabilistic systems. In: 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: 4633
De Alfaro L, Henzinger TA, Majumdar R. Symbolic algorithms for infinite-state games. In: 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: 4634
De Alfaro L, Henzinger TA, Mang F. The control of synchronous systems, Part II. In: 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: 4635
De Alfaro L, Henzinger TA, Mang F. MCWEB: A model-checking tool for web-site debugging. In: ACM; 2001:86-87.
View | Download (ext.)
 

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: IEEE; 2001:279-290. doi:10.1109/LICS.2001.932504
View | DOI
 

2001 | Journal Article | IST-REx-ID: 1452 | OA
Hausel T, Thaddeus M. Examples of mirror partners arising from integrable systems. Comptes Rendus de l’Academie des Sciences - Series I: Mathematics. 2001;333(4):313-318. doi:10.1016/S0764-4442(01)02057-2
View | DOI | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 1453 | OA
Etesi G, Hausel T. Geometric construction of new Yang-Mills instantons over Taub-NUT space. Physics Letters, Section B: Nuclear, Elementary Particle and High-Energy Physics. 2001;514(1-2):189-199. doi:10.1016/S0370-2693(01)00821-8
View | DOI | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 1454 | OA
Etesi G, Hausel T. Geometric interpretation of Schwarzschild instantons. Journal of Geometry and Physics. 2001;37(1-2):126-136. doi:10.1016/S0393-0440(00)00040-1
View | DOI | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 888
Jordan I, Kondrashov F, Rogozin I, Tatusov R, Wolf Y, Koonin E. Constant relative rate of protein evolution and detection of functional diversification among bacterial, archaeal and eukaryotic proteins . Genome Biology. 2001;2(12). doi:10.1186/gb-2001-2-12-research0053
View | DOI
 

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.
View | Download (ext.)
 

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
View | DOI
 

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
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 | 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 | Conference Paper | IST-REx-ID: 4005
Cheng H, Dey T, Edelsbrunner H, Sullivan J. Dynamic skin triangulation. In: SIAM; 2001:47-56.
View
 

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: 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: 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
View | DOI
 

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
 

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
 

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
 

2001 | Journal Article | IST-REx-ID: 4266
Barton NH. The role of hybridisation in evolution. Molecular Ecology. 2001;10(3):551-568. doi:10.1046/j.1365-294X.2001.01216.x
View | DOI
 

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
 

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
 

2001 | Conference (Editor) | IST-REx-ID: 4449
Henzinger TA, Kirsch C. EMSOFT: Embedded Software. Vol 2211. ACM; 2001. doi:10.1007/3-540-45449-7
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4475
Henzinger TA, Preussig J, Wong Toi H. Some lessons from the HYTECH experience. In: Vol 3. IEEE; 2001:2887-2892. doi:10.1109/.2001.980714
View | DOI
 

Search

Filter Publications