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.

12121 Publications

Search / Filter

earlier version | 2015 | Published | Technical Report | IST-REx-ID: 5430 |

K. Chatterjee, R. Ibsen-Jensen, and A. Pavlogiannis, Faster algorithms for quantitative verification in constant treewidth graphs. IST Austria, 2015.

[Published Version] View | Files available | DOI

2015 | Published | Technical Report | IST-REx-ID: 5431 |

K. Chatterjee, R. Ibsen-Jensen, and K. Hansen, The patience of concurrent stochastic games with safety and reachability objectives. IST Austria, 2015.

[Published Version] View | Files available | DOI

earlier version | 2015 | Published | Technical Report | IST-REx-ID: 5432 |

K. Chatterjee, R. Ibsen-Jensen, and M. Nowak, The complexity of evolutionary games on graphs. IST Austria, 2015.

[Published Version] View | Files available | DOI

2015 | Published | Technical Report | IST-REx-ID: 5434 |

1 Anonymous and 2 Anonymous, Optimal cost indefinite-horizon reachability in goal DEC-POMDPs. IST Austria, 2015.

[Published Version] View | Files available

earlier version | 2015 | Published | Technical Report | IST-REx-ID: 5437 |

K. Chatterjee, R. Ibsen-Jensen, and A. Pavlogiannis, Faster algorithms for quantitative verification in constant treewidth graphs. IST Austria, 2015.

[Published Version] View | Files available | DOI

earlier version | 2015 | Published | Technical Report | IST-REx-ID: 5439 |

U. Boker, T. A. Henzinger, and J. Otop, The target discounted-sum problem. IST Austria, 2015.

[Published Version] View | Files available | DOI

2015 | Published | Technical Report | IST-REx-ID: 5440 |

K. Chatterjee, R. Ibsen-Jensen, and M. Nowak, The complexity of evolutionary games on graphs. IST Austria, 2015.

[Published Version] View | Files available | DOI

earlier version | 2015 | Published | Technical Report | IST-REx-ID: 5441 |

K. Chatterjee, R. Ibsen-Jensen, A. K. Goharshady, and A. Pavlogiannis, Algorithms for algebraic path properties in concurrent systems of constant treewidth components. IST Austria, 2015.

[Published Version] View | Files available | DOI

earlier version | 2015 | Published | Technical Report | IST-REx-ID: 5442 |

1 Anonymous, 2 Anonymous, 3 Anonymous, and 4 Anonymous, Algorithms for algebraic path properties in concurrent systems of constant treewidth components. IST Austria, 2015.

[Published Version] View | Files available

earlier version | 2015 | Published | Technical Report | IST-REx-ID: 5443 |

K. Chatterjee, M. Chmelik, and J. Davies, A symbolic SAT-based algorithm for almost-sure reachability with small strategies in POMDPs. IST Austria, 2015.

[Published Version] View | Files available | DOI

2015 | Published | Technical Report | IST-REx-ID: 5444 |

J. Reiter et al., Reconstructing robust phylogenies of metastatic cancers. IST Austria, 2015.

[Published Version] View | Files available | DOI

2015 | Research Data | IST-REx-ID: 5549 |

A. Fellner, “Experimental part of CAV 2015 publication: Counterexample Explanation by Learning Small Strategies in Markov Decision Processes.” Institute of Science and Technology Austria, 2015.

[Published Version] View | Files available | DOI

2015 | Published | Journal Article | IST-REx-ID: 5804

R. Biswas and P. Bhowmick, “From prima quadraginta octant to lattice sphere through primitive integer operations,” Theoretical Computer Science, vol. 624, no. 4. Elsevier, pp. 56–72, 2015.

View | DOI

2015 | Published | Journal Article | IST-REx-ID: 5807

R. Biswas and P. Bhowmick, “On different topological classes of spherical geodesic paths and circles inZ3,” Theoretical Computer Science, vol. 605, no. 11. Elsevier, pp. 146–163, 2015.

View | DOI

2015 | Published | Journal Article | IST-REx-ID: 5808

R. Biswas and P. Bhowmick, “Layer the sphere,” The Visual Computer, vol. 31, no. 6–8. Springer Nature, pp. 787–797, 2015.

View | DOI

2015 | Published | Journal Article | IST-REx-ID: 594

S. Sainsbury, C. Bernecky, and P. Cramer, “Structural basis of transcription initiation by RNA polymerase II,” Nature Reviews Molecular Cell Biology, vol. 16, no. 3. Springer Nature, pp. 129–143, 2015.

View | DOI | PubMed | Europe PMC

2015 | Published | Journal Article | IST-REx-ID: 6118 |

L. A. Fenk and M. de Bono, “Environmental CO2 inhibits Caenorhabditis elegans egg-laying by modulating olfactory neurons and evokes widespread changes in neural activity,” Proceedings of the National Academy of Sciences, vol. 112, no. 27. National Academy of Sciences, pp. E3525–E3534, 2015.

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

2015 | Published | Journal Article | IST-REx-ID: 6120 |

P. Laurent et al., “Decoding a neural circuit controlling global animal state in C. elegans,” eLife, vol. 4. eLife Sciences Publications, 2015.

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

2015 | Published | Journal Article | IST-REx-ID: 19805 |

P. Kushwaha et al., “Nearly free electrons in a 5d delafossite oxide metal,” Science Advances, vol. 1, no. 9. American Association for the Advancement of Science, 2015.

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

2015 | Published | Journal Article | IST-REx-ID: 1981

M. Garvin, J. Bielawski, L. A. Sazanov, and A. Gharrett, “Review and meta-analysis of natural selection in mitochondrial complex I in metazoans,” Journal of Zoological Systematics and Evolutionary Research, vol. 53, no. 1. Wiley, pp. 1–17, 2015.

View | DOI