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.
5767 Publications
2013 | Technical Report | IST-REx-ID: 5409 | 
Chatterjee, Krishnendu, et al. Edit Distance for Timed Automata. IST Austria, 2013, doi:10.15479/AT:IST-2013-144-v1-1.
[Published Version]
View
| Files available
| DOI
2013 | Technical Report | IST-REx-ID: 5406 |
Chatterjee, Krishnendu, et al. Distributed Synthesis for LTL Fragments. IST Austria, 2013, doi:10.15479/AT:IST-2013-130-v1-1.
[Published Version]
View
| Files available
| DOI
2013 | Technical Report | IST-REx-ID: 5408 |
Chatterjee, Krishnendu, et al. The Complexity of Partial-Observation Stochastic Parity Games with Finite-Memory Strategies. IST Austria, 2013, doi:10.15479/AT:IST-2013-141-v1-1.
[Published Version]
View
| Files available
| DOI
2013 | Report | IST-REx-ID: 5407 |
Porsche, Jana. Technical Requirements and Features. IST Austria, 2013.
[Published Version]
View
| Files available
2013 | Technical Report | IST-REx-ID: 5410 |
Ahmed, Umair, et al. Automatic Generation of Alternative Starting Positions for Traditional Board Games. IST Austria, 2013, doi:10.15479/AT:IST-2013-146-v1-1.
[Published Version]
View
| Files available
| DOI
2013 | Conference Paper | IST-REx-ID: 2327 |
Henzinger, Thomas A., and Jan Otop. From Model Checking to Model Measuring. Vol. 8052, Springer, 2013, pp. 273–87, doi:10.1007/978-3-642-40184-8_20.
[Submitted Version]
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 595 |
Bernecky, Carrie, and Patrick Cramer. “Struggling to Let Go: A Non-Coding RNA Directs Its Own Extension and Destruction.” EMBO Journal, vol. 32, no. 6, Wiley-Blackwell, 2013, pp. 771–72, doi:10.1038/emboj.2013.36.
View
| DOI
| Download None (ext.)
2013 | Journal Article | IST-REx-ID: 6128 |
Kodama-Namba, Eiji, et al. “Cross-Modulation of Homeostatic Responses to Temperature, Oxygen and Carbon Dioxide in C. Elegans.” PLoS Genetics, vol. 9, no. 12, e1004011, Public Library of Science (PLoS), 2013, doi:10.1371/journal.pgen.1004011.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2013 | Journal Article | IST-REx-ID: 6130 |
Chen, Changchun, et al. “Efficient Genome Editing in Caenorhabditis Elegans by CRISPR-Targeted Homologous Recombination.” Nucleic Acids Research, vol. 41, no. 20, e193, Oxford University Press, 2013, doi:10.1093/nar/gkt805.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2013 | Journal Article | IST-REx-ID: 6133 |
Couto, A., et al. “In Vivo Genetic Dissection of O2-Evoked CGMP Dynamics in a Caenorhabditis Elegans Gas Sensor.” Proceedings of the National Academy of Sciences, vol. 110, no. 35, Proceedings of the National Academy of Sciences, 2013, pp. E3301–10, doi:10.1073/pnas.1217428110.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC