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.

6016 Publications


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: 3995
Agarwal P, Guibas L, Edelsbrunner H, et al. Algorithmic issues in modeling motion. ACM Computing Surveys. 2002;34(4):550-572. doi:10.1145/592642.592647
View | DOI
 

2002 | Journal Article | IST-REx-ID: 3996
Edelsbrunner H, Letscher D, Zomorodian A. Topological persistence and simplification. Discrete & Computational Geometry. 2002;28(4):511-533. doi:10.1007/s00454-002-2885-2
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: 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 | Conference Paper | IST-REx-ID: 4003
Agarwal P, Edelsbrunner H, Wang Y. Computing the writhing number of a polygonal knot. In: SIAM; 2002:791-799.
View
 

2002 | Journal Article | IST-REx-ID: 4139
Polechova J, Stopka P. Geometry of social relationships in the Old World wood mouse, Apodemus sylvaticus. Canadian Journal of Zoology. 2002;80(8):1383-1388. doi:3820
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4258
Navarro A, Barton NH. The effects of multilocus balancing selection on neutral variability. Genetics. 2002;161(2):849-863.
View | Download (ext.)
 

2002 | Journal Article | IST-REx-ID: 4259
Orive M, Barton NH. Associations between cytoplasmic and nuclear loci in hybridizing populations. Genetics. 2002;162(3):1469-1485.
View | Download (ext.)
 

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

2002 | Journal Article | IST-REx-ID: 4261
Barton NH, Keightley P. Understanding quantitative genetic variation. Nature Reviews Genetics. 2002;3:11-21. doi:10.1038/nrg700
View | DOI
 

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: 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 | Journal Article | IST-REx-ID: 4347
Huelsenbeck J, Bollback JP, Levine A. Inferring the root of a phylogenetic tree. Systematic Biology. 2002;51(1):32-43. doi:10.1080/106351502753475862
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 | Conference Paper | IST-REx-ID: 4413
Passerone R, De Alfaro L, Henzinger TA, Sangiovanni Vincentelli A. Convertibility verification and converter synthesis: Two faces of the same coin. In: IEEE; 2002:132-139. doi:10.1145/774572.774592
View | DOI
 

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: 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: 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 | Conference Paper | IST-REx-ID: 4444
Henzinger TA, Kirsch C. The embedded machine: predictable, portable real-time code. In: ACM; 2002:315-326. doi:10.1145/512529.512567
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4470
Henzinger TA, Kirsch C, Majumdar R, Matic S. Time-safety checking for embedded programs. In: Vol 2491. ACM; 2002:76-92. doi:10.1007/3-540-45828-X_7
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: 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 | 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 | Journal Article | IST-REx-ID: 4474
Henzinger TA, Kupferman O, Rajamani S. Fair simulation. Information and Computation. 2002;173(1):64-81. doi:10.1006/inco.2001.3085
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: 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
 

2002 | Conference Paper | IST-REx-ID: 4563
Chakrabarti A, De Alfaro L, Henzinger TA, Jurdziński M, Mang F. Interface compatibility checking for software modules. In: Vol 2404. Springer; 2002:428-441. doi:10.1007/3-540-45657-0_35
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 | Journal Article | IST-REx-ID: 4595
Alur R, Henzinger TA, Kupferman O. Alternating-time temporal logic. Journal of the ACM. 2002;49(5):672-713. doi:10.1145/585265.585270
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: 6158
Coates JC, de Bono M. Antagonistic pathways in neurons exposed to body fluid regulate social feeding in Caenorhabditis elegans. Nature. 2002;419(6910):925-929. doi:10.1038/nature01170
View | DOI | PubMed | Europe PMC
 

2002 | Journal Article | IST-REx-ID: 6159
de Bono M, Tobin DM, Davis MW, Avery L, Bargmann CI. Social feeding in Caenorhabditis elegans is induced by neurons that detect aversive stimuli. Nature. 2002;419(6910):899-903. doi:10.1038/nature01169
View | DOI | PubMed | Europe PMC
 

2002 | Journal Article | IST-REx-ID: 2620
Lörincz A, Notomi T, Tamás G, Shigemoto R, Nusser Z. Polarized and compartment-dependent distribution of HCN1 in pyramidal cell dendrites. Nature Neuroscience. 2002;5(11):1185-1193. doi:10.1038/nn962
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2621
Millán C, Luján R, Shigemoto R, Sánchez Prieto J. Subtype-specific expression of Group III metabotropic glutamate receptors and Ca2+ channels in single nerve terminals. Journal of Biological Chemistry. 2002;277(49):47796-47803. doi:10.1074/jbc.M207531200
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2622
López Bendito G, Shigemoto R, Kulik Á, Paulsen O, Fairén A, Luján R. Expression and distribution of metabotropic GABA receptor subtypes GABABR1 and GABABR2 during rat neocortical development. European Journal of Neuroscience. 2002;15(11):1766-1778. doi:10.1046/j.1460-9568.2002.02032.x
View | DOI
 

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 | Conference Paper | IST-REx-ID: 2694
Erdös L. Scaling limits of Schrödinger quantum mechanics. In: Vol 597. Springer; 2002:487-506. doi:10.1007/3-540-46122-1_19
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 2708
Erdös L. Two dimensional Pauli operator via scalar potential. In: Vol 307. World Scientific Publishing; 2002:129-133. doi:10.1090/conm/307
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 | Journal Article | IST-REx-ID: 2738
Erdös L. Linear Boltzmann equation as the long time dynamics of an electron weakly coupled to a phonon field. Journal of Statistical Physics. 2002;107(5-6):1043-1127. doi:10.1023/A:1015157624384
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2739
Erdös L, Vougalter V. Pauli operator and Aharonov-Casher theorem for measure valued magnetic fields. Communications in Mathematical Physics. 2002;225(2):399-421. doi:10.1007/s002200100585
View | DOI
 

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

2002 | Journal Article | IST-REx-ID: 2866
Hamann T, Benková E, Bäurle I, Kientz M, Jürgens G. The Arabidopsis BODENLOS gene encodes an auxin response protein inhibiting MONOPTEROS-mediated embryo patterning. Genes and Development. 2002;16(13):1610-1615. doi:10.1101/gad.229402
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: 2986
Friml J, Wiśniewska J, Benková E, Mendgen K, Palme K. Lateral relocation of auxin efflux regulator PIN3 mediates tropism in Arabidopsis. Nature. 2002;415(6873):806-809. doi:10.1038/415806a
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2987
Souter M, Topping J, Pullen M, et al. Hydra mutants of Arabidopsis are defective in sterol profiles and auxin and ethylene signaling. Plant Cell. 2002;14(5):1017-1031. doi:10.1105/tpc.001248
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: 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
 

Search

Filter Publications