`Travelled to:`

1 × Denmark

1 × India

1 × Japan

1 × USA

`Collaborated with:`

K.Chatterjee A.Pavlogiannis T.A.Henzinger J.Otop P.Goyal A.K.Goharshady

`Talks about:`

treewidth (3) algorithm (3) constant (3) properti (2) algebra (2) faster (2) path (2) pushdown (1) automata (1) quantit (1)

## Person: Rasmus Ibsen-Jensen

### DBLP: Ibsen-Jensen:Rasmus

### Contributed to:

### Wrote 5 papers:

- CAV-2015-ChatterjeeIP #algorithm #constant #graph #performance #verification
- Faster Algorithms for Quantitative Verification in Constant Treewidth Graphs (KC, RIJ, AP), pp. 140–157.
- ICALP-v2-2015-ChatterjeeHIO #automaton #distance #edit distance
- Edit Distance for Pushdown Automata (KC, TAH, RIJ, JO), pp. 121–133.
- POPL-2015-ChatterjeeIPG #algebra #algorithm #constant #performance #recursion #state machine
- Faster Algorithms for Algebraic Path Properties in Recursive State Machines with Constant Treewidth (KC, RIJ, AP, PG), pp. 97–109.
- ICALP-v2-2014-ChatterjeeI #complexity #game studies
- The Complexity of Ergodic Mean-payoff Games (KC, RIJ), pp. 122–133.
- POPL-2016-ChatterjeeGIP #algebra #algorithm #component #concurrent #constant
- Algorithms for algebraic path properties in concurrent systems of constant treewidth components (KC, AKG, RIJ, AP), pp. 733–747.