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.

2525 Publications


2011 | Conference Paper | IST-REx-ID: 3360 | OA
Boker, Udi, and Thomas A Henzinger. “Determinizing Discounted-Sum Automata,” 12:82–96. Springer, 2011. https://doi.org/10.4230/LIPIcs.CSL.2011.82.
View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3361 | OA
Cerny, Pavol, Krishnendu Chatterjee, and Thomas A Henzinger. “The Complexity of Quantitative Information Flow Problems,” 205–17. IEEE, 2011. https://doi.org/10.1109/CSF.2011.21.
View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3362 | OA
Fisher, Jasmin, Thomas A Henzinger, Dejan Nickovic, Nir Piterman, Anmol Singh, and Moshe Vardi. “Dynamic Reactive Modules,” 6901:404–18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2011. https://doi.org/10.1007/978-3-642-23217-6_27.
View | Files available | DOI
 

2011 | Preprint | IST-REx-ID: 3363 | OA
Chatterjee, Krishnendu, Thomas A Henzinger, and Mathieu Tracol. “The Decidability Frontier for Probabilistic Automata on Infinite Words.” ArXiv, n.d.
View | Download Preprint (ext.) | arXiv
 

2011 | Journal Article | IST-REx-ID: 3364 | OA
Didier, Frédéric, Thomas A Henzinger, Maria Mateescu, and Verena Wolf. “Approximation of Event Probabilities in Noisy Cellular Processes.” Theoretical Computer Science. Elsevier, 2011. https://doi.org/10.1016/j.tcs.2010.10.022.
View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3365 | OA
Chatterjee, Krishnendu, Thomas A Henzinger, Barbara Jobstmann, and Rohit Singh. “QUASY: Quantitative Synthesis Tool,” 6605:267–71. Springer, 2011. https://doi.org/10.1007/978-3-642-19835-9_24.
View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3366 | OA
Cerny, Pavol, Krishnendu Chatterjee, Thomas A Henzinger, Arjun Radhakrishna, and Rohit Singh. “Quantitative Synthesis for Concurrent Programs.” edited by Ganesh Gopalakrishnan and Shaz Qadeer, 6806:243–59. Springer, 2011. https://doi.org/10.1007/978-3-642-22110-1_20.
View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 3368 | OA
Krens, Gabriel, Stephanie Möllmert, and Carl-Philipp J Heisenberg. “Enveloping Cell Layer Differentiation at the Surface of Zebrafish Germ Layer Tissue Explants.” PNAS. National Academy of Sciences, 2011. https://doi.org/10.1073/pnas.1010767108.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2011 | Journal Article | IST-REx-ID: 3370 | OA
Kupczok, Anne. “Consequences of Different Null Models on the Tree Shape Bias of Supertree Methods.” Systematic Biology. Oxford University Press, 2011. https://doi.org/10.1093/sysbio/syq086.
View | DOI | Download Submitted Version (ext.)
 

2011 | Journal Article | IST-REx-ID: 3371 | OA
Sixt, Michael K, and Carole Parent. “Cells on the Move in Philadelphia.” Molecular Biology and Evolution. Oxford University Press, 2011. https://doi.org/10.1091/mbc.E10-12-0958.
View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 3372 | OA
Abbot, Patrick, Jun Abe, John Alcock, Samuel Alizon, Joao Alpedrinha, Malte Andersson, Jean Andre, et al. “Inclusive Fitness Theory and Eusociality.” Nature. Nature Publishing Group, 2011. https://doi.org/10.1038/nature09831.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2011 | Journal Article | IST-REx-ID: 3373 | OA
Jahnel, Marcus, Martin Behrndt, Anita Jannasch, Erik Schaeffer, and Stephan Grill. “Measuring the Complete Force Field of an Optical Trap.” Optics Letters. OSA, 2011. https://doi.org/10.1364/OL.36.001260.
View | Files available | DOI | Download Published Version (ext.)
 

2011 | Journal Article | IST-REx-ID: 3374 | OA
Tkačik, Gašper, and Aleksandra Walczak. “Information Transmission in Genetic Regulatory Networks a Review.” Journal of Physics: Condensed Matter. IOP Publishing Ltd., 2011. https://doi.org/10.1088/0953-8984/23/15/153102.
View | DOI | Download Submitted Version (ext.)
 

2011 | Journal Article | IST-REx-ID: 3375 | OA
Vladar, Harold de, and Nicholas H Barton. “The Statistical Mechanics of a Polygenic Character under Stabilizing Selection Mutation and Drift.” Journal of the Royal Society Interface. Royal Society of London, 2011. https://doi.org/10.1098/rsif.2010.0438.
View | DOI | Download Submitted Version (ext.)
 

2011 | Journal Article | IST-REx-ID: 3376 | OA
Bollenbach, Mark Tobias, and Roy Kishony. “Resolution of Gene Regulatory Conflicts Caused by Combinations of Antibiotics.” Molecular Cell. Cell Press, 2011. https://doi.org/10.1016/j.molcel.2011.04.016.
View | DOI | Download Submitted Version (ext.)
 

2011 | Journal Article | IST-REx-ID: 3377 | OA
Edelsbrunner, Herbert, Dmitriy Morozov, and Amit Patel. “Quantifying Transversality by Measuring the Robustness of Intersections.” Foundations of Computational Mathematics. Springer, 2011. https://doi.org/10.1007/s10208-011-9090-8.
View | DOI | Download Submitted Version (ext.)
 

2011 | Journal Article | IST-REx-ID: 3379 | OA
Row, Richard, Jean-Léon Maître, Benjamin Martin, Petra Stockinger, Carl-Philipp J Heisenberg, and David Kimelman. “Completion of the Epithelial to Mesenchymal Transition in Zebrafish Mesoderm Requires Spadetail.” Developmental Biology. Elsevier, 2011. 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 | OA
Logeswaran, Sayanthan, and Nicholas H Barton. “Mapping Mendelian Traits in Asexual Progeny Using Changes in Marker Allele Frequency.” Genetical Research. Cambridge University Press, 2011. https://doi.org/10.1017/S0016672311000115.
View | DOI | Download Published Version (ext.)
 

2011 | Journal Article | IST-REx-ID: 3381 | OA
Henzinger, Thomas A, Barbara Jobstmann, and Verena Wolf. “Formalisms for Specifying Markovian Population Models.” IJFCS: International Journal of Foundations of Computer Science. World Scientific Publishing, 2011. https://doi.org/10.1142/S0129054111008441.
View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 3384 | OA
Tkačik, Gašper, Patrick Garrigan, Charles Ratliff, Grega Milcinski, Jennifer Klein, Lucia Seyfarth, Peter Sterling, David Brainard, and Vijay Balasubramanian. “Natural Images from the Birthplace of the Human Eye.” PLoS One. Public Library of Science, 2011. https://doi.org/10.1371/journal.pone.0020409.
View | Files available | DOI
 

Filters and Search Terms

oa=1

extern<>1

Search

Filter Publications