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.
8998 Publications
2003 | Journal Article | IST-REx-ID: 6156
Rogers C, Reale V, Kim K, Chatwin H, Li C, Evans P, de Bono M. 2003. Inhibition of Caenorhabditis elegans social feeding by FMRFamide-related peptide activation of NPR-1. Nature Neuroscience. 6(11), 1178–1185.
View
| DOI
| PubMed | Europe PMC
2003 | Journal Article | IST-REx-ID: 6157
de Bono M. 2003. Molecular approaches to aggregation behavior and social attachment. Journal of Neurobiology. 54(1), 78–92.
View
| DOI
| PubMed | Europe PMC
2003 | Journal Article | IST-REx-ID: 9495 |
Cao X, Aufsatz W, Zilberman D, Mette MF, Huang MS, Matzke M, Jacobsen SE. 2003. Role of the DRM and CMT3 methyltransferases in RNA-directed DNA methylation. Current Biology. 13(24), 2212–2217.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2003 | Journal Article | IST-REx-ID: 9455
Zilberman D, Cao Xiaofeng, Jacobsen SE. 2003. ARGONAUTE4 control of locus-specific siRNA accumulation and DNA and histone methylation. Science. 299(5607), 716–719.
View
| DOI
| PubMed | Europe PMC
2003 | Conference Paper | IST-REx-ID: 4628
De Alfaro L, Henzinger TA, Majumdar R. 2003. Discounting the future in systems theory. Proceedings of the 30th International Colloquium on Automata, Languages and Programming. ICALP: Automata, Languages and Programming, LNCS, vol. 2719, 1022–1037.
View
| DOI
2003 | Conference Paper | IST-REx-ID: 4466
Henzinger TA, Kupferman O, Majumdar R. 2003. On the universal and existential fragments of the mu-calculus. Proceedings of the 9th International Conference on Tools and Algorithms for the Construction and Analysis of Systems . TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 2619, 49–64.
View
| DOI
2003 | Journal Article | IST-REx-ID: 4350
Harshman J, Huddleston C, Bollback JP, Parsons T, Braun M. 2003. True and false gharials: A nuclear gene phylogeny of crocodylia. Systematic Biology. 52(3), 386–402.
View
| DOI
| PubMed | Europe PMC
2003 | Journal Article | IST-REx-ID: 4348
Huelsenbeck J, Nielsen R, Bollback JP. 2003. Stochastic mapping of morphological characters. Systematic Biology. 52(2), 131–158.
View
| DOI
| PubMed | Europe PMC
2003 | Journal Article | IST-REx-ID: 4254
Navarro A, Barton NH. 2003. Accumulating postzygotic isolation genes in parapatry: a new twist on chromosomal speciation. Evolution; International Journal of Organic Evolution. 57(3), 447–459.
View
| DOI
| PubMed | Europe PMC
2003 | Journal Article | IST-REx-ID: 4255
Navarro A, Barton NH. 2003. Chromosomal speciation and molecular divergence -- Accelerated evolution in rearranged chromosomes. Science. 300(5617), 321–324.
View
| DOI
| PubMed | Europe PMC
2003 | Journal Article | IST-REx-ID: 4146 |
Ulrich F, Concha M, Heid P, Voss E, Witzel S, Roehl H, Tada M, Wilson S, Adams R, Soll D, Heisenberg C-PJ. 2003. Slb/Wnt11 controls hypoblast cell migration and morphogenesis at the onset of zebrafish gastrulation. Development. 130(22), 5375–5384.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
2003 | Journal Article | IST-REx-ID: 4169
Montero J, Kilian B, Chan J, Bayliss P, Heisenberg C-PJ. 2003. Phosphoinositide 3-kinase is required for process outgrowth and cell polarization of gastrulating mesendodermal cells. Current Biology. 13(15), 1279–1289.
View
| DOI
| PubMed | Europe PMC
2003 | Journal Article | IST-REx-ID: 4185
Kilian B, Mansukoski H, Barbosa F, Ulrich F, Tada M, Heisenberg C-PJ. 2003. The role of Ppt/Wnt5 in regulating cell shape and movement during zebrafish gastrulation. Mechanisms of Development. 120(4), 467–476.
View
| DOI
| PubMed | Europe PMC
2003 | Journal Article | IST-REx-ID: 3992 |
Edelsbrunner H, Koehl P. 2003. The weighted-volume derivative of a space-filling diagram. PNAS. 100(5), 2203–2208.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2003 | Conference Paper | IST-REx-ID: 3999
Edelsbrunner H, Üngör A. 2003. Relaxed scheduling in dynamic skin triangulation. Proceedings of the Japanese Conference on Discrete and Computational Geometry . JCDCG: Japanese Conference on Discrete and Computational Geometry, LNCS, vol. 2866, 135–151.
View
| DOI
2003 | Journal Article | IST-REx-ID: 4168
Montero J, Heisenberg C-PJ. 2003. Adhesive crosstalk in gastrulation. Developmental Cell. 5(2), 190–191.
View
| DOI
| PubMed | Europe PMC
2002 | Journal Article | IST-REx-ID: 11124 |
Bilbao-Cortés D, Hetzer M, Längst G, Becker PB, Mattaj IW. 2002. Ran binds to chromatin by two distinct mechanisms. Current Biology. 12(13), 1151–1156.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2002 | Journal Article | IST-REx-ID: 11123
Hetzer M, Gruss OJ, Mattaj IW. 2002. The Ran GTPase as a marker of chromosome position in spindle formation and nuclear envelope assembly. Nature Cell Biology. 4(7), E177–E184.
View
| DOI
| PubMed | Europe PMC
2002 | Journal Article | IST-REx-ID: 12659 |
Burlando P, Pellicciotti F, Strasser U. 2002. Modelling mountainous water systems between learning and speculating looking for challenges. Hydrology Research. 33(1), 47–74.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2002 | Journal Article | IST-REx-ID: 2351 |
Seiringer R. 2002. Gross-Pitaevskii theory of the rotating Bose gas. Communications in Mathematical Physics. 229(3), 491–509.
View
| DOI
| Download (ext.)
2002 | Journal Article | IST-REx-ID: 2349 |
Lieb É, Seiringer R. 2002. Proof of Bose-Einstein condensation for dilute trapped gases. Physical Review Letters. 88(17), 1704091–1704094.
View
| DOI
| Download (ext.)
2002 | Journal Article | IST-REx-ID: 2352 |
Hainzl C, Seiringer R. 2002. General decomposition of radial functions on ℝn and applications to N-body quantum systems. Letters in Mathematical Physics. 61(1), 75–84.
View
| DOI
| Download (ext.)
2002 | Journal Article | IST-REx-ID: 2617 |
Losonczy A, Zhang L, Shigemoto R, Somogyi P, Nusser Z. 2002. Cell type dependence and variability in the short-term plasticity of EPSCs in identified mouse hippocampal interneurones. Journal of Physiology. 542(1), 193–210.
View
| DOI
| Download (ext.)
2002 | Patent | IST-REx-ID: 3508 |
Edelsbrunner H, Fu P. 2002. Methods of generating three-dimensional digital models of objects by wrapping point cloud data points.
[Published Version]
View
| Download Published Version (ext.)
2002 | Conference Paper | IST-REx-ID: 3448
Mallick S, Chatterjee K, Merchant A, Dasgupta P. 2002. Implementation of shape grammar for plan analysis. IT-Built: Information Technology For Built Environment.
View
2002 | Thesis | IST-REx-ID: 4414
Mang F. 2002. Games in open systems verification and synthesis. University of California, Berkeley.
View
2002 | Journal Article | IST-REx-ID: 6158
Coates JC, de Bono M. 2002. Antagonistic pathways in neurons exposed to body fluid regulate social feeding in Caenorhabditis elegans. Nature. 419(6910), 925–929.
View
| DOI
| PubMed | Europe PMC
2002 | Journal Article | IST-REx-ID: 6159
de Bono M, Tobin DM, Davis MW, Avery L, Bargmann CI. 2002. Social feeding in Caenorhabditis elegans is induced by neurons that detect aversive stimuli. Nature. 419(6910), 899–903.
View
| DOI
| PubMed | Europe PMC
2002 | Conference Paper | IST-REx-ID: 4562
Chakrabarti A, De Alfaro L, Henzinger TA, Mang F. 2002. Synchronous and bidirectional component interfaces. Proceedings of the 14th International Conference on Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 2404, 414–427.
View
| DOI
2002 | Conference Paper | IST-REx-ID: 4565
Cassez F, Henzinger TA, Raskin J. 2002. A comparison of control problems for timed and hybrid systems. Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control. HSCC: Hybrid Systems - Computation and Control, LNCS, vol. 2289, 134–148.
View
| DOI
2002 | Conference Paper | IST-REx-ID: 4471
Henzinger TA, Krishnan S, Kupferman O, Mang F. 2002. Synthesis of uninitialized systems. Proceedings of the 29th International Colloquium on Automata, Languages and Programming. ICALP: Automata, Languages and Programming, LNCS, vol. 2380, 644–656.
View
| DOI
2002 | Journal Article | IST-REx-ID: 4474 |
Henzinger TA, Kupferman O, Rajamani S. 2002. Fair simulation. Information and Computation. 173(1), 64–81.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2002 | Conference Paper | IST-REx-ID: 4563
Chakrabarti A, De Alfaro L, Henzinger TA, Jurdziński M, Mang F. 2002. Interface compatibility checking for software modules. Proceedings of the 14th International Conference on Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 2404, 428–441.
View
| DOI
2002 | Conference Paper | IST-REx-ID: 4472
Henzinger TA, Necula G, Jhala R, Sutre G, Majumdar R, Weimer W. 2002. Temporal safety proofs for systems code. Proceedings of the 14th International Conference on Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 2404, 526–538.
View
| DOI
2002 | Conference Paper | IST-REx-ID: 4444
Henzinger TA, Kirsch C. 2002. The embedded machine: predictable, portable real-time code. Proceedings of the ACM SIGPLAN 2002 conference on Programming language design and implementation. PLDI: Programming Languages Design and Implementation, 315–326.
View
| DOI
2002 | Conference Paper | IST-REx-ID: 4423
Horowitz B, Liebman J, Ma C, Koo TJ, Henzinger TA, Sangiovanni Vincentelli A, Sastry S. 2002. Embedded software design and system integration for rotorcraft UAV using platforms. Proceedings of the 15th Triennial World Congress of the International Federation of Automatic Control. IFAC: World Congress on Automatic Control vol. 15.
View
| DOI
2002 | Conference Paper | IST-REx-ID: 4413
Passerone R, De Alfaro L, Henzinger TA, Sangiovanni Vincentelli A. 2002. Convertibility verification and converter synthesis: Two faces of the same coin. Proceedings of the 11th IEEE/ACM international conference on Computer-aided design. ICCAD: Computer-Aided Design, 132–139.
View
| DOI
2002 | Journal Article | IST-REx-ID: 4262
Barton NH, Navarro A. 2002. Extending the coalescent to multilocus systems: the case of balancing selection. Genetical Research. 79(2), 129–139.
View
| DOI
| PubMed | Europe PMC
2002 | Journal Article | IST-REx-ID: 4260 |
Johnson T, Barton NH. 2002. The effect of deleterious alleles on adaptation in asexual populations. Genetics. 162(1), 395–411.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
2002 | Journal Article | IST-REx-ID: 4349
Bollback JP. 2002. Bayesian model adequacy and choice in phylogenetics. Molecular Biology and Evolution. 19(7), 1171–80.
View
| DOI
| PubMed | Europe PMC
2002 | Journal Article | IST-REx-ID: 4263
Barton NH, Depaulis F, Etheridge A. 2002. Neutral evolution in spatially continuous populations. Theoretical Population Biology. 61(1), 31–48.
View
| DOI
| PubMed | Europe PMC
2002 | Journal Article | IST-REx-ID: 4261
Barton NH, Keightley P. 2002. Understanding quantitative genetic variation. Nature Reviews Genetics. 3, 11–21.
View
| DOI
| PubMed | Europe PMC
2002 | Journal Article | IST-REx-ID: 4347
Huelsenbeck J, Bollback JP, Levine A. 2002. Inferring the root of a phylogenetic tree. Systematic Biology. 51(1), 32–43.
View
| DOI
| PubMed | Europe PMC
2002 | Journal Article | IST-REx-ID: 4258 |
Navarro A, Barton NH. 2002. The effects of multilocus balancing selection on neutral variability. Genetics. 161(2), 849–863.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2002 | Journal Article | IST-REx-ID: 4259 |
Orive M, Barton NH. 2002. Associations between cytoplasmic and nuclear loci in hybridizing populations. Genetics. 162(3), 1469–1485.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2002 | Journal Article | IST-REx-ID: 4209
Hannus M, Feiguin F, Heisenberg C-PJ, Eaton S. 2002. Planar cell polarization requires Widerborst, a B′ regulatory subunit of protein phosphatase 2A. Development. 129(14), 3493–3503.
View
| DOI
| PubMed | Europe PMC
2002 | Journal Article | IST-REx-ID: 4207
Heisenberg C-PJ. 2002. Wnt signalling: Refocusing on Strabismus. Current Biology. 12(19), R657–R659.
View
| DOI
| PubMed | Europe PMC
2002 | Journal Article | IST-REx-ID: 4194
Houart C, Caneparo L, Heisenberg C-PJ, Barth KA, Take Uchi M, Wilson S. 2002. Establishment of the telencephalon during gastrulation by local antagonism of Wnt signaling. Neuron. 35(2), 255–265.
View
| DOI
| PubMed | Europe PMC
2002 | Journal Article | IST-REx-ID: 4148
Tada M, Concha M, Heisenberg C-PJ. 2002. Non-canonical Wnt signalling and regulation of gastrulation movements. Seminars in Cell & Developmental Biology. 13(3), 251–260.
View
| DOI
| PubMed | Europe PMC
2002 | Journal Article | IST-REx-ID: 4196
Heisenberg C-PJ, Tada M. 2002. Zebrafish gastrulation movements: bridging cell and developmental biology. Seminars in Cell & Developmental Biology. 13(6), 471–479.
View
| DOI
| PubMed | Europe PMC
2002 | Journal Article | IST-REx-ID: 4199
Heisenberg C-PJ, Tada M. 2002. Wnt signalling: A moving picture emerges from van gogh. Current Biology. 12(4), R126–R128.
View
| DOI
| PubMed | Europe PMC
2002 | Conference Paper | IST-REx-ID: 4003
Agarwal P, Edelsbrunner H, Wang Y. 2002. Computing the writhing number of a polygonal knot. Proceedings of the 13th annual ACM-SIAM symposium on Discrete algorithms. SODA: Symposium on Discrete Algorithms, 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 |
Bischofberger J, Geiger J, Jonas PM. 2002. Timing and efficacy of Ca(2+) channel activation in hippocampal mossy fiber boutons. Journal of Neuroscience. 22(24), 10593–10602.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2002 | Journal Article | IST-REx-ID: 3919 |
Cremer S, Heinze J. 2002. 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. 269(1489), 417–422.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
2002 | Journal Article | IST-REx-ID: 3925
Cremer S, Sledge M, Heinze J. 2002. Chemical mimicry: Male ants disguised by the queen’s bouquet. Nature. 419, 897–897.
View
| DOI
| PubMed | Europe PMC
2002 | Journal Article | IST-REx-ID: 3920
Turillazzi S, Sledge M, Cremer S, Heinze J. 2002. A method for analysing small-size specimens in GC-MS. Insect Social Life. 4, 169–175.
View
2002 | Journal Article | IST-REx-ID: 3800 |
Bartos M, Vida I, Frotscher M, Meyer A, Monyer H, Geiger J, Jonas PM. 2002. Fast synaptic inhibition promotes synchronized gamma oscillations in hippocampal interneuron networks. PNAS. 99(20), 13222–13227.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2002 | Journal Article | IST-REx-ID: 3803
Bischofberger J, Jonas PM. 2002. TwoB or not twoB: differential transmission at glutamatergic mossy fiber-interneuron synapses in the hippocampus. Trends in Neurosciences. 25(12), 600–603.
View
| DOI
| PubMed | Europe PMC
2002 | Journal Article | IST-REx-ID: 3801 |
Hefft S, Kraushaar U, Geiger J, Jonas PM. 2002. Presynaptic short-term depression is maintained during regulation of transmitter release at a GABAergic synapse in rat hippocampus. Journal of Physiology. 539(Pt 1), 201–8.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2002 | Journal Article | IST-REx-ID: 3799 |
Lien C, Martina M, Schultz J, Ehmke H, Jonas PM. 2002. Gating, modulation and subunit composition of voltage-gated K(+) channels in dendritic inhibitory interneurones of rat hippocampus. Journal of Physiology. 538(Pt 2), 405–419.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2002 | Journal Article | IST-REx-ID: 3621 |
Kirkpatrick M, Johnson T, Barton NH. 2002. General models of multilocus evolution. Genetics. 161(4), 1727–1750.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2002 | Journal Article | IST-REx-ID: 3757
Guet CC, Elowitz M, Hsing W, Leibler S. 2002. Combinatorial synthesis of genetic networks. Science. 296(5572), 1466–1470.
View
| DOI
| PubMed | Europe PMC