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.
4967 Publications
2015 |
Published |
Technical Report |
IST-REx-ID: 5436 |
Chatterjee K, Henzinger TA, Otop J. 2015. Nested weighted automata, IST Austria, 29p.
[Published Version]
View
| Files available
| DOI
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: 5438 |
Chatterjee K, Henzinger TA, Ibsen-Jensen R, Otop J. 2015. Edit distance for pushdown automata, IST Austria, 15p.
[Published Version]
View
| Files available
| DOI
2015 |
Published |
Technical Report |
IST-REx-ID: 5439 |
Boker U, Henzinger TA, Otop J. 2015. The target discounted-sum problem, IST Austria, 20p.
[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: 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 |
Research Data |
IST-REx-ID: 5549 |
Fellner A. 2015. Experimental part of CAV 2015 publication: Counterexample Explanation by Learning Small Strategies in Markov Decision Processes, Institute of Science and Technology Austria, 10.15479/AT:ISTA:28.
[Published Version]
View
| Files available
| DOI
2015 |
Published |
Journal Article |
IST-REx-ID: 10794 |
Parise F, Lygeros J, Ruess J. 2015. Bayesian inference for stochastic individual-based models of ecological systems: a pest control simulation study. Frontiers in Environmental Science. 3, 42.
[Published Version]
View
| Files available
| DOI
2015 |
Published |
Conference Paper |
IST-REx-ID: 10796
Chatterjee K, Ibsen-Jensen R. 2015. The value 1 problem under finite-memory strategies for concurrent mean-payoff games. Proceedings of the Twenty-Sixth Annual ACM-SIAM Symposium on Discrete Algorithms. SODA: Symposium on Discrete Algorithms vol. 2015, 1018–1029.
[Preprint]
View
| DOI
| arXiv
2015 |
Published |
Journal Article |
IST-REx-ID: 9532 |
Rodrigues JA, Zilberman D. 2015. Evolution and function of genomic imprinting in plants. Genes and Development. 29(24), 2517–2531.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2015 |
Research Data Reference |
IST-REx-ID: 9711
Chevereau G, Lukacisinova M, Batur T, Guvenek A, Ayhan DH, Toprak E, Bollenbach MT. 2015. Excel file containing the raw data for all figures, Public Library of Science, 10.1371/journal.pbio.1002299.s001.
[Published Version]
View
| Files available
| DOI
2015 |
Research Data Reference |
IST-REx-ID: 9712
Tugrul M, Paixao T, Barton NH, Tkačik G. 2015. Other fitness models for comparison & for interacting TFBSs, Public Library of Science, 10.1371/journal.pgen.1005639.s001.
[Published Version]
View
| Files available
| DOI
2015 |
Research Data Reference |
IST-REx-ID: 9714
Gómez Sicilia À, Sikora MK, Cieplak M, Carrión Vázquez M. 2015. An exploration of the universe of polyglutamine structures - submission to PLOS journals, Public Library of Science , 10.1371/journal.pcbi.1004541.s001.
[Published Version]
View
| Files available
| DOI
2015 |
Research Data Reference |
IST-REx-ID: 9715
Trubenova B, Novak S, Hager R. 2015. Mathematical inference of the results, Public Library of Science, 10.1371/journal.pone.0126907.s001.
[Published Version]
View
| Files available
| DOI
2015 |
Research Data Reference |
IST-REx-ID: 9718
Friedlander T, Mayo AE, Tlusty T, Alon U. 2015. Supporting information text, Public Library of Science, 10.1371/journal.pcbi.1004055.s001.
[Published Version]
View
| Files available
| DOI
2015 |
Research Data Reference |
IST-REx-ID: 9719 |
Wielgoss S, Bergmiller T, Bischofberger AM, Hall AR. 2015. Data from: Adaptation to parasites and costs of parasite resistance in mutator and non-mutator bacteria, Dryad, 10.5061/dryad.cj910.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2015 |
Research Data Reference |
IST-REx-ID: 9721 |
Theis F, Ugelvig LV, Marr C, Cremer S. 2015. Data from: Opposing effects of allogrooming on disease transmission in ant societies, Dryad, 10.5061/dryad.dj2bf.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2015 |
Research Data Reference |
IST-REx-ID: 9737
Symonova O, Topp C, Edelsbrunner H. 2015. Root traits computed by DynamicRoots for the maize root shown in fig 2, Public Library of Science, 10.1371/journal.pone.0127657.s001.
[Published Version]
View
| Files available
| DOI