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.

6494 Publications


2002 | Journal Article | IST-REx-ID: 4196
Heisenberg, C.-P. J., & Tada, M. (2002). Zebrafish gastrulation movements: bridging cell and developmental biology. Seminars in Cell & Developmental Biology. Academic Press. https://doi.org/10.1016/S1084952102001003
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4199
Heisenberg, C.-P. J., & Tada, M. (2002). Wnt signalling: A moving picture emerges from van gogh. Current Biology. Cell Press. https://doi.org/10.1016/S0960-9822(02)00704-2
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4207
Heisenberg, C.-P. J. (2002). Wnt signalling: Refocusing on Strabismus. Current Biology. Cell Press. https://doi.org/10.1016/S0960-9822(02)01160-0
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4209
Hannus, M., Feiguin, F., Heisenberg, C.-P. J., & Eaton, S. (2002). Planar cell polarization requires Widerborst, a B ’ regulatory subunit of protein phosphatase 2A. Development. Company of Biologists.
View
 

2002 | Journal Article | IST-REx-ID: 4258
Navarro, A., & Barton, N. H. (2002). The effects of multilocus balancing selection on neutral variability. Genetics. Genetics Society of America.
View | Download (ext.)
 

2002 | Journal Article | IST-REx-ID: 4259
Orive, M., & Barton, N. H. (2002). Associations between cytoplasmic and nuclear loci in hybridizing populations. Genetics. Genetics Society of America.
View | Download (ext.)
 

2002 | Journal Article | IST-REx-ID: 4260
Johnson, T., & Barton, N. H. (2002). The effect of deleterious alleles on adaptation in asexual populations. Genetics. Genetics Society of America.
View | Download (ext.)
 

2002 | Journal Article | IST-REx-ID: 4261
Barton, N. H., & Keightley, P. (2002). Understanding quantitative genetic variation. Nature Reviews Genetics. Nature Publishing Group. https://doi.org/10.1038/nrg700
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4262
Barton, N. H., & Navarro, A. (2002). Extending the coalescent to multilocus systems: the case of balancing selection. Genetical Research. Cambridge University Press. https://doi.org/10.1017/S0016672301005493
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4263
Barton, N. H., Depaulis, F., & Etheridge, A. (2002). Neutral evolution in spatially continuous populations. Theoretical Population Biology. Academic Press. https://doi.org/10.1006/tpbi.2001.1557
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4347
Huelsenbeck, J., Bollback, J. P., & Levine, A. (2002). Inferring the root of a phylogenetic tree. Systematic Biology. Oxford University Press. https://doi.org/10.1080/106351502753475862
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4349
Bollback, J. P. (2002). Bayesian model adequacy and choice in phylogenetics. Molecular Biology and Evolution. Oxford University Press.
View | Download (ext.)
 

2002 | Journal Article | IST-REx-ID: 4407
Raskin, J., Schobbens, P., & Henzinger, T. A. (2002). Axioms for real-time logics. Theoretical Computer Science. Elsevier. https://doi.org/10.1016/S0304-3975(00)00308-X
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4413
Passerone, R., De Alfaro, L., Henzinger, T. A., & Sangiovanni Vincentelli, A. (2002). Convertibility verification and converter synthesis: Two faces of the same coin (pp. 132–139). Presented at the ICCAD: Computer-Aided Design, IEEE. https://doi.org/10.1145/774572.774592
View | DOI
 

2002 | Thesis | IST-REx-ID: 4414
Mang, F. (2002). Games in open systems verification and synthesis. University of California, Berkeley.
View
 

2002 | Conference Paper | IST-REx-ID: 4421
Kirsch, C., Sanvido, M., Henzinger, T. A., & Pree, W. (2002). A Giotto-based helicopter control system (Vol. 2491, pp. 46–60). Presented at the EMSOFT: Embedded Software , ACM. https://doi.org/10.1007/3-540-45828-X_5
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4422
Jurdziński, M., Kupferman, O., & Henzinger, T. A. (2002). Trading probability for fairness (Vol. 2471, pp. 292–305). Presented at the CSL: Computer Science Logic, Springer. https://doi.org/10.1007/3-540-45793-3_20
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4423
Horowitz, B., Liebman, J., Ma, C., Koo, T. J., Henzinger, T. A., Sangiovanni Vincentelli, A., & Sastry, S. (2002). Embedded software design and system integration for rotorcraft UAV using platforms (Vol. 15). Presented at the IFAC: World Congress on Automatic Control, Elsevier. https://doi.org/10.3182/20020721-6-ES-1901.01628
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4444
Henzinger, T. A., & Kirsch, C. (2002). The embedded machine: predictable, portable real-time code (pp. 315–326). Presented at the PLDI: Programming Languages Design and Implementation, ACM. https://doi.org/10.1145/512529.512567
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4470
Henzinger, T. A., Kirsch, C., Majumdar, R., & Matic, S. (2002). Time-safety checking for embedded programs (Vol. 2491, pp. 76–92). Presented at the EMSOFT: Embedded Software , ACM. https://doi.org/10.1007/3-540-45828-X_7
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4471
Henzinger, T. A., Krishnan, S., Kupferman, O., & Mang, F. (2002). Synthesis of uninitialized systems (Vol. 2380, pp. 644–656). Presented at the ICALP: Automata, Languages and Programming, Springer. https://doi.org/10.1007/3-540-45465-9_55
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4472
Henzinger, T. A., Necula, G., Jhala, R., Sutre, G., Majumdar, R., & Weimer, W. (2002). Temporal safety proofs for systems code (Vol. 2404, pp. 526–538). Presented at the CAV: Computer Aided Verification, Springer. https://doi.org/10.1007/3-540-45657-0_45
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4473
Henzinger, T. A., Qadeer, S., Rajamani, S., & Tasiran, S. (2002). An assume-guarantee rule for checking simulation. ACM Transactions on Programming Languages and Systems (TOPLAS). ACM. https://doi.org/10.1145/509705.509707
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4474
Henzinger, T. A., Kupferman, O., & Rajamani, S. (2002). Fair simulation. Information and Computation. Elsevier. https://doi.org/10.1006/inco.2001.3085
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4476
Henzinger, T. A., Jhala, R., Majumdar, R., & Sutre, G. (2002). Lazy abstraction (pp. 58–70). Presented at the POPL: Principles of Programming Languages, ACM. https://doi.org/10.1145/503272.503279
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4562
Chakrabarti, A., De Alfaro, L., Henzinger, T. A., & Mang, F. (2002). Synchronous and bidirectional component interfaces (Vol. 2404, pp. 414–427). Presented at the CAV: Computer Aided Verification, Springer. https://doi.org/10.1007/3-540-45657-0_34
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4563
Chakrabarti, A., De Alfaro, L., Henzinger, T. A., Jurdziński, M., & Mang, F. (2002). Interface compatibility checking for software modules (Vol. 2404, pp. 428–441). Presented at the CAV: Computer Aided Verification, Springer. https://doi.org/10.1007/3-540-45657-0_35
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4565
Cassez, F., Henzinger, T. A., & Raskin, J. (2002). A comparison of control problems for timed and hybrid systems (Vol. 2289, pp. 134–148). Presented at the HSCC: Hybrid Systems - Computation and Control, Springer. https://doi.org/10.1007/3-540-45873-5_13
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4595
Alur, R., Henzinger, T. A., & Kupferman, O. (2002). Alternating-time temporal logic. Journal of the ACM. ACM. https://doi.org/10.1145/585265.585270
View | DOI
 

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

2002 | Journal Article | IST-REx-ID: 2987
Souter, M., Topping, J., Pullen, M., Friml, J., Palme, K., Hackett, R., … Lindsey, K. (2002). Hydra mutants of Arabidopsis are defective in sterol profiles and auxin and ethylene signaling. Plant Cell. American Society of Plant Biologists. https://doi.org/10.1105/tpc.001248
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2988
Grebe, M., Friml, J., Swarup, R., Ljung, K., Sandberg, G., Terlou, M., … Scheres, B. (2002). Cell polarity signaling in Arabidopsis involves a BFA sensitive auxin influx pathway. Current Biology. Cell Press. https://doi.org/10.1016/S0960-9822(02)00654-1
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2989
Friml, J., Benková, E., Blilou, I., Wiśniewska, J., Hamann, T., Ljung, K., … Palme, K. (2002). AtPIN4 mediates sink-driven auxin gradients and root patterning in Arabidopsis. Cell. Cell Press. https://doi.org/10.1016/S0092-8674(02)00656-6
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2991
Friml, J., & Palme, K. (2002). Polar auxin transport - Old questions and new concepts? Plant Molecular Biology. Springer. https://doi.org/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. (2002). A role for Neuregulin1 signaling in muscle spindle differentiation. Neuron. Elsevier. https://doi.org/10.1016/S0896-6273(02)01101-7
View | DOI
 

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

2002 | Journal Article | IST-REx-ID: 3422
Müller, P., Janovjak, H. L., Miserez, A., & Dobbie, Z. (2002). Processing of gene expression data generated by quantitative real-time RT-PCR. Biotechniques. Informa Healthcare.
View
 

2002 | Conference Paper | IST-REx-ID: 3423
Bauer, W., Bollenbach, M. T., Kleine Berkenbusch, M., & Harreis, H. (2002). The percolation interpretation of the nuclear fragmentation phase transition (pp. 111–118). Presented at the Winter Workshop on Nuclear Dynamics, EP Systema.
View
 

2002 | Conference Paper | IST-REx-ID: 3424
Bollenbach, M. T., & Bauer, W. (2002). 3d supernovae collapse calculations (Vol. 644, pp. 219–232). Presented at the CRIS: Catania Relativistic Ion Studies , American Institute of Physics. https://doi.org/10.1063/1.1523196
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 3448
Mallick, S., Chatterjee, K., Merchant, A., & Dasgupta, P. (2002). Implementation of shape grammar for plan analysis. Presented at the IT-Built: Information Technology For Built Environment, Elsevier.
View
 

2002 | Journal Article | IST-REx-ID: 3497
Geiger, J., Bischofberger, J., Vida, I., Fröbe, U., Pfitzinger, S., Weber, H., … Jonas, P. M. (2002). Patch-clamp recording in brain slices with improved slicer technology. Pflugers Archiv : European Journal of Physiology. Springer. https://doi.org/10.1007/s00424-001-0735-3
View | DOI
 

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

2002 | Journal Article | IST-REx-ID: 3533
Buzsáki, G., Csicsvari, J. L., Dragoi, G., Harris, K., Henze, D., & Hirase, H. (2002). Homeostatic maintenance of neuronal excitability by burst discharges in vivo. Cerebral Cortex. Oxford University Press. https://doi.org/10.1093/cercor/12.9.893
View | DOI
 

2002 | Journal Article | IST-REx-ID: 3621 | OA
Kirkpatrick, M., Johnson, T., & Barton, N. H. (2002). General models of multilocus evolution. Genetics. Genetics Society of America.
View | Download (ext.)
 

2001 | Conference Paper | IST-REx-ID: 2340 | OA
Seiringer, R. (2001). Bosons in a trap: Asymptotic exactness of the Gross-Pitaevskii ground state energy formula. In M. Demuth & B. Schultze (Eds.) (Vol. 126, pp. 307–314). Presented at the PDE: Partial Differential Equations and Spectral Theory, Birkhäuser. https://doi.org/10.1007/978-3-0348-8231-6
View | DOI | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 2341 | OA
Baumgartner, B., & Seiringer, R. (2001). Atoms with bosonic "electrons" in strong magnetic fields. Annales Henri Poincare. Birkhäuser. https://doi.org/10.1007/PL00001032
View | DOI | Download (ext.)
 

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

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

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

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

2001 | Journal Article | IST-REx-ID: 2419
Wagner, U., & Welzl, E. (2001). A continuous analogue of the Upper Bound Theorem. Discrete & Computational Geometry. Springer. https://doi.org/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. (2001). 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. Wiley-Blackwell. https://doi.org/10.1002/cne.1114
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2605
Geurts, F., Timmermans, J., Shigemoto, R., & De Schutter, E. (2001). Morphological and neurochemical differentiation of large granular layer interneurons in the adult rat cerebellum. Neuroscience. Elsevier. https://doi.org/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. (2001). Cajal-Retzius cells in early postnatal mouse cortex selectively express functional metabotropic glutamate receptors. European Journal of Neuroscience. Wiley-Blackwell. https://doi.org/10.1046/j.0953-816X.2001.01494.x
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2607
Mion, S., Corti, C., Neki, A., Shigemoto, R., Corsi, M., Fumagalli, G., & Ferraguti, F. (2001). Bidirectional regulation of neurite elaboration by alternatively spliced metabotropic glutamate receptor 5 (mGluR5) isoforms. Molecular and Cellular Neuroscience. Academic Press. https://doi.org/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. (2001). Developmental changes in the localisation of the mGluR1α subtype of metabotropic glutamate receptors in Purkinje cells. Neuroscience. Elsevier. https://doi.org/10.1016/S0306-4522(01)00188-9
View | DOI
 

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

2001 | Journal Article | IST-REx-ID: 2610
Sansig, G., Bushell, T., Clarke, V., Rozov, A., Burnashev, N., Portet, C., … Van Der Putten, H. (2001). Increased seizure susceptibility in mice lacking metabotropic glutamate receptor 7. Journal of Neuroscience. Society for Neuroscience.
View
 

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

2001 | Journal Article | IST-REx-ID: 2612
Li, J., Shigemoto, R., Kulik, Á., Chen, P., Nomura, S., Kaneko, T., & Mizuno, N. (2001). Immunocytochemical localization of GABAB receptors in mesencephalic trigeminal nucleus neurons in the rat. Neuroscience Letters. Elsevier. https://doi.org/10.1016/S0304-3940(01)02321-7
View | DOI
 

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

2001 | Journal Article | IST-REx-ID: 2734
Erdös, L., & Solovej, J. (2001). The kernel of Dirac operators on S3 and R3. Reviews in Mathematical Physics. World Scientific Publishing. https://doi.org/10.1142/S0129055X01000983
View | DOI
 

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

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

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

2001 | Journal Article | IST-REx-ID: 851
Rogozin, I., Kondrashov, F., & Glazko, G. (2001). Use of mutation spectra analysis software. Human Mutation. Wiley-Blackwell. https://doi.org/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, 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: 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: 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: 855
Rogozin, I., Kochetov, A., Kondrashov, F., Koonin, E., & Milanesi, L. (2001). Presence of ATG triplets in 5′ untranslated regions of eukaryotic cDNAs correlates with a ’weak’context of the start codon. Bioinformatics. Oxford University Press. https://doi.org/10.1093/bioinformatics/17.10.890
View | DOI
 

2001 | Journal Article | IST-REx-ID: 867
Kondrashov, F., & Koonin, E. (2001). Origin of alternative splicing by tandem exon duplication. Human Molecular Genetics. Oxford University Press. https://doi.org/10.1093/hmg/10.23.2661
View | DOI
 

2001 | Journal Article | IST-REx-ID: 874
Kondrashov, F., & Kondrashov, A. (2001). Multidimensional epistasis and the disadvantage of sex. PNAS. National Academy of Sciences. https://doi.org/10.1073/pnas.211214298
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 (pp. 835–836). Presented at the ICSE: Software Engineering, IEEE. https://doi.org/10.1109/ICSE.2001.919196
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4622
De Alfaro, L., & Henzinger, T. A. (2001). Interface automata (pp. 109–120). Presented at the FSE: Foundations of Software Engineering, 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 (Vol. 2211, pp. 148–165). Presented at the EMSOFT: Embedded Software , ACM. https://doi.org/10.1007/3-540-45449-7_11
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4632
De Alfaro, L., Henzinger, T. A., & Jhala, R. (2001). Compositional methods for probabilistic systems (Vol. 2154, pp. 351–365). Presented at the CONCUR: Concurrency Theory, 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: 4633
De Alfaro, L., Henzinger, T. A., & Majumdar, R. (2001). Symbolic algorithms for infinite-state games (Vol. 2154, pp. 536–550). Presented at the CONCUR: Concurrency Theory, 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: 4634
De Alfaro, L., Henzinger, T. A., & Mang, F. (2001). The control of synchronous systems, Part II (Vol. 2154, pp. 566–581). Presented at the CONCUR: Concurrency Theory, 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: 4635
De Alfaro, L., Henzinger, T. A., & Mang, F. (2001). MCWEB: A model-checking tool for web-site debugging (pp. 86–87). Presented at the WWW: World Wide Web Conference, ACM.
View | Download (ext.)
 

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 (pp. 279–290). Presented at the LICS: Logic in Computer Science, IEEE. https://doi.org/10.1109/LICS.2001.932504
View | DOI
 

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

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

2001 | Journal Article | IST-REx-ID: 1454 | OA
Etesi, G., & Hausel, T. (2001). Geometric interpretation of Schwarzschild instantons. Journal of Geometry and Physics. Elsevier. https://doi.org/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. (2001). Constant relative rate of protein evolution and detection of functional diversification among bacterial, archaeal and eukaryotic proteins . Genome Biology. BioMed Central. https://doi.org/10.1186/gb-2001-2-12-research0053
View | DOI
 

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

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

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
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 | 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 | Conference Paper | IST-REx-ID: 4005
Cheng, H., Dey, T., Edelsbrunner, H., & Sullivan, J. (2001). Dynamic skin triangulation (pp. 47–56). Presented at the SODA: Symposium on Discrete Algorithms, SIAM.
View
 

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

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
 

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
 

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
 

2001 | Journal Article | IST-REx-ID: 4266
Barton, N. H. (2001). The role of hybridisation in evolution. Molecular Ecology. Wiley-Blackwell. https://doi.org/10.1046/j.1365-294X.2001.01216.x
View | DOI
 

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
 

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
 

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

Search

Filter Publications