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.
331 Publications
2011 | Published | Conference Paper | IST-REx-ID: 9943 | 
Sommer, Christoph M., et al. “Ilastik: Interactive Learning and Segmentation Toolkit.” 2011 IEEE International Symposium on Biomedical Imaging: From Nano to Micro, Institute of Electrical and Electronics Engineers, 2011, doi:10.1109/isbi.2011.5872394.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2011 | Published | Journal Article | IST-REx-ID: 8505
Galante, Joseph, and Vadim Kaloshin. “Destruction of Invariant Curves in the Restricted Circular Planar Three-Body Problem by Using Comparison of Action.” Duke Mathematical Journal, vol. 159, no. 2, Duke University Press, 2011, pp. 275–327, doi:10.1215/00127094-1415878.
View
| DOI
2011 | Published | Book Chapter | IST-REx-ID: 881
Kondrashov, Fyodor. “Gene Dosage and Duplication.” Evolution after Gene Duplication, Wiley-Blackwell, 2011, pp. 57–76, doi:10.1002/9780470619902.ch4.
View
| DOI
2011 | Published | Journal Article | IST-REx-ID: 890
Koblik, Evgeniy, et al. “Acrocephalus Orinus: A Case of Mistaken Identity.” PLoS One, vol. 6, no. 4, Public Library of Science, 2011, doi:10.1371/journal.pone.0017716.
View
| DOI
2011 | Published | Journal Article | IST-REx-ID: 90
Higginbotham, Andrew P., et al. “Evidence of the Harmonic Faraday Instability in Ultrasonic Atomization Experiments with a Deep, Inviscid Fluid.” Journal of the Acoustical Society of America, vol. 130, no. 5, Acoustical Society of America, 2011, pp. 2694–99, doi:10.1121/1.3643816.
View
| DOI
| PubMed | Europe PMC
2011 | Published | Journal Article | IST-REx-ID: 9143
Muller, Caroline J., and P. A. O’Gorman. “An Energetic Perspective on the Regional Response of Precipitation to Climate Change.” Nature Climate Change, vol. 1, no. 5, Springer Nature, 2011, pp. 266–71, doi:10.1038/nclimate1169.
View
| DOI
2011 | Published | Journal Article | IST-REx-ID: 9144 |
Muller, Caroline J., et al. “Intensification of Precipitation Extremes with Warming in a Cloud-Resolving Model.” Journal of Climate, vol. 24, no. 11, American Meteorological Society, 2011, pp. 2784–800, doi:10.1175/2011jcli3876.1.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2011 | Published | Journal Article | IST-REx-ID: 918
Hannezo, Edouard B., et al. “Instabilities of Monolayered Epithelia Shape and Structure of Villi and Crypts.” Physical Review Letters, vol. 107, no. 7, American Physical Society, 2011, doi:10.1103/PhysRevLett.107.078104.
View
| DOI
2011 | Published | Journal Article | IST-REx-ID: 919
Angelini, Thomas, et al. “Glass-like Dynamics of Collective Cell Migration.” Proceedings of the National Academy of Sciences of the United States of America, vol. 108, no. 12, PNAS, 2011, pp. 4714–19, doi:10.1073/pnas.1010059108.
View
| DOI
2011 | Published | Journal Article | IST-REx-ID: 923 |
Fré, Silvia, et al. “Notch Lineages and Activity in Intestinal Stem Cells Determined by a New Set of Knock in Mice.” PLoS One, vol. 6, no. 10, e25785, Public Library of Science, 2011, doi:10.1371/journal.pone.0025785.
[Published Version]
View
| Files available
| DOI
2011 | Published | Conference Paper | IST-REx-ID: 3326 |
Almagor, Shaull, et al. What’s Decidable about Weighted Automata. Vol. 6996, Springer, 2011, pp. 482–91, doi:10.1007/978-3-642-24372-1_37.
[Submitted Version]
View
| Files available
| DOI
2011 | Published | Journal Article | IST-REx-ID: 3315 |
Chatterjee, Krishnendu, et al. “Timed Parity Games: Complexity and Robustness.” Logical Methods in Computer Science, vol. 7, no. 4, International Federation of Computational Logic, 2011, doi:10.2168/LMCS-7(4:8)2011.
[Published Version]
View
| Files available
| DOI
2011 | Published | Conference Paper | IST-REx-ID: 3362 |
Fisher, Jasmin, et al. Dynamic Reactive Modules. Vol. 6901, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2011, pp. 404–18, doi:10.1007/978-3-642-23217-6_27.
[Submitted Version]
View
| Files available
| DOI
2011 | Published | Conference Paper | IST-REx-ID: 3359
Cerny, Pavol, and Thomas A. Henzinger. From Boolean to Quantitative Synthesis. ACM, 2011, pp. 149–54, doi:10.1145/2038642.2038666.
View
| DOI
2011 | Published | Conference Paper | IST-REx-ID: 3360 |
Boker, Udi, and Thomas A. Henzinger. Determinizing Discounted-Sum Automata. Vol. 12, Springer, 2011, pp. 82–96, doi:10.4230/LIPIcs.CSL.2011.82.
[Published Version]
View
| Files available
| DOI
2011 | Published | Conference Paper | IST-REx-ID: 3264
Gupta, Ashutosh, et al. Solving Recursion-Free Horn Clauses over LI+UIF. Edited by Hongseok Yang, vol. 7078, Springer, 2011, pp. 188–203, doi:10.1007/978-3-642-25318-8_16.
View
| DOI
2011 | Published | Conference Paper | IST-REx-ID: 3366 |
Cerny, Pavol, et al. Quantitative Synthesis for Concurrent Programs. Edited by Ganesh Gopalakrishnan and Shaz Qadeer, vol. 6806, Springer, 2011, pp. 243–59, doi:10.1007/978-3-642-22110-1_20.
[Submitted Version]
View
| Files available
| DOI
2011 | Published | Conference Paper | IST-REx-ID: 3347 |
Chatterjee, Krishnendu, and Nathanaël Fijalkow. Finitary Languages. Vol. 6638, Springer, 2011, pp. 216–26, doi:10.1007/978-3-642-21254-3_16.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2011 | Published | Conference Paper | IST-REx-ID: 3345 |
Chatterjee, Krishnendu, and Laurent Doyen. Energy and Mean-Payoff Parity Markov Decision Processes. Vol. 6907, Springer, 2011, pp. 206–18, doi:10.1007/978-3-642-22993-0_21.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2011 | Published | Conference Paper | IST-REx-ID: 3350
Chatterjee, Krishnendu, and Ritankar Majumdar. Minimum Attention Controller Synthesis for Omega Regular Objectives. Edited by Uli Fahrenberg and Stavros Tripakis, vol. 6919, Springer, 2011, pp. 145–59, doi:10.1007/978-3-642-24310-3_11.
View
| DOI