Follow
Lasse Nielsen
Title
Cited by
Cited by
Year
Regular expression containment: coinductive axiomatization and computational interpretation
F Henglein, L Nielsen
ACM SIGPLAN Notices 46 (1), 385-398, 2011
332011
Bit-coded regular expression parsing
L Nielsen, F Henglein
International Conference on Language and Automata Theory and Applications …, 2011
262011
Multiparty symmetric sum types
L Nielsen, N Yoshida, K Honda
arXiv preprint arXiv:1011.6436, 2010
232010
Two-pass greedy regular expression parsing
NBB Grathwohl, F Henglein, L Nielsen, UT Rasmussen
International Conference on Implementation and Application of Automata, 60-71, 2013
142013
Trustworthy pervasive healthcare services via multiparty session types
AS Henriksen, L Nielsen, TT Hildebrandt, N Yoshida, F Henglein
Foundations of Health Information Engineering and Systems: Second …, 2013
122013
A coinductive axiomatization of XML subtyping
L Nielsen
Graduate term project report, DIKU, University of Copenhagen, 2008
22008
Regular Expressions and Multiparty Session Types with Applications to Workflow Based Verification of User Interfaces
F Henglein, T Hildebrandt
2012
The system can't perform the operation now. Try again later.
Articles 1–7