Please note that ISTA 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.
106 Publications
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.
[Published Version]
View
| DOI
| Download Published Version (ext.)
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,” in Proceedings of the 14th International Conference on Computer Aided Verification, Copenhagen, Denmark, 2002, vol. 2404, pp. 428–441.
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,” in Proceedings of the 14th International Conference on Computer Aided Verification, Copenhagen, Denmark, 2002, vol. 2404, pp. 526–538.
View
| DOI
2002 | Conference Paper | IST-REx-ID: 4423
B. Horowitz et al., “Embedded software design and system integration for rotorcraft UAV using platforms,” in Proceedings of the 15th Triennial World Congress of the International Federation of Automatic Control, Barcelona, Spain, 2002, vol. 15, no. 1.
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,” in Proceedings of the 11th IEEE/ACM international conference on Computer-aided design, San Jose, CA, USA, 2002, pp. 132–139.
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
| PubMed | Europe PMC
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
| DOI
| Download None (ext.)
| PubMed | Europe PMC
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
| DOI
| PubMed | Europe PMC
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
| PubMed | Europe PMC
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
| PubMed | Europe PMC
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
| PubMed | Europe PMC
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.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
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.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
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
| DOI
| PubMed | Europe PMC
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
| PubMed | Europe PMC
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
| PubMed | Europe PMC
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
| PubMed | Europe PMC
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
| PubMed | Europe PMC
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
| PubMed | Europe PMC
2002 | Conference Paper | IST-REx-ID: 4003
P. Agarwal, H. Edelsbrunner, and Y. Wang, “Computing the writhing number of a polygonal knot,” in Proceedings of the 13th annual ACM-SIAM symposium on Discrete algorithms, San Francisco, CA, USA, 2002, pp. 791–799.
View
| Download None (ext.)
2002 | Journal Article | IST-REx-ID: 3995
Agarwal P, Guibas L, Edelsbrunner H, Erickson J, Isard M, Har Peled S, Hershberger J, Jensen C, Kavraki L, Koehl P, Lin M, Manocha D, Metaxas D, Mirtich B, Mount D, Muthukrishnan S, Pai D, Sacks E, Snoeyink J, Suri S, Wolefson O. 2002. Algorithmic issues in modeling motion. ACM Computing Surveys. 34(4), 550–572.
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.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2002 | Journal Article | IST-REx-ID: 3919 |
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.)
| PubMed | Europe PMC
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
| PubMed | Europe PMC
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: 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.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
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
| PubMed | Europe PMC
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.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2002 | Journal Article | IST-REx-ID: 3799 |
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.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2002 | Journal Article | IST-REx-ID: 3621 |
M. Kirkpatrick, T. Johnson, and N. H. Barton, “General models of multilocus evolution,” Genetics, vol. 161, no. 4. Genetics Society of America, pp. 1727–1750, 2002.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
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
| PubMed | Europe PMC
2002 | Journal Article | IST-REx-ID: 3497
J. Geiger et al., “Patch-clamp recording in brain slices with improved slicer technology,” Pflugers Archiv : European Journal of Physiology, vol. 443, no. 3. Springer, pp. 491–501, 2002.
View
| DOI
| PubMed | Europe PMC
2002 | Journal Article | IST-REx-ID: 3533
G. Buzsáki, J. L. Csicsvari, G. Dragoi, K. Harris, D. Henze, and H. Hirase, “Homeostatic maintenance of neuronal excitability by burst discharges in vivo,” Cerebral Cortex, vol. 12, no. 9. Oxford University Press, pp. 893–899, 2002.
View
| DOI
| PubMed | Europe PMC
2002 | Journal Article | IST-REx-ID: 2988
M. Grebe et al., “Cell polarity signaling in Arabidopsis involves a BFA sensitive auxin influx pathway,” Current Biology, vol. 12, no. 4. Cell Press, pp. 329–334, 2002.
View
| DOI
| PubMed | Europe PMC
2002 | Journal Article | IST-REx-ID: 3421
D. Mueller, H. L. Janovjak, T. Lehto, L. Kuerschner, and K. Anderson, “Observing structure, function and assembly of single proteins by AFM,” Progress in Biophysics and Molecular Biology, vol. 79, no. 1–3. Elsevier, pp. 1–43, 2002.
View
| DOI
| PubMed | Europe PMC