Browse by People


Up a level
Export as [feed] RSS [feed] RSS 2.0 Short Author List
Number of items: 18.


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).


Avni, Guy, Ibsen-Jensen, Rasmus and Tkadlec, Josef
(2019) All-Pay Bidding Games on Graphs. CoRR, abs/19.


Avni, Guy, Henzinger, Thomas A, Ibsen-Jensen, Rasmus and Novotný, Petr
(2019) Bidding Games on Markov Decision Processes. .


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


Hansen, Kristoffer Arnsfelt, Ibsen-Jensen, Rasmus, Neyman, Abraham and Machinery, Assoc Comp
(2018) The Big Match with a Clock and a Bit of Memory. .


Hansen, Kristoffer Arnsfelt, Ibsen-Jensen, Rasmus and Neyman, Abraham
(2019) The Big Match with a clock and a bit of memory. Mathematics of Operations Research.


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. ACM SIGPLAN NOTICES, 50 (1). 97 - 109.


Chatterjee, Krishnendu, Goharshady, Amir Kafshdar, Goyal, Prateesh, Ibsen-Jensen, Rasmus and Pavlogiannis, Andreas
(2019) Faster Algorithms for Dynamic Algebraic Queries in Basic RSMs with Constant Treewidth. ACM Trans. Program. Lang. Syst., 41. 23:1 - 23:1.


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


Avni, Guy, Henzinger, Thomas A and Ibsen-Jensen, Rasmus
(2018) Infinite-Duration Poorman-Bidding Games. 21 - 36.


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).


Fearnley, John, Ibsen-Jensen, Rasmus and Savani, Rahul
One-Clock Priced Timed Games are PSPACE-hard.


Chatterjee, Krishnendu, Goharshady, Amir Kafshdar, Ibsen-Jensen, Rasmus and Pavlogiannis, Andreas
(2020) Optimal and Perfectly Parallel Algorithms for On-demand Data-flow Analysis. CoRR, abs/20.


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.

This list was generated on Sat May 9 12:32:43 2020 BST.