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 | Conference Paper | IST-REx-ID: 4470
Henzinger TA, Kirsch C, Majumdar R, Matic S. 2002. Time-safety checking for embedded programs. Proceedings of the 2nd International Conference on Embedded Software. EMSOFT: Embedded Software , LNCS, vol. 2491, 76–92.
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: 4476
Henzinger TA, Jhala R, Majumdar R, Sutre G. 2002. Lazy abstraction. Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages. POPL: Principles of Programming Languages, 58–70.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4473
Henzinger TA, Qadeer S, Rajamani S, Tasiran S. 2002. An assume-guarantee rule for checking simulation. ACM Transactions on Programming Languages and Systems (TOPLAS). 24(1), 51–64.
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: 4421
Kirsch C, Sanvido M, Henzinger TA, Pree W. 2002. A Giotto-based helicopter control system. Proceedings of the 2nd International Conference on Embedded Software. EMSOFT: Embedded Software , LNCS, vol. 2491, 46–60.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4422
Jurdziński M, Kupferman O, Henzinger TA. 2002. Trading probability for fairness. Proceedings of the 16th International Workshop on Computer Science Logic. CSL: Computer Science Logic, LNCS, vol. 2471, 292–305.
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 | OA
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: 4407
Raskin J, Schobbens P, Henzinger TA. 2002. Axioms for real-time logics. Theoretical Computer Science. 274(1–2), 151–182.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4258 | OA
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 | OA
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 | Journal Article | IST-REx-ID: 4139
Polechova J, Stopka P. 2002. Geometry of social relationships in the Old World wood mouse, Apodemus sylvaticus. Canadian Journal of Zoology. 80(8), 1383–1388.
View | DOI
 

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: 4000
Zomorodian A, Edelsbrunner H. 2002. Fast software for box intersections. International Journal of Computational Geometry and Applications. 12(1–2), 143–172.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 3998
Edelsbrunner H, Guoy D. 2002. An experimental study of sliver exudation. Engineering with Computers. 18(3), 229–240.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 3802 | OA
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 | OA
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: 3924
Cremer S, Lautenschläger B, Heinze J. 2002. A transitional stage between the ergatoid and winged male morph in the ant Cardiocondyla obscurior. Insectes Sociaux. 49(3), 221–228.
View | DOI
 

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: 3996
Edelsbrunner H, Letscher D, Zomorodian A. 2002. Topological persistence and simplification. Discrete & Computational Geometry. 28(4), 511–533.
View | DOI
 

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 | OA
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 | OA
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 | OA
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 | OA
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
 

2002 | Journal Article | IST-REx-ID: 3497
Geiger J, Bischofberger J, Vida I, Fröbe U, Pfitzinger S, Weber H, Haverkampf K, Jonas PM. 2002. Patch-clamp recording in brain slices with improved slicer technology. Pflugers Archiv : European Journal of Physiology. 443(3), 491–501.
View | DOI | PubMed | Europe PMC
 

2002 | Journal Article | IST-REx-ID: 3533
Buzsáki G, Csicsvari JL, Dragoi G, Harris K, Henze D, Hirase H. 2002. Homeostatic maintenance of neuronal excitability by burst discharges in vivo. Cerebral Cortex. 12(9), 893–899.
View | DOI | PubMed | Europe PMC
 

2002 | Conference Paper | IST-REx-ID: 3424
Bollenbach MT, Bauer W. 2002. 3d supernovae collapse calculations. CRIS: Catania Relativistic Ion Studies , Exotic Clustering, American Institute of Physics Conference Proceedings, vol. 644, 219–232.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2988
Grebe M, Friml J, Swarup R, Ljung K, Sandberg G, Terlou M, Palme K, Bennett M, Scheres B. 2002. Cell polarity signaling in Arabidopsis involves a BFA sensitive auxin influx pathway. Current Biology. 12(4), 329–334.
View | DOI | PubMed | Europe PMC
 

2002 | Journal Article | IST-REx-ID: 3421
Mueller D, Janovjak HL, Lehto T, Kuerschner L, Anderson K. 2002. Observing structure, function and assembly of single proteins by AFM. Progress in Biophysics and Molecular Biology. 79(1–3), 1–43.
View | DOI | PubMed | Europe PMC
 

2002 | Journal Article | IST-REx-ID: 2989
Friml J, Benková E, Blilou I, Wiśniewska J, Hamann T, Ljung K, Woody S, Sandberg G, Scheres B, Jürgens G, Palme K. 2002. AtPIN4 mediates sink-driven auxin gradients and root patterning in Arabidopsis. Cell. 108(5), 661–673.
View | DOI | PubMed | Europe PMC
 

2002 | Journal Article | IST-REx-ID: 3422
Müller P, Janovjak HL, Miserez A, Dobbie Z. 2002. Processing of gene expression data generated by quantitative real-time RT-PCR. Biotechniques. 32(6), 1372–1379.
View | PubMed | Europe PMC
 

2002 | Journal Article | IST-REx-ID: 3140
Hippenmeyer S, Shneider N, Birchmeier C, Burden S, Jessell T, Arber S. 2002. A role for Neuregulin1 signaling in muscle spindle differentiation. Neuron. 36(6), 1035–1049.
View | DOI | PubMed | Europe PMC
 

2002 | Conference Paper | IST-REx-ID: 3423
Bauer W, Bollenbach MT, Kleine Berkenbusch M, Harreis H. 2002. The percolation interpretation of the nuclear fragmentation phase transition. Proceedings of the 18th Winter Workshop on Nuclear Dynamics. Winter Workshop on Nuclear Dynamics, 111–118.
View
 

2002 | Journal Article | IST-REx-ID: 2986
Friml J, Wiśniewska J, Benková E, Mendgen K, Palme K. 2002. Lateral relocation of auxin efflux regulator PIN3 mediates tropism in Arabidopsis. Nature. 415(6873), 806–809.
View | DOI | PubMed | Europe PMC
 

Filters and Search Terms

year=2002

Search

Filter Publications