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
S. Sunyaev, F. Kondrashov, P. Bork, and V. Ramensky, “Impact of selection, mutation rate and genetic drift on human genetic variation,” Human Molecular Genetics, vol. 12, no. 24. Oxford University Press, pp. 3325–3330, 2003.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 876
F. Kondrashov and E. Koonin, “Evolution of alternative splicing: Deletions, insertions and origin of functional parts of proteins from intron sequences,” Trends in Genetics, vol. 19, no. 3. Elsevier, pp. 115–119, 2003.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 9495 | OA
X. Cao et al., “Role of the DRM and CMT3 methyltransferases in RNA-directed DNA methylation,” Current Biology, vol. 13, no. 24. Elsevier, pp. 2212–2217, 2003.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2003 | Journal Article | IST-REx-ID: 8519
V. Kaloshin, “The existential Hilbert 16-th problem and an estimate for cyclicity of elementary polycycles,” Inventiones mathematicae, vol. 151, no. 3. Springer Nature, pp. 451–512, 2003.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 9455
D. Zilberman, Xiaofeng Cao, and S. E. Jacobsen, “ARGONAUTE4 control of locus-specific siRNA accumulation and DNA and histone methylation,” Science, vol. 299, no. 5607. American Association for the Advancement of Science, pp. 716–719, 2003.
View | DOI | PubMed | Europe PMC
 

2003 | Conference Paper | IST-REx-ID: 4628
L. De Alfaro, T. A. Henzinger, and R. Majumdar, “Discounting the future in systems theory,” in Proceedings of the 30th International Colloquium on Automata, Languages and Programming, Eindhoven, The Netherlands, 2003, vol. 2719, pp. 1022–1037.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 13436
A. Michrowska, M. Bieniek, M. Kim, R. Klajn, and K. Grela, “Cross-metathesis reaction of vinyl sulfones and sulfoxides,” Tetrahedron, vol. 59, no. 25. Elsevier, pp. 4525–4531, 2003.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 4561
A. Chakrabarti, L. De Alfaro, T. A. Henzinger, and M. Stoelinga, “Resource interfaces,” in Third International Conference on Embedded Software, Philadelphia, PA, USA, 2003, vol. 2855, pp. 117–133.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 4630
L. De Alfaro, M. Faella, T. A. Henzinger, R. Majumdar, and M. Stoelinga, “The element of surprise in timed games,” in Proceedings of the 14th International Conference on Concurrency Theory, Marseille, France, 2003, vol. 2761, pp. 144–158.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 4468
T. A. Henzinger, C. Kirsch, M. Sanvido, and W. Pree, “From control models to real-time code using Giotto,” IEEE Control Systems Magazine, vol. 23, no. 1. IEEE, pp. 50–64, 2003.
View | DOI
 

2003 | Book Chapter | IST-REx-ID: 4465
T. A. Henzinger, B. Horowitz, and C. Kirsch, “Embedded control systems development with Giotto,” in Software-Enabled Control: Information Technology for Dynamical Systems, Wiley-Blackwell, 2003, pp. 123–146.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 4466
T. A. Henzinger, O. Kupferman, and R. Majumdar, “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 , Warsaw, Poland, 2003, vol. 2619, pp. 49–64.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 4467
T. A. Henzinger, R. Jhala, R. Majumdar, and G. Sutre, “Software verification with BLAST,” in Proceedings of the 10th International SPIN Workshop , Portland, OR, USA, 2003, vol. 2648, pp. 235–239.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 4463
T. A. Henzinger, R. Jhala, R. Majumdar, and S. Qadeer, “Thread-modular abstraction refinement,” in Proceedings of the 15th International Conference on Computer Aided Verification, Boulder, CO, USA, 2003, vol. 2725, pp. 262–274.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 4462
T. A. Henzinger, R. Jhala, and R. Majumdar, “Counterexample-guided control,” in Proceedings of the 30th International Colloquium on Automata, Languages and Programming, Eindhoven, The Netherlands, 2003, vol. 2719, pp. 886–902.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 4464
T. A. Henzinger, C. Kirsch, and S. Matic, “Schedule-carrying code,” in Proceedings of the 3rd International Conference on Embedded Software, Philadelphia, PA, USA, 2003, vol. 2855, pp. 241–256.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 4460
T. A. Henzinger, O. Kupferman, and S. Qadeer, “From pre-historic to post-modern symbolic model checking,” Formal Methods in System Design, vol. 23, no. 3. Springer, pp. 303–327, 2003.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 4469
T. A. Henzinger, B. Horowitz, and C. Kirsch, “Giotto: A time-triggered language for embedded programming,” Proceedings of the IEEE, vol. 91, no. 1. IEEE, pp. 84–99, 2003.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 4338
T. Vines et al., “On the maintenance of reproductive isolation in a mosaic hybrid zone between the toads Bombina bombina and B. variegata,” Evolution, vol. 57, no. 8. Wiley-Blackwell, pp. 1876–1888, 2003.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 4350
J. Harshman, C. Huddleston, J. P. Bollback, T. Parsons, and M. Braun, “True and false gharials: A nuclear gene phylogeny of crocodylia,” Systematic Biology, vol. 52, no. 3. Oxford University Press, pp. 386–402, 2003.
View | DOI | PubMed | Europe PMC
 

2003 | Journal Article | IST-REx-ID: 4348
J. Huelsenbeck, R. Nielsen, and J. P. Bollback, “Stochastic mapping of morphological characters,” Systematic Biology, vol. 52, no. 2. Oxford University Press, pp. 131–158, 2003.
View | DOI | PubMed | Europe PMC
 

2003 | Journal Article | IST-REx-ID: 4254
A. Navarro and N. H. Barton, “Accumulating postzygotic isolation genes in parapatry: a new twist on chromosomal speciation,” Evolution; International Journal of Organic Evolution, vol. 57, no. 3. Wiley-Blackwell, pp. 447–459, 2003.
View | DOI | PubMed | Europe PMC
 

2003 | Journal Article | IST-REx-ID: 4257
B. Charlesworth, D. Charlesworth, and N. H. Barton, “The effects of genetic and geographic structure on neutral variation,” Annual Review of Ecology and Systematics, vol. 34. Annual Reviews, pp. 99–125, 2003.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 4256
N. H. Barton and W. Zuidema, “The erratic path towards complexity,” Current Biology, vol. 13, no. 16. Cell Press, pp. R649–R651, 2003.
[Published Version] View | DOI
 

2003 | Journal Article | IST-REx-ID: 4255
A. Navarro and N. H. Barton, “Chromosomal speciation and molecular divergence -- Accelerated evolution in rearranged chromosomes,” Science, vol. 300, no. 5617. American Association for the Advancement of Science, pp. 321–324, 2003.
View | DOI | PubMed | Europe PMC
 

2003 | Journal Article | IST-REx-ID: 4146 | OA
F. Ulrich et al., “Slb/Wnt11 controls hypoblast cell migration and morphogenesis at the onset of zebrafish gastrulation,” Development, vol. 130, no. 22. Company of Biologists, pp. 5375–5384, 2003.
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

2003 | Journal Article | IST-REx-ID: 4169
J. Montero, B. Kilian, J. Chan, P. Bayliss, and C.-P. J. Heisenberg, “Phosphoinositide 3-kinase is required for process outgrowth and cell polarization of gastrulating mesendodermal cells,” Current Biology, vol. 13, no. 15. Cell Press, pp. 1279–1289, 2003.
View | DOI | PubMed | Europe PMC
 

2003 | Journal Article | IST-REx-ID: 4185
B. Kilian, H. Mansukoski, F. Barbosa, F. Ulrich, M. Tada, and C.-P. J. Heisenberg, “The role of Ppt/Wnt5 in regulating cell shape and movement during zebrafish gastrulation,” Mechanisms of Development, vol. 120, no. 4. Elsevier, pp. 467–476, 2003.
View | DOI | PubMed | Europe PMC
 

2003 | Journal Article | IST-REx-ID: 3992 | OA
H. Edelsbrunner and P. Koehl, “The weighted-volume derivative of a space-filling diagram,” PNAS, vol. 100, no. 5. National Academy of Sciences, pp. 2203–2208, 2003.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2003 | Conference Paper | IST-REx-ID: 3999
H. Edelsbrunner and A. Üngör, “Relaxed scheduling in dynamic skin triangulation,” in Proceedings of the Japanese Conference on Discrete and Computational Geometry , Tokyo, Japan, 2003, vol. 2866, pp. 135–151.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 3997
P. Bremer, H. Edelsbrunner, B. Hamann, and V. Pascucci, “A multi-resolution data structure for two-dimensional Morse-Smale functions,” in Proceedings of the 14th IEEE Conference on Visualization , Seattle, WA, USA , 2003, pp. 139–146.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 4168
J. Montero and C.-P. J. Heisenberg, “Adhesive crosstalk in gastrulation,” Developmental Cell, vol. 5, no. 2. Cell Press, pp. 190–191, 2003.
View | DOI | PubMed | Europe PMC
 

2003 | Book Chapter | IST-REx-ID: 3991
H. Cheng and H. Edelsbrunner, “Area and perimeter derivatives of a union of disks,” in Computer Science in Perspective: Essays Dedicated to Thomas Ottmann, vol. 2598, Springer, 2003, pp. 88–97.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 11124 | OA
D. Bilbao-Cortés, M. Hetzer, G. Längst, P. B. Becker, and I. W. Mattaj, “Ran binds to chromatin by two distinct mechanisms,” Current Biology, vol. 12, no. 13. Elsevier BV, pp. 1151–1156, 2002.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2002 | Journal Article | IST-REx-ID: 11123
M. Hetzer, O. J. Gruss, and I. W. Mattaj, “The Ran GTPase as a marker of chromosome position in spindle formation and nuclear envelope assembly,” Nature Cell Biology, vol. 4, no. 7. Springer Nature, pp. E177–E184, 2002.
View | DOI | PubMed | Europe PMC
 

2002 | Journal Article | IST-REx-ID: 12659 | OA
P. Burlando, F. Pellicciotti, and U. Strasser, “Modelling mountainous water systems between learning and speculating looking for challenges,” Hydrology Research, vol. 33, no. 1. IWA Publishing, pp. 47–74, 2002.
[Published Version] View | DOI | Download Published Version (ext.)
 

2002 | Conference Paper | IST-REx-ID: 1738
P. Falaras et al., “Dye-sensitization of titanium dioxide thin films by Ru(II)-bpp-bpy complexes,” presented at the Organic Photovoltaics, 2002, vol. 4801, pp. 125–135.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 1739
T. Stergiopoulos, I. Arabatzis, G. Katsaros, and P. Falaras, “Binary Polyethylene Oxide/Titania Solid-State Redox Electrolyte for Highly Efficient Nanocrystalline TiO2 Photoelectrochemical Cells,” Nano Letters, vol. 2, no. 11. American Chemical Society, pp. 1259–1261, 2002.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 2339
R. Seiringer, “Symmetry breaking in a model of a rotating Bose gas,” presented at the QMath: Mathematical Results in Quantum Physics, 2002, vol. 307, pp. 281–286.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2351 | OA
R. Seiringer, “Gross-Pitaevskii theory of the rotating Bose gas,” Communications in Mathematical Physics, vol. 229, no. 3. Springer, pp. 491–509, 2002.
View | DOI | Download (ext.)
 

2002 | Journal Article | IST-REx-ID: 2349 | OA
É. Lieb and R. Seiringer, “Proof of Bose-Einstein condensation for dilute trapped gases,” Physical Review Letters, vol. 88, no. 17. American Physical Society, pp. 1704091–1704094, 2002.
View | DOI | Download (ext.)
 

2002 | Journal Article | IST-REx-ID: 2352 | OA
C. Hainzl and R. Seiringer, “General decomposition of radial functions on ℝn and applications to N-body quantum systems,” Letters in Mathematical Physics, vol. 61, no. 1. Springer, pp. 75–84, 2002.
View | DOI | Download (ext.)
 

2002 | Journal Article | IST-REx-ID: 2617 | OA
A. Losonczy, L. Zhang, R. Shigemoto, P. Somogyi, and Z. Nusser, “Cell type dependence and variability in the short-term plasticity of EPSCs in identified mouse hippocampal interneurones,” Journal of Physiology, vol. 542, no. 1. Wiley-Blackwell, pp. 193–210, 2002.
View | DOI | Download (ext.)
 

2002 | Conference Paper | IST-REx-ID: 2708
L. Erdös, “Two dimensional Pauli operator via scalar potential,” presented at the QMath: Mathematical Results in Quantum Physics, 2002, vol. 307, pp. 129–133.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2991
J. Friml and K. Palme, “Polar auxin transport - Old questions and new concepts?,” Plant Molecular Biology, vol. 49, no. 3–4. Springer, pp. 273–284, 2002.
View | DOI
 

2002 | Patent | IST-REx-ID: 3508 | OA
H. Edelsbrunner and P. Fu, “Methods of generating three-dimensional digital models of objects by wrapping point cloud data points.” 2002.
[Published Version] View | Download Published Version (ext.)
 

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

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

2002 | Journal Article | IST-REx-ID: 6158
J. C. Coates and M. de Bono, “Antagonistic pathways in neurons exposed to body fluid regulate social feeding in Caenorhabditis elegans,” Nature, vol. 419, no. 6910. Springer Nature, pp. 925–929, 2002.
View | DOI | PubMed | Europe PMC
 

2002 | Journal Article | IST-REx-ID: 6159
M. de Bono, D. M. Tobin, M. W. Davis, L. Avery, and C. I. Bargmann, “Social feeding in Caenorhabditis elegans is induced by neurons that detect aversive stimuli,” Nature, vol. 419, no. 6910. Springer Nature, pp. 899–903, 2002.
View | DOI | PubMed | Europe PMC
 

2002 | Conference Paper | IST-REx-ID: 4631
L. De Alfaro, T. A. Henzinger, and M. Stoelinga, “Timed interfaces,” in Proceedings of the 2nd International Conference on Embedded Software, Grenoble, France, 2002, vol. 2491, pp. 108–122.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4562
A. Chakrabarti, L. De Alfaro, T. A. Henzinger, and F. Mang, “Synchronous and bidirectional component interfaces,” in Proceedings of the 14th International Conference on Computer Aided Verification, Copenhagen, Denmark, 2002, vol. 2404, pp. 414–427.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4565
F. Cassez, T. A. Henzinger, and J. Raskin, “A comparison of control problems for timed and hybrid systems,” in Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control, Stanford, CA, USA, 2002, vol. 2289, pp. 134–148.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4595
R. Alur, T. A. Henzinger, and O. Kupferman, “Alternating-time temporal logic,” Journal of the ACM, vol. 49, no. 5. ACM, pp. 672–713, 2002.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4471
T. A. Henzinger, S. Krishnan, O. Kupferman, and F. Mang, “Synthesis of uninitialized systems,” in Proceedings of the 29th International Colloquium on Automata, Languages and Programming, Malaga, Spain, 2002, vol. 2380, pp. 644–656.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4474 | OA
T. A. Henzinger, O. Kupferman, and S. Rajamani, “Fair simulation,” Information and Computation, vol. 173, no. 1. Elsevier, pp. 64–81, 2002.
[Published Version] View | DOI | Download Published Version (ext.)
 

2002 | Conference Paper | IST-REx-ID: 4563
A. Chakrabarti, L. De Alfaro, T. A. Henzinger, M. Jurdziński, and F. Mang, “Interface compatibility checking for software modules,” in Proceedings of the 14th International Conference on Computer Aided Verification, Copenhagen, Denmark, 2002, vol. 2404, pp. 428–441.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4472
T. A. Henzinger, G. Necula, R. Jhala, G. Sutre, R. Majumdar, and W. Weimer, “Temporal safety proofs for systems code,” in Proceedings of the 14th International Conference on Computer Aided Verification, Copenhagen, Denmark, 2002, vol. 2404, pp. 526–538.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4470
T. A. Henzinger, C. Kirsch, R. Majumdar, and S. Matic, “Time-safety checking for embedded programs,” in Proceedings of the 2nd International Conference on Embedded Software, Grenoble, France, 2002, vol. 2491, pp. 76–92.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4444
T. A. Henzinger and C. Kirsch, “The embedded machine: predictable, portable real-time code,” in Proceedings of the ACM SIGPLAN 2002 conference on Programming language design and implementation, Berlin, Germany, 2002, pp. 315–326.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4476
T. A. Henzinger, R. Jhala, R. Majumdar, and G. Sutre, “Lazy abstraction,” in Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Portland, OR, USA, 2002, pp. 58–70.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4473
T. A. Henzinger, S. Qadeer, S. Rajamani, and S. Tasiran, “An assume-guarantee rule for checking simulation,” ACM Transactions on Programming Languages and Systems (TOPLAS), vol. 24, no. 1. ACM, pp. 51–64, 2002.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4423
B. Horowitz et al., “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, Barcelona, Spain, 2002, vol. 15, no. 1.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4421
C. Kirsch, M. Sanvido, T. A. Henzinger, and W. Pree, “A Giotto-based helicopter control system,” in Proceedings of the 2nd International Conference on Embedded Software, Grenoble, France, 2002, vol. 2491, pp. 46–60.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4422
M. Jurdziński, O. Kupferman, and T. A. Henzinger, “Trading probability for fairness,” in Proceedings of the 16th International Workshop on Computer Science Logic, Edinburgh, Scotland, 2002, vol. 2471, pp. 292–305.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4413
R. Passerone, L. De Alfaro, T. A. Henzinger, and A. Sangiovanni Vincentelli, “Convertibility verification and converter synthesis: Two faces of the same coin,” in Proceedings of the 11th IEEE/ACM international conference on Computer-aided design, San Jose, CA, USA, 2002, pp. 132–139.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4262
N. H. Barton and A. Navarro, “Extending the coalescent to multilocus systems: the case of balancing selection,” Genetical Research, vol. 79, no. 2. Cambridge University Press, pp. 129–139, 2002.
View | DOI | PubMed | Europe PMC
 

2002 | Journal Article | IST-REx-ID: 4260 | OA
T. Johnson and N. H. Barton, “The effect of deleterious alleles on adaptation in asexual populations,” Genetics, vol. 162, no. 1. Genetics Society of America, pp. 395–411, 2002.
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

2002 | Journal Article | IST-REx-ID: 4349
J. P. Bollback, “Bayesian model adequacy and choice in phylogenetics,” Molecular Biology and Evolution, vol. 19, no. 7. Oxford University Press, pp. 1171–80, 2002.
View | DOI | PubMed | Europe PMC
 

2002 | Journal Article | IST-REx-ID: 4263
N. H. Barton, F. Depaulis, and A. Etheridge, “Neutral evolution in spatially continuous populations,” Theoretical Population Biology, vol. 61, no. 1. Academic Press, pp. 31–48, 2002.
View | DOI | PubMed | Europe PMC
 

2002 | Journal Article | IST-REx-ID: 4261
N. H. Barton and P. Keightley, “Understanding quantitative genetic variation,” Nature Reviews Genetics, vol. 3. Nature Publishing Group, pp. 11–21, 2002.
View | DOI | PubMed | Europe PMC
 

2002 | Journal Article | IST-REx-ID: 4347
J. Huelsenbeck, J. P. Bollback, and A. Levine, “Inferring the root of a phylogenetic tree,” Systematic Biology, vol. 51, no. 1. Oxford University Press, pp. 32–43, 2002.
View | DOI | PubMed | Europe PMC
 

2002 | Journal Article | IST-REx-ID: 4407
J. Raskin, P. Schobbens, and T. A. Henzinger, “Axioms for real-time logics,” Theoretical Computer Science, vol. 274, no. 1–2. Elsevier, pp. 151–182, 2002.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4258 | OA
A. Navarro and N. H. Barton, “The effects of multilocus balancing selection on neutral variability,” Genetics, vol. 161, no. 2. Genetics Society of America, pp. 849–863, 2002.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2002 | Journal Article | IST-REx-ID: 4259 | OA
M. Orive and N. H. Barton, “Associations between cytoplasmic and nuclear loci in hybridizing populations,” Genetics, vol. 162, no. 3. Genetics Society of America, pp. 1469–1485, 2002.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2002 | Journal Article | IST-REx-ID: 4209
M. Hannus, F. Feiguin, C.-P. J. Heisenberg, and S. Eaton, “Planar cell polarization requires Widerborst, a B′ regulatory subunit of protein phosphatase 2A,” Development, vol. 129, no. 14. Company of Biologists, pp. 3493–3503, 2002.
View | DOI | PubMed | Europe PMC
 

2002 | Journal Article | IST-REx-ID: 4207
C.-P. J. Heisenberg, “Wnt signalling: Refocusing on Strabismus,” Current Biology, vol. 12, no. 19. Cell Press, pp. R657–R659, 2002.
View | DOI | PubMed | Europe PMC
 

2002 | Journal Article | IST-REx-ID: 4194
C. Houart, L. Caneparo, C.-P. J. Heisenberg, K. A. Barth, M. Take Uchi, and S. Wilson, “Establishment of the telencephalon during gastrulation by local antagonism of Wnt signaling,” Neuron, vol. 35, no. 2. Elsevier, pp. 255–265, 2002.
View | DOI | PubMed | Europe PMC
 

2002 | Journal Article | IST-REx-ID: 4148
M. Tada, M. Concha, and C.-P. J. Heisenberg, “Non-canonical Wnt signalling and regulation of gastrulation movements,” Seminars in Cell & Developmental Biology, vol. 13, no. 3. Academic Press, pp. 251–260, 2002.
View | DOI | PubMed | Europe PMC
 

2002 | Journal Article | IST-REx-ID: 4196
C.-P. J. Heisenberg and M. Tada, “Zebrafish gastrulation movements: bridging cell and developmental biology,” Seminars in Cell & Developmental Biology, vol. 13, no. 6. Academic Press, pp. 471–479, 2002.
View | DOI | PubMed | Europe PMC
 

2002 | Journal Article | IST-REx-ID: 4199
C.-P. J. Heisenberg and M. Tada, “Wnt signalling: A moving picture emerges from van gogh,” Current Biology, vol. 12, no. 4. Cell Press, pp. R126–R128, 2002.
View | DOI | PubMed | Europe PMC
 

2002 | Journal Article | IST-REx-ID: 4139
J. Polechova and P. Stopka, “Geometry of social relationships in the Old World wood mouse, Apodemus sylvaticus,” Canadian Journal of Zoology, vol. 80, no. 8. NRC Research Press, pp. 1383–1388, 2002.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4003
P. Agarwal, H. Edelsbrunner, and Y. Wang, “Computing the writhing number of a polygonal knot,” in Proceedings of the 13th annual ACM-SIAM symposium on Discrete algorithms, San Francisco, CA, USA, 2002, pp. 791–799.
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
A. Zomorodian and H. Edelsbrunner, “Fast software for box intersections,” International Journal of Computational Geometry and Applications, vol. 12, no. 1–2. World Scientific Publishing, pp. 143–172, 2002.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 3998
H. Edelsbrunner and D. Guoy, “An experimental study of sliver exudation,” Engineering with Computers, vol. 18, no. 3. Springer, pp. 229–240, 2002.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 3802 | OA
J. Bischofberger, J. Geiger, and P. M. Jonas, “Timing and efficacy of Ca(2+) channel activation in hippocampal mossy fiber boutons,” Journal of Neuroscience, vol. 22, no. 24. Society for Neuroscience, pp. 10593–10602, 2002.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2002 | Journal Article | IST-REx-ID: 3919 | OA
S. Cremer and J. Heinze, “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, vol. 269, no. 1489. Royal Society, The, pp. 417–422, 2002.
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

2002 | Journal Article | IST-REx-ID: 3924
S. Cremer, B. Lautenschläger, and J. Heinze, “A transitional stage between the ergatoid and winged male morph in the ant Cardiocondyla obscurior,” Insectes Sociaux, vol. 49, no. 3. Springer, pp. 221–228, 2002.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 3925
S. Cremer, M. Sledge, and J. Heinze, “Chemical mimicry: Male ants disguised by the queen’s bouquet,” Nature, vol. 419. Nature Publishing Group, pp. 897–897, 2002.
View | DOI | PubMed | Europe PMC
 

2002 | Journal Article | IST-REx-ID: 3996
H. Edelsbrunner, D. Letscher, and A. Zomorodian, “Topological persistence and simplification,” Discrete & Computational Geometry, vol. 28, no. 4. Springer, pp. 511–533, 2002.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 3920
S. Turillazzi, M. Sledge, S. Cremer, and J. Heinze, “A method for analysing small-size specimens in GC-MS,” Insect Social Life, vol. 4. Elsevier, pp. 169–175, 2002.
View
 

2002 | Journal Article | IST-REx-ID: 3800 | OA
M. Bartos et al., “Fast synaptic inhibition promotes synchronized gamma oscillations in hippocampal interneuron networks,” PNAS, vol. 99, no. 20. National Academy of Sciences, pp. 13222–13227, 2002.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2002 | Journal Article | IST-REx-ID: 3803
J. Bischofberger and P. M. Jonas, “TwoB or not twoB: differential transmission at glutamatergic mossy fiber-interneuron synapses in the hippocampus,” Trends in Neurosciences, vol. 25, no. 12. Elsevier, pp. 600–603, 2002.
View | DOI | PubMed | Europe PMC
 

2002 | Journal Article | IST-REx-ID: 3801 | OA
S. Hefft, U. Kraushaar, J. Geiger, and P. M. Jonas, “Presynaptic short-term depression is maintained during regulation of transmitter release at a GABAergic synapse in rat hippocampus,” Journal of Physiology, vol. 539, no. Pt 1. Wiley-Blackwell, pp. 201–8, 2002.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2002 | Journal Article | IST-REx-ID: 3799 | OA
C. Lien, M. Martina, J. Schultz, H. Ehmke, and P. M. Jonas, “Gating, modulation and subunit composition of voltage-gated K(+) channels in dendritic inhibitory interneurones of rat hippocampus,” Journal of Physiology, vol. 538, no. Pt 2. Wiley-Blackwell, pp. 405–419, 2002.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2002 | Journal Article | IST-REx-ID: 3621 | OA
M. Kirkpatrick, T. Johnson, and N. H. Barton, “General models of multilocus evolution,” Genetics, vol. 161, no. 4. Genetics Society of America, pp. 1727–1750, 2002.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2002 | Journal Article | IST-REx-ID: 3757
C. C. Guet, M. Elowitz, W. Hsing, and S. Leibler, “Combinatorial synthesis of genetic networks,” Science, vol. 296, no. 5572. American Association for the Advancement of Science, pp. 1466–1470, 2002.
View | DOI | PubMed | Europe PMC
 

2002 | Journal Article | IST-REx-ID: 3497
J. Geiger et al., “Patch-clamp recording in brain slices with improved slicer technology,” Pflugers Archiv : European Journal of Physiology, vol. 443, no. 3. Springer, pp. 491–501, 2002.
View | DOI | PubMed | Europe PMC
 

2002 | Journal Article | IST-REx-ID: 3533
G. Buzsáki, J. L. Csicsvari, G. Dragoi, K. Harris, D. Henze, and H. Hirase, “Homeostatic maintenance of neuronal excitability by burst discharges in vivo,” Cerebral Cortex, vol. 12, no. 9. Oxford University Press, pp. 893–899, 2002.
View | DOI | PubMed | Europe PMC
 

Search

Filter Publications