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, Sylvia, et al. “Chemical Mimicry: Male Ants Disguised by the Queen’s Bouquet.” Nature, vol. 419, Nature Publishing Group, 2002, pp. 897–897, doi:10.1038/419897a.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 3995
Agarwal, Pankaj, et al. “Algorithmic Issues in Modeling Motion.” ACM Computing Surveys, vol. 34, no. 4, ACM, 2002, pp. 550–72, doi:10.1145/592642.592647.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 3996
Edelsbrunner, Herbert, et al. “Topological Persistence and Simplification.” Discrete & Computational Geometry, vol. 28, no. 4, Springer, 2002, pp. 511–33, doi:10.1007/s00454-002-2885-2.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 3998
Edelsbrunner, Herbert, and Damrong Guoy. “An Experimental Study of Sliver Exudation.” Engineering with Computers, vol. 18, no. 3, Springer, 2002, pp. 229–40, doi:10.1007/s003660200020.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4000
Zomorodian, Afra, and Herbert Edelsbrunner. “Fast Software for Box Intersections.” International Journal of Computational Geometry and Applications, vol. 12, no. 1–2, World Scientific Publishing, 2002, pp. 143–72, doi:10.1142/S0218195902000785.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4003
Agarwal, Pankaj, et al. Computing the Writhing Number of a Polygonal Knot. SIAM, 2002, pp. 791–99.
View
 

2002 | Journal Article | IST-REx-ID: 4139
Polechova, Jitka, and P. Stopka. “Geometry of Social Relationships in the Old World Wood Mouse, Apodemus Sylvaticus.” Canadian Journal of Zoology, vol. 80, no. 8, NRC Research Press, 2002, pp. 1383–88, doi:3820.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4258
Navarro, Arcadio, and Nicholas H. Barton. “The Effects of Multilocus Balancing Selection on Neutral Variability.” Genetics, vol. 161, no. 2, Genetics Society of America, 2002, pp. 849–63.
View | Download (ext.)
 

2002 | Journal Article | IST-REx-ID: 4259
Orive, Maria, and Nicholas H. Barton. “Associations between Cytoplasmic and Nuclear Loci in Hybridizing Populations.” Genetics, vol. 162, no. 3, Genetics Society of America, 2002, pp. 1469–85.
View | Download (ext.)
 

2002 | Journal Article | IST-REx-ID: 4260
Johnson, Toby, and Nicholas H. Barton. “The Effect of Deleterious Alleles on Adaptation in Asexual Populations.” Genetics, vol. 162, no. 1, Genetics Society of America, 2002, pp. 395–411.
View | Download (ext.)
 

2002 | Journal Article | IST-REx-ID: 4261
Barton, Nicholas H., and Peter Keightley. “Understanding Quantitative Genetic Variation.” Nature Reviews Genetics, vol. 3, Nature Publishing Group, 2002, pp. 11–21, doi:10.1038/nrg700.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4262
Barton, Nicholas H., and Arcadio Navarro. “Extending the Coalescent to Multilocus Systems: The Case of Balancing Selection.” Genetical Research, vol. 79, no. 2, Cambridge University Press, 2002, pp. 129–39, doi:10.1017/S0016672301005493.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4263
Barton, Nicholas H., et al. “Neutral Evolution in Spatially Continuous Populations.” Theoretical Population Biology, vol. 61, no. 1, Academic Press, 2002, pp. 31–48, doi:10.1006/tpbi.2001.1557.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4347
Huelsenbeck, John, et al. “Inferring the Root of a Phylogenetic Tree.” Systematic Biology, vol. 51, no. 1, Oxford University Press, 2002, pp. 32–43, doi:10.1080/106351502753475862.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4349
Bollback, Jonathan P. “Bayesian Model Adequacy and Choice in Phylogenetics.” Molecular Biology and Evolution, vol. 19, no. 7, Oxford University Press, 2002, pp. 1171–80.
View | Download (ext.)
 

2002 | Journal Article | IST-REx-ID: 4407
Raskin, Jean, et al. “Axioms for Real-Time Logics.” Theoretical Computer Science, vol. 274, no. 1–2, Elsevier, 2002, pp. 151–82, doi:10.1016/S0304-3975(00)00308-X.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4413
Passerone, Roberto, et al. Convertibility Verification and Converter Synthesis: Two Faces of the Same Coin. IEEE, 2002, pp. 132–39, doi:10.1145/774572.774592.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4421
Kirsch, Christoph, et al. A Giotto-Based Helicopter Control System. Vol. 2491, ACM, 2002, pp. 46–60, doi:10.1007/3-540-45828-X_5.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4422
Jurdziński, Marcin, et al. Trading Probability for Fairness. Vol. 2471, Springer, 2002, pp. 292–305, doi:10.1007/3-540-45793-3_20.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4423
Horowitz, Benjamin, et al. Embedded Software Design and System Integration for Rotorcraft UAV Using Platforms. Vol. 15, no. 1, Elsevier, 2002, doi:10.3182/20020721-6-ES-1901.01628.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4444
Henzinger, Thomas A., and Christoph Kirsch. The Embedded Machine: Predictable, Portable Real-Time Code. ACM, 2002, pp. 315–26, doi:10.1145/512529.512567.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4470
Henzinger, Thomas A., et al. Time-Safety Checking for Embedded Programs. Vol. 2491, ACM, 2002, pp. 76–92, doi:10.1007/3-540-45828-X_7.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4471
Henzinger, Thomas A., et al. Synthesis of Uninitialized Systems. Vol. 2380, Springer, 2002, pp. 644–56, doi:10.1007/3-540-45465-9_55.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4472
Henzinger, Thomas A., et al. Temporal Safety Proofs for Systems Code. Vol. 2404, Springer, 2002, pp. 526–38, doi:10.1007/3-540-45657-0_45.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4473
Henzinger, Thomas A., et al. “An Assume-Guarantee Rule for Checking Simulation.” ACM Transactions on Programming Languages and Systems (TOPLAS), vol. 24, no. 1, ACM, 2002, pp. 51–64, doi:10.1145/509705.509707.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4474
Henzinger, Thomas A., et al. “Fair Simulation.” Information and Computation, vol. 173, no. 1, Elsevier, 2002, pp. 64–81, doi:10.1006/inco.2001.3085.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4476
Henzinger, Thomas A., et al. Lazy Abstraction. ACM, 2002, pp. 58–70, doi:10.1145/503272.503279.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4562
Chakrabarti, Arindam, et al. Synchronous and Bidirectional Component Interfaces. Vol. 2404, Springer, 2002, pp. 414–27, doi:10.1007/3-540-45657-0_34.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4563
Chakrabarti, Arindam, et al. Interface Compatibility Checking for Software Modules. Vol. 2404, Springer, 2002, pp. 428–41, doi:10.1007/3-540-45657-0_35.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4565
Cassez, Franck, et al. A Comparison of Control Problems for Timed and Hybrid Systems. Vol. 2289, Springer, 2002, pp. 134–48, doi:10.1007/3-540-45873-5_13.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4595
Alur, Rajeev, et al. “Alternating-Time Temporal Logic.” Journal of the ACM, vol. 49, no. 5, ACM, 2002, pp. 672–713, doi:10.1145/585265.585270.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4631
De Alfaro, Luca, et al. Timed Interfaces. Vol. 2491, ACM, 2002, pp. 108–22, doi:10.1007/3-540-45828-X_9.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 6158
Coates, Juliet C., and Mario de Bono. “Antagonistic Pathways in Neurons Exposed to Body Fluid Regulate Social Feeding in Caenorhabditis Elegans.” Nature, vol. 419, no. 6910, Springer Nature, 2002, pp. 925–29, doi:10.1038/nature01170.
View | DOI | PubMed | Europe PMC
 

2002 | Journal Article | IST-REx-ID: 6159
de Bono, Mario, et al. “Social Feeding in Caenorhabditis Elegans Is Induced by Neurons That Detect Aversive Stimuli.” Nature, vol. 419, no. 6910, Springer Nature, 2002, pp. 899–903, doi:10.1038/nature01169.
View | DOI | PubMed | Europe PMC
 

2002 | Journal Article | IST-REx-ID: 2620
Lörincz, Andrea, et al. “Polarized and Compartment-Dependent Distribution of HCN1 in Pyramidal Cell Dendrites.” Nature Neuroscience, vol. 5, no. 11, Nature Publishing Group, 2002, pp. 1185–93, doi:10.1038/nn962.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2621
Millán, Carmelo, et al. “Subtype-Specific Expression of Group III Metabotropic Glutamate Receptors and Ca2+ Channels in Single Nerve Terminals.” Journal of Biological Chemistry, vol. 277, no. 49, American Society for Biochemistry and Molecular Biology, 2002, pp. 47796–803, doi:10.1074/jbc.M207531200.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2622
López Bendito, Guillermina, et al. “Expression and Distribution of Metabotropic GABA Receptor Subtypes GABABR1 and GABABR2 during Rat Neocortical Development.” European Journal of Neuroscience, vol. 15, no. 11, Wiley-Blackwell, 2002, pp. 1766–78, doi:10.1046/j.1460-9568.2002.02032.x.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2624
Kulik, Ákos, et al. “Distinct Localization of GABAB Receptors Relative to Synaptic Sites in the Rat Cerebellum and Ventrobasal Thalamus.” European Journal of Neuroscience, vol. 15, no. 2, Wiley-Blackwell, 2002, pp. 291–307, doi:10.1046/j.0953-816x.2001.01855.x.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 2694
Erdös, László. Scaling Limits of Schrödinger Quantum Mechanics. Vol. 597, Springer, 2002, pp. 487–506, doi:10.1007/3-540-46122-1_19.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 2708
Erdös, László. Two Dimensional Pauli Operator via Scalar Potential. Vol. 307, World Scientific Publishing, 2002, pp. 129–33, doi:10.1090/conm/307.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2737
Bardos, Claude, et al. “Derivation of the Schrödinger-Poisson Equation from the Quantum N-Body Problem.” Comptes Rendus Mathematique, vol. 334, no. 6, Elsevier, 2002, pp. 515–20, doi:10.1016/S1631-073X(02)02253-7.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2738
Erdös, László. “Linear Boltzmann Equation as the Long Time Dynamics of an Electron Weakly Coupled to a Phonon Field.” Journal of Statistical Physics, vol. 107, no. 5–6, Springer, 2002, pp. 1043–127, doi:10.1023/A:1015157624384.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2739
Erdös, László, and Vitali Vougalter. “Pauli Operator and Aharonov-Casher Theorem for Measure Valued Magnetic Fields.” Communications in Mathematical Physics, vol. 225, no. 2, Springer, 2002, pp. 399–421, doi:10.1007/s002200100585.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2740
Erdös, László. “Spectral Shift and Multiplicity of the First Eigenvalue of the Magnetic Schrödinger Operator in Two Dimensions.” Annales de l’Institut Fourier, vol. 52, no. 6, Association des Annales de l’Institut Fourier, 2002, p. 1833–1874+XI+VII, doi:10.5802/aif.1936.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2866
Hamann, Thorsten, et al. “The Arabidopsis BODENLOS Gene Encodes an Auxin Response Protein Inhibiting MONOPTEROS-Mediated Embryo Patterning.” Genes and Development, vol. 16, no. 13, Cold Spring Harbor Laboratory Press, 2002, pp. 1610–15, doi:10.1101/gad.229402.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 2927
Kolmogorov, Vladimir, and Ramin Zabih. Multi-Camera Scene Reconstruction via Graph Cuts. Springer, 2002, pp. 65–81, doi:10.1007/3-540-47977-5_5.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2986
Friml, Jirí, et al. “Lateral Relocation of Auxin Efflux Regulator PIN3 Mediates Tropism in Arabidopsis.” Nature, vol. 415, no. 6873, Nature Publishing Group, 2002, pp. 806–09, doi:10.1038/415806a.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2987
Souter, Martin, et al. “Hydra Mutants of Arabidopsis Are Defective in Sterol Profiles and Auxin and Ethylene Signaling.” Plant Cell, vol. 14, no. 5, American Society of Plant Biologists, 2002, pp. 1017–31, doi:10.1105/tpc.001248.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2988
Grebe, Markus, et al. “Cell Polarity Signaling in Arabidopsis Involves a BFA Sensitive Auxin Influx Pathway.” Current Biology, vol. 12, no. 4, Cell Press, 2002, pp. 329–34, doi:10.1016/S0960-9822(02)00654-1.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2989
Friml, Jirí, et al. “AtPIN4 Mediates Sink-Driven Auxin Gradients and Root Patterning in Arabidopsis.” Cell, vol. 108, no. 5, Cell Press, 2002, pp. 661–73, doi:10.1016/S0092-8674(02)00656-6.
View | DOI
 

Search

Filter Publications