Generalized Kripke semantics for the Lambek-Grishin calculus. - Anna Chernilovskaya; Mai Gehrke; Lorijn van Rooijen (Log. J. IGPL, 2012)

Separating Regular Languages by Piecewise Testable and Unambiguous Languages. - Thomas Place; Lorijn van Rooijen; Marc Zeitoun (MFCS, 2013)

The separation problem for regular languages by piecewise testable languages - Lorijn van Rooijen; Marc Zeitoun (CoRR, 2013)

Separating Regular Languages by Locally Testable and Locally Threshold Testable Languages. - Thomas Place; Lorijn van Rooijen; Marc Zeitoun (Log. Methods Comput. Sci., 2014)

Relational semantics for full linear logic. - Dion Coumans; Mai Gehrke; Lorijn van Rooijen (J. Appl. Log., 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 (2014)

A Note on Decidable Separability by Piecewise Testable Languages. - Wojciech Czerwinski; Wim Martens; Lorijn van Rooijen; Marc Zeitoun (FCT, 2015)

Requirements Specification-by-Example Using a Multi-objective Evolutionary Algorithm. - Lorijn van Rooijen; Heiko Hamann (RE Workshops, 2016)

Active coevolutionary learning of requirements specifications from examples. - Marcel Wever; Lorijn van Rooijen; Heiko Hamann (GECCO, 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 (RE Workshops, 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)

Multioracle Coevolutionary Learning of Requirements Specifications from Examples in On-The-Fly Markets. - Marcel Wever; Lorijn van Rooijen; Heiko Hamann (Evol. Comput., 2020)