Lasse Nielsen

According to our database, Lasse Nielsen authored at least 6 papers between 2010 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Applying the Power Plant Library ClaRa for Control Optimisation.

Friedrich Gottelt, Timm Hoppe, Lasse Nielsen

Proceedings of the 12th International Modelica Conference, Prague, Czech Republic, 2017

2013

Two-Pass Greedy Regular Expression Parsing.

Niels Bjørn Bugge Grathwohl, Fritz Henglein, Lasse Nielsen, Ulrik Terp Rasmussen

Proceedings of the Implementation and Application of Automata, 2013

2012

Trustworthy Pervasive Healthcare Services via Multiparty Session Types.

Anders Starcke Henriksen, Lasse Nielsen, Thomas T. Hildebrandt, Nobuko Yoshida, Fritz Henglein

Proceedings of the Foundations of Health Information Engineering and Systems, 2012

2011

Regular expression containment: coinductive axiomatization and computational interpretation.

Fritz Henglein, Lasse Nielsen

Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2011

Bit-coded Regular Expression Parsing.

Lasse Nielsen, Fritz Henglein

Proceedings of the Language and Automata Theory and Applications, 2011

2010

Multiparty Symmetric Sum Types

Lasse Nielsen, Nobuko Yoshida, Kohei Honda

Proceedings of the Proceedings 17th International Workshop on Expressiveness in Concurrency, 2010