Initiatives and projects related to RD
J. Porsche, Initiatives and Projects Related to RD, IST Austria, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/5401

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.
LibreCat: https://research-explorer.ista.ac.at/record/5405
DOI: 10.15479/AT:IST-2013-128-v1-1

Edit distance for timed automata
K. Chatterjee, R. Ibsen-Jensen, R. Majumdar, Edit Distance for Timed Automata, IST Austria, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/5409
DOI: 10.15479/AT:IST-2013-144-v1-1

Distributed synthesis for LTL Fragments
K. Chatterjee, T.A. Henzinger, J. Otop, A. Pavlogiannis, Distributed Synthesis for LTL Fragments, IST Austria, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/5406
DOI: 10.15479/AT:IST-2013-130-v1-1

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.
LibreCat: https://research-explorer.ista.ac.at/record/5408
DOI: 10.15479/AT:IST-2013-141-v1-1

Technical requirements and features
J. Porsche, Technical Requirements and Features, IST Austria, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/5407

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.
LibreCat: https://research-explorer.ista.ac.at/record/5410
DOI: 10.15479/AT:IST-2013-146-v1-1

From model checking to model measuring
T.A. Henzinger, J. Otop, 8052 (2013) 273–287.
LibreCat: https://research-explorer.ista.ac.at/record/2327
DOI: 10.1007/978-3-642-40184-8_20

Struggling to let go: A non-coding RNA directs its own extension and destruction
C. Bernecky, P. Cramer, EMBO Journal 32 (2013) 771–772.
LibreCat: https://research-explorer.ista.ac.at/record/595
DOI: 10.1038/emboj.2013.36

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).
LibreCat: https://research-explorer.ista.ac.at/record/6128
DOI: 10.1371/journal.pgen.1004011
PMID: 24385919

Efficient genome editing in Caenorhabditis elegans by CRISPR-targeted homologous recombination
C. Chen, L.A. Fenk, M. de Bono, Nucleic Acids Research 41 (2013).
LibreCat: https://research-explorer.ista.ac.at/record/6130
DOI: 10.1093/nar/gkt805
PMID: 24013562

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) 01–10.
LibreCat: https://research-explorer.ista.ac.at/record/6133
DOI: 10.1073/pnas.1217428110
PMID: 23940325

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.
LibreCat: https://research-explorer.ista.ac.at/record/6440
DOI: 10.15479/AT:IST-2013-124-v1-1

A finite difference scheme for the stack filter simulating the MCM
M. Mondelli, Image Processing On Line 3 (2013) 68–111.
LibreCat: https://research-explorer.ista.ac.at/record/6768
DOI: 10.5201/ipol.2013.53

Hyperplane separation technique for multidimensional mean-payoff games
K. Chatterjee, Y. Velner, 8052 (2013) 500–515.
LibreCat: https://research-explorer.ista.ac.at/record/2329
DOI: 10.1007/978-3-642-40184-8_35
arXiv: 1210.3141

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).
LibreCat: https://research-explorer.ista.ac.at/record/8030
DOI: 10.3389/fncir.2013.00119
PMID: 23882186

Trastuzumab mediates antibody-dependent cell-mediated cytotoxicity and phagocytosis to the same extent in both adjuvant and metastatic HE/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).
LibreCat: https://research-explorer.ista.ac.at/record/8245
DOI: 10.1186/1479-5876-11-307
PMID: 24330813

Cytokinin cross talking during biotic and abiotic stress responses
J. O’Brien, E. Benková, Frontiers in Plant Science 4 (2013).
LibreCat: https://research-explorer.ista.ac.at/record/827
DOI: 10.3389/fpls.2013.00451

Systems approaches to study root architecture dynamics
C. Cuesta, K.T. Wabnik, E. Benková, Frontiers in Plant Science 4 (2013).
LibreCat: https://research-explorer.ista.ac.at/record/828
DOI: 10.3389/fpls.2013.00537

Onset of superconductivity in a voltage-biased normal-superconducting-normal microbridge
M. Serbyn, M. Skvortsov, Physical Review B - Condensed Matter and Materials Physics 87 (2013).
LibreCat: https://research-explorer.ista.ac.at/record/971
DOI: 10.1103/PhysRevB.87.020501