BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Ibsen-Jensen:Rasmus

Contributed to:

CAV 20152015
ICALP (2) 20152015
POPL 20152015
ICALP (2) 20142014
POPL 20162016

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.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.