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.




341 Publications

2020 | Thesis | IST-REx-ID: 7196
A role of graphs in evolutionary processes
J. Tkadlec, A Role of Graphs in Evolutionary Processes, IST Austria, 2020.
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 7343   OA
Social immunity modulates competition between coinfecting pathogens
B. Milutinovic, M. Stock, A.V. Grasse, E. Naderlinger, C. Hilbe, S. Cremer, Ecology Letters (2020).
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 7212   OA
Limits on amplifiers of natural selection under death-Birth updating
J. Tkadlec, A. Pavlogiannis, K. Chatterjee, M.A. Nowak, PLoS Computational Biology 16 (2020) e1007494.
View | Files available | DOI | arXiv
 
2020 | Journal Article | IST-REx-ID: 6918
An efficient algorithm for computing network reliability in small treewidth
A.K. Goharshady, F. Mohammadi, Reliability Engineering and System Safety 193 (2020).
View | DOI
 
2020 | Conference Paper | IST-REx-ID: 7346   OA
The evolutionary price of anarchy: Locally bounded agents in a dynamic virus game
L. Schmid, K. Chatterjee, S. Schmid, in:, Proceedings of the 23rd International Conference on Principles of Distributed Systems, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020, p. 21.
View | Files available | DOI | arXiv
 
2020 | Conference Paper | IST-REx-ID: 7810   OA
Optimal and perfectly parallel algorithms for on-demand data-flow analysis
K. Chatterjee, A.K. Goharshady, R. Ibsen-Jensen, A. Pavlogiannis, in:, European Symposium on Programming, Springer Nature, 2020, pp. 112–140.
View | Files available | DOI
 
2019 | Conference Paper | IST-REx-ID: 6887   OA
Near-linear time algorithms for Streett objectives in graphs and MDPs
K. Chatterjee, W. Dvorák, M. Henzinger, A. Svozil, in:, Leibniz International Proceedings in Informatics, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019.
View | Files available | DOI
 
2019 | Conference Paper | IST-REx-ID: 7183   OA
Deciding fast termination for probabilistic VASS with nondeterminism
T. Brázdil, K. Chatterjee, A. Kucera, P. Novotný, D. Velan, in:, International Symposium on Automated Technology for Verification and Analysis, Springer Nature, 2019, pp. 462–478.
View | DOI | Download (ext.) | arXiv
 
2019 | Journal Article | IST-REx-ID: 7210
Population structure determines the tradeoff between fixation probability and fixation time
J. Tkadlec, A. Pavlogiannis, K. Chatterjee, M.A. Nowak, Communications Biology 2 (2019).
View | Files available | DOI | PubMed | Europe PMC
 
2019 | Conference Paper | IST-REx-ID: 6490   OA
The treewidth of smart contracts
K. Chatterjee, A.K. Goharshady, E.K. Goharshady, in:, Proceedings of the 34th ACM Symposium on Applied Computing, ACM, n.d., pp. 400–408.
View | Files available | DOI
 

Search

Filter Publications

Display / Sort

Export / Embed