Lorijn van Rooijen

According to our database, Lorijn van Rooijen authored at least 12 papers between 2012 and 2020.

Collaborative distances:

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

2020

Multioracle Coevolutionary Learning of Requirements Specifications from Examples in On-The-Fly Markets.

Marcel Wever, Lorijn van Rooijen, Heiko Hamann

Evol. Comput., 2020

2017

A Characterization for Decidable Separability by Piecewise Testable Languages.

Wojciech Czerwinski, Wim Martens, Lorijn van Rooijen, Marc Zeitoun, Georg Zetzsche

Discret. Math. Theor. Comput. Sci., 2017

From User Demand to Software Service: Using Machine Learning to Automate the Requirements Specification Process.

Lorijn van Rooijen, Frederik Simon Bäumer, Marie Christin Platenius, Michaela Geierhos, Heiko Hamann, Gregor Engels

Proceedings of the IEEE 25th International Requirements Engineering Conference Workshops, 2017

Active coevolutionary learning of requirements specifications from examples.

Marcel Wever, Lorijn van Rooijen, Heiko Hamann

Proceedings of the Genetic and Evolutionary Computation Conference, 2017

2016

Requirements Specification-by-Example Using a Multi-objective Evolutionary Algorithm.

Lorijn van Rooijen, Heiko Hamann

Proceedings of the 24th IEEE International Requirements Engineering Conference, 2016

2015

A Note on Decidable Separability by Piecewise Testable Languages.

Wojciech Czerwinski, Wim Martens, Lorijn van Rooijen, Marc Zeitoun

Proceedings of the Fundamentals of Computation Theory - 20th International Symposium, 2015

2014

A combinatorial approach to the separation problem for regular languages. (Une approche combinatoire du problème de séparation pour les langages réguliers).

Lorijn van Rooijen

PhD thesis, 2014

Relational semantics for full linear logic.

Dion Coumans, Mai Gehrke, Lorijn van Rooijen

J. Appl. Log., 2014

Separating Regular Languages by Locally Testable and Locally Threshold Testable Languages.

Thomas Place, Lorijn van Rooijen, Marc Zeitoun

Log. Methods Comput. Sci., 2014

2013

The separation problem for regular languages by piecewise testable languages

Lorijn van Rooijen, Marc Zeitoun

CoRR, 2013

Separating Regular Languages by Piecewise Testable and Unambiguous Languages.

Thomas Place, Lorijn van Rooijen, Marc Zeitoun

Proceedings of the Mathematical Foundations of Computer Science 2013, 2013

2012

Generalized Kripke semantics for the Lambek-Grishin calculus.

Anna Chernilovskaya, Mai Gehrke, Lorijn van Rooijen

Log. J. IGPL, 2012