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 CM, Straehle C, Köthe U, Hamprecht FA. Ilastik: Interactive learning and segmentation toolkit. In: 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 J, Kaloshin V. Destruction of invariant curves in the restricted circular planar three-body problem by using comparison of action. Duke Mathematical Journal. 2011;159(2):275-327. doi:10.1215/00127094-1415878
View
| DOI
2011 | Published | Book Chapter | IST-REx-ID: 881
Kondrashov F. Gene Dosage and Duplication. In: Evolution after Gene Duplication. Wiley-Blackwell; 2011:57-76. doi:10.1002/9780470619902.ch4
View
| DOI
2011 | Published | Journal Article | IST-REx-ID: 890
Koblik E, Red’Kin Y, Meer M, et al. Acrocephalus orinus: A case of Mistaken identity. PLoS One. 2011;6(4). doi:10.1371/journal.pone.0017716
View
| DOI
2011 | Published | Journal Article | IST-REx-ID: 90
Higginbotham AP, Guillen A, Jones N, Donnelly T, Bernoff A. Evidence of the harmonic Faraday instability in ultrasonic atomization experiments with a deep, inviscid fluid. Journal of the Acoustical Society of America. 2011;130(5):2694-2699. doi:10.1121/1.3643816
View
| DOI
| PubMed | Europe PMC
2011 | Published | Journal Article | IST-REx-ID: 9143
Muller CJ, O’Gorman PA. An energetic perspective on the regional response of precipitation to climate change. Nature Climate Change. 2011;1(5):266-271. doi:10.1038/nclimate1169
View
| DOI
2011 | Published | Journal Article | IST-REx-ID: 9144 |
Muller CJ, O’Gorman PA, Back LE. Intensification of precipitation extremes with warming in a cloud-resolving model. Journal of Climate. 2011;24(11):2784-2800. doi:10.1175/2011jcli3876.1
[Published Version]
View
| DOI
| Download Published Version (ext.)
2011 | Published | Journal Article | IST-REx-ID: 918
Hannezo EB, Prost J, Joanny J. Instabilities of monolayered epithelia Shape and structure of villi and crypts. Physical Review Letters. 2011;107(7). doi:10.1103/PhysRevLett.107.078104
View
| DOI
2011 | Published | Journal Article | IST-REx-ID: 919
Angelini T, Hannezo EB, Trepatc X, Marquez M, Fredberg J, Weitz D. Glass-like dynamics of collective cell migration. Proceedings of the National Academy of Sciences of the United States of America. 2011;108(12):4714-4719. doi:10.1073/pnas.1010059108
View
| DOI
2011 | Published | Journal Article | IST-REx-ID: 923 |
Fré S, Hannezo EB, Šale S, et al. Notch lineages and activity in intestinal stem cells determined by a new set of knock in mice. PLoS One. 2011;6(10). doi:10.1371/journal.pone.0025785
[Published Version]
View
| Files available
| DOI
2011 | Published | Conference Paper | IST-REx-ID: 3326 |
Almagor S, Boker U, Kupferman O. What’s decidable about weighted automata. In: Vol 6996. Springer; 2011:482-491. doi:10.1007/978-3-642-24372-1_37
[Submitted Version]
View
| Files available
| DOI
2011 | Published | Journal Article | IST-REx-ID: 3315 |
Chatterjee K, Henzinger TA, Prabhu V. Timed parity games: Complexity and robustness. Logical Methods in Computer Science. 2011;7(4). doi:10.2168/LMCS-7(4:8)2011
[Published 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 | Published | Conference Paper | IST-REx-ID: 3359
Cerny P, Henzinger TA. From boolean to quantitative synthesis. In: ACM; 2011:149-154. doi:10.1145/2038642.2038666
View
| DOI
2011 | Published | Conference Paper | IST-REx-ID: 3360 |
Boker U, Henzinger TA. Determinizing discounted-sum automata. In: Vol 12. Springer; 2011:82-96. doi:10.4230/LIPIcs.CSL.2011.82
[Published Version]
View
| Files available
| DOI
2011 | Published | Conference Paper | IST-REx-ID: 3264
Gupta A, Popeea C, Rybalchenko A. Solving recursion-free Horn clauses over LI+UIF. In: Yang H, ed. Vol 7078. Springer; 2011:188-203. doi:10.1007/978-3-642-25318-8_16
View
| 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: 3347 |
Chatterjee K, Fijalkow N. Finitary languages. In: Vol 6638. Springer; 2011:216-226. 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 K, Doyen L. Energy and mean-payoff parity Markov Decision Processes. In: Vol 6907. Springer; 2011:206-218. 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 K, Majumdar R. Minimum attention controller synthesis for omega regular objectives. In: Fahrenberg U, Tripakis S, eds. Vol 6919. Springer; 2011:145-159. doi:10.1007/978-3-642-24310-3_11
View
| DOI