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.
331 Publications
2011 | Published | Conference Paper | IST-REx-ID: 3355 | 
Halalai R, Henzinger TA, Singh V. Quantitative evaluation of BFT protocols. In: IEEE; 2011:255-264. doi:10.1109/QEST.2011.40
[Submitted Version]
View
| Files available
| DOI
2011 | Published | Conference Paper | IST-REx-ID: 3357
Chatterjee K, Henzinger TA, Horn F. The complexity of request-response games. In: Dediu A-H, Inenaga S, Martín-Vide C, eds. Vol 6638. Springer; 2011:227-237. doi:10.1007/978-3-642-21254-3_17
View
| DOI
2011 | Published | Conference Paper | IST-REx-ID: 3358 |
Henzinger TA, Singh V, Wies T, Zufferey D. Scheduling large jobs by abstraction refinement. In: ACM; 2011:329-342. doi:10.1145/1966445.1966476
[Published Version]
View
| DOI
| Download Published Version (ext.)
2011 | Published | Journal Article | IST-REx-ID: 336
Ibáñez M, Guardia P, Shavel A, et al. Growth kinetics of asymmetric Bi2S3 nanocrystals: Size distribution focusing in nanorods. Journal of Physical Chemistry C. 2011;115(16):7947-7955. doi:10.1021/jp2002904
View
| DOI
2011 | Published | Journal Article | IST-REx-ID: 3364 |
Didier F, Henzinger TA, Mateescu M, Wolf V. Approximation of event probabilities in noisy cellular processes. Theoretical Computer Science. 2011;412(21):2128-2141. doi:10.1016/j.tcs.2010.10.022
[Submitted Version]
View
| Files available
| DOI
2011 | Published | Conference Paper | IST-REx-ID: 3365 |
Chatterjee K, Henzinger TA, Jobstmann B, Singh R. QUASY: quantitative synthesis tool. In: Vol 6605. Springer; 2011:267-271. doi:10.1007/978-3-642-19835-9_24
[Submitted Version]
View
| Files available
| DOI
2011 | Published | Conference Paper | IST-REx-ID: 3367
Chen C, Kerber M. An output sensitive algorithm for persistent homology. In: ACM; 2011:207-216. doi:10.1145/1998196.1998228
View
| Files available
| DOI
2011 | Published | Journal Article | IST-REx-ID: 3368 |
Krens G, Möllmert S, Heisenberg C-PJ. Enveloping cell layer differentiation at the surface of zebrafish germ layer tissue explants. PNAS. 2011;108(3):E9-E10. doi:10.1073/pnas.1010767108
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2011 | Published | Journal Article | IST-REx-ID: 3369
Pernia-Andrade A, Jonas PM. The multiple faces of RIM. Neuron. 2011;69(2):185-187. doi:10.1016/j.neuron.2011.01.010
View
| DOI
2011 | Published | Journal Article | IST-REx-ID: 3370 |
Kupczok A. Consequences of different null models on the tree shape bias of supertree methods. Systematic Biology. 2011;60(2):218-225. doi:10.1093/sysbio/syq086
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2011 | Published | Journal Article | IST-REx-ID: 3371 |
Sixt MK, Parent C. Cells on the move in Philadelphia. Molecular Biology and Evolution. 2011;22(6):724. doi:10.1091/mbc.E10-12-0958
[Published Version]
View
| Files available
| DOI
2011 | Published | Journal Article | IST-REx-ID: 3372 |
Abbot P et al. 2011. Inclusive fitness theory and eusociality. Nature. 471(7339), E1–E4.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2011 | Published | Journal Article | IST-REx-ID: 3376 |
Bollenbach MT, Kishony R. Resolution of gene regulatory conflicts caused by combinations of antibiotics. Molecular Cell. 2011;42(4):413-425. doi:10.1016/j.molcel.2011.04.016
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2011 | Published | Journal Article | IST-REx-ID: 3378
Bendich P, Harer J. Persistent intersection homology. Foundations of Computational Mathematics. 2011;11(3):305-336. doi:10.1007/s10208-010-9081-1
View
| DOI
2011 | Published | Journal Article | IST-REx-ID: 3379 |
Row R, Maître J-L, Martin B, Stockinger P, Heisenberg C-PJ, Kimelman D. Completion of the epithelial to mesenchymal transition in zebrafish mesoderm requires Spadetail. Developmental Biology. 2011;354(1):102-110. doi:10.1016/j.ydbio.2011.03.025
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2011 | Published | Journal Article | IST-REx-ID: 3380 |
Logeswaran S, Barton NH. Mapping Mendelian traits in asexual progeny using changes in marker allele frequency. Genetical Research. 2011;93(3):221-232. doi:10.1017/S0016672311000115
[Published Version]
View
| DOI
| Download Published Version (ext.)
2011 | Published | Journal Article | IST-REx-ID: 3381 |
Henzinger TA, Jobstmann B, Wolf V. Formalisms for specifying Markovian population models. IJFCS: International Journal of Foundations of Computer Science. 2011;22(4):823-841. doi:10.1142/S0129054111008441
[Submitted Version]
View
| Files available
| DOI
2011 | Published | Journal Article | IST-REx-ID: 3382
Kroemer O, Lampert C, Peters J. Learning dynamic tactile sensing with robust vision based training. IEEE Transactions on Robotics. 2011;27(3):545-557. doi:10.1109/TRO.2011.2121130
View
| DOI
2011 | Published | Journal Article | IST-REx-ID: 3383
Heisenberg C-PJ. Invited Lectures ‐ Symposia Area. FEBS Journal. 2011;278(S1):24-24. doi:10.1111/j.1742-4658.2011.08136.x
View
| DOI
2011 | Published | Journal Article | IST-REx-ID: 3384 |
Tkačik G, Garrigan P, Ratliff C, et al. Natural images from the birthplace of the human eye. PLoS One. 2011;6(6). doi:10.1371/journal.pone.0020409
[Published Version]
View
| Files available
| DOI
2011 | Published | Journal Article | IST-REx-ID: 3385
Sixt MK. Interstitial locomotion of leukocytes. Immunology Letters. 2011;138(1):32-34. doi:10.1016/j.imlet.2011.02.013
View
| DOI
2011 | Published | Journal Article | IST-REx-ID: 3386
Schrempf A, Cremer S, Heinze J. Social influence on age and reproduction reduced lifespan and fecundity in multi queen ant colonies. Journal of Evolutionary Biology. 2011;24(7):1455-1461. doi:10.1111/j.1420-9101.2011.02278.x
View
| DOI
2011 | Published | Journal Article | IST-REx-ID: 3387 |
Kupczok A. Split based computation of majority rule supertrees. BMC Evolutionary Biology. 2011;11(205). doi:10.1186/1471-2148-11-205
[Published Version]
View
| Files available
| DOI
2011 | Published | Journal Article | IST-REx-ID: 3388 |
Ugelvig LV, Nielsen P, Boomsma J, Nash D. Reconstructing eight decades of genetic variation in an isolated Danish population of the large blue butterfly Maculinea arion. BMC Evolutionary Biology. 2011;11(201). doi:10.1186/1471-2148-11-201
[Published Version]
View
| Files available
| DOI
2011 | Published | Journal Article | IST-REx-ID: 3389
Blaschko M, Shelton J, Bartels A, Lampert C, Gretton A. Semi supervised kernel canonical correlation analysis with application to human fMRI. Pattern Recognition Letters. 2011;32(11):1572-1583. doi:10.1016/j.patrec.2011.02.011
View
| DOI
2011 | Published | Journal Article | IST-REx-ID: 3392
Soriano S, Hons M, Schumann K, et al. In vivo analysis of uropod function during physiological T cell trafficking. Journal of Immunology. 2011;187(5):2356-2364. doi:10.4049/jimmunol.1100935
View
| DOI
2011 | Published | Journal Article | IST-REx-ID: 3393 |
Barton NH, Turelli M. Spatial waves of advance with bistable dynamics: Cytoplasmic and genetic analogues of Allee effects. American Naturalist. 2011;178(3):E48-E75. doi:10.1086/661246
[Submitted Version]
View
| Files available
| DOI
2011 | Published | Journal Article | IST-REx-ID: 3395
Palero F, Abello P, Macpherson E, Beaumont M, Pascual M. Effect of oceanographic barriers and overfishing on the population genetic structure of the European spiny lobster Palinurus elephas. Biological Journal of the Linnean Society. 2011;104(2):407-418. doi:10.1111/j.1095-8312.2011.01728.x
View
| Files available
| DOI
2011 | Published | Journal Article | IST-REx-ID: 3396 |
Stockinger P, Heisenberg C-PJ, Maître J-L. Defective neuroepithelial cell cohesion affects tangential branchiomotor neuron migration in the zebrafish neural tube. Development. 2011;138(21):4673-4683. doi:10.1242/dev.071233
[Published Version]
View
| Files available
| DOI
2011 | Published | Journal Article | IST-REx-ID: 3397 |
Maître J-L, Heisenberg C-PJ. The role of adhesion energy in controlling cell-cell contacts. Current Opinion in Cell Biology. 2011;23(5):508-514. doi:10.1016/j.ceb.2011.07.004
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2011 | Published | Journal Article | IST-REx-ID: 3399 |
Cremer S, Schrempf A, Heinze J. Competition and opportunity shape the reproductive tactics of males in the ant Cardiocondyla obscurior. PLoS One. 2011;6(3). doi:10.1371/journal.pone.0017323
[Published Version]
View
| Files available
| DOI
2011 | Published | Journal Article | IST-REx-ID: 3401
Little S, Tkačik G, Kneeland T, Wieschaus E, Gregor T. The formation of the Bicoid morphogen gradient requires protein movement from anteriorly localized source. PLoS Biology. 2011;9(3). doi:10.1371/journal.pbio.1000596
View
| DOI
2011 | Published | Journal Article | IST-REx-ID: 3405 |
Janovjak HL, Sandoz G, Isacoff E. Modern ionotropic glutamate receptor with a K+ selectivity signature sequence. Nature Communications. 2011;2(232):1-6. doi:10.1038/ncomms1231
[Submitted Version]
View
| Files available
| DOI
2011 | Published | Journal Article | IST-REx-ID: 341
Li W, Shavel A, Guzman R, et al. Morphology evolution of Cu2−xS nanoparticles: from spheres to dodecahedrons. Chemical Communications. 2011;47(37):10332-10334. doi:10.1039/c1cc13803k
View
| DOI
2011 | Published | Journal Article | IST-REx-ID: 3429
Plachta N, Bollenbach MT, Pease S, Fraser S, Pantazis P. Oct4 kinetics predict cell lineage patterning in the early mammalian embryo. Nature Cell Biology. 2011;13(2):117-123. doi:10.1038/ncb2154
View
| DOI
2011 | Published | Journal Article | IST-REx-ID: 3505 |
Sixt MK, Lämmermann T. In vitro analysis of chemotactic leukocyte migration in 3D environments. Cell Migration. 2011;769:149-165. doi:10.1007/978-1-61779-207-6_11
[Published Version]
View
| DOI
| Download Published Version (ext.)
2011 | Published | Book Chapter | IST-REx-ID: 3724
Janovjak HL, Isacoff E. Structure-based design of light-controlled proteins. In: Photosensitive Molecules for the Control of Biological Function. Vol 55. Springer; 2011:233-266. doi:10.1007/978-1-61779-031-7_13
View
| DOI
2011 | Published | Journal Article | IST-REx-ID: 3770
Hollatz C, Vilaça S, Fernandes Redondo RA, Marmontel M, Baker C, Santos F. The Amazon River system as an ecological barrier driving genetic differentiation of the pink dolphin (Inia geoffrensis). Biological Journal of the Linnean Society. 2011;102(4):812-827. doi:10.1111/j.1095-8312.2011.01616.x
View
| DOI
2011 | Published | Journal Article | IST-REx-ID: 3771
Pavan A, Martins F, Santos F, Ditchfield A, Fernandes Redondo RA. Patterns of diversification in two species of short-tailed bats (Carollia Gray, 1838): the effects of historical fragmentation of Brazilian rainforests. Biological Journal of the Linnean Society. 2011;102(3):527-539. doi:10.1111/j.1095-8312.2010.01601.x
View
| DOI
2011 | Published | Journal Article | IST-REx-ID: 3778 |
Barton NH. Estimating linkage disequilibria. Heredity. 2011;106(2):205-206. doi:10.1038/hdy.2010.67
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2011 | Published | Journal Article | IST-REx-ID: 3781
Fasy BT. The difference in length of curves in R^n. Acta Sci Math (Szeged). 2011;77(1-2):359-367.
View
2011 | Published | Journal Article | IST-REx-ID: 3784 |
Palero F, Guerao G, Clark P, Abello P. Scyllarus arctus (Crustacea: Decapoda: Scyllaridae) final stage phyllosoma identified by DNA analysis, with morphological description. Journal of the Marine Biological Association of the United Kingdom. 2011;91(2):485-492. doi:10.1017/S0025315410000287
[Published Version]
View
| DOI
| Download Published Version (ext.)
2011 | Published | Book Chapter | IST-REx-ID: 3791
Krens G, Heisenberg C-PJ. Cell sorting in development. In: Labouesse M, ed. Forces and Tension in Development. Vol 95. Elsevier; 2011:189-213. doi:10.1016/B978-0-12-385065-2.00006-2
View
| DOI
2011 | Published | Book Chapter | IST-REx-ID: 3796 |
Edelsbrunner H, Kerber M. Covering and packing with spheres by diagonal distortion in R^n. In: Calude C, Rozenberg G, Salomaa A, eds. Rainbow of Computer Science. Vol 6570. Dedicated to Hermann Maurer on the Occasion of His 70th Birthday. Springer; 2011:20-35. doi:10.1007/978-3-642-19391-0_2
[Submitted Version]
View
| Files available
| DOI
2011 | Published | Journal Article | IST-REx-ID: 386 |
Alpichshev Z, Analytis JG, Chu JH, Fisher IR, Kapitulnik A. STM imaging of a bound state along a step on the surface of the topological insulator Bi2Te3. Physical Review B - Condensed Matter and Materials Physics. 2011;84(4). doi:10.1103/PhysRevB.84.041104
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2011 | Published | Journal Article | IST-REx-ID: 3965
Wang B, Edelsbrunner H, Morozov D. Computing elevation maxima by searching the Gauss sphere. Journal of Experimental Algorithmics. 2011;16(2.2):1-13. doi:10.1145/1963190.1970375
View
| DOI
2011 | Published | Conference Paper | IST-REx-ID: 18394
Saabni R, Bronstein AM. Fast key-word searching via embedding and active-DTW. In: 2011 International Conference on Document Analysis and Recognition. IEEE; 2011. doi:10.1109/icdar.2011.23
View
| DOI
2011 | Published | Conference Paper | IST-REx-ID: 18406
Michel F, Bronstein M, Bronstein AM, Paragios N. Boosted metric learning for 3D multi-modal deformable registration. In: 2011 IEEE International Symposium on Biomedical Imaging: From Nano to Macro. IEEE; 2011. doi:10.1109/isbi.2011.5872619
View
| DOI
2011 | Published | Conference Paper | IST-REx-ID: 18377 |
Raviv D, Bronstein MM, Bronstein AM, Kimmel R, Sochen N. Affine-invariant diffusion geometry for the analysis of deformable 3D shapes. In: CVPR 2011. IEEE; 2011. doi:10.1109/cvpr.2011.5995486
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2011 | Published | Thesis | IST-REx-ID: 3275 |
Schumann K. The role of chemotactic gradients in dendritic cell migration. 2011.
[Published Version]
View
| Files available
2011 | Published | Thesis | IST-REx-ID: 3273
Maître J-L. Mechanics of adhesion and de‐adhesion in zebrafish germ layer progenitors. 2011.
View
2011 | Published | Journal Article | IST-REx-ID: 3373 |
Jahnel M, Behrndt M, Jannasch A, Schaeffer E, Grill S. Measuring the complete force field of an optical trap. Optics Letters. 2011;36(7):1260-1262. doi:10.1364/OL.36.001260
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2011 | Published | Journal Article | IST-REx-ID: 18433
Bronstein AM, Bronstein MM, Guibas LJ, Ovsjanikov M. Shape google: Geometric words and expressions for invariant shape retrieval. ACM Transactions on Graphics. 2011;30(1):1-20. doi:10.1145/1899404.1899405
View
| DOI
2011 | Published | Journal Article | IST-REx-ID: 18014 |
Chen W, Widawsky JR, Vázquez H, et al. Highly conducting π-conjugated molecular junctions covalently bonded to gold electrodes. Journal of the American Chemical Society. 2011;133(43):17160-17163. doi:10.1021/ja208020j
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
| arXiv
2011 | Published | Journal Article | IST-REx-ID: 18012
Widawsky JR, Darancet P, Neaton JB, Venkataraman L. Simultaneous determination of conductance and thermopower of single molecule junctions. Nano Letters. 2011;12(1):354-358. doi:10.1021/nl203634m
View
| DOI
| PubMed | Europe PMC
2011 | Published | Journal Article | IST-REx-ID: 18016
Boardman BM, Widawsky JR, Park YS, et al. Conductance of single cobalt chalcogenide cluster junctions. Journal of the American Chemical Society. 2011;133(22):8455-8457. doi:10.1021/ja201334s
View
| DOI
| PubMed | Europe PMC
2011 | Published | Journal Article | IST-REx-ID: 18015
Kamenetska M, Dell’Angela M, Widawsky JR, et al. Structure and energy level alignment of tetramethyl benzenediamine on Au(111). The Journal of Physical Chemistry C. 2011;115(25):12625-12630. doi:10.1021/jp202555d
View
| DOI
2011 | Published | Journal Article | IST-REx-ID: 18017
Fatemi V, Kamenetska M, Neaton JB, Venkataraman L. Environmental control of single-molecule junction transport. Nano Letters. 2011;11(5):1988-1992. doi:10.1021/nl200324e
View
| DOI
| PubMed | Europe PMC
2011 | Published | Journal Article | IST-REx-ID: 18018
Meisner JS, Kamenetska M, Krikorian M, Steigerwald ML, Venkataraman L, Nuckolls C. A single-molecule potentiometer. Nano Letters. 2011;11(4):1575-1579. doi:10.1021/nl104411f
View
| DOI
| PubMed | Europe PMC
2011 | Published | Journal Article | IST-REx-ID: 18021
Cheng Z-L, Skouta R, Vazquez H, et al. In situ formation of highly conducting covalent Au–C contacts for single-molecule junctions. Nature Nanotechnology. 2011;6(6):353-357. doi:10.1038/nnano.2011.66
View
| DOI
| PubMed | Europe PMC
2011 | Published | Journal Article | IST-REx-ID: 18020
Schneebeli ST, Kamenetska M, Cheng Z, et al. Single-molecule conductance through multiple π−π-stacked benzene rings determined with direct electrode-to-benzene ring connections. Journal of the American Chemical Society. 2011;133(7):2136-2139. doi:10.1021/ja111320n
View
| DOI
| PubMed | Europe PMC
2011 | Published | Journal Article | IST-REx-ID: 18019
Frei M, Aradhya SV, Koentopp M, Hybertsen MS, Venkataraman L. Mechanics and chemistry: Single molecule bond rupture forces correlate with molecular backbone structure. Nano Letters. 2011;11(4):1518-1523. doi:10.1021/nl1042903
View
| DOI
| PubMed | Europe PMC
2011 | Published | Journal Article | IST-REx-ID: 10389 |
Šarić A, Cacciuto A. Soft elastic surfaces as a platform for particle self-assembly. Soft Matter. 2011;7(18). doi:10.1039/c1sm05773a
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2011 | Published | Journal Article | IST-REx-ID: 1048 |
Nägerl H, Mark M, Haller E, Gustavsson M, Hart R, Danzl JG. Ultracold and dense samples of ground-state molecules in lattice potentials. Journal of Physics: Conference Series. 2011;264(1). doi:10.1088/1742-6596/264/1/012015
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2011 | Published | Journal Article | IST-REx-ID: 1050 |
Bai J, Ahmed E, Beser B, Guan Y, Kotochigova S, Lyyra M, Ashman S, Wolfe C, Huennekens J, Xie F, Li D, Li L, Tamanis M, Ferber R, Drozdova A, Pazyuk E, Stolyarov A, Danzl JG, Nägerl H, Bouloufa N, Dulieu O, Amiot C, Salami H, Bergeman T. 2011. Global analysis of data on the spin-orbit-coupled A 1Σu+ and b 3Πu inf states of Cs2. Physical Review A - Atomic, Molecular, and Optical Physics. 83(3).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2011 | Published | Journal Article | IST-REx-ID: 1051
Mark M, Haller E, Danzl JG, Lauber K, Gustavsson M, Nägerl H. Demonstration of the temporal matter-wave Talbot effect for trapped matter waves. New Journal of Physics. 2011;13. doi:10.1088/1367-2630/13/8/085008
View
| DOI
2011 | Published | Journal Article | IST-REx-ID: 1052 |
Vexiau R, Bouloufa N, Aymar M, et al. Optimal trapping wavelengths of Cs 2 molecules in an optical lattice. European Physical Journal D. 2011;65(1-2):243-250. doi:10.1140/epjd/e2011-20085-4
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2011 | Published | Journal Article | IST-REx-ID: 1053 |
Mark M, Haller E, Lauber K, Danzl JG, Daley A, Nägerl H. Precision measurements on a tunable Mott insulator of ultracold atoms. Physical Review Letters. 2011;107(17). doi:10.1103/PhysRevLett.107.175301
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2011 | Published | Journal Article | IST-REx-ID: 1054 |
Haller E, Rabie M, Mark M, et al. Three-body correlation functions and recombination rates for bosons in three dimensions and one dimension. Physical Review Letters. 2011;107(23). doi:10.1103/PhysRevLett.107.230404
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2011 | Published | Journal Article | IST-REx-ID: 9483 |
Hsieh T-F, Shin J, Uzawa R, et al. Regulation of imprinted gene expression in Arabidopsis endosperm. Proceedings of the National Academy of Sciences. 2011;108(5):1755-1762. doi:10.1073/pnas.1019273108
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2011 | Published | Other Publication | IST-REx-ID: 9522 |
Zilberman D. Balancing Parental Contributions in Plant Embryonic Gene Activation. Vol 20. Elsevier; 2011:735-736. doi:10.1016/j.devcel.2011.05.018
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2011 | Published | Conference Paper | IST-REx-ID: 9648 |
Gonzalez-Diaz R, Ion A, Jimenez MJ, Poyatos R. Incremental-decremental algorithm for computing AT-models and persistent homology. In: Computer Analysis of Images and Patterns. Vol 6854. Springer Nature; 2011:286-293. doi:10.1007/978-3-642-23672-3_35
[Published Version]
View
| DOI
| Download Published Version (ext.)
2011 | Published | Journal Article | IST-REx-ID: 967 |
Serbyn M, Senthil T, Lee P. Exotic S=1 spin-liquid state with fermionic excitations on the triangular lattice. Physical Review B - Condensed Matter and Materials Physics. 2011;84(18). doi:10.1103/PhysRevB.84.180403
View
| DOI
| Download (ext.)
2011 | Published | Journal Article | IST-REx-ID: 968
Serbyn M, Skvortsov M, Varlamov A, Galitski V. Serbyn et al. Reply: Physical Review Letters. 2011;106(13). doi:10.1103/PhysRevLett.106.139702
View
| DOI
2011 | Published | Journal Article | IST-REx-ID: 969 |
Serbyn M, Lee P. Isotope effect on the superfluid density in conventional and high-temperature superconductors. Physical Review B - Condensed Matter and Materials Physics. 2011;83(2). doi:10.1103/PhysRevB.83.024506
View
| DOI
| Download (ext.)
2011 | Research Data Reference | IST-REx-ID: 9762 |
Palero F, Abello P, Macpherson E, Beaumont M, Pascual M. Data from: Effect of oceanographic barriers and overfishing on the population genetic structure of the European spiny lobster (Palinurus elephas). 2011. doi:10.5061/dryad.299h8
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2011 | Published | Conference Paper | IST-REx-ID: 9943 |
Sommer CM, Straehle C, Köthe U, Hamprecht FA. Ilastik: Interactive learning and segmentation toolkit. In: 2011 IEEE International Symposium on Biomedical Imaging: From Nano to Micro. Institute of Electrical and Electronics Engineers; 2011. doi:10.1109/isbi.2011.5872394
[Preprint]
View
| DOI
| Download Preprint (ext.)
2011 | Published | Journal Article | IST-REx-ID: 8505
Galante J, Kaloshin V. Destruction of invariant curves in the restricted circular planar three-body problem by using comparison of action. Duke Mathematical Journal. 2011;159(2):275-327. doi:10.1215/00127094-1415878
View
| DOI
2011 | Published | Book Chapter | IST-REx-ID: 881
Kondrashov F. Gene Dosage and Duplication. In: Evolution after Gene Duplication. Wiley-Blackwell; 2011:57-76. doi:10.1002/9780470619902.ch4
View
| DOI
2011 | Published | Journal Article | IST-REx-ID: 890
Koblik E, Red’Kin Y, Meer M, et al. Acrocephalus orinus: A case of Mistaken identity. PLoS One. 2011;6(4). doi:10.1371/journal.pone.0017716
View
| DOI
2011 | Published | Journal Article | IST-REx-ID: 90
Higginbotham AP, Guillen A, Jones N, Donnelly T, Bernoff A. Evidence of the harmonic Faraday instability in ultrasonic atomization experiments with a deep, inviscid fluid. Journal of the Acoustical Society of America. 2011;130(5):2694-2699. doi:10.1121/1.3643816
View
| DOI
| PubMed | Europe PMC
2011 | Published | Journal Article | IST-REx-ID: 9143
Muller CJ, O’Gorman PA. An energetic perspective on the regional response of precipitation to climate change. Nature Climate Change. 2011;1(5):266-271. doi:10.1038/nclimate1169
View
| DOI
2011 | Published | Journal Article | IST-REx-ID: 9144 |
Muller CJ, O’Gorman PA, Back LE. Intensification of precipitation extremes with warming in a cloud-resolving model. Journal of Climate. 2011;24(11):2784-2800. doi:10.1175/2011jcli3876.1
[Published Version]
View
| DOI
| Download Published Version (ext.)
2011 | Published | Journal Article | IST-REx-ID: 918
Hannezo EB, Prost J, Joanny J. Instabilities of monolayered epithelia Shape and structure of villi and crypts. Physical Review Letters. 2011;107(7). doi:10.1103/PhysRevLett.107.078104
View
| DOI
2011 | Published | Journal Article | IST-REx-ID: 919
Angelini T, Hannezo EB, Trepatc X, Marquez M, Fredberg J, Weitz D. Glass-like dynamics of collective cell migration. Proceedings of the National Academy of Sciences of the United States of America. 2011;108(12):4714-4719. doi:10.1073/pnas.1010059108
View
| DOI
2011 | Published | Journal Article | IST-REx-ID: 923 |
Fré S, Hannezo EB, Šale S, et al. Notch lineages and activity in intestinal stem cells determined by a new set of knock in mice. PLoS One. 2011;6(10). doi:10.1371/journal.pone.0025785
[Published Version]
View
| Files available
| DOI
2011 | Published | Conference Paper | IST-REx-ID: 3326 |
Almagor S, Boker U, Kupferman O. What’s decidable about weighted automata. In: Vol 6996. Springer; 2011:482-491. doi:10.1007/978-3-642-24372-1_37
[Submitted Version]
View
| Files available
| DOI
2011 | Published | Journal Article | IST-REx-ID: 3315 |
Chatterjee K, Henzinger TA, Prabhu V. Timed parity games: Complexity and robustness. Logical Methods in Computer Science. 2011;7(4). doi:10.2168/LMCS-7(4:8)2011
[Published Version]
View
| Files available
| DOI
2011 | Published | Journal Article | IST-REx-ID: 3375 |
de Vladar H, Barton NH. The statistical mechanics of a polygenic character under stabilizing selection mutation and drift. Journal of the Royal Society Interface. 2011;8(58):720-739. doi:10.1098/rsif.2010.0438
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2011 | Published | Journal Article | IST-REx-ID: 3290 |
Lohse K, Harrison R, Barton NH. A general method for calculating likelihoods under the coalescent process. Genetics. 2011;189(3):977-987. doi:10.1534/genetics.111.129569
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2011 | Published | Journal Article | IST-REx-ID: 3394 |
Polechova J, Barton NH. Genetic drift widens the expected cline but narrows the expected cline width. Genetics. 2011;189(1):227-235. doi:10.1534/genetics.111.129817
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2011 | Published | Journal Article | IST-REx-ID: 3390 |
Barton NH, Etheridge A. The relation between reproductive value and genetic contribution. Genetics. 2011;188(4):953-973. doi:10.1534/genetics.111.127555
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2011 | Published | Journal Article | IST-REx-ID: 3352
Fisher J, Harel D, Henzinger TA. Biology as reactivity. Communications of the ACM. 2011;54(10):72-82. doi:10.1145/2001269.2001289
View
| DOI
2011 | Published | Journal Article | IST-REx-ID: 3353 |
Tripakis S, Lickly B, Henzinger TA, Lee E. A theory of synchronous relational interfaces. ACM Transactions on Programming Languages and Systems (TOPLAS). 2011;33(4). doi:10.1145/1985342.1985345
[Submitted Version]
View
| Files available
| DOI
2011 | Published | Conference Paper | IST-REx-ID: 3362 |
Fisher J, Henzinger TA, Nickovic D, Piterman N, Singh A, Vardi M. Dynamic reactive modules. In: Vol 6901. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2011:404-418. doi:10.1007/978-3-642-23217-6_27
[Submitted Version]
View
| Files available
| DOI
2011 | Published | Conference Paper | IST-REx-ID: 3359
Cerny P, Henzinger TA. From boolean to quantitative synthesis. In: ACM; 2011:149-154. doi:10.1145/2038642.2038666
View
| DOI
2011 | Published | Technical Report | IST-REx-ID: 5379 |
Chatterjee K, Henzinger M. An O(N2) Time Algorithm for Alternating Büchi Games. IST Austria; 2011. doi:10.15479/AT:IST-2011-0009
[Published Version]
View
| Files available
| DOI
2011 | Published | Journal Article | IST-REx-ID: 3354
Chatterjee K, De Alfaro L, Henzinger TA. Qualitative concurrent parity games. ACM Transactions on Computational Logic (TOCL). 2011;12(4). doi:10.1145/1970398.1970404
View
| Files available
| DOI
2011 | Published | Technical Report | IST-REx-ID: 5384 |
Chatterjee K, Tracol M. Decidable Problems for Probabilistic Automata on Infinite Words. IST Austria; 2011. doi:10.15479/AT:IST-2011-0004
[Published Version]
View
| Files available
| DOI