Browse by People


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


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


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, 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 Transactions on Programming Languages and Systems, 41 (4).


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


Chatterjee, Krishnendu, Ibsen-Jensen, Rasmus and Pavlogiannis, Andreas
(2021) Faster algorithms for quantitative verification in bounded treewidth graphs. Formal Methods in System Design.


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, Goharshady, Amir Kafshdar, Ibsen-Jensen, Rasmus and Pavlogiannis, Andreas
(2020) Optimal and Perfectly Parallel Algorithms for On-demand Data-flow Analysis. PROGRAMMING LANGUAGES AND SYSTEMS ( ESOP 2020), 12075. 112 - 140.


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


Ibsen-Jensen, Rasmus, Chatterjee, Krishnendu and Pavlogiannis, Andreas
(2021) Quantitative Verification on Product Graphs of Small Treewidth. In: FSTTCS 2021, 2021-12-15 - 2021-12-17, (Virtual conference).


Chatterjee, Krishnendu and Ibsen-Jensen, Rasmus
(2015) The Value 1 Problem Under Finite-memory Strategies for Concurrent Mean-payoff Games. In: Proceedings of the Twenty-Sixth Annual ACM-SIAM Symposium on Discrete Algorithms.

This list was generated on Tue Nov 30 09:04:27 2021 GMT.