Travelled to:1 × Austria
1 × Canada
1 × Serbia
Collaborated with:F.Henglein U.T.Rasmussen D.Kozen K.Mamouras L.Nielsen J.Ketema J.D.Pallesen J.G.Simonsen Kristoffer Aalund Søholm Sebastian Paaske Tørholm
Talks about:transduc (2) nondeterminist (1) determinist (1) calculus (1) regular (1) kleenex (1) express (1) anagopo (1) visual (1) stream (1)
Person: Niels Bjørn Bugge Grathwohl
DBLP: Grathwohl:Niels_Bj=oslash=rn_Bugge
Contributed to:
2014
2013
2011
2016Wrote 4 papers:
- LICS-CSL-2014-GrathwohlKM #exclamation
- KAT + B! (NBBG, DK, KM), p. 10.
- CIAA-2013-GrathwohlHNR #parsing #regular expression
- Two-Pass Greedy Regular Expression Parsing (NBBG, FH, LN, UTR), pp. 60–71.
- RTA-2011-GrathwohlKPS #graph #named #reduction #term rewriting #visualisation #λ-calculus
- Anagopos: A Reduction Graph Visualizer for Term Rewriting and λ Calculus (NBBG, JK, JDP, JGS), pp. 61–70.
- POPL-2016-GrathwohlHRST #compilation #named #nondeterminism #streaming #transducer
- Kleenex: compiling nondeterministic transducers to deterministic streaming transducers (NBBG, FH, UTR, KAS, SPT), pp. 284–297.