ISTA Research Explorer

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.

8919 Publications

Search / Filter

2013 | Published | Technical Report | IST-REx-ID: 5399 |

Reiter J, Bozic I, Chatterjee K, Nowak M. 2013. TTP: Tool for Tumor Progression, IST Austria, 17p.

[Published Version] View | Files available | DOI

2013 | Published | Technical Report | IST-REx-ID: 5400 |

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 | Report | IST-REx-ID: 5401 |

Porsche J. 2013. Initiatives and projects related to RD, IST Austria,p.

[Published Version] View | Files available

2013 | Published | Technical Report | IST-REx-ID: 5402 |

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: 5403 |

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: 5404 |

Chatterjee K, Ibsen-Jensen R. 2013. The complexity of ergodic games, IST Austria, 29p.

[Published Version] View | Files available | DOI

2013 | Published | Technical Report | IST-REx-ID: 5405 |

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: 5406 |

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 | Report | IST-REx-ID: 5407 |

Porsche J. 2013. Technical requirements and features, IST Austria,p.

[Published Version] View | Files available

2013 | Published | Technical Report | IST-REx-ID: 5408 |

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 | Technical Report | IST-REx-ID: 5409 |

Chatterjee K, Ibsen-Jensen R, Majumdar R. 2013. Edit distance for timed automata, IST Austria, 12p.

[Published Version] View | Files available | DOI

2013 | Published | Technical Report | IST-REx-ID: 5410 |

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 | Book Chapter | IST-REx-ID: 5747 |

Dragoi C, Gupta A, Henzinger TA. 2013.Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates. In: Computer Aided Verification. vol. 8044, 174–190.

View | Files available | DOI

2013 | Published | Conference Paper | IST-REx-ID: 590

Schmid D, Huang T, Dirks R, Hosten O, Kwiat P. 2013. Polarization dependent focusing. QIM: Quantum Information and Measurement, Optics InfoBase Conference Papers, .

View | DOI

2013 | Published | Journal Article | IST-REx-ID: 591

Schmid D, Huang T, Hazrat S, Dirks R, Hosten O, Quint S, Thian D, Kwiat P. 2013. Adjustable and robust methods for polarization-dependent focusing. Optics Express. 21(13), 15538–15552.

View | 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 |

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 |

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 |

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 | Book Chapter | IST-REx-ID: 6132

de Bono M, Schafer WR, Gottschalk A. 2013.Optogenetic actuation, inhibition, modulation and readout for neuronal networks generating behavior in the nematode Caenorhabditis elegans. In: Optogenetics. , 61–78.

View