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.
9332 Publications
2013 |Published| Technical Report | IST-REx-ID: 5403 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chatterjee K, Ibsen-Jensen R. 2013. Qualitative analysis of concurrent mean-payoff games, IST Austria, 33p.
[Published Version]
View
| Files available
| DOI
2013 |Published| Technical Report | IST-REx-ID: 5402 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Henzinger TA, Sezgin A. 2013. How free is your linearizable concurrent data structure?, IST Austria, 16p.
[Published Version]
View
| Files available
| DOI
2013 |Published| Technical Report | IST-REx-ID: 5400 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chatterjee K, Chmelik M, Tracol M. 2013. What is decidable about partially observable Markov decision processes with ω-regular objectives, IST Austria, 41p.
[Published Version]
View
| Files available
| DOI
2013 |Published| Technical Report | IST-REx-ID: 5404 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chatterjee K, Ibsen-Jensen R. 2013. The complexity of ergodic games, IST Austria, 29p.
[Published Version]
View
| Files available
| DOI
2013 |Published| Report | IST-REx-ID: 5401 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Porsche J. 2013. Initiatives and projects related to RD, IST Austria,p.
[Published Version]
View
| Files available
2013 |Published| Technical Report | IST-REx-ID: 5405 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chatterjee K, Doyen L, Gimbert H, Oualhadj Y. 2013. Perfect-information stochastic mean-payoff parity games, IST Austria, 22p.
[Published Version]
View
| Files available
| DOI
2013 |Published| Technical Report | IST-REx-ID: 5409 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chatterjee K, Ibsen-Jensen R, Majumdar R. 2013. Edit distance for timed automata, IST Austria, 12p.
[Published Version]
View
| Files available
| DOI
2013 |Published| Conference Paper | IST-REx-ID: 1376
Chatterjee K, Henzinger TA, Otop J, Pavlogiannis A. 2013. Distributed synthesis for LTL fragments. 13th International Conference on Formal Methods in Computer-Aided Design. FMCAD: Formal Methods in Computer-Aided Design, 18–25.
View
| Files available
| DOI
2013 |Published| Technical Report | IST-REx-ID: 5406 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chatterjee K, Henzinger TA, Otop J, Pavlogiannis A. 2013. Distributed synthesis for LTL Fragments, IST Austria, 11p.
[Published Version]
View
| Files available
| DOI
2013 |Published| Technical Report | IST-REx-ID: 5408 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chatterjee K, Doyen L, Nain S, Vardi M. 2013. The complexity of partial-observation stochastic parity games with finite-memory strategies, IST Austria, 17p.
[Published Version]
View
| Files available
| DOI
2013 |Published| Report | IST-REx-ID: 5407 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Porsche J. 2013. Technical requirements and features, IST Austria,p.
[Published Version]
View
| Files available
2013 |Published| Technical Report | IST-REx-ID: 5410 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Ahmed U, Chatterjee K, Gulwani S. 2013. Automatic generation of alternative starting positions for traditional board games, IST Austria, 13p.
[Published Version]
View
| Files available
| DOI
2013 |Published| Conference Paper | IST-REx-ID: 2327 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Henzinger TA, Otop J. 2013. From model checking to model measuring. 8052, 273–287.
[Submitted Version]
View
| Files available
| DOI
2013 |Published| Journal Article | IST-REx-ID: 5920
Hillar CJ, Martin del Campo Sanchez A. 2013. Finiteness theorems and algorithms for permutation invariant chains of Laurent lattice ideals. Journal of Symbolic Computation. 50, 314–334.
View
| Files available
| DOI
2013 |Published| Journal Article | IST-REx-ID: 595 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Bernecky C, Cramer P. 2013. Struggling to let go: A non-coding RNA directs its own extension and destruction. EMBO Journal. 32(6), 771–772.
View
| DOI
| Download None (ext.)
2013 |Published| Journal Article | IST-REx-ID: 6128 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Kodama-Namba E, Fenk LA, Bretscher AJ, Gross E, Busch KE, de Bono M. 2013. Cross-modulation of homeostatic responses to temperature, oxygen and carbon dioxide in C. elegans. PLoS Genetics. 9(12), e1004011.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2013 |Published| Journal Article | IST-REx-ID: 6130 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chen C, Fenk LA, de Bono M. 2013. Efficient genome editing in Caenorhabditis elegans by CRISPR-targeted homologous recombination. Nucleic Acids Research. 41(20), e193.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2013 |Published| Journal Article | IST-REx-ID: 6133 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Couto A, Oda S, Nikolaev VO, Soltesz Z, de Bono M. 2013. In vivo genetic dissection of O2-evoked cGMP dynamics in a Caenorhabditis elegans gas sensor. Proceedings of the National Academy of Sciences. 110(35), E3301–E3310.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC