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.
5784 Publications
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