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.

5703 Publications


2002 | Journal Article | IST-REx-ID: 4148
Tada, M., Concha, M., & Heisenberg, C. (2002). Non-canonical Wnt signalling and regulation of gastrulation movements. Seminars in Cell & Developmental Biology, 13(3), 251–260. https://doi.org/10.1016/S1084-9521(02)00052-6
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4263
Barton, N. H., Depaulis, F., & Etheridge, A. (2002). Neutral evolution in spatially continuous populations. Theoretical Population Biology, 61(1), 31–48. https://doi.org/10.1006/tpbi.2001.1557
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4422
Jurdziński, M., Kupferman, O., & Henzinger, T. A. (2002). Trading probability for fairness (Vol. 2471, pp. 292–305). Presented at the CSL: Computer Science Logic, Springer. https://doi.org/10.1007/3-540-45793-3_20
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 (Vol. 2404, pp. 526–538). Presented at the CAV: Computer Aided Verification, Springer. https://doi.org/10.1007/3-540-45657-0_45
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4631
De Alfaro, L., Henzinger, T. A., & Stoelinga, M. (2002). Timed interfaces (Vol. 2491, pp. 108–122). Presented at the EMSOFT: Embedded Software , ACM. https://doi.org/10.1007/3-540-45828-X_9
View | DOI
 

2002 | Journal Article | IST-REx-ID: 859
Perelygin, A., Kondrashov, F., Rogozin, I., & Brinton, M. (2002). Evolution of the mouse polyubiquitin C gene. Journal of Molecular Evolution, 55(2), 202–210. https://doi.org/10.1007/s00239-002-2318-0
View | DOI
 

2002 | Journal Article | IST-REx-ID: 885
Kondrashov, A., Sunyaev, S., & Kondrashov, F. (2002). Dobzhansky-Muller incompatibilities in protein evolution. PNAS, 99(23), 14878–14883. https://doi.org/10.1073/pnas.232565499
View | DOI
 

2002 | Journal Article | IST-REx-ID: 897
Castillo Davis, C., Mekhedov, S., Hartl, D., Koonin, E., & Kondrashov, F. (2002). Selection for short introns in highly expressed genes. Nature Genetics, 31(4), 415–418. https://doi.org/10.1038/ng940
View | DOI
 

2002 | Journal Article | IST-REx-ID: 1032
Fürst, J., Ritter, M., Rudzki, J., Danzl, J., Gschwentner, M., Scandella, E., … Paulmichl, M. (2002). ICln ion channel splice variants in Caenorhabditis elegans: Voltage dependence and interaction with an operon partner protein. Journal of Biological Chemistry, 277(6), 4435–4445. https://doi.org/10.1074/jbc.M107372200
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, 2(11), 1259–1261. https://doi.org/10.1021/nl025798u
View | DOI
 

2002 | Journal Article | IST-REx-ID: 204
Browning, T. D. (2002). Equal Sums of Two kth Powers. Journal of Number Theory, 96(2), 293–318. https://doi.org/10.1006/jnth.2002.2800
View | DOI
 

2002 | Book Chapter | IST-REx-ID: 2338
Lieb, É., Solovej, J., Seiringer, R., & Yngvason, J. (2002). The ground state of the Bose gas. In Current Developments in Mathematics, 2001 (pp. 131–178). International Press. http://arxiv.org/abs/math-ph/0204027
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2352   OA
Hainzl, C., & Seiringer, R. (2002). General decomposition of radial functions on ℝn and applications to N-body quantum systems. Letters in Mathematical Physics, 61(1), 75–84. https://doi.org/10.1023/A:1020204818938
View | DOI | Download (ext.)
 

2002 | Journal Article | IST-REx-ID: 2617   OA
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, 542(1), 193–210. https://doi.org/10.1113/jphysiol.2002.020024
View | DOI | Download (ext.)
 

2002 | Journal Article | IST-REx-ID: 2624
Kulik, Á., Nakadate, K., Nyíri, G., Notomi, T., Malitschek, B., Bettler, B., & Shigemoto, R. (2002). Distinct localization of GABAB receptors relative to synaptic sites in the rat cerebellum and ventrobasal thalamus. European Journal of Neuroscience, 15(2), 291–307. https://doi.org/10.1046/j.0953-816x.2001.01855.x
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2737
Bardos, C., Erdös, L., Golse, F., Mauser, N., & Yau, H. (2002). Derivation of the Schrödinger-Poisson equation from the quantum N-body problem. Comptes Rendus Mathematique, 334(6), 515–520. https://doi.org/10.1016/S1631-073X(02)02253-7
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 2927
Kolmogorov, V., & Zabih, R. (2002). Multi-camera scene reconstruction via graph cuts (pp. 65–81). Presented at the ECCV: European Conference on Computer Vision, Springer. https://doi.org/10.1007/3-540-47977-5_5
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2989
Friml, J., Benková, E., Blilou, I., Wiśniewska, J., Hamann, T., Ljung, K., … Palme, K. (2002). AtPIN4 mediates sink-driven auxin gradients and root patterning in Arabidopsis. Cell, 108(5), 661–673. https://doi.org/10.1016/S0092-8674(02)00656-6
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, 49(3–4), 273–284. https://doi.org/10.1023/A:1015248926412
View | DOI
 

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, 99(20), 13222–13227. https://doi.org/10.1073/pnas.192233099
View | DOI
 

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, 12(9), 893–899. https://doi.org/10.1093/cercor/12.9.893
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, 12(1–2), 143–172. https://doi.org/10.1142/S0218195902000785
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, 4, 169–175.
View
 

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, 419, 897–897. https://doi.org/10.1038/419897a
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4194
Houart, C., Caneparo, L., Heisenberg, C., Barth, K. A., Take Uchi, M., & Wilson, S. (2002). Establishment of the telencephalon during gastrulation by local antagonism of Wnt signaling. Neuron, 35(2), 255–265. https://doi.org/10.1016/S0896-6273(02)00751-1
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4199
Heisenberg, C., & Tada, M. (2002). Wnt signalling: A moving picture emerges from van gogh. Current Biology, 12(4), R126–R128. https://doi.org/10.1016/S0960-9822(02)00704-2
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4207
Heisenberg, C. (2002). Wnt signalling: Refocusing on Strabismus. Current Biology, 12(19), R657–R659. https://doi.org/10.1016/S0960-9822(02)01160-0
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 (Vol. 15). Presented at the IFAC: World Congress on Automatic Control, Elsevier. https://doi.org/10.3182/20020721-6-ES-1901.01628
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), 24(1), 51–64. https://doi.org/10.1145/509705.509707
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 (Vol. 2404, pp. 414–427). Presented at the CAV: Computer Aided Verification, Springer. https://doi.org/10.1007/3-540-45657-0_34
View | DOI
 

2002 | Journal Article | IST-REx-ID: 1451   OA
Hausel, T., & Sturmfels, B. (2002). Toric hyperkähler varieties. Documenta Mathematica, 7(1), 495–534.
View | Download (ext.)
 

2002 | Journal Article | IST-REx-ID: 2613
Kitano, J., Kimura, K., Yamazaki, Y., Soda, T., Shigemoto, R., Nakajima, Y., & Nakanishi, S. (2002). Tamalin, a PDZ domain-containing protein, links a protein complex formation of group 1 metabotropic glutamate receptors and the guanine nucleotide exchange factor cytohesins. Journal of Neuroscience, 22(4), 1280–1289.
View
 

2002 | Journal Article | IST-REx-ID: 2618
Nunzi, M., Shigemoto, R., & Mugnaini, E. (2002). Differential expression of calretinin and metabotropic glutamate receptor mGluR1α defines subsets of unipolar brush cells in mouse cerebellum. Journal of Comparative Neurology, 451(2), 189–199. https://doi.org/10.1002/cne.10344
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2620
Lörincz, A., Notomi, T., Tamás, G., Shigemoto, R., & Nusser, Z. (2002). Polarized and compartment-dependent distribution of HCN1 in pyramidal cell dendrites. Nature Neuroscience, 5(11), 1185–1193. https://doi.org/10.1038/nn962
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: 2353   OA
Lieb, É., Seiringer, R., & Yngvason, J. (2002). Superfluidity in dilute trapped Bose gases. Physical Review B - Condensed Matter and Materials Physics, 66(13). https://doi.org/10.1103/PhysRevB.66.134529
View | DOI | Download (ext.)
 

2002 | Journal Article | IST-REx-ID: 2738
Erdös, L. (2002). Linear Boltzmann equation as the long time dynamics of an electron weakly coupled to a phonon field. Journal of Statistical Physics, 107(5–6), 1043–1127. https://doi.org/10.1023/A:1015157624384
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2740
Erdös, L. (2002). Spectral shift and multiplicity of the first eigenvalue of the magnetic Schrödinger operator in two dimensions. Annales de l’Institut Fourier, 52(6), 1833–1874+XI+VII. https://doi.org/10.5802/aif.1936
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 2694
Erdös, L. (2002). Scaling limits of Schrödinger quantum mechanics (Vol. 597, pp. 487–506). Presented at the 38th Winter School of Theoretical Physics : Dynamical Semigroups: Dissipation, Chaos, Quanta, Springer. https://doi.org/10.1007/3-540-46122-1_19
View | DOI
 

2002 | Book Review | IST-REx-ID: 3421
Mueller, D., Janovjak, H. L., Lehto, T., Kuerschner, L., & Anderson, K. (2002). Observing structure, function and assembly of single proteins by AFM. Progress in Biophysics and Molecular Biology. Elsevier. https://doi.org/10.1016/S0079-6107(02)00009-3
View | DOI
 

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, 539(Pt 1), 201–208. https://doi.org/10.1113/jphysiol.2001.013455
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. Elsevier. https://doi.org/US 6,377,865 B1
View | DOI | Download (ext.)
 

2002 | Journal Article | IST-REx-ID: 3919   OA
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, 269(1489), 417–422. https://doi.org/10.1098/rspb.2001.1892
View | DOI | Download (ext.)
 

2002 | Journal Article | IST-REx-ID: 3995
Agarwal, P., Guibas, L., Edelsbrunner, H., Erickson, J., Isard, M., Har Peled, S., … Wolefson, O. (2002). Algorithmic issues in modeling motion. ACM Computing Surveys, 34(4), 550–572. https://doi.org/10.1145/592642.592647
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, 161(2), 849–863.
View | Download (ext.)
 

2002 | Journal Article | IST-REx-ID: 4260
Johnson, T., & Barton, N. H. (2002). The effect of deleterious alleles on adaptation in asexual populations. Genetics, 162(1), 395–411.
View | Download (ext.)
 

2002 | Journal Article | IST-REx-ID: 4474
Henzinger, T. A., Kupferman, O., & Rajamani, S. (2002). Fair simulation. Information and Computation, 173(1), 64–81. https://doi.org/10.1006/inco.2001.3085
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4347
Huelsenbeck, J., Bollback, J. P., & Levine, A. (2002). Inferring the root of a phylogenetic tree. Systematic Biology, 51(1), 32–43. https://doi.org/10.1080/106351502753475862
View | DOI
 

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 (Vol. 2404, pp. 428–441). Presented at the CAV: Computer Aided Verification, Springer. https://doi.org/10.1007/3-540-45657-0_35
View | DOI
 

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, 419(6910), 925–929. https://doi.org/10.1038/nature01170
View | DOI | PubMed | Europe PMC
 

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed