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.

6285 Publications


2002 | Journal Article | IST-REx-ID: 6159
M. de Bono, D. M. Tobin, M. W. Davis, L. Avery, and C. I. Bargmann, “Social feeding in Caenorhabditis elegans is induced by neurons that detect aversive stimuli,” Nature, vol. 419, no. 6910. Springer Nature, pp. 899–903, 2002.
View | DOI | PubMed | Europe PMC
 

2002 | Journal Article | IST-REx-ID: 1451 | OA
T. Hausel and B. Sturmfels, “Toric hyperkähler varieties,” Documenta Mathematica, vol. 7, no. 1. Deutsche Mathematiker Vereinigung, pp. 495–534, 2002.
View | Download (ext.)
 

2002 | Journal Article | IST-REx-ID: 885
A. Kondrashov, S. Sunyaev, and F. Kondrashov, “Dobzhansky-Muller incompatibilities in protein evolution,” PNAS, vol. 99, no. 23. National Academy of Sciences, pp. 14878–14883, 2002.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 897
C. Castillo Davis, S. Mekhedov, D. Hartl, E. Koonin, and F. Kondrashov, “Selection for short introns in highly expressed genes,” Nature Genetics, vol. 31, no. 4. Nature Publishing Group, pp. 415–418, 2002.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 3757
C. C. Guet, M. Elowitz, W. Hsing, and S. Leibler, “Combinatorial synthesis of genetic networks,” Science, vol. 296, no. 5572. American Association for the Advancement of Science, pp. 1466–1470, 2002.
View | DOI | Download (ext.)
 

2002 | Journal Article | IST-REx-ID: 3799 | OA
C. Lien, M. Martina, J. Schultz, H. Ehmke, and P. M. Jonas, “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, pp. 405–419, 2002.
View | DOI | Download (ext.)
 

2002 | Journal Article | IST-REx-ID: 3800
M. Bartos et al., “Fast synaptic inhibition promotes synchronized gamma oscillations in hippocampal interneuron networks,” PNAS, vol. 99, no. 20. National Academy of Sciences, pp. 13222–13227, 2002.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 3801
S. Hefft, U. Kraushaar, J. Geiger, and P. M. Jonas, “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, pp. 201–8, 2002.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 3802
J. Bischofberger, J. Geiger, and P. M. Jonas, “Timing and efficacy of Ca(2+) channel activation in hippocampal mossy fiber boutons,” Journal of Neuroscience, vol. 22, no. 24. Society for Neuroscience, pp. 10593–10602, 2002.
View
 

2002 | Journal Article | IST-REx-ID: 3803
J. Bischofberger and P. 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, pp. 600–603, 2002.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 3919 | OA
S. Cremer and J. 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, pp. 417–422, 2002.
View | DOI | Download None (ext.)
 

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

2002 | Journal Article | IST-REx-ID: 3924
S. Cremer, B. Lautenschläger, and J. Heinze, “A transitional stage between the ergatoid and winged male morph in the ant Cardiocondyla obscurior,” Insectes Sociaux, vol. 49, no. 3. Springer, pp. 221–228, 2002.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 3925
S. Cremer, M. Sledge, and J. Heinze, “Chemical mimicry: Male ants disguised by the queen’s bouquet,” Nature, vol. 419. Nature Publishing Group, pp. 897–897, 2002.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 3995
P. Agarwal et al., “Algorithmic issues in modeling motion,” ACM Computing Surveys, vol. 34, no. 4. ACM, pp. 550–572, 2002.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 3996
H. Edelsbrunner, D. Letscher, and A. Zomorodian, “Topological persistence and simplification,” Discrete & Computational Geometry, vol. 28, no. 4. Springer, pp. 511–533, 2002.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 3998
H. Edelsbrunner and D. Guoy, “An experimental study of sliver exudation,” Engineering with Computers, vol. 18, no. 3. Springer, pp. 229–240, 2002.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4000
A. Zomorodian and H. Edelsbrunner, “Fast software for box intersections,” International Journal of Computational Geometry and Applications, vol. 12, no. 1–2. World Scientific Publishing, pp. 143–172, 2002.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4003
P. Agarwal, H. Edelsbrunner, and Y. Wang, “Computing the writhing number of a polygonal knot,” presented at the SODA: Symposium on Discrete Algorithms, 2002, pp. 791–799.
View
 

2002 | Journal Article | IST-REx-ID: 4139
J. Polechova 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, pp. 1383–1388, 2002.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4148
M. Tada, M. Concha, and C.-P. J. Heisenberg, “Non-canonical Wnt signalling and regulation of gastrulation movements,” Seminars in Cell & Developmental Biology, vol. 13, no. 3. Academic Press, pp. 251–260, 2002.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4194
C. Houart, L. Caneparo, C.-P. J. Heisenberg, K. A. Barth, M. Take Uchi, and S. Wilson, “Establishment of the telencephalon during gastrulation by local antagonism of Wnt signaling,” Neuron, vol. 35, no. 2. Elsevier, pp. 255–265, 2002.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4196
C.-P. J. Heisenberg and M. Tada, “Zebrafish gastrulation movements: bridging cell and developmental biology,” Seminars in Cell & Developmental Biology, vol. 13, no. 6. Academic Press, pp. 471–479, 2002.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4199
C.-P. J. Heisenberg and M. Tada, “Wnt signalling: A moving picture emerges from van gogh,” Current Biology, vol. 12, no. 4. Cell Press, pp. R126–R128, 2002.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4207
C.-P. J. Heisenberg, “Wnt signalling: Refocusing on Strabismus,” Current Biology, vol. 12, no. 19. Cell Press, pp. R657–R659, 2002.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4209
M. Hannus, F. Feiguin, C.-P. J. Heisenberg, and S. Eaton, “Planar cell polarization requires Widerborst, a B ’ regulatory subunit of protein phosphatase 2A,” Development, vol. 129, no. 14. Company of Biologists, pp. 3493–3503, 2002.
View
 

2002 | Journal Article | IST-REx-ID: 4258
A. Navarro and N. H. Barton, “The effects of multilocus balancing selection on neutral variability,” Genetics, vol. 161, no. 2. Genetics Society of America, pp. 849–863, 2002.
View | Download (ext.)
 

2002 | Journal Article | IST-REx-ID: 4259
M. Orive and N. H. Barton, “Associations between cytoplasmic and nuclear loci in hybridizing populations,” Genetics, vol. 162, no. 3. Genetics Society of America, pp. 1469–1485, 2002.
View | Download (ext.)
 

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

2002 | Journal Article | IST-REx-ID: 4261
N. H. Barton and P. Keightley, “Understanding quantitative genetic variation,” Nature Reviews Genetics, vol. 3. Nature Publishing Group, pp. 11–21, 2002.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4262
N. H. Barton and A. Navarro, “Extending the coalescent to multilocus systems: the case of balancing selection,” Genetical Research, vol. 79, no. 2. Cambridge University Press, pp. 129–139, 2002.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4263
N. H. Barton, F. Depaulis, and A. Etheridge, “Neutral evolution in spatially continuous populations,” Theoretical Population Biology, vol. 61, no. 1. Academic Press, pp. 31–48, 2002.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4347
J. Huelsenbeck, J. P. Bollback, and A. Levine, “Inferring the root of a phylogenetic tree,” Systematic Biology, vol. 51, no. 1. Oxford University Press, pp. 32–43, 2002.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4349
J. P. Bollback, “Bayesian model adequacy and choice in phylogenetics,” Molecular Biology and Evolution, vol. 19, no. 7. Oxford University Press, pp. 1171–80, 2002.
View | Download (ext.)
 

2002 | Journal Article | IST-REx-ID: 4407
J. Raskin, P. Schobbens, and T. A. Henzinger, “Axioms for real-time logics,” Theoretical Computer Science, vol. 274, no. 1–2. Elsevier, pp. 151–182, 2002.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4413
R. Passerone, L. De Alfaro, T. A. Henzinger, and A. Sangiovanni Vincentelli, “Convertibility verification and converter synthesis: Two faces of the same coin,” presented at the ICCAD: Computer-Aided Design, 2002, pp. 132–139.
View | DOI
 

2002 | Thesis | IST-REx-ID: 4414
F. Mang, “Games in open systems verification and synthesis,” University of California, Berkeley, 2002.
View
 

2002 | Conference Paper | IST-REx-ID: 4421
C. Kirsch, M. Sanvido, T. A. Henzinger, and W. Pree, “A Giotto-based helicopter control system,” presented at the EMSOFT: Embedded Software , 2002, vol. 2491, pp. 46–60.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4422
M. Jurdziński, O. Kupferman, and T. A. Henzinger, “Trading probability for fairness,” presented at the CSL: Computer Science Logic, 2002, vol. 2471, pp. 292–305.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4423
B. Horowitz et al., “Embedded software design and system integration for rotorcraft UAV using platforms,” presented at the IFAC: World Congress on Automatic Control, 2002, vol. 15, no. 1.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4444
T. A. Henzinger and C. Kirsch, “The embedded machine: predictable, portable real-time code,” presented at the PLDI: Programming Languages Design and Implementation, 2002, pp. 315–326.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4470
T. A. Henzinger, C. Kirsch, R. Majumdar, and S. Matic, “Time-safety checking for embedded programs,” presented at the EMSOFT: Embedded Software , 2002, vol. 2491, pp. 76–92.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4471
T. A. Henzinger, S. Krishnan, O. Kupferman, and F. Mang, “Synthesis of uninitialized systems,” presented at the ICALP: Automata, Languages and Programming, 2002, vol. 2380, pp. 644–656.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4472
T. A. Henzinger, G. Necula, R. Jhala, G. Sutre, R. Majumdar, and W. Weimer, “Temporal safety proofs for systems code,” presented at the CAV: Computer Aided Verification, 2002, vol. 2404, pp. 526–538.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4473
T. A. Henzinger, S. Qadeer, S. Rajamani, and S. Tasiran, “An assume-guarantee rule for checking simulation,” ACM Transactions on Programming Languages and Systems (TOPLAS), vol. 24, no. 1. ACM, pp. 51–64, 2002.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4474
T. A. Henzinger, O. Kupferman, and S. Rajamani, “Fair simulation,” Information and Computation, vol. 173, no. 1. Elsevier, pp. 64–81, 2002.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4476
T. A. Henzinger, R. Jhala, R. Majumdar, and G. Sutre, “Lazy abstraction,” presented at the POPL: Principles of Programming Languages, 2002, pp. 58–70.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4562
A. Chakrabarti, L. De Alfaro, T. A. Henzinger, and F. Mang, “Synchronous and bidirectional component interfaces,” presented at the CAV: Computer Aided Verification, 2002, vol. 2404, pp. 414–427.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4563
A. Chakrabarti, L. De Alfaro, T. A. Henzinger, M. Jurdziński, and F. Mang, “Interface compatibility checking for software modules,” presented at the CAV: Computer Aided Verification, 2002, vol. 2404, pp. 428–441.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4565
F. Cassez, T. A. Henzinger, and J. Raskin, “A comparison of control problems for timed and hybrid systems,” presented at the HSCC: Hybrid Systems - Computation and Control, 2002, vol. 2289, pp. 134–148.
View | DOI
 

Search

Filter Publications