( en | de | ru )

 

Disambiguation of "Nielsen, Lasse"

Author of the publication

copydeleteadd this publication to your clipboard
Regular expression containment: coinductive axiomatization and computational interpretation.

, and . POPL, page 385-398. ACM, (2011)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Lasse Nielsen

Lasse Rabenstein

Lasse Rempe

Lasse Loft

Lasse Lehnert

 

Other publications of authors with the same name

Two-Pass Greedy Regular Expression Parsing., , , and . CIAA, volume 7982 of Lecture Notes in Computer Science, page 60-71. Springer, (2013)Applying the Power Plant Library ClaRa for Control Optimisation., , and . Modelica, volume 132 of Linköping Electronic Conference Proceedings, page 132:095. Linköping University Electronic Press, (2017)Regular expression containment: coinductive axiomatization and computational interpretation., and . POPL, page 385-398. ACM, (2011)Multiparty Symmetric Sum Types, , and . EXPRESS, volume 41 of EPTCS, page 121-135. (2010)Trustworthy Pervasive Healthcare Services via Multiparty Session Types., , , , and . FHIES, volume 7789 of Lecture Notes in Computer Science, page 124-141. Springer, (2012)Bit-coded Regular Expression Parsing., and . LATA, volume 6638 of Lecture Notes in Computer Science, page 402-413. Springer, (2011)A Higher-Order Colon Translation., and . FLOPS, volume 2024 of Lecture Notes in Computer Science, page 78-91. Springer, (2001)A Selective CPS Transformation.. MFPS, volume 45 of Electronic Notes in Theoretical Computer Science, page 311-331. Elsevier, (2001)A first-order one-pass CPS transformation., and . Theor. Comput. Sci., 308 (1-3): 239-257 (2003)RBT - a tool for building refined Buneman trees., , , and . Bioinform., 21 (8): 1711-1712 (2005)