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.
2467 Publications
2011 | 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
View
| DOI
| Download Submitted Version (ext.)
2011 | 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
View
| Files available
| DOI
2011 | Journal Article | IST-REx-ID: 3372 |
Abbot P, Abe J, Alcock J, et al. Inclusive fitness theory and eusociality. Nature. 2011;471(7339):E1-E4. doi:10.1038/nature09831
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2011 | 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
View
| Files available
| DOI
| Download Published Version (ext.)
2011 | Journal Article | IST-REx-ID: 3374 |
Tkačik G, Walczak A. Information transmission in genetic regulatory networks a review. Journal of Physics: Condensed Matter. 2011;23(15). doi:10.1088/0953-8984/23/15/153102
View
| DOI
| Download Submitted Version (ext.)
2011 | 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
View
| DOI
| Download Submitted Version (ext.)
2011 | 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
View
| DOI
| Download Submitted Version (ext.)
2011 | Journal Article | IST-REx-ID: 3377 |
Edelsbrunner H, Morozov D, Patel A. Quantifying transversality by measuring the robustness of intersections. Foundations of Computational Mathematics. 2011;11(3):345-361. doi:10.1007/s10208-011-9090-8
View
| DOI
| Download Submitted Version (ext.)
2011 | 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
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2011 | 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
View
| DOI
| Download Published Version (ext.)
2011 | 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
View
| Files available
| DOI
2011 | 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
View
| Files available
| DOI
2011 | 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
View
| Files available
| DOI
2011 | 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
View
| Files available
| DOI
2011 | 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
View
| DOI
| Download Submitted Version (ext.)
2011 | Journal Article | IST-REx-ID: 3391 |
de Vladar H, Barton NH. The contribution of statistical physics to evolutionary biology. Trends in Ecology and Evolution. 2011;26(8):424-432. doi:10.1016/j.tree.2011.04.002
View
| DOI
| Download Submitted Version (ext.)
2011 | 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
View
| Files available
| DOI
2011 | 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
View
| DOI
| Download Submitted Version (ext.)
2011 | 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
View
| Files available
| DOI
2011 | 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
View
| DOI
| Download Submitted Version (ext.)
2011 | 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
View
| Files available
| DOI
2011 | 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
View
| Files available
| DOI
2011 | 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
View
| DOI
| Download Published Version (ext.)
2011 | Thesis | IST-REx-ID: 3275 |
Schumann K. The role of chemotactic gradients in dendritic cell migration. 2011.
View
| Files available
2010 | Journal Article | IST-REx-ID: 2409 |
Kupczok A, Schmidt H, Von Haeseler A. Accuracy of phylogeny reconstruction methods combining overlapping gene data sets . Algorithms for Molecular Biology. 2010;5(1). doi:10.1186/1748-7188-5-37
View
| Files available
| DOI
2010 | Conference Paper | IST-REx-ID: 488 |
Alur R, Cerny P. Expressiveness of streaming string transducers. In: Vol 8. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2010:1-12. doi:10.4230/LIPIcs.FSTTCS.2010.1
View
| Files available
| DOI
2010 | Conference Paper | IST-REx-ID: 489 |
Cristau J, David C, Horn F. How do we remember the past in randomised strategies? . In: Proceedings of GandALF 2010. Vol 25. Open Publishing Association; 2010:30-39. doi:10.4204/EPTCS.25.7
View
| DOI
| Download Published Version (ext.)
2010 | Technical Report | IST-REx-ID: 5388 |
Chatterjee K, Cerny P, Henzinger TA, Radhakrishna A, Singh R. Quantitative Synthesis for Concurrent Programs. IST Austria; 2010. doi:10.15479/AT:IST-2010-0004
View
| Files available
| DOI
2010 | Technical Report | IST-REx-ID: 5389 |
Cerny P, Henzinger TA, Radhakrishna A. Simulation Distances. IST Austria; 2010. doi:10.15479/AT:IST-2010-0003
View
| Files available
| DOI
2010 | Technical Report | IST-REx-ID: 5390 |
Chatterjee K, Fijalkow N. Topological, Automata-Theoretic and Logical Characterization of Finitary Languages. IST Austria; 2010. doi:10.15479/AT:IST-2010-0002
View
| Files available
| DOI
2010 | Technical Report | IST-REx-ID: 5391 |
Cerny P, Radhakrishna A, Zufferey D, Chaudhuri S, Alur R. Model Checking of Linearizability of Concurrent List Implementations. IST Austria; 2010. doi:10.15479/AT:IST-2010-0001
View
| Files available
| DOI
2010 | Conference Paper | IST-REx-ID: 3719 |
Feret J, Henzinger TA, Koeppl H, Petrov T. Lumpability abstractions of rule-based systems. In: Vol 40. Open Publishing Association; 2010:142-161.
View
| Files available
| arXiv
2010 | Journal Article | IST-REx-ID: 3772 |
Barton NH. Understanding adaptation in large populations. PLoS Genetics. 2010;6(6). doi:10.1371/journal.pgen.1000987
View
| Files available
| DOI
2010 | Journal Article | IST-REx-ID: 3773 |
Barton NH. What role does natural selection play in speciation? Philosophical Transactions of the Royal Society of London Series B, Biological Sciences. 2010;365(1547):1825-1840. doi:10.1098/rstb.2010.0001
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2010 | Journal Article | IST-REx-ID: 3776 |
Barton NH. Genetic linkage and natural selection. Philosophical Transactions of the Royal Society of London Series B, Biological Sciences. 2010;365(1552):2559-2569. doi:10.1098/rstb.2010.0106
View
| Files available
| DOI
2010 | Journal Article | IST-REx-ID: 3777 |
Barton NH. Mutation and the evolution of recombination. Philosophical Transactions of the Royal Society of London Series B, Biological Sciences. 2010;365(1544):1281-1294. doi:10.1098/rstb.2009.0320
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2010 | Journal Article | IST-REx-ID: 3779 |
Rosas U, Barton NH, Copsey L, Barbier De Reuille P, Coen E. Cryptic variation between species and the basis of hybrid performance. PLoS Biology. 2010;8(7). doi:10.1371/journal.pbio.1000429
View
| Files available
| DOI
2010 | Journal Article | IST-REx-ID: 3787 |
Palero F, Hall S, Clark P, Johnston D, Mackenzie Dodds J, Thatje S. DNA extraction from formalin-fixed tissue: new light from the deep sea. Scientia Marina. 2010;74(3):465-470. doi:10.3989/scimar.2010.74n3465
View
| DOI
| Download Submitted Version (ext.)
2010 | Journal Article | IST-REx-ID: 3790 |
Diz Muñoz A, Krieg M, Bergert M, et al. Control of directed cell migration in vivo by membrane-to-cortex attachment. PLoS Biology. 2010;8(11). doi:10.1371/journal.pbio.1000544
View
| Files available
| DOI
2010 | Conference Paper | IST-REx-ID: 3793 |
Nowozin S, Gehler P, Lampert C. On parameter learning in CRF-based approaches to object class image segmentation. In: Vol 6316. Springer; 2010:98-111. doi:10.1007/978-3-642-15567-3_8
View
| Files available
| DOI
2010 | Book Chapter | IST-REx-ID: 3795 |
Edelsbrunner H, Morozov D, Patel A. The stability of the apparent contour of an orientable 2-manifold. In: Topological Data Analysis and Visualization: Theory, Algorithms and Applications. Springer; 2010:27-42. doi:10.1007/978-3-642-15014-2_3
View
| Files available
| DOI
2010 | Journal Article | IST-REx-ID: 3832 |
Guzmán J, Jonas PM. Beyond TARPs: The growing list of auxiliary AMPAR subunits. Neuron. 2010;66(1):8-10. doi:10.1016/j.neuron.2010.04.003
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2010 | Journal Article | IST-REx-ID: 3834 |
Wolf V, Goel R, Mateescu M, Henzinger TA. Solving the chemical master equation using sliding windows. BMC Systems Biology. 2010;4(42):1-19. doi:10.1186/1752-0509-4-42
View
| Files available
| DOI
2010 | Conference Paper | IST-REx-ID: 3838 |
Henzinger TA, Mateescu M, Mikeev L, Wolf V. Hybrid numerical solution of the chemical master equation. In: Springer; 2010:55-65. doi:10.1145/1839764.1839772
View
| Files available
| DOI
2010 | Conference Paper | IST-REx-ID: 3839 |
Henzinger TA, Hottelier T, Kovács L, Voronkov A. Invariant and type inference for matrices. In: Vol 5944. Springer; 2010:163-179. doi:10.1007/978-3-642-11319-2_14
View
| Files available
| DOI
2010 | Journal Article | IST-REx-ID: 3842 |
Didier F, Henzinger TA, Mateescu M, Wolf V. Fast adaptive uniformization of the chemical master equation. IET Systems Biology. 2010;4(6):441-452. doi:10.1049/iet-syb.2010.0005
View
| Files available
| DOI
2010 | Conference Paper | IST-REx-ID: 3845 |
Henzinger TA, Hottelier T, Kovács L, Rybalchenko A. Aligators for arrays. In: Vol 6397. Springer; 2010:348-356. doi:10.1007/978-3-642-16242-8_25
View
| Files available
| DOI
2010 | Conference Paper | IST-REx-ID: 3847 |
Didier F, Henzinger TA, Mateescu M, Wolf V. SABRE: A tool for the stochastic analysis of biochemical reaction networks. In: IEEE; 2010:193-194. doi:10.1109/QEST.2010.33
View
| Files available
| DOI
2010 | Conference Paper | IST-REx-ID: 3849 |
Bendich P, Edelsbrunner H, Kerber M, Patel A. Persistent homology under non-uniform error. In: Vol 6281. Springer; 2010:12-23. doi:10.1007/978-3-642-15155-2_2
View
| Files available
| DOI
2010 | Conference Paper | IST-REx-ID: 3851 |
Chatterjee K, Doyen L. Energy parity games. In: Vol 6199. Springer; 2010:599-610. doi:10.1007/978-3-642-14162-1_50
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv