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.

8920 Publications

Search / Filter

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

Robert H, Grones P, Stepanova A, Robles L, Lokerse A, Alonso J, Weijers D, Friml J. 2013. Local auxin sources orient the apical basal axis in arabidopsis embryos. Current Biology. 23(24), 2506–2512.

View | DOI

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