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.
5785 Publications
2013 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | Technical Report | IST-REx-ID: 6440 |
Replacing competition with cooperation to achieve scalable lock-free FIFO queues
T.A. Henzinger, H. Payer, A. Sezgin, Replacing Competition with Cooperation to Achieve Scalable Lock-Free FIFO Queues , IST Austria, 2013.
[Published Version]
View
| Files available
| DOI
T.A. Henzinger, H. Payer, A. Sezgin, Replacing Competition with Cooperation to Achieve Scalable Lock-Free FIFO Queues , IST Austria, 2013.
2013 | Journal Article | IST-REx-ID: 6768 |
A finite difference scheme for the stack filter simulating the MCM
M. Mondelli, Image Processing On Line 3 (2013) 68–111.
[Published Version]
View
| Files available
| DOI
M. Mondelli, Image Processing On Line 3 (2013) 68–111.
2013 | Conference Paper | IST-REx-ID: 2329 |
Hyperplane separation technique for multidimensional mean-payoff games
K. Chatterjee, Y. Velner, 8052 (2013) 500–515.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
K. Chatterjee, Y. Velner, 8052 (2013) 500–515.
2013 | Journal Article | IST-REx-ID: 8030 |
Inhibitory synaptic plasticity: Spike timing-dependence and putative network function
T.P. Vogels, R.C. Froemke, N. Doyon, M. Gilson, J.S. Haas, R. Liu, A. Maffei, P. Miller, C.J. Wierenga, M.A. Woodin, F. Zenke, H. Sprekeler, Frontiers in Neural Circuits 7 (2013).
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
T.P. Vogels, R.C. Froemke, N. Doyon, M. Gilson, J.S. Haas, R. Liu, A. Maffei, P. Miller, C.J. Wierenga, M.A. Woodin, F. Zenke, H. Sprekeler, Frontiers in Neural Circuits 7 (2013).
2013 | Journal Article | IST-REx-ID: 8245 |
Trastuzumab mediates antibody-dependent cell-mediated cytotoxicity and phagocytosis to the same extent in both adjuvant and metastatic HER2/neu breast cancer patients
B. Petricevic, J. Laengle, J. Singer, M. Sachet, J. Singer, G. Steger, R. Bartsch, E. Jensen-Jarolim, M. Bergmann, Journal of Translational Medicine 11 (2013).
View
| Files available
| DOI
| PubMed | Europe PMC
B. Petricevic, J. Laengle, J. Singer, M. Sachet, J. Singer, G. Steger, R. Bartsch, E. Jensen-Jarolim, M. Bergmann, Journal of Translational Medicine 11 (2013).
2013 | Journal Article | IST-REx-ID: 827 |
Cytokinin cross talking during biotic and abiotic stress responses
J. O’Brien, E. Benková, Frontiers in Plant Science 4 (2013).
[Published Version]
View
| Files available
| DOI
J. O’Brien, E. Benková, Frontiers in Plant Science 4 (2013).
2013 | Journal Article | IST-REx-ID: 828 |
Systems approaches to study root architecture dynamics
C. Cuesta, K.T. Wabnik, E. Benková, Frontiers in Plant Science 4 (2013).
[Published Version]
View
| Files available
| DOI
C. Cuesta, K.T. Wabnik, E. Benková, Frontiers in Plant Science 4 (2013).