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.
9096 Publications
2003 | Journal Article | IST-REx-ID: 847
Sunyaev, S., Kondrashov, F., Bork, P., & Ramensky, V. (2003). Impact of selection, mutation rate and genetic drift on human genetic variation. Human Molecular Genetics. Oxford University Press. https://doi.org/10.1093/hmg/ddg359
View
| DOI
2003 | Journal Article | IST-REx-ID: 876
Kondrashov, F., & Koonin, E. (2003). Evolution of alternative splicing: Deletions, insertions and origin of functional parts of proteins from intron sequences. Trends in Genetics. Elsevier. https://doi.org/10.1016/S0168-9525(02)00029-X
View
| DOI
2003 | Journal Article | IST-REx-ID: 9495 | 
Cao, X., Aufsatz, W., Zilberman, D., Mette, M. F., Huang, M. S., Matzke, M., & Jacobsen, S. E. (2003). Role of the DRM and CMT3 methyltransferases in RNA-directed DNA methylation. Current Biology. Elsevier. https://doi.org/10.1016/j.cub.2003.11.052
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2003 | Journal Article | IST-REx-ID: 8519
Kaloshin, V. (2003). The existential Hilbert 16-th problem and an estimate for cyclicity of elementary polycycles. Inventiones Mathematicae. Springer Nature. https://doi.org/10.1007/s00222-002-0244-9
View
| DOI
2003 | Journal Article | IST-REx-ID: 9455
Zilberman, D., Cao, Xiaofeng, & Jacobsen, S. E. (2003). ARGONAUTE4 control of locus-specific siRNA accumulation and DNA and histone methylation. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.1079695
View
| DOI
| PubMed | Europe PMC
2003 | Conference Paper | IST-REx-ID: 4628
De Alfaro, L., Henzinger, T. A., & Majumdar, R. (2003). Discounting the future in systems theory. In Proceedings of the 30th International Colloquium on Automata, Languages and Programming (Vol. 2719, pp. 1022–1037). Eindhoven, The Netherlands: Springer. https://doi.org/10.1007/3-540-45061-0_79
View
| DOI
2003 | Journal Article | IST-REx-ID: 13436
Michrowska, A., Bieniek, M., Kim, M., Klajn, R., & Grela, K. (2003). Cross-metathesis reaction of vinyl sulfones and sulfoxides. Tetrahedron. Elsevier. https://doi.org/10.1016/s0040-4020(03)00682-3
View
| DOI
2003 | Conference Paper | IST-REx-ID: 4561
Chakrabarti, A., De Alfaro, L., Henzinger, T. A., & Stoelinga, M. (2003). Resource interfaces. In Third International Conference on Embedded Software (Vol. 2855, pp. 117–133). Philadelphia, PA, USA: ACM. https://doi.org/10.1007/978-3-540-45212-6_9
View
| DOI
2003 | Conference Paper | IST-REx-ID: 4630
De Alfaro, L., Faella, M., Henzinger, T. A., Majumdar, R., & Stoelinga, M. (2003). The element of surprise in timed games. In Proceedings of the 14th International Conference on Concurrency Theory (Vol. 2761, pp. 144–158). Marseille, France: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/978-3-540-45187-7_9
View
| DOI
2003 | Journal Article | IST-REx-ID: 4468
Henzinger, T. A., Kirsch, C., Sanvido, M., & Pree, W. (2003). From control models to real-time code using Giotto. IEEE Control Systems Magazine. IEEE. https://doi.org/10.1109/MCS.2003.1172829
View
| DOI
2003 | Book Chapter | IST-REx-ID: 4465
Henzinger, T. A., Horowitz, B., & Kirsch, C. (2003). Embedded control systems development with Giotto. In Software-Enabled Control: Information Technology for Dynamical Systems (pp. 123–146). Wiley-Blackwell. https://doi.org/10.1002/047172288X.ch8
View
| DOI
2003 | Conference Paper | IST-REx-ID: 4466
Henzinger, T. A., Kupferman, O., & Majumdar, R. (2003). On the universal and existential fragments of the mu-calculus. In Proceedings of the 9th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (Vol. 2619, pp. 49–64). Warsaw, Poland: Springer. https://doi.org/10.1007/3-540-36577-X_5
View
| DOI
2003 | Conference Paper | IST-REx-ID: 4467
Henzinger, T. A., Jhala, R., Majumdar, R., & Sutre, G. (2003). Software verification with BLAST. In Proceedings of the 10th International SPIN Workshop (Vol. 2648, pp. 235–239). Portland, OR, USA: Springer. https://doi.org/10.1007/3-540-44829-2_17
View
| DOI
2003 | Conference Paper | IST-REx-ID: 4463
Henzinger, T. A., Jhala, R., Majumdar, R., & Qadeer, S. (2003). Thread-modular abstraction refinement. In Proceedings of the 15th International Conference on Computer Aided Verification (Vol. 2725, pp. 262–274). Boulder, CO, USA: Springer. https://doi.org/10.1007/978-3-540-45069-6_27
View
| DOI
2003 | Conference Paper | IST-REx-ID: 4462
Henzinger, T. A., Jhala, R., & Majumdar, R. (2003). Counterexample-guided control. In Proceedings of the 30th International Colloquium on Automata, Languages and Programming (Vol. 2719, pp. 886–902). Eindhoven, The Netherlands: Springer. https://doi.org/10.1007/3-540-45061-0_69
View
| DOI
2003 | Conference Paper | IST-REx-ID: 4464
Henzinger, T. A., Kirsch, C., & Matic, S. (2003). Schedule-carrying code. In Proceedings of the 3rd International Conference on Embedded Software (Vol. 2855, pp. 241–256). Philadelphia, PA, USA: ACM. https://doi.org/10.1007/978-3-540-45212-6_16
View
| DOI
2003 | Journal Article | IST-REx-ID: 4460
Henzinger, T. A., Kupferman, O., & Qadeer, S. (2003). From pre-historic to post-modern symbolic model checking. Formal Methods in System Design. Springer. https://doi.org/10.1023/A:1026228213080
View
| DOI
2003 | Journal Article | IST-REx-ID: 4469
Henzinger, T. A., Horowitz, B., & Kirsch, C. (2003). Giotto: A time-triggered language for embedded programming. Proceedings of the IEEE. IEEE. https://doi.org/10.1109/JPROC.2002.805825
View
| DOI
2003 | Journal Article | IST-REx-ID: 4338
Vines, T., Kohler, S. C., Thiel, M., Ghira, I., Sands, T. R., Maccallum, C., … Nürnberger, B. (2003). On the maintenance of reproductive isolation in a mosaic hybrid zone between the toads Bombina bombina and B. variegata. Evolution. Wiley-Blackwell. https://doi.org/10.1111/j.0014-3820.2003.tb00595.x
View
| DOI
2003 | Journal Article | IST-REx-ID: 4350
Harshman, J., Huddleston, C., Bollback, J. P., Parsons, T., & Braun, M. (2003). True and false gharials: A nuclear gene phylogeny of crocodylia. Systematic Biology. Oxford University Press. https://doi.org/10.1080/10635150390197028
View
| DOI
| PubMed | Europe PMC
2003 | Journal Article | IST-REx-ID: 4348
Huelsenbeck, J., Nielsen, R., & Bollback, J. P. (2003). Stochastic mapping of morphological characters. Systematic Biology. Oxford University Press. https://doi.org/10.1080/10635150390192780
View
| DOI
| PubMed | Europe PMC
2003 | Journal Article | IST-REx-ID: 4254
Navarro, A., & Barton, N. H. (2003). Accumulating postzygotic isolation genes in parapatry: a new twist on chromosomal speciation. Evolution; International Journal of Organic Evolution. Wiley-Blackwell. https://doi.org/10.1111/j.0014-3820.2003.tb01537.x
View
| DOI
| PubMed | Europe PMC
2003 | Journal Article | IST-REx-ID: 4257
Charlesworth, B., Charlesworth, D., & Barton, N. H. (2003). The effects of genetic and geographic structure on neutral variation. Annual Review of Ecology and Systematics. Annual Reviews. https://doi.org/10.1146/annurev.ecolsys.34.011802.132359
View
| DOI
2003 | Journal Article | IST-REx-ID: 4256
Barton, N. H., & Zuidema, W. (2003). The erratic path towards complexity. Current Biology. Cell Press. https://doi.org/10.1016/S0960-9822(03)00573-6
[Published Version]
View
| DOI
2003 | Journal Article | IST-REx-ID: 4255
Navarro, A., & Barton, N. H. (2003). Chromosomal speciation and molecular divergence -- Accelerated evolution in rearranged chromosomes. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.1080600
View
| DOI
| PubMed | Europe PMC
2003 | Journal Article | IST-REx-ID: 4146 |
Ulrich, F., Concha, M., Heid, P., Voss, E., Witzel, S., Roehl, H., … Heisenberg, C.-P. J. (2003). Slb/Wnt11 controls hypoblast cell migration and morphogenesis at the onset of zebrafish gastrulation. Development. Company of Biologists. https://doi.org/10.1242/dev.00758
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
2003 | Journal Article | IST-REx-ID: 4169
Montero, J., Kilian, B., Chan, J., Bayliss, P., & Heisenberg, C.-P. J. (2003). Phosphoinositide 3-kinase is required for process outgrowth and cell polarization of gastrulating mesendodermal cells. Current Biology. Cell Press. https://doi.org/10.1016/S0960-9822(03)00505-0
View
| DOI
| PubMed | Europe PMC
2003 | Journal Article | IST-REx-ID: 4185
Kilian, B., Mansukoski, H., Barbosa, F., Ulrich, F., Tada, M., & Heisenberg, C.-P. J. (2003). The role of Ppt/Wnt5 in regulating cell shape and movement during zebrafish gastrulation. Mechanisms of Development. Elsevier. https://doi.org/10.1016/S0925-4773(03)00004-2
View
| DOI
| PubMed | Europe PMC
2003 | Journal Article | IST-REx-ID: 3992 |
Edelsbrunner, H., & Koehl, P. (2003). The weighted-volume derivative of a space-filling diagram. PNAS. National Academy of Sciences. https://doi.org/10.1073/pnas.0537830100
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2003 | Conference Paper | IST-REx-ID: 3999
Edelsbrunner, H., & Üngör, A. (2003). Relaxed scheduling in dynamic skin triangulation. In Proceedings of the Japanese Conference on Discrete and Computational Geometry (Vol. 2866, pp. 135–151). Tokyo, Japan: Springer. https://doi.org/10.1007/978-3-540-44400-8_14
View
| DOI
2003 | Conference Paper | IST-REx-ID: 3997
Bremer, P., Edelsbrunner, H., Hamann, B., & Pascucci, V. (2003). A multi-resolution data structure for two-dimensional Morse-Smale functions. In Proceedings of the 14th IEEE Conference on Visualization (pp. 139–146). Seattle, WA, USA : IEEE. https://doi.org/10.1109/VISUAL.2003.1250365
View
| DOI
2003 | Journal Article | IST-REx-ID: 4168
Montero, J., & Heisenberg, C.-P. J. (2003). Adhesive crosstalk in gastrulation. Developmental Cell. Cell Press. https://doi.org/10.1016/S1534-5807(03)00235-1
View
| DOI
| PubMed | Europe PMC
2003 | Book Chapter | IST-REx-ID: 3991
Cheng, H., & Edelsbrunner, H. (2003). Area and perimeter derivatives of a union of disks. In Computer Science in Perspective: Essays Dedicated to Thomas Ottmann (Vol. 2598, pp. 88–97). Springer. https://doi.org/10.1007/3-540-36477-3_7
View
| DOI
2002 | Journal Article | IST-REx-ID: 11124 |
Bilbao-Cortés, D., Hetzer, M., Längst, G., Becker, P. B., & Mattaj, I. W. (2002). Ran binds to chromatin by two distinct mechanisms. Current Biology. Elsevier BV. https://doi.org/10.1016/s0960-9822(02)00927-2
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2002 | Journal Article | IST-REx-ID: 11123
Hetzer, M., Gruss, O. J., & Mattaj, I. W. (2002). The Ran GTPase as a marker of chromosome position in spindle formation and nuclear envelope assembly. Nature Cell Biology. Springer Nature. https://doi.org/10.1038/ncb0702-e177
View
| DOI
| PubMed | Europe PMC
2002 | Journal Article | IST-REx-ID: 12659 |
Burlando, P., Pellicciotti, F., & Strasser, U. (2002). Modelling mountainous water systems between learning and speculating looking for challenges. Hydrology Research. IWA Publishing. https://doi.org/10.2166/nh.2002.0004
[Published Version]
View
| DOI
| Download Published Version (ext.)
2002 | Conference Paper | IST-REx-ID: 1738
Falaras, P., Chryssou, K., Stergiopoulos, T., Arabatzis, I., Katsaros, G., Catalano, V., … Bernard, M. (2002). Dye-sensitization of titanium dioxide thin films by Ru(II)-bpp-bpy complexes (Vol. 4801, pp. 125–135). Presented at the Organic Photovoltaics, SPIE. https://doi.org/10.1117/12.452446
View
| DOI
2002 | Journal Article | IST-REx-ID: 1739
Stergiopoulos, T., Arabatzis, I., Katsaros, G., & Falaras, P. (2002). Binary Polyethylene Oxide/Titania Solid-State Redox Electrolyte for Highly Efficient Nanocrystalline TiO2 Photoelectrochemical Cells. Nano Letters. American Chemical Society. https://doi.org/10.1021/nl025798u
View
| DOI
2002 | Conference Paper | IST-REx-ID: 2339
Seiringer, R. (2002). Symmetry breaking in a model of a rotating Bose gas. In R. Weder, P. Exner, & B. Grébert (Eds.) (Vol. 307, pp. 281–286). Presented at the QMath: Mathematical Results in Quantum Physics, World Scientific Publishing. https://doi.org/10.1090/conm/307
View
| DOI
2002 | Journal Article | IST-REx-ID: 2351 |
Seiringer, R. (2002). Gross-Pitaevskii theory of the rotating Bose gas. Communications in Mathematical Physics. Springer. https://doi.org/10.1007/s00220-002-0695-2
View
| DOI
| Download (ext.)
2002 | Journal Article | IST-REx-ID: 2349 |
Lieb, É., & Seiringer, R. (2002). Proof of Bose-Einstein condensation for dilute trapped gases. Physical Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.88.170409
View
| DOI
| Download (ext.)
2002 | Journal Article | IST-REx-ID: 2352 |
Hainzl, C., & Seiringer, R. (2002). General decomposition of radial functions on ℝn and applications to N-body quantum systems. Letters in Mathematical Physics. Springer. https://doi.org/10.1023/A:1020204818938
View
| DOI
| Download (ext.)
2002 | Journal Article | IST-REx-ID: 2617 |
Losonczy, A., Zhang, L., Shigemoto, R., Somogyi, P., & Nusser, Z. (2002). Cell type dependence and variability in the short-term plasticity of EPSCs in identified mouse hippocampal interneurones. Journal of Physiology. Wiley-Blackwell. https://doi.org/10.1113/jphysiol.2002.020024
View
| DOI
| Download (ext.)
2002 | Conference Paper | IST-REx-ID: 2708
Erdös, L. (2002). Two dimensional Pauli operator via scalar potential (Vol. 307, pp. 129–133). Presented at the QMath: Mathematical Results in Quantum Physics, World Scientific Publishing. https://doi.org/10.1090/conm/307
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 | 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.
[Published Version]
View
| Download Published Version (ext.)
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 | Thesis | IST-REx-ID: 4414
Mang, F. (2002). Games in open systems verification and synthesis. University of California, Berkeley.
View
2002 | Journal Article | IST-REx-ID: 6158
Coates, J. C., & de Bono, M. (2002). Antagonistic pathways in neurons exposed to body fluid regulate social feeding in Caenorhabditis elegans. Nature. Springer Nature. https://doi.org/10.1038/nature01170
View
| DOI
| PubMed | Europe PMC
2002 | Journal Article | IST-REx-ID: 6159
de Bono, M., Tobin, D. M., Davis, M. W., Avery, L., & Bargmann, C. I. (2002). Social feeding in Caenorhabditis elegans is induced by neurons that detect aversive stimuli. Nature. Springer Nature. https://doi.org/10.1038/nature01169
View
| DOI
| PubMed | Europe PMC
2002 | Conference Paper | IST-REx-ID: 4631
De Alfaro, L., Henzinger, T. A., & Stoelinga, M. (2002). Timed interfaces. In Proceedings of the 2nd International Conference on Embedded Software (Vol. 2491, pp. 108–122). Grenoble, France: ACM. https://doi.org/10.1007/3-540-45828-X_9
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. In Proceedings of the 14th International Conference on Computer Aided Verification (Vol. 2404, pp. 414–427). Copenhagen, Denmark: Springer. https://doi.org/10.1007/3-540-45657-0_34
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. In Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control (Vol. 2289, pp. 134–148). Stanford, CA, USA: 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 | Conference Paper | IST-REx-ID: 4471
Henzinger, T. A., Krishnan, S., Kupferman, O., & Mang, F. (2002). Synthesis of uninitialized systems. In Proceedings of the 29th International Colloquium on Automata, Languages and Programming (Vol. 2380, pp. 644–656). Malaga, Spain: Springer. https://doi.org/10.1007/3-540-45465-9_55
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
[Published Version]
View
| DOI
| Download Published Version (ext.)
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. In Proceedings of the 14th International Conference on Computer Aided Verification (Vol. 2404, pp. 428–441). Copenhagen, Denmark: Springer. https://doi.org/10.1007/3-540-45657-0_35
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. In Proceedings of the 14th International Conference on Computer Aided Verification (Vol. 2404, pp. 526–538). Copenhagen, Denmark: Springer. https://doi.org/10.1007/3-540-45657-0_45
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. In Proceedings of the 2nd International Conference on Embedded Software (Vol. 2491, pp. 76–92). Grenoble, France: ACM. https://doi.org/10.1007/3-540-45828-X_7
View
| DOI
2002 | Conference Paper | IST-REx-ID: 4444
Henzinger, T. A., & Kirsch, C. (2002). The embedded machine: predictable, portable real-time code. In Proceedings of the ACM SIGPLAN 2002 conference on Programming language design and implementation (pp. 315–326). Berlin, Germany: ACM. https://doi.org/10.1145/512529.512567
View
| DOI
2002 | Conference Paper | IST-REx-ID: 4476
Henzinger, T. A., Jhala, R., Majumdar, R., & Sutre, G. (2002). Lazy abstraction. In Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (pp. 58–70). Portland, OR, USA: ACM. https://doi.org/10.1145/503272.503279
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 | 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. In Proceedings of the 15th Triennial World Congress of the International Federation of Automatic Control (Vol. 15). Barcelona, Spain: Elsevier. https://doi.org/10.3182/20020721-6-ES-1901.01628
View
| DOI
2002 | Conference Paper | IST-REx-ID: 4421
Kirsch, C., Sanvido, M., Henzinger, T. A., & Pree, W. (2002). A Giotto-based helicopter control system. In Proceedings of the 2nd International Conference on Embedded Software (Vol. 2491, pp. 46–60). Grenoble, France: 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. In Proceedings of the 16th International Workshop on Computer Science Logic (Vol. 2471, pp. 292–305). Edinburgh, Scotland: Springer. https://doi.org/10.1007/3-540-45793-3_20
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. In Proceedings of the 11th IEEE/ACM international conference on Computer-aided design (pp. 132–139). San Jose, CA, USA: IEEE. https://doi.org/10.1145/774572.774592
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
| PubMed | Europe PMC
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. https://doi.org/10.1093/genetics/162.1.395
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
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. https://doi.org/10.1093/oxfordjournals.molbev.a004175
View
| DOI
| PubMed | Europe PMC
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
| PubMed | Europe PMC
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
| PubMed | Europe PMC
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
| PubMed | Europe PMC
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 | 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. https://doi.org/10.1093/genetics/161.2.849
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
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. https://doi.org/10.1093/genetics/162.3.1469
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
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. https://doi.org/10.1242/dev.129.14.3493
View
| DOI
| PubMed | Europe PMC
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
| PubMed | Europe PMC
2002 | Journal Article | IST-REx-ID: 4194
Houart, C., Caneparo, L., Heisenberg, C.-P. J., Barth, K. A., Take Uchi, M., & Wilson, S. (2002). Establishment of the telencephalon during gastrulation by local antagonism of Wnt signaling. Neuron. Elsevier. https://doi.org/10.1016/S0896-6273(02)00751-1
View
| DOI
| PubMed | Europe PMC
2002 | Journal Article | IST-REx-ID: 4148
Tada, M., Concha, M., & Heisenberg, C.-P. J. (2002). Non-canonical Wnt signalling and regulation of gastrulation movements. Seminars in Cell & Developmental Biology. Academic Press. https://doi.org/10.1016/S1084-9521(02)00052-6
View
| DOI
| PubMed | Europe PMC
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
| PubMed | Europe PMC
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
| PubMed | Europe PMC
2002 | Journal Article | IST-REx-ID: 4139
Polechova, J., & Stopka, P. (2002). Geometry of social relationships in the Old World wood mouse, Apodemus sylvaticus. Canadian Journal of Zoology. NRC Research Press. https://doi.org/10.1139/z02-128
View
| DOI
2002 | Conference Paper | IST-REx-ID: 4003
Agarwal, P., Edelsbrunner, H., & Wang, Y. (2002). Computing the writhing number of a polygonal knot. In Proceedings of the 13th annual ACM-SIAM symposium on Discrete algorithms (pp. 791–799). San Francisco, CA, USA: SIAM.
View
| Download None (ext.)
2002 | Journal Article | IST-REx-ID: 3995
Agarwal P, Guibas L, Edelsbrunner H, Erickson J, Isard M, Har Peled S, Hershberger J, Jensen C, Kavraki L, Koehl P, Lin M, Manocha D, Metaxas D, Mirtich B, Mount D, Muthukrishnan S, Pai D, Sacks E, Snoeyink J, Suri S, Wolefson O. 2002. Algorithmic issues in modeling motion. ACM Computing Surveys. 34(4), 550–572.
View
| DOI
2002 | Journal Article | IST-REx-ID: 4000
Zomorodian, A., & Edelsbrunner, H. (2002). Fast software for box intersections. International Journal of Computational Geometry and Applications. World Scientific Publishing. https://doi.org/10.1142/S0218195902000785
View
| DOI
2002 | Journal Article | IST-REx-ID: 3998
Edelsbrunner, H., & Guoy, D. (2002). An experimental study of sliver exudation. Engineering with Computers. Springer. https://doi.org/10.1007/s003660200020
View
| DOI
2002 | Journal Article | IST-REx-ID: 3802 |
Bischofberger, J., Geiger, J., & Jonas, P. M. (2002). Timing and efficacy of Ca(2+) channel activation in hippocampal mossy fiber boutons. Journal of Neuroscience. Society for Neuroscience. https://doi.org/10.1523/JNEUROSCI.22-24-10593.2002
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2002 | Journal Article | IST-REx-ID: 3919 |
Cremer, S., & Heinze, J. (2002). Adaptive production of fighter males: queens of the ant Cardiocondyla adjust the sex ratio under local mate competition. Proceedings of the Royal Society of London Series B Biological Sciences. Royal Society, The. https://doi.org/10.1098/rspb.2001.1892
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
2002 | Journal Article | IST-REx-ID: 3924
Cremer, S., Lautenschläger, B., & Heinze, J. (2002). A transitional stage between the ergatoid and winged male morph in the ant Cardiocondyla obscurior. Insectes Sociaux. Springer. https://doi.org/10.1007/s00040-002-8305-z
View
| DOI
2002 | Journal Article | IST-REx-ID: 3925
Cremer, S., Sledge, M., & Heinze, J. (2002). Chemical mimicry: Male ants disguised by the queen’s bouquet. Nature. Nature Publishing Group. https://doi.org/10.1038/419897a
View
| DOI
| PubMed | Europe PMC
2002 | Journal Article | IST-REx-ID: 3996
Edelsbrunner, H., Letscher, D., & Zomorodian, A. (2002). Topological persistence and simplification. Discrete & Computational Geometry. Springer. https://doi.org/10.1007/s00454-002-2885-2
View
| DOI
2002 | Journal Article | IST-REx-ID: 3920
Turillazzi, S., Sledge, M., Cremer, S., & Heinze, J. (2002). A method for analysing small-size specimens in GC-MS. Insect Social Life. Elsevier.
View
2002 | Journal Article | IST-REx-ID: 3800 |
Bartos, M., Vida, I., Frotscher, M., Meyer, A., Monyer, H., Geiger, J., & Jonas, P. M. (2002). Fast synaptic inhibition promotes synchronized gamma oscillations in hippocampal interneuron networks. PNAS. National Academy of Sciences. https://doi.org/10.1073/pnas.192233099
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2002 | Journal Article | IST-REx-ID: 3803
Bischofberger, J., & Jonas, P. M. (2002). TwoB or not twoB: differential transmission at glutamatergic mossy fiber-interneuron synapses in the hippocampus. Trends in Neurosciences. Elsevier. https://doi.org/10.1016/S0166-2236(02)02259-2
View
| DOI
| PubMed | Europe PMC
2002 | Journal Article | IST-REx-ID: 3801 |
Hefft, S., Kraushaar, U., Geiger, J., & Jonas, P. M. (2002). Presynaptic short-term depression is maintained during regulation of transmitter release at a GABAergic synapse in rat hippocampus. Journal of Physiology. Wiley-Blackwell. https://doi.org/10.1113/jphysiol.2001.013455
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2002 | Journal Article | IST-REx-ID: 3799 |
Lien, C., Martina, M., Schultz, J., Ehmke, H., & Jonas, P. M. (2002). Gating, modulation and subunit composition of voltage-gated K(+) channels in dendritic inhibitory interneurones of rat hippocampus. Journal of Physiology. Wiley-Blackwell. https://doi.org/10.1113/jphysiol.2001.013066
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2002 | Journal Article | IST-REx-ID: 3621 |
Kirkpatrick, M., Johnson, T., & Barton, N. H. (2002). General models of multilocus evolution. Genetics. Genetics Society of America. https://doi.org/10.1093/genetics/161.4.1727
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2002 | Journal Article | IST-REx-ID: 3757
Guet, C. C., Elowitz, M., Hsing, W., & Leibler, S. (2002). Combinatorial synthesis of genetic networks. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.1067407
View
| DOI
| PubMed | Europe PMC
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
| PubMed | Europe PMC
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
| PubMed | Europe PMC