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.
9626 Publications
2013 |Published| Technical Report | IST-REx-ID: 5402 |
How free is your linearizable concurrent data structure?
T.A. Henzinger, A. Sezgin, How Free Is Your Linearizable Concurrent Data Structure?, IST Austria, 2013.
[Published Version]
View
| Files available
| DOI
T.A. Henzinger, A. Sezgin, How Free Is Your Linearizable Concurrent Data Structure?, IST Austria, 2013.
2013 |Published| Technical Report | IST-REx-ID: 5400 |
What is decidable about partially observable Markov decision processes with ω-regular objectives
K. Chatterjee, M. Chmelik, M. Tracol, What Is Decidable about Partially Observable Markov Decision Processes with ω-Regular Objectives, IST Austria, 2013.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, M. Chmelik, M. Tracol, What Is Decidable about Partially Observable Markov Decision Processes with ω-Regular Objectives, IST Austria, 2013.
2013 |Published| Technical Report | IST-REx-ID: 5404 |
The complexity of ergodic games
K. Chatterjee, R. Ibsen-Jensen, The Complexity of Ergodic Games, IST Austria, 2013.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, R. Ibsen-Jensen, The Complexity of Ergodic Games, IST Austria, 2013.
2013 |Published| Report | IST-REx-ID: 5401 |
Initiatives and projects related to RD
J. Porsche, Initiatives and Projects Related to RD, IST Austria, 2013.
[Published Version]
View
| Files available
J. Porsche, Initiatives and Projects Related to RD, IST Austria, 2013.
2013 |Published| Technical Report | IST-REx-ID: 5405 |
Perfect-information stochastic mean-payoff parity games
K. Chatterjee, L. Doyen, H. Gimbert, Y. Oualhadj, Perfect-Information Stochastic Mean-Payoff Parity Games, IST Austria, 2013.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, L. Doyen, H. Gimbert, Y. Oualhadj, Perfect-Information Stochastic Mean-Payoff Parity Games, IST Austria, 2013.
2013 |Published| Technical Report | IST-REx-ID: 5409 |
Edit distance for timed automata
K. Chatterjee, R. Ibsen-Jensen, R. Majumdar, Edit Distance for Timed Automata, IST Austria, 2013.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, R. Ibsen-Jensen, R. Majumdar, Edit Distance for Timed Automata, IST Austria, 2013.
2013 |Published| Conference Paper | IST-REx-ID: 1376
Distributed synthesis for LTL fragments
K. Chatterjee, T.A. Henzinger, J. Otop, A. Pavlogiannis, in:, 13th International Conference on Formal Methods in Computer-Aided Design, IEEE, 2013, pp. 18–25.
View
| Files available
| DOI
K. Chatterjee, T.A. Henzinger, J. Otop, A. Pavlogiannis, in:, 13th International Conference on Formal Methods in Computer-Aided Design, IEEE, 2013, pp. 18–25.
2013 |Published| Technical Report | IST-REx-ID: 5406 |
Distributed synthesis for LTL Fragments
K. Chatterjee, T.A. Henzinger, J. Otop, A. Pavlogiannis, Distributed Synthesis for LTL Fragments, IST Austria, 2013.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, T.A. Henzinger, J. Otop, A. Pavlogiannis, Distributed Synthesis for LTL Fragments, IST Austria, 2013.
2013 |Published| Technical Report | IST-REx-ID: 5408 |
The complexity of partial-observation stochastic parity games with finite-memory strategies
K. Chatterjee, L. Doyen, S. Nain, M. Vardi, The Complexity of Partial-Observation Stochastic Parity Games with Finite-Memory Strategies, IST Austria, 2013.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, L. Doyen, S. Nain, M. Vardi, The Complexity of Partial-Observation Stochastic Parity Games with Finite-Memory Strategies, IST Austria, 2013.
2013 |Published| Report | IST-REx-ID: 5407 |
Technical requirements and features
J. Porsche, Technical Requirements and Features, IST Austria, 2013.
[Published Version]
View
| Files available
J. Porsche, Technical Requirements and Features, IST Austria, 2013.
2013 |Published| Technical Report | IST-REx-ID: 5410 |
Automatic generation of alternative starting positions for traditional board games
U. Ahmed, K. Chatterjee, S. Gulwani, Automatic Generation of Alternative Starting Positions for Traditional Board Games, IST Austria, 2013.
[Published Version]
View
| Files available
| DOI
U. Ahmed, K. Chatterjee, S. Gulwani, Automatic Generation of Alternative Starting Positions for Traditional Board Games, IST Austria, 2013.
2013 |Published| Conference Paper | IST-REx-ID: 2327 |
From model checking to model measuring
T.A. Henzinger, J. Otop, 8052 (2013) 273–287.
[Submitted Version]
View
| Files available
| DOI
T.A. Henzinger, J. Otop, 8052 (2013) 273–287.
2013 |Published| Conference Paper | IST-REx-ID: 590
Polarization dependent focusing
D. Schmid, T. Huang, R. Dirks, O. Hosten, P. Kwiat, in:, OSA, 2013.
View
| DOI
D. Schmid, T. Huang, R. Dirks, O. Hosten, P. Kwiat, in:, OSA, 2013.
2013 |Published| Journal Article | IST-REx-ID: 5920
Finiteness theorems and algorithms for permutation invariant chains of Laurent lattice ideals
C.J. Hillar, A. Martin del Campo Sanchez, Journal of Symbolic Computation 50 (2013) 314–334.
View
| Files available
| DOI
C.J. Hillar, A. Martin del Campo Sanchez, Journal of Symbolic Computation 50 (2013) 314–334.
2013 |Published| Journal Article | IST-REx-ID: 591
Adjustable and robust methods for polarization-dependent focusing
D. Schmid, T. Huang, S. Hazrat, R. Dirks, O. Hosten, S. Quint, D. Thian, P. Kwiat, Optics Express 21 (2013) 15538–15552.
View
| DOI
D. Schmid, T. Huang, S. Hazrat, R. Dirks, O. Hosten, S. Quint, D. Thian, P. Kwiat, Optics Express 21 (2013) 15538–15552.
2013 |Published| Journal Article | IST-REx-ID: 595 |
Struggling to let go: A non-coding RNA directs its own extension and destruction
C. Bernecky, P. Cramer, EMBO Journal 32 (2013) 771–772.
View
| DOI
| Download None (ext.)
C. Bernecky, P. Cramer, EMBO Journal 32 (2013) 771–772.
2013 |Published| Journal Article | IST-REx-ID: 6128 |
Cross-modulation of homeostatic responses to temperature, oxygen and carbon dioxide in C. elegans
E. Kodama-Namba, L.A. Fenk, A.J. Bretscher, E. Gross, K.E. Busch, M. de Bono, PLoS Genetics 9 (2013).
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
E. Kodama-Namba, L.A. Fenk, A.J. Bretscher, E. Gross, K.E. Busch, M. de Bono, PLoS Genetics 9 (2013).
2013 |Published| Journal Article | IST-REx-ID: 6130 |
Efficient genome editing in Caenorhabditis elegans by CRISPR-targeted homologous recombination
C. Chen, L.A. Fenk, M. de Bono, Nucleic Acids Research 41 (2013).
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
C. Chen, L.A. Fenk, M. de Bono, Nucleic Acids Research 41 (2013).
2013 |Published| Journal Article | IST-REx-ID: 6133 |
In vivo genetic dissection of O2-evoked cGMP dynamics in a Caenorhabditis elegans gas sensor
A. Couto, S. Oda, V.O. Nikolaev, Z. Soltesz, M. de Bono, Proceedings of the National Academy of Sciences 110 (2013) E3301–E3310.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
A. Couto, S. Oda, V.O. Nikolaev, Z. Soltesz, M. de Bono, Proceedings of the National Academy of Sciences 110 (2013) E3301–E3310.
2013 |Published| Journal Article | IST-REx-ID: 6135
Worms under stress: C. elegans stress response and its relevance to complex human disease and aging
M. Rodriguez, L.B. Snoek, M. de Bono, J.E. Kammenga, Trends in Genetics 29 (2013) 367–374.
View
| DOI
M. Rodriguez, L.B. Snoek, M. de Bono, J.E. Kammenga, Trends in Genetics 29 (2013) 367–374.