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.

6062 Publications


2004 | Journal Article | IST-REx-ID: 3617
Barton, N. H., & Etheridge, A. (2004). The effect of selection on genealogies. Genetics, 166(2), 1115–1131. https://doi.org/10.1534/genetics.166.2.1115
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 3688
Ulges, A., Lampert, C., & Breuel, T. (2004). Document capture using stereo vision (pp. 198–200). Presented at the DocEng: ACM Symposium on Document Engineering, ACM. https://doi.org/10.1145/1030397.1030434
View | DOI | Download (ext.)
 

2004 | Journal Article | IST-REx-ID: 3805
Jonas, P. M., Bischofberger, J., Fricker, D., & Miles, R. (2004). Interneuron Diversity series: Fast in, fast out--temporal and spatial signal processing in hippocampal interneurons. Trends in Neurosciences, 27(1), 30–40. https://doi.org/doi:10.1016/j.tins.2003.10.010
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3807 | OA
Kampa, B., Clements, J., Jonas, P. M., & Stuart, G. (2004). Kinetics of Mg(2+) unblock of NMDA receptors: implications for spike-timing dependent synaptic plasticity. Journal of Physiology, 556(Pt 2), 337–345. https://doi.org/10.1113/jphysiol.2003.058842
View | DOI | Download (ext.)
 

2004 | Journal Article | IST-REx-ID: 3809
Schmidt Hieber, C., Jonas, P. M., & Bischofberger, J. (2004). Enhanced synaptic plasticity in newly generated granule cells of the adult hippocampus. Nature, 429(6988), 184–187. https://doi.org/10.1038/nature02553
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3810
Oliver, D., Lien, C., Soom, M., Baukrowitz, T., Jonas, P. M., & Fakler, B. (2004). Functional conversion between A-type and delayed rectifier K+ channels by membrane lipids. Science, 304(5668), 265–270. https://doi.org/10.1126/science.1094113
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 3894
Chatterjee, K., Majumdar, R., & Jurdziński, M. (2004). On Nash equilibria in stochastic games (Vol. 3210, pp. 26–40). Presented at the CSL: Computer Science Logic, Springer. https://doi.org/10.1007/978-3-540-30124-0_6
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 3895
Chatterjee, K., Henzinger, T. A., & Jurdziński, M. (2004). Games with secure equilibria (pp. 160–169). Presented at the LICS: Logic in Computer Science, IEEE. https://doi.org/10.1109/LICS.2004.1319610
View | DOI
 

2004 | Book Chapter | IST-REx-ID: 3587
Ulrich, F., & Heisenberg, C.-P. J. (2004). Gastrulation in zebrafish. In V. Korzh & Z. Gong (Eds.), Fish development and genetics : the zebrafish and medaka models (Vol. 2, pp. 39–86). World Scientific Publishing.
View
 

2004 | Journal Article | IST-REx-ID: 4172
Montero, J., & Heisenberg, C.-P. J. (2004). Gastrulation dynamics: cells move into focus. Trends in Cell Biology, 14(11), 620–627. https://doi.org/10.1016/j.tcb.2004.09.008
View | DOI
 

2004 | Journal Article | IST-REx-ID: 4238
de Vladar, H., & González, J. (2004). Dynamic response of cancer under the influence of immunological activity and therapy. Journal of Theoretical Biology, 227(3), 335–348. https://doi.org/3801
View | DOI
 

2004 | Journal Article | IST-REx-ID: 4224
Kruse, K., Pantazis, P., Bollenbach, M. T., Julicher, F., & Gonzalez Gaitan, M. (2004). Dpp gradient formation by dynamin-dependent endocytosis: receptor trafficking and the diffusion model. Development, 131(19), 4843–4856. https://doi.org/10.1242/dev.01335
View | DOI
 

2004 | Thesis | IST-REx-ID: 4236
de Vladar, H. (2004). Métodos no lineales y sus aplicaciones en dinámicas aleatorias de poblaciones celulares. Centro de estudios avazados, IVIC. https://doi.org/3810
View | DOI
 

2004 | Thesis | IST-REx-ID: 4424
Jhala, R. (2004). Program verification by lazy abstraction (pp. 1–165). University of California, Berkeley.
View
 

2004 | Journal Article | IST-REx-ID: 8517
Dolgopyat, D., Kaloshin, V., & Koralov, L. (2004). A limit shape theorem for periodic stochastic dispersion. Communications on Pure and Applied Mathematics, 57(9), 1127–1158. https://doi.org/10.1002/cpa.20032
View | DOI
 

2004 | Journal Article | IST-REx-ID: 8518
Koralov, L., Kaloshin, V., & Dolgopyat, D. (2004). Sample path properties of the stochastic flows. The Annals of Probability, 32(1A), 1–27. https://doi.org/10.1214/aop/1078415827
View | DOI
 

2003 | Journal Article | IST-REx-ID: 205
Browning, T. D. (2003). Counting rational points on cubic and quartic surfaces. Acta Arithmetica, 108(3), 275–295. https://doi.org/10.4064/aa108-3-7
View | DOI
 

2003 | Journal Article | IST-REx-ID: 206
Browning, T. D. (2003). A note on the distribution of rational points on threefolds. Quarterly Journal of Mathematics, 54(1), 33–39. https://doi.org/10.1093/qjmath/54.1.33
View | DOI
 

2003 | Journal Article | IST-REx-ID: 207
Browning, T. D. (2003). Sums of four biquadrates. Mathematical Proceedings of the Cambridge Philosophical Society, 134(3), 385–395. https://doi.org/10.1017/S0305004102006382
View | DOI
 

2003 | Journal Article | IST-REx-ID: 208
Browning, T. D. (2003). Counting rational points on diagonal quadratic surfaces. Quarterly Journal of Mathematics, 54(1), 11–31. https://doi.org/10.1093/qjmath/54.1.11
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 2337 | OA
Lieb, É., & Seiringer, R. (2003). Bose-Einstein condensation of dilute gases in traps . In Y. Karpeshina, R. Weikard, & Y. Zeng (Eds.) (Vol. 327, pp. 239–250). Presented at the Differential Equations and Mathematical Physics, American Mathematical Society. https://doi.org/10.1090/conm/327/05818
View | DOI | Download (ext.)
 

2003 | Journal Article | IST-REx-ID: 2354 | OA
Seiringer, R. (2003). Ground state asymptotics of a dilute, rotating gas. Journal of Physics A: Mathematical and Theoretical, 36(37), 9755–9778. https://doi.org/10.1088/0305-4470/36/37/312
View | DOI | Download (ext.)
 

2003 | Journal Article | IST-REx-ID: 2357 | OA
Lieb, É., Seiringer, R., & Yngvason, J. (2003). Poincaré inequalities in punctured domains. Annals of Mathematics, 158(3), 1067–1080. https://doi.org/10.4007/annals.2003.158.1067
View | DOI | Download (ext.)
 

2003 | Journal Article | IST-REx-ID: 2358 | OA
Lieb, É., Seiringer, R., & Yngvason, J. (2003). One-dimensional Bosons in three-dimensional traps. Physical Review Letters, 91(15), 1504011–1504014. https://doi.org/10.1103/PhysRevLett.91.150401
View | DOI | Download (ext.)
 

2003 | Thesis | IST-REx-ID: 2414
Wagner, U. (2003). On k-Sets and Their Applications. ETH Zurich. https://doi.org/10.3929/ethz-a-004708408
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 2422
Wagner, U. (2003). On the rectilinear crossing number of complete graphs (pp. 583–588). Presented at the SODA: Symposium on Discrete Algorithms, SIAM.
View | Download (ext.)
 

2003 | Conference Paper | IST-REx-ID: 2423
Matoušek, J., & Wagner, U. (2003). New constructions of weak epsilon-nets (pp. 129–135). Presented at the SoCG: Symposium on Computational Geometry, ACM. https://doi.org/10.1145/777792.777813
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 2424
Giesen, J., & Wagner, U. (2003). Shape dimension and intrinsic metric from samples of manifolds with high co-dimension (pp. 329–337). Presented at the SoCG: Symposium on Computational Geometry, ACM. https://doi.org/10.1145/777792.777841
View | DOI
 

2003 | Journal Article | IST-REx-ID: 3917
Cremer, S., & Heinze, J. (2003). Zwischen Hochzeitsflug und Brudermord: reproduktive Taktiken bei Ameisenmännchen. Blick in Die Wissenschaft, 12(15), 32–36.
View
 

2003 | Journal Article | IST-REx-ID: 3921
Anderson, C., Cremer, S., & Heinze, J. (2003). Live and let die: Why fighter males of the ant Cardiocondyla kill each other but tolerate their winged rivals. Behavioral Ecology, 14(1), 54–62. https://doi.org/10.1093/beheco/14.1.54
View | DOI
 

2003 | Journal Article | IST-REx-ID: 3922
Cremer, S., & Heinze, J. (2003). Stress grows wings: Environmental induction of winged dispersal males in Cardiocondyla ants. Current Biology, 13(3), 219–223. https://doi.org/10.1016/S0960-9822(03)00012-5
View | DOI
 

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
 

2003 | Journal Article | IST-REx-ID: 3992
Edelsbrunner, H., & Koehl, P. (2003). The weighted-volume derivative of a space-filling diagram. PNAS, 100(5), 2203–2208. https://doi.org/10.1073/pnas.0537830100
View | DOI
 

2003 | Journal Article | IST-REx-ID: 3993
Edelsbrunner, H., Harer, J., & Zomorodian, A. (2003). Hierarchical Morse-Smale complexes for piecewise linear 2-manifolds. Discrete & Computational Geometry, 30(1), 87–107. https://doi.org/10.1007/s00454-003-2926-5
View | DOI
 

2003 | Journal Article | IST-REx-ID: 3994
Cheng, H., & Edelsbrunner, H. (2003). Area, perimeter and derivatives of a skin curve. Computational Geometry: Theory and Applications, 26(2), 173–192. https://doi.org/10.1016/S0925-7721(02)00124-4
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 (pp. 139–146). Presented at the VIS: IEEE Visualization, IEEE. https://doi.org/10.1109/VISUAL.2003.1250365
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 3999
Edelsbrunner, H., & Üngör, A. (2003). Relaxed scheduling in dynamic skin triangulation (Vol. 2866, pp. 135–151). Presented at the JCDCG: Japanese Conference on Discrete and Computational Geometry, Springer. https://doi.org/10.1007/978-3-540-44400-8_14
View | DOI
 

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, 57(3), 447–459. https://doi.org/10.1111/j.0014-3820.2003.tb01537.x
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, 300(5617), 321–324. https://doi.org/10.1126/science.1080600
View | DOI
 

2003 | Book Review | 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
View | DOI
 

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, 34, 99–125. https://doi.org/10.1146/annurev.ecolsys.34.011802.132359
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; International Journal of Organic Evolution, 57(8), 1876–1888. https://doi.org/10.1111/j.0014-3820.2003.tb00595.x
View | DOI
 

2003 | Journal Article | IST-REx-ID: 4348
Huelsenbeck, J., Nielsen, R., & Bollback, J. P. (2003). Stochastic mapping of morphological characters. Systematic Biology, 52(2), 131–158. https://doi.org/10.1080/10635150390192780
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, 52(3), 386–402. https://doi.org/10.1080/10635150390197028
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, 23(3), 303–327. https://doi.org/10.1023/A:1026228213080
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 4462
Henzinger, T. A., Jhala, R., & Majumdar, R. (2003). Counterexample-guided control (Vol. 2719, pp. 886–902). Presented at the ICALP: Automata, Languages and Programming, Springer. https://doi.org/10.1007/3-540-45061-0_69
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 4463
Henzinger, T. A., Jhala, R., Majumdar, R., & Qadeer, S. (2003). Thread-modular abstraction refinement (Vol. 2725, pp. 262–274). Presented at the CAV: Computer Aided Verification, Springer. https://doi.org/10.1007/978-3-540-45069-6_27
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 4464
Henzinger, T. A., Kirsch, C., & Matic, S. (2003). Schedule-carrying code (Vol. 2855, pp. 241–256). Presented at the EMSOFT: Embedded Software , ACM. https://doi.org/10.1007/978-3-540-45212-6_16
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 (Vol. 2619, pp. 49–64). Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Springer. https://doi.org/10.1007/3-540-36577-X_5
View | DOI
 

Search

Filter Publications