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: 4262
Barton NH, Navarro A. Extending the coalescent to multilocus systems: the case of balancing selection. Genetical Research. 2002;79(2):129-139. doi:10.1017/S0016672301005493
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4349
Bollback JP. Bayesian model adequacy and choice in phylogenetics. Molecular Biology and Evolution. 2002;19(7):1171-1180.
View | Download (ext.)
 

2002 | Journal Article | IST-REx-ID: 4407
Raskin J, Schobbens P, Henzinger TA. Axioms for real-time logics. Theoretical Computer Science. 2002;274(1-2):151-182. doi:10.1016/S0304-3975(00)00308-X
View | DOI
 

2002 | Thesis | IST-REx-ID: 4414
Mang F. Games in Open Systems Verification and Synthesis. University of California, Berkeley; 2002:1-116.
View
 

2002 | Conference Paper | IST-REx-ID: 4421
Kirsch C, Sanvido M, Henzinger TA, Pree W. A Giotto-based helicopter control system. In: Vol 2491. ACM; 2002:46-60. doi:10.1007/3-540-45828-X_5
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4471
Henzinger TA, Krishnan S, Kupferman O, Mang F. Synthesis of uninitialized systems. In: Vol 2380. Springer; 2002:644-656. doi:10.1007/3-540-45465-9_55
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4476
Henzinger TA, Jhala R, Majumdar R, Sutre G. Lazy abstraction. In: ACM; 2002:58-70. doi:10.1145/503272.503279
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4565
Cassez F, Henzinger TA, Raskin J. A comparison of control problems for timed and hybrid systems. In: Vol 2289. Springer; 2002:134-148. doi:10.1007/3-540-45873-5_13
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 1738
Falaras P, Chryssou K, Stergiopoulos T, et al. Dye-sensitization of titanium dioxide thin films by Ru(II)-bpp-bpy complexes. In: Vol 4801. SPIE; 2002:125-135. doi:10.1117/12.452446
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2349   OA
Lieb É, Seiringer R. Proof of Bose-Einstein condensation for dilute trapped gases. Physical Review Letters. 2002;88(17):1704091-1704094. doi:10.1103/PhysRevLett.88.170409
View | DOI | Download (ext.)
 

2002 | Journal Article | IST-REx-ID: 2351   OA
Seiringer R. Gross-Pitaevskii theory of the rotating Bose gas. Communications in Mathematical Physics. 2002;229(3):491-509. doi:10.1007/s00220-002-0695-2
View | DOI | Download (ext.)
 

2002 | Conference Paper | IST-REx-ID: 2421
Ambühl C, Wagner U. On the Clique problem in intersection graphs of ellipses. In: Vol 2518. Springer; 2002:489-500. doi:10.1007/3-540-36136-7_43
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2616
López Bendito G, Shigemoto R, Fairén A, Luján R. Differential distribution of group I metabotropic glutamate receptors during rat cortical development. Cerebral Cortex. 2002;12(6):625-638. doi:10.1093/cercor/12.6.625
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2988
Grebe M, Friml J, Swarup R, et al. Cell polarity signaling in Arabidopsis involves a BFA sensitive auxin influx pathway. Current Biology. 2002;12(4):329-334. doi:10.1016/S0960-9822(02)00654-1
View | DOI
 

2002 | Journal Article | IST-REx-ID: 3140
Hippenmeyer S, Shneider N, Birchmeier C, Burden S, Jessell T, Arber S. A role for Neuregulin1 signaling in muscle spindle differentiation. Neuron. 2002;36(6):1035-1049. doi:10.1016/S0896-6273(02)01101-7
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 3424
Bollenbach T, Bauer W. 3d supernovae collapse calculations. In: Vol 644. American Institute of Physics; 2002:219-232. doi:10.1063/1.1523196
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 3448
Mallick S, Chatterjee K, Merchant A, Dasgupta P. Implementation of shape grammar for plan analysis. In: Elsevier; 2002.
View
 

2002 | Journal Article | IST-REx-ID: 3621   OA
Kirkpatrick M, Johnson T, Barton NH. General models of multilocus evolution. Genetics. 2002;161(4):1727-1750.
View | Download (ext.)
 

2002 | Journal Article | IST-REx-ID: 3924
Cremer S, Lautenschläger B, Heinze J. A transitional stage between the ergatoid and winged male morph in the ant Cardiocondyla obscurior. Insectes Sociaux. 2002;49(3):221-228. doi:10.1007/s00040-002-8305-z
View | DOI
 

2002 | Journal Article | IST-REx-ID: 3998
Edelsbrunner H, Guoy D. An experimental study of sliver exudation. Engineering with Computers. 2002;18(3):229-240. doi:10.1007/s003660200020
View | DOI
 

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

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

2002 | Conference Paper | IST-REx-ID: 4422
Jurdziński M, Kupferman O, Henzinger TA. Trading probability for fairness. In: Vol 2471. Springer; 2002:292-305. doi:10.1007/3-540-45793-3_20
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4472
Henzinger TA, Necula G, Jhala R, Sutre G, Majumdar R, Weimer W. Temporal safety proofs for systems code. In: Vol 2404. Springer; 2002:526-538. doi:10.1007/3-540-45657-0_45
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4631
De Alfaro L, Henzinger TA, Stoelinga M. Timed interfaces. In: Vol 2491. ACM; 2002:108-122. doi:10.1007/3-540-45828-X_9
View | DOI
 

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

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

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

2002 | Journal Article | IST-REx-ID: 1032
Fürst J, Ritter M, Rudzki J, et al. ICln ion channel splice variants in Caenorhabditis elegans: Voltage dependence and interaction with an operon partner protein. Journal of Biological Chemistry. 2002;277(6):4435-4445. doi:10.1074/jbc.M107372200
View | DOI
 

2002 | Journal Article | IST-REx-ID: 1739
Stergiopoulos T, Arabatzis I, Katsaros G, Falaras P. Binary Polyethylene Oxide/Titania Solid-State Redox Electrolyte for Highly Efficient Nanocrystalline TiO2 Photoelectrochemical Cells. Nano Letters. 2002;2(11):1259-1261. doi:10.1021/nl025798u
View | DOI
 

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

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

2002 | Journal Article | IST-REx-ID: 2352   OA
Hainzl C, Seiringer R. General decomposition of radial functions on ℝn and applications to N-body quantum systems. Letters in Mathematical Physics. 2002;61(1):75-84. doi: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. Cell type dependence and variability in the short-term plasticity of EPSCs in identified mouse hippocampal interneurones. Journal of Physiology. 2002;542(1):193-210. doi:10.1113/jphysiol.2002.020024
View | DOI | Download (ext.)
 

2002 | Journal Article | IST-REx-ID: 2624
Kulik Á, Nakadate K, Nyíri G, et al. Distinct localization of GABAB receptors relative to synaptic sites in the rat cerebellum and ventrobasal thalamus. European Journal of Neuroscience. 2002;15(2):291-307. doi: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. Derivation of the Schrödinger-Poisson equation from the quantum N-body problem. Comptes Rendus Mathematique. 2002;334(6):515-520. doi:10.1016/S1631-073X(02)02253-7
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 2927
Kolmogorov V, Zabih R. Multi-camera scene reconstruction via graph cuts. In: Springer; 2002:65-81. doi:10.1007/3-540-47977-5_5
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2989
Friml J, Benková E, Blilou I, et al. AtPIN4 mediates sink-driven auxin gradients and root patterning in Arabidopsis. Cell. 2002;108(5):661-673. doi:10.1016/S0092-8674(02)00656-6
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2991
Friml J, Palme K. Polar auxin transport - Old questions and new concepts? Plant Molecular Biology. 2002;49(3-4):273-284. doi:10.1023/A:1015248926412
View | DOI
 

2002 | Journal Article | IST-REx-ID: 3800
Bartos M, Vida I, Frotscher M, et al. Fast synaptic inhibition promotes synchronized gamma oscillations in hippocampal interneuron networks. PNAS. 2002;99(20):13222-13227. doi:10.1073/pnas.192233099
View | DOI
 

2002 | Journal Article | IST-REx-ID: 3533
Buzsáki G, Csicsvari JL, Dragoi G, Harris K, Henze D, Hirase H. Homeostatic maintenance of neuronal excitability by burst discharges in vivo. Cerebral Cortex. 2002;12(9):893-899. doi:10.1093/cercor/12.9.893
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4000
Zomorodian A, Edelsbrunner H. Fast software for box intersections. International Journal of Computational Geometry and Applications. 2002;12(1-2):143-172. doi:10.1142/S0218195902000785
View | DOI
 

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

2002 | Journal Article | IST-REx-ID: 3925
Cremer S, Sledge M, Heinze J. Chemical mimicry: Male ants disguised by the queen’s bouquet. Nature. 2002;419:897-897. doi:10.1038/419897a
View | DOI
 

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

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

2002 | Journal Article | IST-REx-ID: 4207
Heisenberg C. Wnt signalling: Refocusing on Strabismus. Current Biology. 2002;12(19):R657-R659. doi:10.1016/S0960-9822(02)01160-0
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4423
Horowitz B, Liebman J, Ma C, et al. Embedded software design and system integration for rotorcraft UAV using platforms. In: Vol 15. Elsevier; 2002. doi:10.3182/20020721-6-ES-1901.01628
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4473
Henzinger TA, Qadeer S, Rajamani S, Tasiran S. An assume-guarantee rule for checking simulation. ACM Transactions on Programming Languages and Systems (TOPLAS). 2002;24(1):51-64. doi:10.1145/509705.509707
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4562
Chakrabarti A, De Alfaro L, Henzinger TA, Mang F. Synchronous and bidirectional component interfaces. In: Vol 2404. Springer; 2002:414-427. doi:10.1007/3-540-45657-0_34
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed