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.

440 Publications

Search / Filter

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

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

K. Chatterjee, Z. Komarkova, and J. Kretinsky, Unifying two views on multiple mean-payoff objectives in Markov decision processes. IST Austria, 2015.

[Published Version] View | Files available | DOI

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

K. Chatterjee, T. A. Henzinger, and J. Otop, Nested weighted automata. IST Austria, 2015.

[Published Version] View | Files available | DOI

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

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

K. Chatterjee, T. A. Henzinger, R. Ibsen-Jensen, and J. Otop, Edit distance for pushdown automata. IST Austria, 2015.

[Published Version] View | Files available | DOI

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

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

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

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. Nature Publishing Group, pp. 129–143, 2015.

View | DOI

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

A. W. Santure et al., “Replicated analysis of the genetic architecture of quantitative traits in two wild great tit populations,” Molecular Ecology, vol. 24. Wiley, pp. 6148–6162, 2015.

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

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

M. J. Adams, M. R. Robinson, M.-E. Mannarelli, and B. J. Hatchwell, “Social genetic and social environment effects on parental and helper care in a cooperatively breeding bird,” Proceedings of the Royal Society B: Biological Sciences, vol. 282, no. 1810. The Royal Society, 2015.

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

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

Robinson MR, Hemani G, Medina-Gomez C, Mezzavilla M, Esko T, Shakhbazov K, Powell JE, Vinkhuyzen A, Berndt SI, Gustafsson S, Justice AE, Kahali B, Locke AE, Pers TH, Vedantam S, Wood AR, van Rheenen W, Andreassen OA, Gasparini P, Metspalu A, Berg LH van den, Veldink JH, Rivadeneira F, Werge TM, Abecasis GR, Boomsma DI, Chasman DI, de Geus EJC, Frayling TM, Hirschhorn JN, Hottenga JJ, Ingelsson E, Loos RJF, Magnusson PKE, Martin NG, Montgomery GW, North KE, Pedersen NL, Spector TD, Speliotes EK, Goddard ME, Yang J, Visscher PM. 2015. Population genetic differentiation of height and body mass index across Europe. Nature Genetics. 47(11), 1357–1362.

View | DOI

2015 | Published | Conference Paper | IST-REx-ID: 776

D.-A. Alistarh, J. Kopinsky, J. Li, and N. Shavit, “The SprayList: A scalable relaxed priority queue,” presented at the PPoPP: Principles and Practice of Parallel Pogramming, 2015, vol. 2015–January, pp. 11–20.

View | DOI