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 K, Ibsen-Jensen R, Majumdar R. 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 K, Henzinger TA, Otop J, Pavlogiannis A. 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 K, Doyen L, Nain S, Vardi M. 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 J. Technical Requirements and Features. IST Austria; 2013.
[Published Version]
View
| Files available
2013 | Technical Report | IST-REx-ID: 5410 |
Ahmed U, Chatterjee K, Gulwani S. 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 TA, Otop J. From model checking to model measuring. 2013;8052:273-287. doi:10.1007/978-3-642-40184-8_20
[Submitted Version]
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 595 |
Bernecky C, Cramer P. Struggling to let go: A non-coding RNA directs its own extension and destruction. EMBO Journal. 2013;32(6):771-772. doi:10.1038/emboj.2013.36
View
| DOI
| Download None (ext.)
2013 | Journal Article | IST-REx-ID: 6128 |
Kodama-Namba E, Fenk LA, Bretscher AJ, Gross E, Busch KE, de Bono M. Cross-modulation of homeostatic responses to temperature, oxygen and carbon dioxide in C. elegans. PLoS Genetics. 2013;9(12). doi:10.1371/journal.pgen.1004011
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2013 | Journal Article | IST-REx-ID: 6130 |
Chen C, Fenk LA, de Bono M. Efficient genome editing in Caenorhabditis elegans by CRISPR-targeted homologous recombination. Nucleic Acids Research. 2013;41(20). doi:10.1093/nar/gkt805
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2013 | Journal Article | IST-REx-ID: 6133 |
Couto A, Oda S, Nikolaev VO, Soltesz Z, de Bono M. In vivo genetic dissection of O2-evoked cGMP dynamics in a Caenorhabditis elegans gas sensor. Proceedings of the National Academy of Sciences. 2013;110(35):E3301-E3310. doi:10.1073/pnas.1217428110
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC