Travelled to:1 × Canada
1 × Spain
1 × USA
Collaborated with:F.Henglein N.B.B.Grathwohl U.T.Rasmussen
Talks about:regular (3) express (3) pars (2) interpret (1) coinduct (1) contain (1) axiomat (1) greedi (1) comput (1) pass (1)
Person: Lasse Nielsen
DBLP: Nielsen:Lasse
Contributed to:
2013
2011
2011Wrote 3 papers:
- CIAA-2013-GrathwohlHNR #parsing #regular expression
- Two-Pass Greedy Regular Expression Parsing (NBBG, FH, LN, UTR), pp. 60–71.
- LATA-2011-NielsenH #parsing #regular expression
- Bit-coded Regular Expression Parsing (LN, FH), pp. 402–413.
- POPL-2011-HengleinN #axiom #induction #regular expression
- Regular expression containment: coinductive axiomatization and computational interpretation (FH, LN), pp. 385–398.