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.

5893 Publications


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, 19(2–3), 205–218. 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, 7(5), 379–399. 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, 25(4), 525–568. https://doi.org/10.1007/s00454-001-0007-1
View | DOI
 

2001 | Journal Article | IST-REx-ID: 4200
Heisenberg, C., 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, 15(11), 1427–1434. 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, 52(2), 117–128. 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, 16(7), 330–343. 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, 55(10), 1921–1931. 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, 10(3), 551–568. 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
 

2001 | Conference Paper | IST-REx-ID: 4475
Henzinger, T. A., Preussig, J., & Wong Toi, H. (2001). Some lessons from the HYTECH experience (Vol. 3, pp. 2887–2892). Presented at the CDC: Decision and Control, IEEE. https://doi.org/10.1109/.2001.980714
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4477
Henzinger, T. A., Minea, M., & Prabhu, V. (2001). Assume-guarantee reasoning for hierarchical hybrid systems (Vol. 2034, pp. 275–290). Presented at the HSCC: Hybrid Systems - Computation and Control, Springer. https://doi.org/10.1007/3-540-45351-2_24
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4478
Henzinger, T. A., Horowitz, B., & Kirsch, C. (2001). Embedded control systems development with Giotto (pp. 64–72). Presented at the LCTES: Languages, Compilers, and Tools for Embedded Systems, ACM. https://doi.org/10.1145/384197.384208
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4479
Henzinger, T. A., Horowitz, B., & Kirsch, C. (2001). Giotto: A time-triggered language for embedded programming (Vol. 2211, pp. 166–184). Presented at the EMSOFT: Embedded Software , ACM. https://doi.org/1303
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4564
Brown, T., Pasetti, A., Pree, W., Henzinger, T. A., & Kirsch, C. (2001). A reusable and platform-independent framework for distributed control systems (pp. 1–11). Presented at the DASC: Digital Avionics Systems Conference, IEEE. https://doi.org/10.1109/DASC.2001.964169
View | DOI
 

2001 | Journal Article | IST-REx-ID: 4599
Alur, R., Brayton, R., Henzinger, T. A., Qadeer, S., & Rajamani, S. (2001). Partial-order reduction in symbolic state-space exploration. Formal Methods in System Design, 18(2), 97–116. https://doi.org/10.1023/A:1008767206905
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: 2709
Erdös, L. (2001). Long time dynamics of an electron in a weakly coupled phonon field. ICMP: International Congress on Mathematical Physics, 273–281.
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, 13(10), 1247–1280. 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, 121(2), 219–236. 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, 5(6), 1169–1205.
View | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 2981 | OA
Molendijk, A., Bischoff, F., Rajendrakumar, C., Friml, J., Braun, M., Gilroy, S., & Palme, K. (2001). Arabidopsis thaliana Rop GTPases are localized to tips of root hairs and control polar growth. EMBO Journal, 20(11), 2779–2788. https://doi.org/10.1093/emboj/20.11.2779
View | DOI | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 2982
Gil, P., Dewey, E., Friml, J., Zhao, Y., Snowden, K., Putterill, J., … Chory, J. (2001). BIG: A calossin-like protein required for polar auxin transport in Arabidopsis. Genes and Development, 15(15), 1985–1997. https://doi.org/10.1101/gad.905201
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2983
Geldner, N., Friml, J., Stierhof, Y., Jürgens, G., & Palme, K. (2001). Auxin transport inhibitors block PIN1 cycling and vesicle trafficking. Nature, 413(6854), 425–428. https://doi.org/10.1038/35096571
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2984
Swarup, R., Friml, J., Marchant, A., Ljung, K., Sandberg, G., Palme, K., & Bennett, M. (2001). Localization of the auxin permease AUX1 suggests two functionally distinct hormone transport pathways operate in the Arabidopsis root apex. Genes and Development, 15(20), 2648–2653. https://doi.org/10.1101/gad.210501
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2985
Trnková, L., Friml, J., & Dračka, O. (2001). Elimination voltammetry of adenine and cytosine mixtures. Bioelectrochemistry, 54(2), 131–136. https://doi.org/10.1016/S1567-5394(01)00119-0
View | DOI
 

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, 17(9), 499–501. 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, 17(2), 83–102. 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: 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, 17(10), 890–900. 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, 10(23), 2661–2669. 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, 98(21), 12089–12092. https://doi.org/10.1073/pnas.211214298
View | DOI
 

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, 2(12). https://doi.org/10.1186/gb-2001-2-12-research0053
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, 333(4), 313–318. 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, 514(1–2), 189–199. 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, 37(1–2), 126–136. https://doi.org/10.1016/S0393-0440(00)00040-1
View | DOI | Download (ext.)
 

2001 | Conference Paper | IST-REx-ID: 3169
Kolmogorov, V., & Zabih, R. (2001). Computing visual correspondence with occlusions using graph cuts (Vol. 2, pp. 508–515). Presented at the ICCV: International Conference on Computer Vision, IEEE. https://doi.org/10.1109/ICCV.2001.937668
View | DOI | Download (ext.)
 

2001 | Book Chapter | IST-REx-ID: 3434
Huelsenbeck, J., & Bollback, J. P. (2001). Application of the likelihood function in phylogenetic analysis. In D. Balding, M. Bishop, & C. Cannings (Eds.), Handbook of Statistical Genetics (pp. 415–439). Wiley-Blackwell. https://doi.org/10.1002/9780470061619.ch15
View | DOI
 

2001 | Journal Article | IST-REx-ID: 3438
Huelsenbeck, J., Ronquist, F., Nielsen, R., & Bollback, J. P. (2001). Bayesian inference of phylogeny and its impact on evolutionary biology. Science, 294(5550), 2310–2314. https://doi.org/10.1126/science.1065889
View | DOI
 

2001 | Journal Article | IST-REx-ID: 3439
Conn, J., Bollback, J. P., Onyabe, D., Robinson, T., Wilkerson, R., & Povoa, M. (2001). Isolation of polymorphic microsatellite markers from the malaria vector Anopheles darlingi. Molecular Ecology Notes, 1(4), 223–225. https://doi.org/ 10.1046/j.1471-8278.2001.00078.x
View | DOI
 

2001 | Journal Article | IST-REx-ID: 3440
Huelsenbeck, J., & Bollback, J. P. (2001). Empirical and hierarchical Bayesian estimation of ancestral states. Systematic Biology, 50(3), 351–366. https://doi.org/10.1080/10635150119871
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 3447
Chatterjee, K., Dasgupta, P., & Chakrabarti, P. (2001). Weighted quantified computation tree logic. Presented at the CIT: Conference on Information Technology, Elsevier.
View
 

2001 | Journal Article | IST-REx-ID: 3493 | OA
Jones, M. ., Jonas, P. M., Sahara, Y., & Westbrook, G. (2001). Microscopic kinetics and energetics distinguish GABAA receptor agonists from antagonists. Biophysical Journal, 81(5), 2660–2670. https://doi.org/10.1016/S0006-3495(01)75909-7
View | DOI | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 3494
Bartos, M., Vida, I., Frotscher, M., Geiger, J., & Jonas, P. M. (2001). Rapid signaling at inhibitory synapses in a dentate gyrus interneuron network. Journal of Neuroscience, 21(8), 2687–2698.
View
 

2001 | Journal Article | IST-REx-ID: 3495
Jerecic, J., Schulze, C., Jonas, P. M., Sprengel, R., Seeburg, P., & Bischofberger, J. (2001). Impaired NMDA receptor function in mouse olfactory bulb neurons by tetracycline-sensitive NR1 (N598R) expression. Molecular Brain Research, 94(1–2), 96–104. https://doi.org/10.1016/S0169-328X(01)00221-2
View | DOI
 

2001 | Journal Article | IST-REx-ID: 3496 | OA
Alle, H., Jonas, P. M., & Geiger, J. (2001). PTP and LTP at a hippocampal mossy fiber-interneuron synapse. PNAS, 98(25), 14708–14713. https://doi.org/10.1073/pnas.251610898
View | DOI | Download (ext.)
 

2001 | Patent | IST-REx-ID: 3507
Liang, J., & Edelsbrunner, H. (2001). Molecular classification for property prediction. Elsevier. https://doi.org/US 6,182,016 B1
View | DOI | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 3517
Szabo, I., Czurkó, A., Csicsvari, J. L., Hirase, H., Leinekugel, X., & Buzsáki, G. (2001). The application of printed circuit board technology for fabrication of multi-channel micro-drives. Journal of Neuroscience Methods, 105(1), 105–110. https://doi.org/10.1016/S0165-0270(00)00362-9
View | DOI
 

2001 | Journal Article | IST-REx-ID: 3540
Hirase, H., Leinekugel, X., Czurkó, A., Csicsvari, J. L., & Buzsáki, G. (2001). Firing rates of hippocampal neurons are preserved during subsequent sleep episodes and modified by novel awake experience. PNAS, 98(16), 9386–9390. https://doi.org/10.1073/pnas.161274398
View | DOI
 

2001 | Journal Article | IST-REx-ID: 3546
Hirase, H., Leinekugel, X., Csicsvari, J. L., Czurkó, A., & Buzsáki, G. (2001). Behavior-dependent states of the hippocampal network affect functional clustering of neurons. Journal of Neuroscience, 21(10).
View
 

2001 | Book | IST-REx-ID: 3586
Edelsbrunner, H. (2001). Geometry and Topology for Mesh Generation (Vol. 7). Cambridge University Press. https://doi.org/10.1017/CBO9780511530067
View | Files available | DOI
 

2001 | Book Review | IST-REx-ID: 3596
Barton, N. H. (2001). Mendel and mathematics. Trends in Genetics. Elsevier. https://doi.org/10.1016/S0168-9525(01)02315-0
View | DOI
 

2001 | Journal Article | IST-REx-ID: 3622
Gardner, M., Fowler, K., Patridge, L., & Barton, N. H. (2001). Genetic variation for preadult viability in Drosophila melanogaster. Evolution, 55(8), 1609–1620.
View | Download (ext.)
 

2000 | Conference Paper | IST-REx-ID: 2325
Seiringer, R. (2000). Inequalities for Schrödinger operators and applications to the stability of matter problem (Vol. 529, pp. 53–72). Presented at the Arizona School of Analysis With Applications, American Mathematical Society. https://doi.org/10.1090/conm/529
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 2342 | OA
Seiringer, R., Lieb, É., & Yngvason, J. (2000). The ground state energy and density of interacting bosons in a trap (pp. 101–110). Presented at the ISQTS: Quantum Theory and Symmetries, World Scientific Publishing.
View | Download (ext.)
 

2000 | Journal Article | IST-REx-ID: 2343 | OA
Baumgartner, B., & Seiringer, R. (2000). On the ordering of energy levels in homogeneous magnetic fields. Letters in Mathematical Physics, 54(3), 213–226. https://doi.org/    10.1023/A:1010978807635
View | DOI | Download (ext.)
 

2000 | Journal Article | IST-REx-ID: 2344 | OA
Lieb, É., Seiringer, R., & Yngvason, J. (2000). Bosons in a trap: A rigorous derivation of the Gross-Pitaevskii energy functional. Physical Review A - Atomic, Molecular, and Optical Physics, 61(4), 436021–4360213. https://doi.org/10.1103/PhysRevA.61.043602
View | DOI | Download (ext.)
 

2000 | Conference Paper | IST-REx-ID: 2418
Wagner, U., & Welzl, E. (2000). Origin-embracing distributions or a continuous analogue of the Upper Bound Theorem (pp. 50–56). Presented at the SCG: Symposium on Computational Geometry, ACM. https://doi.org/10.1145/336154.336176
View | DOI
 

2000 | Book Chapter | IST-REx-ID: 2494
Shigemoto, R., & Mizuno, N. (2000). Chapter III Metabotropic glutamate receptors - immunocytochemical and in situ hybridization analyses. In Glutamate (Vol. 18, pp. 63–98). Elsevier. https://doi.org/10.1016/S0924-8196(00)80044-5
View | DOI
 

2000 | Journal Article | IST-REx-ID: 2598
Sillevis Smitt, P., Kinoshita, A., De Leeuw, B., Moll, W., Coesmans, M., Jaarsma, D., … Shigemoto, R. (2000). Paraneoplastic cerebellar ataxia due to autoantibodies against a glutamate receptor. New England Journal of Medicine, 342(1), 21–27. https://doi.org/10.1056/NEJM200001063420104
View | DOI
 

2000 | Journal Article | IST-REx-ID: 2599
Li, J., Wang, D., Kaneko, T., Shigemoto, R., Nomura, S., & Mizuno, N. (2000). Relationship between neurokinin-1 receptor and substance P in the striatum: Light and electron microscopic immunohistochemical study in the rat. Journal of Comparative Neurology, 418(2), 156–163. https://doi.org/10.1002/(SICI)1096-9861(20000306)418:2<156::AID-CNE3>3.0.CO;2-Z
View | DOI
 

2000 | Journal Article | IST-REx-ID: 2600
Li, J., Wang, D., Kaneko, T., Shigemoto, R., Nomura, S., & Mizuno, N. (2000). The relationship between neurokinin-1 receptor and substance P in the medullary dorsal horn: A light and electron microscopic immunohistochemical study in the rat. Neuroscience Research, 36(4), 327–334. https://doi.org/10.1016/S0168-0102(00)00095-X
View | DOI
 

2000 | Journal Article | IST-REx-ID: 2601
Ichise, T., Kano, M., Hashimoto, K., Yanagihara, D., Nakao, K., Shigemoto, R., … Aiba, A. (2000). mGluR1 in cerebellar Purkinje cells essential for long-term depression, synapse elimination, and motor coordination. Science, 288(5472), 1832–1835. https://doi.org/10.1126/science.288.5472.1832
View | DOI
 

2000 | Journal Article | IST-REx-ID: 2602
Perroy, J., Prezèau, L., De Waard, M., Shigemoto, R., Bockaërt, J., & Fagni, L. (2000). Selective blockade of P/Q-type calcium channels by the metabotropic glutamate receptor type 7 involves a phospholipase C pathway in neurons. Journal of Neuroscience, 20(21), 7896–7904.
View
 

2000 | Journal Article | IST-REx-ID: 2603
Boudin, H., Doan, A., Xia, J., Shigemoto, R., Huganir, R., Worley, P., & Craig, A. (2000). Presynaptic clustering of mGluR7a requires the PICK1 PDZ domain binding site. Neuron, 28(2), 485–497. https://doi.org/10.1016/S0896-6273(00)00127-6
View | DOI
 

2000 | Journal Article | IST-REx-ID: 3923
Cremer, S. (2000). Paternity analysis with AFLPs in Cardiocondyla ants. B.I.F. Futura, 15(1), 68–71.
View
 

2000 | Journal Article | IST-REx-ID: 4004
Edelsbrunner, H., & Grayson, D. (2000). Edgewise subdivision of a simplex. Discrete & Computational Geometry, 24(4), 707–719. https://doi.org/10.1007/s004540010063
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4008
Edelsbrunner, H., Letscher, D., & Zomorodian, A. (2000). Topological persistance and simplification (pp. 454–463). Presented at the FOCS: Foundations of Computer Science, IEEE. https://doi.org/10.1109/SFCS.2000.892133
View | DOI
 

2000 | Journal Article | IST-REx-ID: 4009
Edelsbrunner, H., & Waupotitsch, R. (2000). Adaptive simplicial grids from cross-sections of monotone complexes. International Journal of Computational Geometry and Applications, 10(3), 267–284. https://doi.org/10.1142/S0218195900000164
View | DOI
 

2000 | Journal Article | IST-REx-ID: 4010
Cheng, S., Dey, T., Edelsbrunner, H., Facello, M., & Teng, S. (2000). Sliver exudation. Journal of the ACM, 47(5), 883–904. https://doi.org/10.1145/355483.355487
View | DOI
 

2000 | Journal Article | IST-REx-ID: 4147
Sordino, P., Heisenberg, C., Cirino, P., Toscano, A., Giuliano, P., Marino, R., … De Santis, R. (2000). A mutational approach to the study of development of the protochordate Ciona intestinalis (Tunicata, Chordata). Sarsia, 85(2), 173–176.
View
 

2000 | Journal Article | IST-REx-ID: 4197
Heisenberg, C., Tada, M., Rauch, G., Saúde, L., Concha, M., Geisler, R., … Wilson, S. (2000). Silberblick/Wnt11 mediates convergent extension movements during zebrafish gastrulation. Nature, 405(6782), 76–81. https://doi.org/10.1038/35011068
View | DOI
 

2000 | Book Review | IST-REx-ID: 4268
Partridge, L., & Barton, N. H. (2000). Evolving evolvability. Nature. Nature Publishing Group. https://doi.org/10.1038/35035173
View | DOI
 

2000 | Journal Article | IST-REx-ID: 4269
Coyne, J., Barton, N. H., & Turelli, M. (2000). Is Wright’s shifting balance process important in evolution? Evolution; International Journal of Organic Evolution, 54(1), 306–317. https://doi.org/310.1111/j.0014-3820.2000.tb00033.x
View | DOI
 

2000 | Journal Article | IST-REx-ID: 4270
Galtier, N., Depaulis, F., & Barton, N. H. (2000). Detecting bottlenecks and selective sweeps from DNA sequence polymorphism. Genetics, 155(2), 981–987.
View
 

2000 | Journal Article | IST-REx-ID: 4271
Barton, N. H., & Shpak, M. (2000). The effects of epistasis on the structure of hybrid zones. Genetical Research, 75(2), 179–198. https://doi.org/10.1017/S0016672399004334
View | DOI
 

2000 | Journal Article | IST-REx-ID: 4272
Barton, N. H., & Shpak, M. (2000). The stability of symmetrical solutions to polygenic models. Theoretical Population Biology, 57(3), 249–263. https://doi.org/10.1006/tpbi.2000.1455
View | DOI
 

2000 | Journal Article | IST-REx-ID: 4273
Barton, N. H., & Partridge, L. (2000). Limits to natural selection. Bioessays : News and Reviews in Molecular, Cellular and Developmental Biology, 22(12), 1075–1084. https://doi.org/10.1002/1521-1878(200012)22:12<1075::AID-BIES5>3.0.CO;2-M
View | DOI
 

2000 | Journal Article | IST-REx-ID: 4274 | OA
Barton, N. H. (2000). Genetic hitchhiking. Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences, 355(1403), 1553–1562. https://doi.org/10.1098/rstb.2000.0716
View | DOI | Download (ext.)
 

2000 | Book Chapter | IST-REx-ID: 4275
Barton, N. H. (2000). Differentiation. In Encyclopedia of Biodiversity (pp. 85–94). Academic Press. https://doi.org/10.1016/B0-12-226865-2/00070-5
View | DOI
 

2000 | Book Review | IST-REx-ID: 4276
Barton, N. H. (2000). Population genetics of multiple loci. Genetical Research. Cambridge University Press.
View
 

2000 | Conference Paper | IST-REx-ID: 4433
Henzinger, T. A., & Rajamani, S. (2000). Fair bisimulation (Vol. 1785, pp. 299–314). Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Springer. https://doi.org/10.1007/3-540-46419-0_21
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4434
Henzinger, T. A., & Raskin, J. (2000). Robust undecidability of timed and hybrid systems (Vol. 1790, pp. 145–159). Presented at the HSCC: Hybrid Systems - Computation and Control, Springer. https://doi.org/10.1007/3-540-46430-1_15
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4435
Henzinger, T. A., & Majumdar, R. (2000). Symbolic model checking for rectangular hybrid systems (Vol. 1785, pp. 142–156). Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Springer. https://doi.org/10.1007/3-540-46419-0_11
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4439
Henzinger, T. A., & Majumdar, R. (2000). A classification of symbolic transition systems (Vol. 1770, pp. 13–34). Presented at the STACS: Theoretical Aspects of Computer Science, Springer. https://doi.org/10.1007/3-540-46541-3_2
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4481
Henzinger, T. A., Horowitz, B., Majumdar, R., & Wong Toi, H. (2000). Beyond HyTech: Hybrid systems analysis using interval numerical methods (Vol. 1790, pp. 130–144). Presented at the HSCC: Hybrid Systems - Computation and Control, Springer. https://doi.org/10.1007/3-540-46430-1_14
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4482
Henzinger, T. A., Majumdar, R., Mang, F., & Raskin, J. (2000). Abstract interpretation of game properties (Vol. 1824, pp. 220–239). Presented at the SAS: Static Analysis Symposium, Springer. https://doi.org/10.1007/978-3-540-45099-3_12
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4483
Henzinger, T. A., Qadeer, S., & Rajamani, S. (2000). Decomposing refinement proofs using assume-guarantee reasoning (pp. 245–252). Presented at the ICCAD: Computer-Aided Design, IEEE. https://doi.org/10.1109/ICCAD.2000.896481
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4512
Henzinger, T. A. (2000). Masaccio: A formal model for embedded components (Vol. 1872, pp. 549–563). Presented at the TCS: Theoretical Computer Science, Springer. https://doi.org/10.1007/3-540-44929-9_38
View | DOI
 

2000 | Book Chapter | IST-REx-ID: 4513
Henzinger, T. A. (2000). The theory of hybrid automata. In M. Inan & R. Kurshan (Eds.), Verification of Digital and Hybrid Systems (Vol. 170, pp. 265–292). Springer.
View
 

2000 | Journal Article | IST-REx-ID: 4598
Alur, R., Henzinger, T. A., Lafferriere, G., & Pappas, G. (2000). Discrete abstractions of hybrid systems. Proceedings of the IEEE, 88(7), 971–984. https://doi.org/10.1109/5.871304
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4627
De Alfaro, L., & Henzinger, T. A. (2000). Concurrent omega-regular games (pp. 141–154). Presented at the LICS: Logic in Computer Science, IEEE. https://doi.org/10.1109/LICS.2000.855763
View | DOI
 

Search

Filter Publications