Lasse Nielsen

Publication Activity (10 Years)

Years Active: 2010-2017
Publications (10 Years): 1

Top Topics

Predictive Control

Incipient Fault

Deterministic Finite Automata

Top Venues

Publications

Friedrich Gottelt, Timm Hoppe, Lasse Nielsen
Applying the Power Plant Library ClaRa for Control Optimisation. Modelica (2017)
Niels Bjørn Bugge Grathwohl, Fritz Henglein, Lasse Nielsen, Ulrik Terp Rasmussen
Two-Pass Greedy Regular Expression Parsing. CIAA (2013)
Anders Starcke Henriksen, Lasse Nielsen, Thomas T. Hildebrandt, Nobuko Yoshida, Fritz Henglein
Trustworthy Pervasive Healthcare Services via Multiparty Session Types. FHIES (2012)
Fritz Henglein, Lasse Nielsen
Regular expression containment: coinductive axiomatization and computational interpretation. POPL (2011)
Lasse Nielsen, Fritz Henglein
Bit-coded Regular Expression Parsing. LATA (2011)
Lasse Nielsen, Nobuko Yoshida, Kohei Honda
Multiparty Symmetric Sum Types EXPRESS (2010)