Wever, M. D., van Rooijen, L., &; Hamann, H. (2020). Multi-Oracle Coevolutionary Learning of Requirements Specifications from Examples in On-The-Fly Markets. Evolutionary Computation, 28(2), 165–193.https://doi.org/10.1162/evco_a_00266 
LibreCat: /record/15025
DOI: 10.1162/evco_a_00266

van Rooijen, L., Baeumer, F. S., Platenius,  Marie Christin, Geierhos,  Michaela, Hamann,  Heiko , &; Engels, G. (2017). From User Demand to Software Service: Using Machine Learning to Automate the Requirements Specification Process. Fourth International Workshop on Artificial Intelligence for Requirements Engineering (AIRE’17) workshop - in conjuction with RE’17.
LibreCat: /record/25101

van Rooijen, L., Bäumer, F. S., Platenius, M. C., Geierhos, M., Hamann, H., &; Engels, G. (2017). From User Demand to Software Service: Using Machine Learning to Automate the Requirements Specification Process. In 2017 IEEE 25th International Requirements Engineering Conference Workshops (REW) (pp. 379–385). Piscataway, NJ, USA: IEEE.https://doi.org/10.1109/REW.2017.26 
LibreCat: /record/97
DOI: 10.1109/REW.2017.26

Czerwinski, W., Martens, W., van Rooijen, L., Zeitoun, M., &; Zetzsche, G. (2017). A Characterization for Decidable Separability by Piecewise Testable Languages. Discrete Mathematics &; Theoretical Computer Science, 19(4).https://doi.org/10.23638/DMTCS-19-4-1 
LibreCat: /record/6725
DOI: 10.23638/DMTCS-19-4-1

Wever, M. D., van Rooijen, L., &; Hamann, H. (2017). Active Coevolutionary Learning of Requirements Specifications from Examples. In Proceedings of the Genetic and Evolutionary Computation Conference (GECCO) (pp. 1327--1334).https://doi.org/10.1145/3071178.3071258 
LibreCat: /record/120
DOI: 10.1145/3071178.3071258

Platenius, M. C., Josifovska, K., van Rooijen, L., Arifulina, S., Becker, M., Engels, G., &; Schäfer, W. (2016). An Overview of Service Specification Language and Matching in On-The-Fly Computing (.3). Universität Paderborn.
LibreCat: /record/221

van Rooijen, L., &; Hamann, H. (2016). Requirements Specification-by-Example Using a Multi-Objective Evolutionary Algorithm. In Proceedings of 24th IEEE International Requirements Engineering Conference (RE 2016) (pp. 3--9).https://doi.org/10.1109/REW.2016.015 
LibreCat: /record/160
DOI: 10.1109/REW.2016.015

Czerwinski, W., Martens, W., van Rooijen, L., &; Zeitoun, M. (2015). A Note on Decidable Separability by Piecewise Testable Languages. In Fundamentals of Computation Theory - 20th International Symposium, (FCT) 2015, Gdask, Poland, August 17-19, 2015, Proceedings (pp. 173–185).https://doi.org/10.1007/978-3-319-22177-9‑14 
LibreCat: /record/6726
DOI: 10.1007/978-3-319-22177-9‑14

van Rooijen, L. (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). University of Bordeaux, France.
LibreCat: /record/6727

Place, T., van Rooijen, L., &; Zeitoun, M. (2014). On Separation by Locally Testable and Locally Threshold Testable Languages. Logical Methods in Computer Science, 10(3).https://doi.org/10.2168/lmcs-10(3:24)2014 
LibreCat: /record/6728
DOI: 10.2168/lmcs-10(3:24)2014

Coumans, D., Gehrke, M., &; van Rooijen, L. (2013). Relational semantics for full linear logic. Journal of Applied Logic, 12(1), 50–66.https://doi.org/10.1016/j.jal.2013.07.005 
LibreCat: /record/6729
DOI: 10.1016/j.jal.2013.07.005

Place, T., van Rooijen, L., &; Zeitoun, M. (2013). Separating Regular Languages by Locally Testable and Locally Threshold Testable Languages. In Annual Conference on Foundations of Software Technology and Theoretical Computer Science, (FSTTCS) 2013, December 12-14, 2013, Guwahati, India (Vol. 24, pp. 363--375). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik.https://doi.org/10.4230/LIPICS.FSTTCS.2013.363 
LibreCat: /record/6730
DOI: 10.4230/LIPICS.FSTTCS.2013.363

Place, T., van Rooijen, L., &; Zeitoun, M. (2013). Separating Regular Languages by Piecewise Testable and Unambiguous Languages. In Mathematical Foundations of Computer Science 2013 - 38th International Symposium, (MFCS) 2013, Klosterneuburg, Austria, August 26-30, 2013 (pp. 729–740). Berlin, Heidelberg: Springer Berlin Heidelberg.https://doi.org/10.1007/978-3-642-40313-2_64 
LibreCat: /record/6732
DOI: 10.1007/978-3-642-40313-2_64

Chernilovskaya, A., Gehrke, M., &; van Rooijen, L. (2012). Generalized Kripke semantics for the Lambek-Grishin calculus. Logic Journal of IGPL, 20(6), 1110–1132.https://doi.org/10.1093/jigpal/jzr051 
LibreCat: /record/7342
DOI: 10.1093/jigpal/jzr051

Chernilovskaya, A., Gehrke, M., &; van Rooijen, L. (2012). Generalized Kripke semantics for the Lambek-Grishin calculus. Logic Journal of IGPL, 20(6), 1110–1132.https://doi.org/10.1093/jigpal/jzr051 
LibreCat: /record/6733
DOI: 10.1093/jigpal/jzr051