Browse by People

Chatterjee, Krishnendu, Ibsen-Jensen, Rasmus, Goharshady, Amir Kafshdar and Pavlogiannis, Andreas (2018) Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 40 (3).

Hansen, Kristoffer Arnsfelt, Ibsen-Jensen, Rasmus and Koucky, Michal (2016) The Big Match in Small Space (Extended Abstract). .

Chatterjee, Krishnendu and Ibsen-Jensen, Rasmus (2016) The Complexity of Deciding Legality of a Single Step of Magic: The Gathering. .

Ibsen-Jensen, Rasmus, Chatterjee, Krishnendu and Nowak, Martin A (2015) Computational complexity of ecological and evolutionary spatial dynamics. PROCEEDINGS OF THE NATIONAL ACADEMY OF SCIENCES OF THE UNITED STATES OF AMERICA, 112 (51). 15636 - 15641.

Chatterjee, Krishnendu, Henzinger, Thomas A, Ibsen-Jensen, Rasmus and Otop, Jan (2015) Edit Distance for Pushdown Automata. AUTOMATA, LANGUAGES, AND PROGRAMMING, PT II, 9135. 121 - 133.

Chatterjee, Krishnendu, Ibsen-Jensen, Rasmus, Pavlogiannis, Andreas and Goyal, Prateesh (2015) Faster Algorithms for Algebraic Path Properties in Recursive State Machines with Constant Treewidth. .

Chatterjee, Krishnendu, Ibsen-Jensen, Rasmus and Pavlogiannis, Andreas (2015) Faster Algorithms for Quantitative Verification in Constant Treewidth Graphs. .

Ibsen-Jensen, Rasmus, Tkadlec, Josef, Chatterjee, Krishnendu and Nowak, Martin A (2018) Language acquisition with communication between learners. JOURNAL OF THE ROYAL SOCIETY INTERFACE, 15 (140).

Chatterjee, Krishnendu and Ibsen-Jensen, Rasmus (2015) Qualitative analysis of concurrent mean-payoff games. Inf. Comput., 242. 2 - 24.

Gimbert, Hugo and Ibsen-Jensen, Rasmus (2017) A short proof of correctness of the quasi-polynomial time algorithm for parity games. CoRR, abs/17.