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 C, Martina M, Schultz J, Ehmke H, Jonas PM. Gating, modulation and subunit composition of voltage-gated K(+) channels in dendritic inhibitory interneurones of rat hippocampus. Journal of Physiology. 2002;538(Pt 2):405-419. doi: 10.1113/jphysiol.2001.013066
View | DOI | Download (ext.)
 

2002 | Journal Article | IST-REx-ID: 3800
Bartos M, Vida I, Frotscher M, et al. Fast synaptic inhibition promotes synchronized gamma oscillations in hippocampal interneuron networks. PNAS. 2002;99(20):13222-13227. doi:10.1073/pnas.192233099
View | DOI
 

2002 | Journal Article | IST-REx-ID: 3801
Hefft S, Kraushaar U, Geiger J, Jonas PM. Presynaptic short-term depression is maintained during regulation of transmitter release at a GABAergic synapse in rat hippocampus. Journal of Physiology. 2002;539(Pt 1):201-208. doi:10.1113/jphysiol.2001.013455
View | DOI
 

2002 | Journal Article | IST-REx-ID: 3802
Bischofberger J, Geiger J, Jonas PM. Timing and efficacy of Ca(2+) channel activation in hippocampal mossy fiber boutons. Journal of Neuroscience. 2002;22(24):10593-10602.
View
 

2002 | Journal Article | IST-REx-ID: 3803
Bischofberger J, Jonas PM. TwoB or not twoB: differential transmission at glutamatergic mossy fiber-interneuron synapses in the hippocampus. Trends in Neurosciences. 2002;25(12):600-603. doi:10.1016/S0166-2236(02)02259-2
View | DOI
 

2002 | Journal Article | IST-REx-ID: 3621 | OA
Kirkpatrick M, Johnson T, Barton NH. General models of multilocus evolution. Genetics. 2002;161(4):1727-1750.
View | Download (ext.)
 

2002 | Journal Article | IST-REx-ID: 3919 | OA
Cremer S, Heinze J. 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. 2002;269(1489):417-422. doi:10.1098/rspb.2001.1892
View | DOI | Download None (ext.)
 

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

2002 | Journal Article | IST-REx-ID: 3924
Cremer S, Lautenschläger B, Heinze J. A transitional stage between the ergatoid and winged male morph in the ant Cardiocondyla obscurior. Insectes Sociaux. 2002;49(3):221-228. doi:10.1007/s00040-002-8305-z
View | DOI
 

2002 | Journal Article | IST-REx-ID: 3925
Cremer S, Sledge M, Heinze J. Chemical mimicry: Male ants disguised by the queen’s bouquet. Nature. 2002;419:897-897. doi:10.1038/419897a
View | DOI
 

2002 | Journal Article | IST-REx-ID: 3995
Agarwal P, Guibas L, Edelsbrunner H, et al. Algorithmic issues in modeling motion. ACM Computing Surveys. 2002;34(4):550-572. doi:10.1145/592642.592647
View | DOI
 

2002 | Journal Article | IST-REx-ID: 3996
Edelsbrunner H, Letscher D, Zomorodian A. Topological persistence and simplification. Discrete & Computational Geometry. 2002;28(4):511-533. doi:10.1007/s00454-002-2885-2
View | DOI
 

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

2002 | Journal Article | IST-REx-ID: 4000
Zomorodian A, Edelsbrunner H. Fast software for box intersections. International Journal of Computational Geometry and Applications. 2002;12(1-2):143-172. doi:10.1142/S0218195902000785
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4003
Agarwal P, Edelsbrunner H, Wang Y. Computing the writhing number of a polygonal knot. In: SIAM; 2002:791-799.
View
 

2002 | Journal Article | IST-REx-ID: 4139
Polechova J, Stopka P. Geometry of social relationships in the Old World wood mouse, Apodemus sylvaticus. Canadian Journal of Zoology. 2002;80(8):1383-1388. doi:3820
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4148
Tada M, Concha M, Heisenberg C-PJ. Non-canonical Wnt signalling and regulation of gastrulation movements. Seminars in Cell & Developmental Biology. 2002;13(3):251-260. doi:10.1016/S1084-9521(02)00052-6
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4194
Houart C, Caneparo L, Heisenberg C-PJ, Barth KA, Take Uchi M, Wilson S. Establishment of the telencephalon during gastrulation by local antagonism of Wnt signaling. Neuron. 2002;35(2):255-265. doi:10.1016/S0896-6273(02)00751-1
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4196
Heisenberg C-PJ, Tada M. Zebrafish gastrulation movements: bridging cell and developmental biology. Seminars in Cell & Developmental Biology. 2002;13(6):471-479. doi:10.1016/S1084952102001003
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4199
Heisenberg C-PJ, Tada M. Wnt signalling: A moving picture emerges from van gogh. Current Biology. 2002;12(4):R126-R128. doi:10.1016/S0960-9822(02)00704-2
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4207
Heisenberg C-PJ. Wnt signalling: Refocusing on Strabismus. Current Biology. 2002;12(19):R657-R659. doi:10.1016/S0960-9822(02)01160-0
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4209
Hannus M, Feiguin F, Heisenberg C-PJ, Eaton S. Planar cell polarization requires Widerborst, a B ’ regulatory subunit of protein phosphatase 2A. Development. 2002;129(14):3493-3503.
View
 

2002 | Journal Article | IST-REx-ID: 4258
Navarro A, Barton NH. The effects of multilocus balancing selection on neutral variability. Genetics. 2002;161(2):849-863.
View | Download (ext.)
 

2002 | Journal Article | IST-REx-ID: 4259
Orive M, Barton NH. Associations between cytoplasmic and nuclear loci in hybridizing populations. Genetics. 2002;162(3):1469-1485.
View | Download (ext.)
 

2002 | Journal Article | IST-REx-ID: 4260
Johnson T, Barton NH. The effect of deleterious alleles on adaptation in asexual populations. Genetics. 2002;162(1):395-411.
View | Download (ext.)
 

2002 | Journal Article | IST-REx-ID: 4261
Barton NH, Keightley P. Understanding quantitative genetic variation. Nature Reviews Genetics. 2002;3:11-21. doi:10.1038/nrg700
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4262
Barton NH, Navarro A. Extending the coalescent to multilocus systems: the case of balancing selection. Genetical Research. 2002;79(2):129-139. doi:10.1017/S0016672301005493
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4263
Barton NH, Depaulis F, Etheridge A. Neutral evolution in spatially continuous populations. Theoretical Population Biology. 2002;61(1):31-48. doi:10.1006/tpbi.2001.1557
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4347
Huelsenbeck J, Bollback JP, Levine A. Inferring the root of a phylogenetic tree. Systematic Biology. 2002;51(1):32-43. doi:10.1080/106351502753475862
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4349
Bollback JP. Bayesian model adequacy and choice in phylogenetics. Molecular Biology and Evolution. 2002;19(7):1171-1180.
View | Download (ext.)
 

2002 | Journal Article | IST-REx-ID: 4407
Raskin J, Schobbens P, Henzinger TA. Axioms for real-time logics. Theoretical Computer Science. 2002;274(1-2):151-182. doi:10.1016/S0304-3975(00)00308-X
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4413
Passerone R, De Alfaro L, Henzinger TA, Sangiovanni Vincentelli A. Convertibility verification and converter synthesis: Two faces of the same coin. In: IEEE; 2002:132-139. doi:10.1145/774572.774592
View | DOI
 

2002 | Thesis | IST-REx-ID: 4414
Mang F. Games in open systems verification and synthesis. 2002:1-116.
View
 

2002 | Conference Paper | IST-REx-ID: 4421
Kirsch C, Sanvido M, Henzinger TA, Pree W. A Giotto-based helicopter control system. In: Vol 2491. ACM; 2002:46-60. doi:10.1007/3-540-45828-X_5
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4422
Jurdziński M, Kupferman O, Henzinger TA. Trading probability for fairness. In: Vol 2471. Springer; 2002:292-305. doi:10.1007/3-540-45793-3_20
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4423
Horowitz B, Liebman J, Ma C, et al. Embedded software design and system integration for rotorcraft UAV using platforms. In: Vol 15. Elsevier; 2002. doi:10.3182/20020721-6-ES-1901.01628
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4444
Henzinger TA, Kirsch C. The embedded machine: predictable, portable real-time code. In: ACM; 2002:315-326. doi:10.1145/512529.512567
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4470
Henzinger TA, Kirsch C, Majumdar R, Matic S. Time-safety checking for embedded programs. In: Vol 2491. ACM; 2002:76-92. doi:10.1007/3-540-45828-X_7
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4471
Henzinger TA, Krishnan S, Kupferman O, Mang F. Synthesis of uninitialized systems. In: Vol 2380. Springer; 2002:644-656. doi:10.1007/3-540-45465-9_55
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4472
Henzinger TA, Necula G, Jhala R, Sutre G, Majumdar R, Weimer W. Temporal safety proofs for systems code. In: Vol 2404. Springer; 2002:526-538. doi:10.1007/3-540-45657-0_45
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4473
Henzinger TA, Qadeer S, Rajamani S, Tasiran S. An assume-guarantee rule for checking simulation. ACM Transactions on Programming Languages and Systems (TOPLAS). 2002;24(1):51-64. doi:10.1145/509705.509707
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4474
Henzinger TA, Kupferman O, Rajamani S. Fair simulation. Information and Computation. 2002;173(1):64-81. doi:10.1006/inco.2001.3085
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4476
Henzinger TA, Jhala R, Majumdar R, Sutre G. Lazy abstraction. In: ACM; 2002:58-70. doi:10.1145/503272.503279
View | DOI
 

2002 | Journal Article | IST-REx-ID: 6158
Coates JC, de Bono M. Antagonistic pathways in neurons exposed to body fluid regulate social feeding in Caenorhabditis elegans. Nature. 2002;419(6910):925-929. doi:10.1038/nature01170
View | DOI | PubMed | Europe PMC
 

2002 | Journal Article | IST-REx-ID: 6159
de Bono M, Tobin DM, Davis MW, Avery L, Bargmann CI. Social feeding in Caenorhabditis elegans is induced by neurons that detect aversive stimuli. Nature. 2002;419(6910):899-903. doi:10.1038/nature01169
View | DOI | PubMed | Europe PMC
 

2002 | Journal Article | IST-REx-ID: 897
Castillo Davis C, Mekhedov S, Hartl D, Koonin E, Kondrashov F. Selection for short introns in highly expressed genes. Nature Genetics. 2002;31(4):415-418. doi:10.1038/ng940
View | DOI
 

2002 | Journal Article | IST-REx-ID: 859
Perelygin A, Kondrashov F, Rogozin I, Brinton M. Evolution of the mouse polyubiquitin C gene. Journal of Molecular Evolution. 2002;55(2):202-210. doi:10.1007/s00239-002-2318-0
View | DOI
 

2002 | Journal Article | IST-REx-ID: 871
Kondrashov F, Rogozin I, Wolf Y, Koonin E. Selection in the evolution of gene duplications . Genome Biology. 2002;3(2). doi:10.1186/gb-2002-3-2-research0008
View | DOI
 

2002 | Journal Article | IST-REx-ID: 885
Kondrashov A, Sunyaev S, Kondrashov F. Dobzhansky-Muller incompatibilities in protein evolution. PNAS. 2002;99(23):14878-14883. doi:10.1073/pnas.232565499
View | DOI
 

2001 | Journal Article | IST-REx-ID: 1452 | OA
Hausel T, Thaddeus M. Examples of mirror partners arising from integrable systems. Comptes Rendus de l’Academie des Sciences - Series I: Mathematics. 2001;333(4):313-318. doi:10.1016/S0764-4442(01)02057-2
View | DOI | Download (ext.)
 

Search

Filter Publications