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.

9789 Publications

Search / Filter

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

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

[Published Version] View | Files available | DOI

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

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

[Published Version] View | Files available | DOI

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

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

[Published Version] View | Files available | DOI

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

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

[Published Version] View | Files available

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

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

[Published Version] View | Files available | DOI

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

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

[Published Version] View | Files available | DOI

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

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

[Published Version] View | Files available | DOI

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

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

[Published Version] View | Files available

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

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

[Published Version] View | Files available | DOI

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

Reiter J, Makohon-Moore A, Gerold J, Bozic I, Chatterjee K, Iacobuzio-Donahue C, Vogelstein B, Nowak M. 2015. Reconstructing robust phylogenies of metastatic cancers, IST Austria, 25p.

[Published Version] View | Files available | DOI

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

Biswas R, Bhowmick P. 2015. From prima quadraginta octant to lattice sphere through primitive integer operations. Theoretical Computer Science. 624(4), 56–72.

View | DOI

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

Biswas R, Bhowmick P. 2015. On different topological classes of spherical geodesic paths and circles inZ3. Theoretical Computer Science. 605(11), 146–163.

View | DOI

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

Biswas R, Bhowmick P. 2015. Layer the sphere. The Visual Computer. 31(6–8), 787–797.

View | DOI

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

Sainsbury S, Bernecky C, Cramer P. 2015. Structural basis of transcription initiation by RNA polymerase II. Nature Reviews Molecular Cell Biology. 16(3), 129–143.

View | DOI

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

Maas J, Rumpf M, Schönlieb C, Simon S. 2015. A generalized model for optimal transport of images including dissipation and density modulation. ESAIM: Mathematical Modelling and Numerical Analysis. 49(6), 1745–1769.

[Preprint] View | DOI | Download Preprint (ext.) | arXiv

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

Šimášková M, O’Brien J, Khan-Djamei M, Van Noorden G, Ötvös K, Vieten A, De Clercq I, Van Haperen J, Cuesta C, Hoyerová K, Vanneste S, Marhavý P, Wabnik KT, Van Breusegem F, Nowack M, Murphy A, Friml J, Weijers D, Beeckman T, Benková E. 2015. Cytokinin response factors regulate PIN-FORMED auxin transporters. Nature Communications. 6, 8717.

[Submitted Version] View | Files available | DOI

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

Fulek R, Kynčl J, Malinovič I, Pálvölgyi D. 2015. Clustered planarity testing revisited. Electronic Journal of Combinatorics. 22(4), P4.24.

[Published Version] View | Files available | DOI | arXiv

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

Demay G, Gazi P, Maurer U, Tackmann B. 2015. Query-complexity amplification for random oracles. ICITS: International Conference on Information Theoretic Security, LNCS, vol. 9063, 159–180.

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

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

Gazi P, Tessaro S. 2015. Secret-key cryptography from ideal primitives: A systematic verview. 2015 IEEE Information Theory Workshop. ITW 2015: IEEE Information Theory Workshop, 7133163.

View | DOI

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

Banerjee A, Fuchsbauer G, Peikert C, Pietrzak KZ, Stevens S. 2015. Key-homomorphic constrained pseudorandom functions. 12th Theory of Cryptography Conference. TCC: Theory of Cryptography Conference, LNCS, vol. 9015, 31–60.

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