ISTA Research Explorer

Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

4767 Publications

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

Policy privacy in cryptographic access control
A. Ferrara, G. Fuchsbauer, B. Liu, B. Warinschi, in:, IEEE, 2015, pp. 46–60.

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

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

Unifying two views on multiple mean-payoff objectives in Markov decision processes
K. Chatterjee, Z. Komarkova, 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: 5430 |

Faster algorithms for quantitative verification in constant treewidth graphs
K. Chatterjee, R. Ibsen-Jensen, 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 |

The patience of concurrent stochastic games with safety and reachability objectives
K. Chatterjee, R. Ibsen-Jensen, K. Hansen, The Patience of Concurrent Stochastic Games with Safety and Reachability Objectives, IST Austria, 2015.

[Published Version] View | Files available | DOI

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

The complexity of evolutionary games on graphs
K. Chatterjee, R. Ibsen-Jensen, 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: 5435 |

[Published Version] View | Files available | DOI

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

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

[Published Version] View | Files available | DOI

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

[Published Version] View | Files available | DOI

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

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

[Published Version] View | Files available | DOI

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

The target discounted-sum problem
U. Boker, T.A. Henzinger, J. Otop, The Target Discounted-Sum Problem, IST Austria, 2015.

[Published Version] View | Files available | DOI

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

The complexity of evolutionary games on graphs
K. Chatterjee, R. Ibsen-Jensen, 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 |

Algorithms for algebraic path properties in concurrent systems of constant treewidth components
K. Chatterjee, R. Ibsen-Jensen, A.K. Goharshady, 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: 5443 |

A symbolic SAT-based algorithm for almost-sure reachability with small strategies in POMDPs
K. Chatterjee, M. Chmelik, 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 |

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

[Published Version] View | Files available | DOI

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

Bayesian inference for stochastic individual-based models of ecological systems: a pest control simulation study
F. Parise, J. Lygeros, J. Ruess, Frontiers in Environmental Science 3 (2015).

[Published Version] View | Files available | DOI

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

The value 1 problem under finite-memory strategies for concurrent mean-payoff games
K. Chatterjee, R. Ibsen-Jensen, in:, Proceedings of the Twenty-Sixth Annual ACM-SIAM Symposium on Discrete Algorithms, SIAM, 2015, pp. 1018–1029.

[Preprint] View | DOI | arXiv

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

Evolution and function of genomic imprinting in plants
J.A. Rodrigues, D. Zilberman, Genes and Development 29 (2015) 2517–2531.

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

2015 | Research Data Reference | IST-REx-ID: 9711

Excel file containing the raw data for all figures
G. Chevereau, M. Lukacisinova, T. Batur, A. Guvenek, D.H. Ayhan, E. Toprak, M.T. Bollenbach, (2015).

[Published Version] View | Files available | DOI

2015 | Research Data Reference | IST-REx-ID: 9712

Other fitness models for comparison & for interacting TFBSs
M. Tugrul, T. Paixao, N.H. Barton, G. Tkačik, (2015).

[Published Version] View | Files available | DOI

2015 | Research Data Reference | IST-REx-ID: 9714

An exploration of the universe of polyglutamine structures - submission to PLOS journals
À. Gómez Sicilia, M.K. Sikora, M. Cieplak, M. Carrión Vázquez, (2015).

[Published Version] View | Files available | DOI

Research Groups

Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

4767 Publications

Filters and Search Terms

Search

Filter Publications

Display / Sort

Export / Embed

Research Groups

Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

4767 Publications

Filters and Search Terms

Search

Filter Publications

Display / Sort

Export / Embed

Export Options