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.
7066 Publications
2011 |Published| Conference Paper | IST-REx-ID: 3347 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chatterjee, Krishnendu, and Nathanaël Fijalkow. “Finitary Languages,” 6638:216–26. Springer, 2011. https://doi.org/10.1007/978-3-642-21254-3_16.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2011 |Published| Conference Paper | IST-REx-ID: 3346 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Brázdil, Tomáš, Václav Brožek, Krishnendu Chatterjee, Vojtěch Forejt, and Antonín Kučera. “Two Views on Multiple Mean Payoff Objectives in Markov Decision Processes.” IEEE, 2011. https://doi.org/10.1109/LICS.2011.10.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2011 |Published| Conference Paper | IST-REx-ID: 3348 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chatterjee, Krishnendu, and Vinayak Prabhu. “Synthesis of Memory Efficient Real Time Controllers for Safety Objectives,” 221–30. Springer, 2011. https://doi.org/10.1145/1967701.1967734.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2011 |Published| Conference Paper | IST-REx-ID: 3344
Chatterjee, Krishnendu. “Graph Games with Reachability Objectives.” edited by Giorgo Delzanno and Igor Potapov, 6945:1–1. Springer, 2011. https://doi.org/10.1007/978-3-642-24288-5_1.
View
| DOI
2011 |Published| Conference Paper | IST-REx-ID: 3343 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chatterjee, Krishnendu, and Monika H Henzinger. “Faster and Dynamic Algorithms for Maximal End-Component Decomposition and Related Graph Problems in Probabilistic Verification,” 1318–36. SIAM, 2011. https://doi.org/10.1137/1.9781611973082.101.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2011 |Published| Conference Paper | IST-REx-ID: 3360 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Boker, Udi, and Thomas A Henzinger. “Determinizing Discounted-Sum Automata,” 12:82–96. Springer, 2011. https://doi.org/10.4230/LIPIcs.CSL.2011.82.
[Published Version]
View
| Files available
| DOI
2011 |Published| Conference Paper | IST-REx-ID: 3361 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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.
[Submitted Version]
View
| Files available
| DOI
2011 |Published| Conference Paper | IST-REx-ID: 3358 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Henzinger, Thomas A, Vasu Singh, Thomas Wies, and Damien Zufferey. “Scheduling Large Jobs by Abstraction Refinement,” 329–42. ACM, 2011. https://doi.org/10.1145/1966445.1966476.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2011 |Published| Conference Paper | IST-REx-ID: 3359
Cerny, Pavol, and Thomas A Henzinger. “From Boolean to Quantitative Synthesis,” 149–54. ACM, 2011. https://doi.org/10.1145/2038642.2038666.
View
| DOI
2011 |Published| Conference Paper | IST-REx-ID: 3357
Chatterjee, Krishnendu, Thomas A Henzinger, and Florian Horn. “The Complexity of Request-Response Games.” edited by Adrian-Horia Dediu, Shunsuke Inenaga, and Carlos Martín-Vide, 6638:227–37. Springer, 2011. https://doi.org/10.1007/978-3-642-21254-3_17.
View
| DOI
2011 |Published| Journal Article | IST-REx-ID: 336
Ibáñez, Maria, Pablo Guardia, Alexey Shavel, Doris Cadavid, Jordi Arbiol, Joan Morante, and Andreu Cabot. “Growth Kinetics of Asymmetric Bi2S3 Nanocrystals: Size Distribution Focusing in Nanorods.” Journal of Physical Chemistry C. American Chemical Society, 2011. https://doi.org/10.1021/jp2002904.
View
| DOI
2011 |Published| Journal Article | IST-REx-ID: 3379 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2011 |Published| Journal Article | IST-REx-ID: 3376 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2011 |Published| Journal Article | IST-REx-ID: 3380 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2011 |Published| Journal Article | IST-REx-ID: 3377 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2011 |Published| Journal Article | IST-REx-ID: 3378
Bendich, Paul, and John Harer. “Persistent Intersection Homology.” Foundations of Computational Mathematics. Springer, 2011. https://doi.org/10.1007/s10208-010-9081-1.
View
| DOI
2011 |Published| Journal Article | IST-REx-ID: 3388 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Ugelvig, Line V, Per Nielsen, Jacobus Boomsma, and David Nash. “Reconstructing Eight Decades of Genetic Variation in an Isolated Danish Population of the Large Blue Butterfly Maculinea Arion.” BMC Evolutionary Biology. BioMed Central, 2011. https://doi.org/10.1186/1471-2148-11-201.
[Published Version]
View
| Files available
| DOI
2011 |Published| Journal Article | IST-REx-ID: 3384 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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.
[Published Version]
View
| Files available
| DOI
2011 |Published| Journal Article | IST-REx-ID: 3387 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Kupczok, Anne. “Split Based Computation of Majority Rule Supertrees.” BMC Evolutionary Biology. BioMed Central, 2011. https://doi.org/10.1186/1471-2148-11-205.
[Published Version]
View
| Files available
| DOI
2011 |Published| Journal Article | IST-REx-ID: 3389
Blaschko, Matthew, Jacquelyn Shelton, Andreas Bartels, Christoph Lampert, and Arthur Gretton. “Semi Supervised Kernel Canonical Correlation Analysis with Application to Human FMRI.” Pattern Recognition Letters. Elsevier, 2011. https://doi.org/10.1016/j.patrec.2011.02.011.
View
| DOI