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.

6118 Publications


2002 | Journal Article | IST-REx-ID: 3799 | OA
Lien, Cheng, et al. “Gating, Modulation and Subunit Composition of Voltage-Gated K(+) Channels in Dendritic Inhibitory Interneurones of Rat Hippocampus.” Journal of Physiology, vol. 538, no. Pt 2, Wiley-Blackwell, 2002, pp. 405–19, doi: 10.1113/jphysiol.2001.013066.
View | DOI | Download (ext.)
 

2002 | Journal Article | IST-REx-ID: 3800
Bartos, Marlene, et al. “Fast Synaptic Inhibition Promotes Synchronized Gamma Oscillations in Hippocampal Interneuron Networks.” PNAS, vol. 99, no. 20, National Academy of Sciences, 2002, pp. 13222–27, doi:10.1073/pnas.192233099.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 3801
Hefft, Stefan, et al. “Presynaptic Short-Term Depression Is Maintained during Regulation of Transmitter Release at a GABAergic Synapse in Rat Hippocampus.” Journal of Physiology, vol. 539, no. Pt 1, Wiley-Blackwell, 2002, pp. 201–08, doi:10.1113/jphysiol.2001.013455.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 3802
Bischofberger, Josef, et al. “Timing and Efficacy of Ca(2+) Channel Activation in Hippocampal Mossy Fiber Boutons.” Journal of Neuroscience, vol. 22, no. 24, Society for Neuroscience, 2002, pp. 10593–602.
View
 

2002 | Journal Article | IST-REx-ID: 3803
Bischofberger, Josef, and Peter M. Jonas. “TwoB or Not TwoB: Differential Transmission at Glutamatergic Mossy Fiber-Interneuron Synapses in the Hippocampus.” Trends in Neurosciences, vol. 25, no. 12, Elsevier, 2002, pp. 600–03, doi:10.1016/S0166-2236(02)02259-2.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 3621 | OA
Kirkpatrick, Mark, et al. “General Models of Multilocus Evolution.” Genetics, vol. 161, no. 4, Genetics Society of America, 2002, pp. 1727–50.
View | Download (ext.)
 

2002 | Journal Article | IST-REx-ID: 3919 | OA
Cremer, Sylvia, and Jürgen Heinze. “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, vol. 269, no. 1489, Royal Society, The, 2002, pp. 417–22, doi:10.1098/rspb.2001.1892.
View | DOI | Download None (ext.)
 

2002 | Journal Article | IST-REx-ID: 3920
Turillazzi, Stefano, et al. “A Method for Analysing Small-Size Specimens in GC-MS.” Insect Social Life, vol. 4, Elsevier, 2002, pp. 169–75.
View
 

2002 | Journal Article | IST-REx-ID: 3924
Cremer, Sylvia, et al. “A Transitional Stage between the Ergatoid and Winged Male Morph in the Ant Cardiocondyla Obscurior.” Insectes Sociaux, vol. 49, no. 3, Springer, 2002, pp. 221–28, doi:10.1007/s00040-002-8305-z.
View | DOI
 

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: 4148
Tada, Masazumi, et al. “Non-Canonical Wnt Signalling and Regulation of Gastrulation Movements.” Seminars in Cell & Developmental Biology, vol. 13, no. 3, Academic Press, 2002, pp. 251–60, doi:10.1016/S1084-9521(02)00052-6.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4194
Houart, Corinne, et al. “Establishment of the Telencephalon during Gastrulation by Local Antagonism of Wnt Signaling.” Neuron, vol. 35, no. 2, Elsevier, 2002, pp. 255–65, doi:10.1016/S0896-6273(02)00751-1.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4196
Heisenberg, Carl-Philipp J., and Masazumi Tada. “Zebrafish Gastrulation Movements: Bridging Cell and Developmental Biology.” Seminars in Cell & Developmental Biology, vol. 13, no. 6, Academic Press, 2002, pp. 471–79, doi:10.1016/S1084952102001003.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4199
Heisenberg, Carl-Philipp J., and Masazumi Tada. “Wnt Signalling: A Moving Picture Emerges from van Gogh.” Current Biology, vol. 12, no. 4, Cell Press, 2002, pp. R126–28, doi:10.1016/S0960-9822(02)00704-2.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4207
Heisenberg, Carl-Philipp J. “Wnt Signalling: Refocusing on Strabismus.” Current Biology, vol. 12, no. 19, Cell Press, 2002, pp. R657–59, doi:10.1016/S0960-9822(02)01160-0.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4209
Hannus, Michael, et al. “Planar Cell Polarization Requires Widerborst, a B ’ Regulatory Subunit of Protein Phosphatase 2A.” Development, vol. 129, no. 14, Company of Biologists, 2002, pp. 3493–503.
View
 

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 | Thesis | IST-REx-ID: 4414
Mang, Freddy. Games in Open Systems Verification and Synthesis. University of California, Berkeley, 2002, pp. 1–116.
View
 

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 | 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: 897
Castillo Davis, Cristian, et al. “Selection for Short Introns in Highly Expressed Genes.” Nature Genetics, vol. 31, no. 4, Nature Publishing Group, 2002, pp. 415–18, doi:10.1038/ng940.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 859
Perelygin, Andrey, et al. “Evolution of the Mouse Polyubiquitin C Gene.” Journal of Molecular Evolution, vol. 55, no. 2, Springer, 2002, pp. 202–10, doi:10.1007/s00239-002-2318-0.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 871
Kondrashov, Fyodor, et al. “Selection in the Evolution of Gene Duplications .” Genome Biology, vol. 3, no. 2, BioMed Central, 2002, doi:10.1186/gb-2002-3-2-research0008.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 885
Kondrashov, Alexey, et al. “Dobzhansky-Muller Incompatibilities in Protein Evolution.” PNAS, vol. 99, no. 23, National Academy of Sciences, 2002, pp. 14878–83, doi:10.1073/pnas.232565499.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 1452 | OA
Hausel, Tamás, and Michael Thaddeus. “Examples of Mirror Partners Arising from Integrable Systems.” Comptes Rendus de l’Academie Des Sciences - Series I: Mathematics, vol. 333, no. 4, Elsevier, 2001, pp. 313–18, doi:10.1016/S0764-4442(01)02057-2.
View | DOI | Download (ext.)
 

Search

Filter Publications