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.

405 Publications

Search / Filter

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

K. T. Wabnik, H. Robert, R. Smith, and J. Friml, “Modeling framework for the establishment of the apical-basal embryonic axis in plants,” Current Biology, vol. 23, no. 24. Cell Press, pp. 2513–2518, 2013.

View | DOI | WoS

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

H. Robert et al., “Local auxin sources orient the apical basal axis in arabidopsis embryos,” Current Biology, vol. 23, no. 24. Cell Press, pp. 2506–2512, 2013.

View | DOI | WoS

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

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

[Published Version] View | Files available | DOI

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

K. Chatterjee, M. Chmelik, and M. Tracol, What is decidable about partially observable Markov decision processes with ω-regular objectives. IST Austria, 2013.

[Published Version] View | Files available | DOI

2013 | Published | Report | IST-REx-ID: 5401 |

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

[Published Version] View | Files available

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

T. A. Henzinger and A. Sezgin, How free is your linearizable concurrent data structure? IST Austria, 2013.

[Published Version] View | Files available | DOI

earlier version | 2013 | Published | Technical Report | IST-REx-ID: 5403 |

K. Chatterjee and R. Ibsen-Jensen, Qualitative analysis of concurrent mean-payoff games. IST Austria, 2013.

[Published Version] View | Files available | DOI

earlier version | 2013 | Published | Technical Report | IST-REx-ID: 5404 |

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

[Published Version] View | Files available | DOI

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

K. Chatterjee, L. Doyen, H. Gimbert, and Y. Oualhadj, Perfect-information stochastic mean-payoff parity games. IST Austria, 2013.

[Published Version] View | Files available | DOI

earlier version | 2013 | Published | Technical Report | IST-REx-ID: 5406 |

K. Chatterjee, T. A. Henzinger, J. Otop, and A. Pavlogiannis, Distributed synthesis for LTL Fragments. IST Austria, 2013.

[Published Version] View | Files available | DOI

2013 | Published | Report | IST-REx-ID: 5407 |

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

[Published Version] View | Files available

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

K. Chatterjee, L. Doyen, S. Nain, and M. Vardi, The complexity of partial-observation stochastic parity games with finite-memory strategies. IST Austria, 2013.

[Published Version] View | Files available | DOI

earlier version | 2013 | Published | Technical Report | IST-REx-ID: 5409 |

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

[Published Version] View | Files available | DOI

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

U. Ahmed, K. Chatterjee, and S. Gulwani, Automatic generation of alternative starting positions for traditional board games. IST Austria, 2013.

[Published Version] View | Files available | DOI

2013 | Published | Book Chapter | IST-REx-ID: 5747 |

C. Dragoi, A. Gupta, and T. A. Henzinger, “Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates,” in Computer Aided Verification, vol. 8044, Berlin, Heidelberg: Springer Berlin Heidelberg, 2013, pp. 174–190.

View | Files available | DOI

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

D. Schmid, T. Huang, R. Dirks, O. Hosten, and P. Kwiat, “Polarization dependent focusing,” presented at the QIM: Quantum Information and Measurement, 2013.

View | DOI

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

D. Schmid et al., “Adjustable and robust methods for polarization-dependent focusing,” Optics Express, vol. 21, no. 13. Optical Society of America, pp. 15538–15552, 2013.

View | DOI

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

C. J. Hillar and A. Martin del Campo Sanchez, “Finiteness theorems and algorithms for permutation invariant chains of Laurent lattice ideals,” Journal of Symbolic Computation, vol. 50. Elsevier, pp. 314–334, 2013.

[Published Version] View | Files available | DOI | Download Published Version (ext.)

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

C. Bernecky and P. Cramer, “Struggling to let go: A non-coding RNA directs its own extension and destruction,” EMBO Journal, vol. 32, no. 6. Wiley-Blackwell, pp. 771–772, 2013.

View | DOI | Download None (ext.)

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

E. Kodama-Namba, L. A. Fenk, A. J. Bretscher, E. Gross, K. E. Busch, and M. de Bono, “Cross-modulation of homeostatic responses to temperature, oxygen and carbon dioxide in C. elegans,” PLoS Genetics, vol. 9, no. 12. Public Library of Science (PLoS), 2013.

[Published Version] View | Files available | DOI | PubMed | Europe PMC