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.
4854 Publications
2011 | Published | Conference Paper | IST-REx-ID: 3361 | 
Cerny P, Chatterjee K, Henzinger TA. The complexity of quantitative information flow problems. In: IEEE; 2011:205-217. doi:10.1109/CSF.2011.21
[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 | Submitted | Preprint | IST-REx-ID: 3363 |
Chatterjee K, Henzinger TA, Tracol M. The decidability frontier for probabilistic automata on infinite words.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
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: 3366 |
Cerny P, Chatterjee K, Henzinger TA, Radhakrishna A, Singh R. Quantitative synthesis for concurrent programs. In: Gopalakrishnan G, Qadeer S, eds. Vol 6806. Springer; 2011:243-259. doi:10.1007/978-3-642-22110-1_20
[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: 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: 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
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
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: 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
[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