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.
2928 Publications
2011 | Preprint | IST-REx-ID: 3363 | 
Chatterjee, K., Henzinger, T. A., & Tracol, M. (n.d.). The decidability frontier for probabilistic automata on infinite words. ArXiv.
View
| Download Preprint (ext.)
| arXiv
2011 | Journal Article | IST-REx-ID: 3364 |
Didier, F., Henzinger, T. A., Mateescu, M., & Wolf, V. (2011). Approximation of event probabilities in noisy cellular processes. Theoretical Computer Science, 412(21), 2128–2141. https://doi.org/10.1016/j.tcs.2010.10.022
View
| Files available
| DOI
2011 | Conference Paper | IST-REx-ID: 3365 |
Chatterjee, K., Henzinger, T. A., Jobstmann, B., & Singh, R. (2011). QUASY: quantitative synthesis tool (Vol. 6605, pp. 267–271). Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Saarbrucken, Germany: Springer. https://doi.org/10.1007/978-3-642-19835-9_24
View
| Files available
| DOI
2011 | Conference Paper | IST-REx-ID: 3366 |
Cerny, P., Chatterjee, K., Henzinger, T. A., Radhakrishna, A., & Singh, R. (2011). Quantitative synthesis for concurrent programs. In G. Gopalakrishnan & S. Qadeer (Eds.) (Vol. 6806, pp. 243–259). Presented at the CAV: Computer Aided Verification, Snowbird, USA: Springer. https://doi.org/10.1007/978-3-642-22110-1_20
View
| Files available
| DOI
2011 | Conference Paper | IST-REx-ID: 3367
Chen, C., & Kerber, M. (2011). An output sensitive algorithm for persistent homology (pp. 207–216). Presented at the SoCG: Symposium on Computational Geometry, Paris, France: ACM. https://doi.org/10.1145/1998196.1998228
View
| Files available
| DOI
2011 | Journal Article | IST-REx-ID: 3368 |
Krens, G., Möllmert, S., & Heisenberg, C.-P. J. (2011). Enveloping cell layer differentiation at the surface of zebrafish germ layer tissue explants. PNAS, 108(3), E9–E10. https://doi.org/10.1073/pnas.1010767108
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2011 | Journal Article | IST-REx-ID: 3369
Pernia-Andrade, A., & Jonas, P. M. (2011). The multiple faces of RIM. Neuron, 69(2), 185–187. https://doi.org/10.1016/j.neuron.2011.01.010
View
| DOI
2011 | Journal Article | IST-REx-ID: 3370 |
Kupczok, A. (2011). Consequences of different null models on the tree shape bias of supertree methods. Systematic Biology, 60(2), 218–225. https://doi.org/10.1093/sysbio/syq086
View
| DOI
| Download Submitted Version (ext.)
2011 | Journal Article | IST-REx-ID: 3371 |
Sixt, M. K., & Parent, C. (2011). Cells on the move in Philadelphia. Molecular Biology and Evolution, 22(6), 724. https://doi.org/10.1091/mbc.E10-12-0958
View
| Files available
| DOI
2011 | Journal Article | IST-REx-ID: 3372 |
Abbot, P., Abe, J., Alcock, J., Alizon, S., Alpedrinha, J., Andersson, M., … Zink, A. (2011). Inclusive fitness theory and eusociality. Nature, 471(7339), E1–E4. https://doi.org/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. (2011). Measuring the complete force field of an optical trap. Optics Letters, 36(7), 1260–1262. https://doi.org/10.1364/OL.36.001260
View
| Files available
| DOI
| Download Published Version (ext.)
2011 | Journal Article | IST-REx-ID: 3374 |
Tkacik, G., & Walczak, A. (2011). Information transmission in genetic regulatory networks a review. Journal of Physics: Condensed Matter, 23(15). https://doi.org/10.1088/0953-8984/23/15/153102
View
| DOI
| Download Submitted Version (ext.)
2011 | Journal Article | IST-REx-ID: 3375 |
de Vladar, H., & Barton, N. H. (2011). The statistical mechanics of a polygenic character under stabilizing selection mutation and drift. Journal of the Royal Society Interface, 8(58), 720–739. https://doi.org/10.1098/rsif.2010.0438
View
| DOI
| Download Submitted Version (ext.)
2011 | Journal Article | IST-REx-ID: 3376 |
Bollenbach, M. T., & Kishony, R. (2011). Resolution of gene regulatory conflicts caused by combinations of antibiotics. Molecular Cell, 42(4), 413–425. https://doi.org/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. (2011). Quantifying transversality by measuring the robustness of intersections. Foundations of Computational Mathematics, 11(3), 345–361. https://doi.org/10.1007/s10208-011-9090-8
View
| DOI
| Download Submitted Version (ext.)
2011 | Journal Article | IST-REx-ID: 3378
Bendich, P., & Harer, J. (2011). Persistent intersection homology. Foundations of Computational Mathematics, 11(3), 305–336. https://doi.org/10.1007/s10208-010-9081-1
View
| DOI
2011 | Journal Article | IST-REx-ID: 3379 |
Row, R., Maître, J.-L., Martin, B., Stockinger, P., Heisenberg, C.-P. J., & Kimelman, D. (2011). Completion of the epithelial to mesenchymal transition in zebrafish mesoderm requires Spadetail. Developmental Biology, 354(1), 102–110. https://doi.org/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, N. H. (2011). Mapping Mendelian traits in asexual progeny using changes in marker allele frequency. Genetical Research, 93(3), 221–232. https://doi.org/10.1017/S0016672311000115
View
| DOI
| Download Published Version (ext.)
2011 | Journal Article | IST-REx-ID: 3381 |
Henzinger, T. A., Jobstmann, B., & Wolf, V. (2011). Formalisms for specifying Markovian population models. IJFCS: International Journal of Foundations of Computer Science, 22(4), 823–841. https://doi.org/10.1142/S0129054111008441
View
| Files available
| DOI
2011 | Journal Article | IST-REx-ID: 3382
Kroemer, O., Lampert, C., & Peters, J. (2011). Learning dynamic tactile sensing with robust vision based training. IEEE Transactions on Robotics, 27(3), 545–557. https://doi.org/10.1109/TRO.2011.2121130
View
| DOI