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.

6021 Publications


2004 | Journal Article | IST-REx-ID: 2641
Kang, Y., Notomi, T., Saito, M., Zhang, W., & Shigemoto, R. (2004). Bidirectional interactions between H-channels and Na+-K + pumps in mesencephalic trigeminal neurons. Journal of Neuroscience, 24(14), 3694–3702. https://doi.org/10.1523/JNEUROSCI.5641-03.2004
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2642
Ferraguti, F., Cobden, P., Pollard, M., Cope, D., Shigemoto, R., Watanabe, M., & Somogyi, P. (2004). Immunolocalization of metabotropic glutamate receptor 1α (mGluR1α) in distinct classes of interneuron in the CA1 region of the rat hippocampus. Hippocampus, 14(2), 193–215. https://doi.org/10.1002/hipo.10163
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2643
Luján, R., Shigemoto, R., Kulik, Á., & Juíz, J. (2004). Localization of the GABAB receptor 1a/b subunit relative to glutamatergic synapses in the dorsal cochlear nucleus of the rat. Journal of Comparative Neurology, 475(1), 36–46. https://doi.org/10.1002/cne.20160
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2644
Kogo, N., Dalezios, Y., Capogna, M., Ferraguti, F., Shigemoto, R., & Somogyi, P. (2004). Depression of GABAergic input to identified hippocampal neurons by group III metabotropic glutamate receptors in the rat. European Journal of Neuroscience, 19(10), 2727–2740. https://doi.org/10.1111/j.0953-816X.2004.03394.x
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2645
Chan, S., Shigemoto, R., Mercer, J., & Surmeier, J. (2004). HCN2 and HCN1 channels govern the regularity of autonomous pacemaking and synaptic resetting in globus pallidus neurons. Journal of Neuroscience, 24(44), 9921–9932. https://doi.org/10.1523/JNEUROSCI.2162-04.2004
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2646
López Bendito, G., Shigemoto, R., Kulik, Á., Vida, I., Fairén, A., & Luján, R. (2004). Distribution of metabotropic GABA receptor subunits GABAB1a/b and GABAB2 in the rat hippocampus during prenatal and postnatal development. Hippocampus, 14(7), 836–848. https://doi.org/10.1002/hipo.10221
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2706
Erdös, L., & Solovej, J. (2004). Magnetic Lieb-Thirring inequalities with optimal dependence on the field strength. Journal of Statistical Physics, 116(1–4), 475–506. https://doi.org/10.1023/B:JOSS.0000037216.45270.1d
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2707
Erdös, L., Salmhofer, M., & Yau, H. (2004). On the quantum Boltzmann equation. Journal of Statistical Physics, 116(1–4), 367–380. https://doi.org/10.1023/B:JOSS.0000037224.56191.ed
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2741
Erdös, L., & Solovej, J. (2004). Uniform Lieb-Thirring inequality for the three-dimensional Pauli operator with a strong non-homogeneous magnetic field. Annales Henri Poincare, 5(4), 671–741. https://doi.org/10.1007/s00023-004-0180-x
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2742
Elgart, A., Erdös, L., Schlein, B., & Yau, H. (2004). Nonlinear Hartree equation as the mean field limit of weakly coupled fermions. Journal de Mathématiques Pures et Appliquées, 83(10), 1241–1273. https://doi.org/10.1016/j.matpur.2004.03.006
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2786
Hof, B., Van Doorne, C., Westerweel, J., Nieuwstadt, F., Faisst, H., Eckhardt, B., … Waleffe, F. (2004). Experimental observation of nonlinear traveling waves in turbulent pipe flow. Science, 305(5690), 1594–1598. https://doi.org/10.1126/science.1100393
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2787
Hof, B., Juel, A., Zhao, L., Henry, D., Ben Hadid, H., & Mullin, T. (2004). On the onset of oscillatory convection in molten gallium. Journal of Fluid Mechanics, 515, 391–413. https://doi.org/10.1017/S0022112004000527
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2997
Friml, J., Yang, X., Michniewicz, M., Weijers, D., Quint, A., Tietz, O., … Offringa, R. (2004). A PINOID-dependent binary switch in apical-basal PIN polar targeting directs auxin efflux. Science, 306(5697), 862–865. https://doi.org/10.1126/science.1100618
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2998
Duroux, M., Houben, A., Růžička, K., Friml, J., & Grasser, K. (2004). The chromatin remodelling complex FACT associates with actively transcribed regions of the Arabidopsis genome. Plant Journal, 40(5), 660–671. https://doi.org/10.1111/j.1365-313X.2004.02242.x
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2999
Sauer, M., & Friml, J. (2004). In vitro culture of Arabidopsis embryos within their ovules. Plant Journal, 40(5), 835–843. https://doi.org/10.1111/j.1365-313X.2004.02248.x
View | DOI
 

2004 | Book Review | IST-REx-ID: 3142
Hippenmeyer, S., Kramer, I., & Arber, S. (2004). Control of neuronal phenotype: What targets tell the cell bodies. Trends in Neurosciences. Elsevier. https://doi.org/10.1016/j.tins.2004.05.012
View | DOI
 

2004 | Journal Article | IST-REx-ID: 1963
Mamedova, A., Holt, P., Carroll, J., & Sazanov, L. A. (2004). Substrate-induced conformational change in bacterial complex I. Journal of Biological Chemistry, 279(22), 23830–23836. https://doi.org/10.1074/jbc.M401539200
View | DOI
 

2004 | Journal Article | IST-REx-ID: 864
Panchenko, A., Kondrashov, F., & Bryant, S. (2004). Prediction of functional sites by analysis of sequence and structure conservation. Protein Science, 13(4), 884–892. https://doi.org/10.1110/ps.03465504
View | DOI
 

2004 | Journal Article | IST-REx-ID: 870
Kondrashov, F., Ogurtsov, A., & Kondrashov, A. (2004). Bioinformatical assay of human gene morbidity. Nucleic Acids Research, 32(5), 1731–1737. https://doi.org/10.1093/nar/gkh330
View | DOI
 

2004 | Journal Article | IST-REx-ID: 875
Kondrashov, F., & Koonin, E. (2004). A common framework for understanding the origin of genetic dominance and evolutionary fates of gene duplications. Trends in Genetics, 20(7), 287–291. https://doi.org/10.1016/j.tig.2004.05.001
View | DOI
 

2004 | Journal Article | IST-REx-ID: 889
Kern, A., & Kondrashov, F. (2004). Mechanisms and convergence of compensatory evolution in mammalian mitochondrial tRNAs. Nature Genetics, 36(11), 1207–1212. https://doi.org/10.1038/ng1451
View | DOI
 

2004 | Journal Article | IST-REx-ID: 898
Bazykin, G., Kondrashov, F., Ogurtsov, A., Sunyaev, S., & Kondrashov, A. (2004). Positive selection at sites of multiple amino acid replacements since rat-mouse divergence. Nature, 429(6991), 558–562. https://doi.org/10.1038/nature02601
View | DOI
 

2004 | Journal Article | IST-REx-ID: 902
Castillo Davis, C., Kondrashov, F., Hartl, D., & Kulathinal, R. (2004). The functional genomic distribution of protein divergence in two animal phyla: Coevolution, genomic conflict, and constraint. Genome Research, 14(5), 802–811. https://doi.org/10.1101/gr.2195604
View | DOI
 

2004 | Journal Article | IST-REx-ID: 1456 | OA
Hausel, T., Hunsicker, E., & Mazzeo, R. (2004). Hodge cohomology of gravitational instantons. Duke Mathematical Journal, 122(3), 485–548. https://doi.org/10.1215/S0012-7094-04-12233-X
View | DOI | Download (ext.)
 

2004 | Journal Article | IST-REx-ID: 1464 | OA
Hausel, T., & Thaddeus, M. (2004). Generators for the cohomology ring of the moduli space of rank 2 higgs bundles. Proceedings of the London Mathematical Society, 88(3), 632–658. https://doi.org/10.1112/S0024611503014618
View | DOI | Download (ext.)
 

2004 | Journal Article | IST-REx-ID: 3172
Kolmogorov, V., Nguyen, T., Nuval, A., Spincemaille, P., Prince, M., Zabih, R., & Wang, Y. (2004). Multiprocessor scheduling implementation of the simultaneous multiple volume SMV navigator method. Magnetic Resonance in Medicine, 52(2), 362–367. https://doi.org/10.1002/mrm.20162
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3173
Kolmogorov, V., & Zabih, R. (2004). What energy functions can be minimized via graph cuts? . IEEE Transactions on Pattern Analysis and Machine Intelligence, 26(2), 147–159. https://doi.org/10.1109/TPAMI.2004.1262177
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 3177
Zabih, R., & Kolmogorov, V. (2004). Spatially coherent clustering using graph cuts (Vol. 2, pp. 437–444). Presented at the CVPR: Computer Vision and Pattern Recognition, IEEE. https://doi.org/10.1109/CVPR.2004.1315196
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3178
Boykov, Y., & Kolmogorov, V. (2004). An experimental comparison of min-cut/max-flow algorithms for energy minimization in vision. IEEE Transactions on Pattern Analysis and Machine Intelligence, 26(9), 1124–1137. https://doi.org/10.1109/TPAMI.2004.60
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 3179
Rother, C., Kolmogorov, V., & Blake, A. (2004). "GrabCut" - Interactive foreground extraction using iterated graph cuts (Vol. 23, pp. 309–314). Presented at the SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, ACM. https://doi.org/10.1145/1015706.1015720
View | DOI | Download (ext.)
 

2004 | Conference Paper | IST-REx-ID: 3208
Maurer, U., & Pietrzak, K. Z. (2004). Composition of random systems: When two weak make one strong (Vol. 2951, pp. 410–427). Presented at the TCC: Theory of Cryptography Conference, Springer. https://doi.org/10.1007/978-3-540-24638-1_23
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3419
Janovjak, H. L., Struckmeier, J., Hubain, M., Kessler, M., Kedrov, A., & Mueller, D. (2004). Probing the energy landscape of the membrane protein bacteriorhodopsin. Structure, 12(5), 871–879. https://doi.org/10.1016/j.str.2004.03.016
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3420
Kedrov, A., Ziegler, C., Janovjak, H. L., Kühlbrandt, W., & Mueller, D. (2004). Controlled unfolding and refolding of a single sodium/proton antiporter using atomic force microscopy. Journal of Molecular Biology, 340(5), 1143–1152. https://doi.org/10.1016/j.jmb.2004.05.026
View | DOI
 

2004 | Book Chapter | IST-REx-ID: 3574
Edelsbrunner, H. (2004). Biological applications of computational topology. In Handbook of Discrete and Computational Geometry (pp. 1395–1412). CRC Press.
View | Download (ext.)
 

2004 | Book Chapter | IST-REx-ID: 3575
Edelsbrunner, H., & Harer, J. (2004). Jacobi sets of multiple Morse functions. In Foundations of Computational Mathematics (Vol. 312, pp. 37–57). Springer. https://doi.org/10.1017/CBO9781139106962.003
View | DOI
 

2004 | Book Review | IST-REx-ID: 3595
Charlesworth, B., & Barton, N. H. (2004). Genome size: Does bigger mean worse? Current Biology. Cell Press. https://doi.org/10.1016/j.cub.2004.02.054
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3614
Barton, N. H., & Turelli, M. (2004). Effects of allele frequency changes on variance components under a general model of epistasis. Evolution; International Journal of Organic Evolution, 58(10), 2111–2132. https://doi.org/10.1111/j.0014-3820.2004.tb01591.x
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3615
Turelli, M., & Barton, N. H. (2004). Polygenic variation maintained by balancing selection: pleiotropy, sex-dependent allelic effects and GxE interactions. Genetics, 166(2), 1053–1079. https://doi.org/10.1534/genetics.166.2.1053
View | DOI
 

2004 | Book Review | IST-REx-ID: 3616
Barton, N. H. (2004). Speciation: Why, how, where and when? Current Biology. Cell Press. https://doi.org/10.1016/j.cub.2004.07.037
View | DOI
 

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
 

2003 | Conference Paper | IST-REx-ID: 4467
Henzinger, T. A., Jhala, R., Majumdar, R., & Sutre, G. (2003). Software verification with BLAST (Vol. 2648, pp. 235–239). Presented at the SPIN: Model Checking Software, Springer. https://doi.org/10.1007/3-540-44829-2_17
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, 23(1), 50–64. https://doi.org/10.1109/MCS.2003.1172829
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, 91(1), 84–99. https://doi.org/10.1109/JPROC.2002.805825
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 4561
Chakrabarti, A., De Alfaro, L., Henzinger, T. A., & Stoelinga, M. (2003). Resource interfaces (Vol. 2855, pp. 117–133). Presented at the EMSOFT: Embedded Software , ACM. https://doi.org/10.1007/978-3-540-45212-6_9
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 4628
De Alfaro, L., Henzinger, T. A., & Majumdar, R. (2003). Discounting the future in systems theory (Vol. 2719, pp. 1022–1037). Presented at the ICALP: Automata, Languages and Programming, Springer. https://doi.org/10.1007/3-540-45061-0_79
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 (Vol. 2761, pp. 144–158). Presented at the CONCUR: Concurrency Theory, 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: 576
Hosten, O., Vignolo, P., Minguzzi, A., Tanatar, B., & Tosi, M. (2003). Free expansion of two-dimensional condensates with a vortex. Journal of Physics B: Atomic, Molecular and Optical Physics, 36(12), 2455–2463. https://doi.org/10.1088/0953-4075/36/12/306
View | DOI
 

2003 | Journal Article | IST-REx-ID: 6156
Rogers, C., Reale, V., Kim, K., Chatwin, H., Li, C., Evans, P., & de Bono, M. (2003). Inhibition of Caenorhabditis elegans social feeding by FMRFamide-related peptide activation of NPR-1. Nature Neuroscience, 6(11), 1178–1185. https://doi.org/10.1038/nn1140
View | DOI | PubMed | Europe PMC
 

2003 | Journal Article | IST-REx-ID: 6157
de Bono, M. (2003). Molecular approaches to aggregation behavior and social attachment. Journal of Neurobiology, 54(1), 78–92. https://doi.org/10.1002/neu.10162
View | DOI | PubMed | Europe PMC
 

2003 | Journal Article | IST-REx-ID: 2623
Coesmans, M., Sillevis Smitt, P., Linden, D., Shigemoto, R., Hirano, T., Yamakawa, Y., … De Zeeuw, C. (2003). Mechanisms underlying cerebellar motor deficits due to mGluR1-autoantibodies. Annals of Neurology, 53(3), 325–336. https://doi.org/10.1002/ana.10451
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2625
Minami, I., Kengaku, M., Smitt, S., Shigemoto, R., & Hirano, T. (2003). Long-term potentiation of mGluR1 activity by depolarization-induced Homer1a in mouse cerebellar Purkinje neurons. European Journal of Neuroscience, 17(5), 1023–1032. https://doi.org/10.1046/j.1460-9568.2003.02499.x
View | DOI
 

Search

Filter Publications