Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.




6533 Publications

2017 | Published | Journal Article | IST-REx-ID: 947 | OA
D. De Martino, F. Capuani, and A. De Martino, “Quantifying the entropic cost of cellular growth control,” Physical Review E Statistical Nonlinear and Soft Matter Physics , vol. 96, no. 1. American Institute of Physics, 2017.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | arXiv
 
2017 | Published | Conference Paper | IST-REx-ID: 950 | OA
G. Avni, T. A. Henzinger, and V. K. Chonev, “Infinite-duration bidding games,” presented at the CONCUR: Concurrency Theory, Berlin, Germany, 2017, vol. 85.
[Published Version] View | Files available | DOI | arXiv
 
2017 | Published | Journal Article | IST-REx-ID: 9506 | OA
D. Zilberman, “An evolutionary case for functional gene body methylation in plants and animals,” Genome Biology, vol. 18, no. 1. Springer Nature, 2017.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 
2017 | Published | Journal Article | IST-REx-ID: 951 | OA
T. Schmidt et al., “Local introduction and heterogeneous spatial spread of dengue-suppressing Wolbachia through an urban population of Aedes Aegypti,” PLoS Biology, vol. 15, no. 5. Public Library of Science, 2017.
[Published Version] View | Files available | DOI | WoS
 
2017 | Published | Journal Article | IST-REx-ID: 952 | OA
M. Turelli and N. H. Barton, “Deploying dengue-suppressing Wolbachia: Robust models predict slow but effective spatial spread in Aedes aegypti,” Theoretical Population Biology, vol. 115. Elsevier, pp. 45–60, 2017.
[Submitted Version] View | Files available | DOI | PubMed | Europe PMC
 
2017 | Published | Journal Article | IST-REx-ID: 953 | OA
D. Charlesworth, N. H. Barton, and B. Charlesworth, “The sources of adaptive evolution,” Proceedings of the Royal Society of London Series B Biological Sciences, vol. 284, no. 1855. Royal Society, The, 2017.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 
2017 | Published | Journal Article | IST-REx-ID: 954 | OA
M. Lagator, T. Paixao, N. H. Barton, J. P. Bollback, and C. C. Guet, “On the mechanistic nature of epistasis in a canonical cis-regulatory element,” eLife, vol. 6. eLife Sciences Publications, 2017.
[Published Version] View | Files available | DOI | WoS
 
2017 | Published | Journal Article | IST-REx-ID: 956 | OA
E. Carlen and J. Maas, “Gradient flow and entropy inequalities for quantum Markov semigroups with detailed balance,” Journal of Functional Analysis, vol. 273, no. 5. Academic Press, pp. 1810–1869, 2017.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | arXiv
 
2017 | Published | Book Chapter | IST-REx-ID: 957
B. Clifton et al., “Ancestral protein reconstruction and circular permutation for improving the stability and dynamic range of FRET sensors,” in Synthetic Protein Switches, vol. 1596, V. Stein, Ed. Springer, 2017, pp. 71–87.
View | DOI
 
2017 | Published | Book Chapter | IST-REx-ID: 958
J. Mitchell et al., “Method for developing optical sensors using a synthetic dye fluorescent protein FRET pair and computational modeling and assessment,” in Synthetic Protein Switches, vol. 1596, V. Stein, Ed. Springer, 2017, pp. 89–99.
View | DOI
 
2017 | Published | Journal Article | IST-REx-ID: 959 | OA
D. De Martino, “Scales and multimodal flux distributions in stationary metabolic network models via thermodynamics,” Physical Review E Statistical Nonlinear and Soft Matter Physics , vol. 95, no. 6. American Institute of Physics, p. 062419, 2017.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | arXiv
 
2017 | Published | Conference Paper | IST-REx-ID: 963 | OA
G. Avni, S. Guha, and O. Kupferman, “Timed network games with clocks,” presented at the MFCS: Mathematical Foundations of Computer Science, Aalborg, Denmark, 2017, vol. 83.
[Published Version] View | Files available | DOI
 
2017 | Research Data Reference | IST-REx-ID: 9707 | OA
P. Riccio, C. Cebrián, H. Zong, S. Hippenmeyer, and F. Costantini, “Data from: Ret and Etv4 promote directed movements of progenitor cells during renal branching morphogenesis.” Dryad, 2017.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2017 | Research Data Reference | IST-REx-ID: 9709 | OA
J. Prentice, O. Marre, M. Ioffe, A. Loback, G. Tkačik, and M. Berry, “Data from: Error-robust modes of the retinal population code.” Dryad, 2017.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2017 | Published | Journal Article | IST-REx-ID: 463 | OA
S. Altmeyer, Y. Do, and S. Ryu, “Transient behavior between multi-cell flow states in ferrofluidic Taylor-Couette flow,” Chaos, vol. 27, no. 11. AIP Publishing, 2017.
[Published Version] View | Files available | DOI | WoS
 
2017 | Published | Journal Article | IST-REx-ID: 464 | OA
K. Chatterjee, M. Henzinger, and V. Loitzenbauer, “Improved algorithms for parity and Streett objectives,” Logical Methods in Computer Science, vol. 13, no. 3. International Federation of Computational Logic, 2017.
[Published Version] View | Files available | DOI | WoS | arXiv
 
2017 | Published | Journal Article | IST-REx-ID: 466 | OA
K. Chatterjee, Z. Křetínská, and J. Kretinsky, “Unifying two views on multiple mean-payoff objectives in Markov decision processes,” Logical Methods in Computer Science, vol. 13, no. 2. International Federation of Computational Logic, 2017.
[Published Version] View | Files available | DOI | WoS
 
2017 | Published | Journal Article | IST-REx-ID: 467 | OA
K. Chatterjee, T. A. Henzinger, and J. Otop, “Nested weighted automata,” ACM Transactions on Computational Logic (TOCL), vol. 18, no. 4. ACM, 2017.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 
2017 | Published | Journal Article | IST-REx-ID: 471 | OA
P. Daca, T. A. Henzinger, J. Kretinsky, and T. Petrov, “Faster statistical model checking for unbounded temporal properties,” ACM Transactions on Computational Logic, vol. 18, no. 2. ACM, 2017.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | WoS | arXiv
 
2017 | Published | Journal Article | IST-REx-ID: 481 | OA
T. Biedl, S. Huber, and P. Palfrader, “Planar matchings for weighted straight skeletons,” International Journal of Computational Geometry and Applications, vol. 26, no. 3–4. World Scientific Publishing, pp. 211–229, 2017.
[Published Version] View | Files available | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed