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.




6583 Publications

earlier version | 2015 | Published | Conference Paper | IST-REx-ID: 1657 | OA
Chatterjee K, Komárková Z, Kretinsky J. Unifying two views on multiple mean-payoff objectives in Markov decision processes. 2015:244-256. doi:10.1109/LICS.2015.32
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS
 
earlier version | 2015 | Published | Technical Report | IST-REx-ID: 5435 | OA
Chatterjee K, Komarkova Z, Kretinsky J. Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes. IST Austria; 2015. doi:10.15479/AT:IST-2015-318-v2-1
[Published Version] View | Files available | DOI
 
earlier version | 2015 | Published | Technical Report | IST-REx-ID: 5429 | OA
Chatterjee K, Komarkova Z, Kretinsky J. Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes. IST Austria; 2015. doi:10.15479/AT:IST-2015-318-v1-1
[Published Version] View | Files available | DOI
 
earlier version | 2015 | Published | Technical Report | IST-REx-ID: 5438 | OA
Chatterjee K, Henzinger TA, Ibsen-Jensen R, Otop J. Edit Distance for Pushdown Automata. IST Austria; 2015. doi:10.15479/AT:IST-2015-334-v1-1
[Published Version] View | Files available | DOI
 
earlier version | 2015 | Published | Conference Paper | IST-REx-ID: 1661 | OA
Chatterjee K, Henzinger M, Loitzenbauer V. Improved algorithms for one-pair and k-pair Streett objectives. In: Proceedings - Symposium on Logic in Computer Science. Vol 2015-July. IEEE; 2015. doi:10.1109/LICS.2015.34
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | WoS
 
2015 | Published | Journal Article | IST-REx-ID: 1566 | OA
Gómez Sicilia À, Sikora MK, Cieplak M, Carrión Vázquez M. An exploration of the universe of polyglutamine structures. PLoS Computational Biology. 2015;11(10). doi:10.1371/journal.pcbi.1004541
[Published Version] View | Files available | DOI | WoS
 
2015 | Research Data Reference | IST-REx-ID: 9714
Gómez Sicilia À, Sikora MK, Cieplak M, Carrión Vázquez M. An exploration of the universe of polyglutamine structures - submission to PLOS journals. 2015. doi:10.1371/journal.pcbi.1004541.s001
[Published Version] View | Files available | DOI
 
2015 | Published | Journal Article | IST-REx-ID: 1555 | OA
Knipl D, Pilarczyk P, Röst G. Rich bifurcation structure in a two patch vaccination model. SIAM Journal on Applied Dynamical Systems. 2015;14(2):980-1017. doi:10.1137/140993934
[Published Version] View | DOI | Download Published Version (ext.) | WoS
 
2015 | Published | Journal Article | IST-REx-ID: 2034 | OA
Bérard B, Chatterjee K, Sznajder N. Probabilistic opacity for Markov decision processes. Information Processing Letters. 2015;115(1):52-59. doi:10.1016/j.ipl.2014.09.001
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2015 | Published | Journal Article | IST-REx-ID: 1542 | OA
Paixao T, Badkobeh G, Barton NH, et al. Toward a unifying framework for evolutionary processes. Journal of Theoretical Biology. 2015;383:28-43. doi:10.1016/j.jtbi.2015.07.011
[Published Version] View | Files available | DOI | WoS
 
earlier version | 2015 | Published | Conference Paper | IST-REx-ID: 1656 | OA
Chatterjee K, Henzinger TA, Otop J. Nested weighted automata. In: Proceedings - Symposium on Logic in Computer Science. Vol 2015-July. IEEE; 2015. doi:10.1109/LICS.2015.72
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 
earlier version | 2015 | Published | Technical Report | IST-REx-ID: 5436 | OA
Chatterjee K, Henzinger TA, Otop J. Nested Weighted Automata. IST Austria; 2015. doi:10.15479/AT:IST-2015-170-v2-2
[Published Version] View | Files available | DOI
 
2015 | Published | Journal Article | IST-REx-ID: 1792
Pausinger F, Svane A. A Koksma-Hlawka inequality for general discrepancy systems. Journal of Complexity. 2015;31(6):773-797. doi:10.1016/j.jco.2015.06.002
View | Files available | DOI | WoS
 
2015 | Published | Thesis | PhD | IST-REx-ID: 1399
Pausinger F. On the approximation of intrinsic volumes. 2015.
View | Files available
 
2015 | Published | Journal Article | IST-REx-ID: 1709 | OA
Reiter J, Kanodia A, Gupta R, Nowak M, Chatterjee K. Biological auctions with multiple rewards. Proceedings of the Royal Society of London Series B Biological Sciences. 2015;282(1812). doi:10.1098/rspb.2015.1041
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 
2015 | Published | Thesis | PhD | IST-REx-ID: 1400
Reiter J. The subclonal evolution of cancer. 2015.
View | Files available
 
2015 | Published | Journal Article | IST-REx-ID: 1666 | OA
Tugrul M, Paixao T, Barton NH, Tkačik G. Dynamics of transcription factor binding site evolution. PLoS Genetics. 2015;11(11). doi:10.1371/journal.pgen.1005639
[Published Version] View | Files available | DOI | WoS
 
2015 | Published | Conference Paper | IST-REx-ID: 1633 | OA
Hahn D, Wojtan C. High-resolution brittle fracture simulation with boundary elements. In: Vol 34. ACM; 2015. doi:10.1145/2766896
[Submitted Version] View | Files available | DOI | WoS
 
2015 | Published | Journal Article | IST-REx-ID: 1830 | OA
Theis F, Ugelvig LV, Marr C, Cremer S. Opposing effects of allogrooming on disease transmission in ant societies. Philosophical Transactions of the Royal Society of London Series B, Biological Sciences. 2015;370(1669). doi:10.1098/rstb.2014.0108
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 
2015 | Research Data Reference | IST-REx-ID: 9721 | OA
Theis F, Ugelvig LV, Marr C, Cremer S. Data from: Opposing effects of allogrooming on disease transmission in ant societies. 2015. doi:10.5061/dryad.dj2bf
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed