Wever, Marcel Dominik, Lorijn van Rooijen, and Heiko Hamann. “Multi-Oracle Coevolutionary Learning of Requirements Specifications from Examples in On-The-Fly Markets.”https://doi.org/10.1162/evco_a_00266__Evolutionary Computation 28, no. 2 (2020): 165–193.https://doi.org/10.1162/evco_a_00266 .
LibreCat: /record/15025
DOI: 10.1162/evco_a_00266

Rooijen, Lorijn van, Frederik Simon Baeumer,  Marie Christin Platenius,  Michaela Geierhos,  Heiko  Hamann, and Gregor Engels. “From User Demand to Software Service: Using Machine Learning to Automate the Requirements Specification Process,” 2017.
LibreCat: /record/25101

Rooijen, Lorijn van, Frederik Simon Bäumer, Marie Christin Platenius, Michaela Geierhos, Heiko Hamann, and Gregor Engels. “From User Demand to Software Service: Using Machine Learning to Automate the Requirements Specification Process.”https://doi.org/10.1109/REW.2017.26__In 2017 IEEE 25th International Requirements Engineering Conference Workshops (REW), 379–85. Piscataway, NJ, USA: IEEE, 2017.https://doi.org/10.1109/REW.2017.26 .
LibreCat: /record/97
DOI: 10.1109/REW.2017.26

Czerwinski, Wojciech, Wim Martens, Lorijn van Rooijen, Marc Zeitoun, and Georg Zetzsche. “A Characterization for Decidable Separability by Piecewise Testable Languages.”https://doi.org/10.23638/DMTCS-19-4-1__Discrete Mathematics &; Theoretical Computer Science 19, no. 4 (2017).https://doi.org/10.23638/DMTCS-19-4-1 .
LibreCat: /record/6725
DOI: 10.23638/DMTCS-19-4-1

Wever, Marcel Dominik, Lorijn van Rooijen, and Heiko Hamann. “Active Coevolutionary Learning of Requirements Specifications from Examples.”https://doi.org/10.1145/3071178.3071258__In Proceedings of the Genetic and Evolutionary Computation Conference (GECCO), 1327--1334, 2017.https://doi.org/10.1145/3071178.3071258 .
LibreCat: /record/120
DOI: 10.1145/3071178.3071258

Platenius, Marie Christin, Klementina Josifovska, Lorijn van Rooijen, Svetlana Arifulina, Matthias Becker, Gregor Engels, and Wilhelm Schäfer. An Overview of Service Specification Language and Matching in On-The-Fly Computing (.3). Universität Paderborn, 2016.
LibreCat: /record/221

Rooijen, Lorijn van, and Heiko Hamann. “Requirements Specification-by-Example Using a Multi-Objective Evolutionary Algorithm.”https://doi.org/10.1109/REW.2016.015__In Proceedings of 24th IEEE International Requirements Engineering Conference (RE 2016), 3--9, 2016.https://doi.org/10.1109/REW.2016.015 .
LibreCat: /record/160
DOI: 10.1109/REW.2016.015

Czerwinski, Wojciech, Wim Martens, Lorijn van Rooijen, and Marc Zeitoun. “A Note on Decidable Separability by Piecewise Testable Languages.”https://doi.org/10.1007/978-3-319-22177-9‑14__In Fundamentals of Computation Theory - 20th International Symposium, (FCT) 2015, Gdask, Poland, August 17-19, 2015, Proceedings, 173–85, 2015.https://doi.org/10.1007/978-3-319-22177-9‑14 .
LibreCat: /record/6726
DOI: 10.1007/978-3-319-22177-9‑14

Rooijen, Lorijn van. A Combinatorial Approach to the Separation Problem for Regular Languages. (Une Approche Combinatoire Du Problème de Séparation Pour Les Langages Réguliers). University of Bordeaux, France, 2014.
LibreCat: /record/6727

Place, Thomas, Lorijn van Rooijen, and Marc Zeitoun. “On Separation by Locally Testable and Locally Threshold Testable Languages.”https://doi.org/10.2168/lmcs-10(3:24)2014__Logical Methods in Computer Science 10, no. 3 (2014).https://doi.org/10.2168/lmcs-10(3:24)2014 .
LibreCat: /record/6728
DOI: 10.2168/lmcs-10(3:24)2014

Coumans, Dion, Mai Gehrke, and Lorijn van Rooijen. “Relational Semantics for Full Linear Logic.”https://doi.org/10.1016/j.jal.2013.07.005__Journal of Applied Logic 12, no. 1 (2013): 50–66.https://doi.org/10.1016/j.jal.2013.07.005 .
LibreCat: /record/6729
DOI: 10.1016/j.jal.2013.07.005

Place, Thomas, Lorijn van Rooijen, and Marc Zeitoun. “Separating Regular Languages by Locally Testable and Locally Threshold Testable Languages.”https://doi.org/10.4230/LIPICS.FSTTCS.2013.363__In Annual Conference on Foundations of Software Technology and Theoretical Computer Science, (FSTTCS) 2013, December 12-14, 2013, Guwahati, India, 24:363--375. LIPIcs. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2013.https://doi.org/10.4230/LIPICS.FSTTCS.2013.363 .
LibreCat: /record/6730
DOI: 10.4230/LIPICS.FSTTCS.2013.363

Place, Thomas, Lorijn van Rooijen, and Marc Zeitoun. “Separating Regular Languages by Piecewise Testable and Unambiguous Languages.”https://doi.org/10.1007/978-3-642-40313-2_64__In Mathematical Foundations of Computer Science 2013 - 38th International Symposium, (MFCS) 2013, Klosterneuburg, Austria, August 26-30, 2013, 729–40. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013.https://doi.org/10.1007/978-3-642-40313-2_64 .
LibreCat: /record/6732
DOI: 10.1007/978-3-642-40313-2_64

Chernilovskaya, Anna, Mai Gehrke, and Lorijn van Rooijen. “Generalized Kripke Semantics for the Lambek-Grishin Calculus.”https://doi.org/10.1093/jigpal/jzr051__Logic Journal of IGPL 20, no. 6 (2012): 1110–32.https://doi.org/10.1093/jigpal/jzr051 .
LibreCat: /record/7342
DOI: 10.1093/jigpal/jzr051

Chernilovskaya, A., M. Gehrke, and Lorijn van Rooijen. “Generalized Kripke Semantics for the Lambek-Grishin Calculus.”https://doi.org/10.1093/jigpal/jzr051__Logic Journal of IGPL 20, no. 6 (2012): 1110–32.https://doi.org/10.1093/jigpal/jzr051 .
LibreCat: /record/6733
DOI: 10.1093/jigpal/jzr051