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

van Rooijen L, Baeumer FS, Platenius  Marie Christin, Geierhos,  Michaela, Hamann  Heiko , Engels G. From User Demand to Software Service: Using Machine Learning to Automate the Requirements Specification Process. In: ; 2017.
LibreCat: /record/25101

van Rooijen L, Bäumer FS, Platenius MC, Geierhos M, Hamann H, Engels G. 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). Piscataway, NJ, USA: IEEE; 2017:379-385. doi: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. A Characterization for Decidable Separability by Piecewise Testable Languages. Discrete Mathematics &; Theoretical Computer Science. 2017;19(4). doi:10.23638/DMTCS-19-4-1
LibreCat: /record/6725
DOI: 10.23638/DMTCS-19-4-1

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

Platenius MC, Josifovska K, van Rooijen L, et al. An Overview of Service Specification Language and Matching in On-The-Fly Computing (.3). Universität Paderborn; 2016.
LibreCat: /record/221

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

Czerwinski W, Martens W, van Rooijen L, Zeitoun M. 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. ; 2015:173-185. doi:10.1007/978-3-319-22177-9‑14
LibreCat: /record/6726
DOI: 10.1007/978-3-319-22177-9‑14

van Rooijen L. 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 T, van Rooijen L, Zeitoun M. On Separation by Locally Testable and Locally Threshold Testable Languages. Logical Methods in Computer Science. 2014;10(3). doi: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. Relational semantics for full linear logic. Journal of Applied Logic. 2013;12(1):50-66. doi: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. 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. LIPIcs. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik; 2013:363--375. doi:10.4230/LIPICS.FSTTCS.2013.363
LibreCat: /record/6730
DOI: 10.4230/LIPICS.FSTTCS.2013.363

Place T, van Rooijen L, Zeitoun M. 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. Berlin, Heidelberg: Springer Berlin Heidelberg; 2013:729-740. doi: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. Generalized Kripke semantics for the Lambek-Grishin calculus. Logic Journal of IGPL. 2012;20(6):1110-1132. doi:10.1093/jigpal/jzr051
LibreCat: /record/7342
DOI: 10.1093/jigpal/jzr051

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