@articleWever_van Rooijen_Hamann_2020, title=Multi-Oracle Coevolutionary Learning of Requirements Specifications from Examples in On-The-Fly Markets, volume=28, DOI=10.1162/evco_a_00266, number=2, journal=Evolutionary Computation, publisher=MIT Press Journals, author=Wever, Marcel Dominik and van Rooijen, Lorijn and Hamann, Heiko, year=2020, pages=165–193 

@inproceedingsvan Rooijen_Baeumer_Platenius_Geierhos,_Hamann_Engels_2017, title=From User Demand to Software Service: Using Machine Learning to Automate the Requirements Specification Process, author=van Rooijen, Lorijn and Baeumer, Frederik Simon and Platenius,  Marie Christin and Geierhos,  Michaela and Hamann,  Heiko  and Engels, Gregor, year=2017 

@inproceedingsvan Rooijen_Bäumer_Platenius_Geierhos_Hamann_Engels_2017, place=Piscataway, NJ, USA, title=From User Demand to Software Service: Using Machine Learning to Automate the Requirements Specification Process, DOI=10.1109/REW.2017.26, booktitle=2017 IEEE 25th International Requirements Engineering Conference Workshops (REW), publisher=IEEE, author=van Rooijen, Lorijn and Bäumer, Frederik Simon and Platenius, Marie Christin and Geierhos, Michaela and Hamann, Heiko and Engels, Gregor, year=2017, pages=379–385 

@articleCzerwinski_Martens_van Rooijen_Zeitoun_Zetzsche_2017, title=A Characterization for Decidable Separability by Piecewise Testable Languages, volume=19, DOI=10.23638/DMTCS-19-4-1, number=4, journal=Discrete Mathematics &; Theoretical Computer Science, author=Czerwinski, Wojciech and Martens, Wim and van Rooijen, Lorijn and Zeitoun, Marc and Zetzsche, Georg, year=2017 

@inproceedingsWever_van Rooijen_Hamann_2017, title=Active Coevolutionary Learning of Requirements Specifications from Examples, DOI=10.1145/3071178.3071258, booktitle=Proceedings of the Genetic and Evolutionary Computation Conference (GECCO), author=Wever, Marcel Dominik and van Rooijen, Lorijn and Hamann, Heiko, year=2017, pages=1327--1334 

@bookPlatenius_Josifovska_van Rooijen_Arifulina_Becker_Engels_Schäfer_2016, title=An Overview of Service Specification Language and Matching in On-The-Fly Computing (.3), publisher=Universität Paderborn, author=Platenius, Marie Christin and Josifovska, Klementina and van Rooijen, Lorijn and Arifulina, Svetlana and Becker, Matthias and Engels, Gregor and Schäfer, Wilhelm, year=2016 

@inproceedingsvan Rooijen_Hamann_2016, title=Requirements Specification-by-Example Using a Multi-Objective Evolutionary Algorithm, DOI=10.1109/REW.2016.015, booktitle=Proceedings of 24th IEEE International Requirements Engineering Conference (RE 2016), author=van Rooijen, Lorijn and Hamann, Heiko, year=2016, pages=3--9 

@inproceedingsCzerwinski_Martens_van Rooijen_Zeitoun_2015, title=A Note on Decidable Separability by Piecewise Testable Languages, DOI=10.1007/978-3-319-22177-9‑14, booktitle=Fundamentals of Computation Theory - 20th International Symposium, (FCT) 2015, Gdask, Poland, August 17-19, 2015, Proceedings, author=Czerwinski, Wojciech and Martens, Wim and van Rooijen, Lorijn and Zeitoun, Marc, year=2015, pages=173–185 

@bookvan Rooijen_2014, title=A combinatorial approach to the separation problem for regular languages. (Une approche combinatoire du problème de séparation pour les langages réguliers), publisher=University of Bordeaux, France, author=van Rooijen, Lorijn, year=2014 

@articlePlace_van Rooijen_Zeitoun_2014, title=On Separation by Locally Testable and Locally Threshold Testable Languages, volume=10, DOI=10.2168/lmcs-10(3:24)2014, number=3, journal=Logical Methods in Computer Science, publisher=Logical Methods in Computer Science e.V., author=Place, Thomas and van Rooijen, Lorijn and Zeitoun, Marc, year=2014 

@articleCoumans_Gehrke_van Rooijen_2013, title=Relational semantics for full linear logic, volume=12, DOI=10.1016/j.jal.2013.07.005, number=1, journal=Journal of Applied Logic, publisher=Elsevier BV, author=Coumans, Dion and Gehrke, Mai and van Rooijen, Lorijn, year=2013, pages=50–66 

@inproceedingsPlace_van Rooijen_Zeitoun_2013, series=LIPIcs, title=Separating Regular Languages by Locally Testable and Locally Threshold Testable Languages, volume=24, DOI=10.4230/LIPICS.FSTTCS.2013.363, booktitle=Annual Conference on Foundations of Software Technology and Theoretical Computer Science, (FSTTCS) 2013, December 12-14, 2013, Guwahati, India, publisher=Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, author=Place, Thomas and van Rooijen, Lorijn and Zeitoun, Marc, year=2013, pages=363--375, collection=LIPIcs 

@inproceedingsPlace_van Rooijen_Zeitoun_2013, place=Berlin, Heidelberg, title=Separating Regular Languages by Piecewise Testable and Unambiguous Languages, DOI=10.1007/978-3-642-40313-2_64, booktitle=Mathematical Foundations of Computer Science 2013 - 38th International Symposium, (MFCS) 2013, Klosterneuburg, Austria, August 26-30, 2013, publisher=Springer Berlin Heidelberg, author=Place, Thomas and van Rooijen, Lorijn and Zeitoun, Marc, year=2013, pages=729–740 

@articleChernilovskaya_Gehrke_van Rooijen_2012, title=Generalized Kripke semantics for the Lambek-Grishin calculus, volume=20, DOI=10.1093/jigpal/jzr051, number=6, journal=Logic Journal of IGPL, publisher=Oxford University Press (OUP), author=Chernilovskaya, Anna and Gehrke, Mai and van Rooijen, Lorijn, year=2012, pages=1110–1132 

@articleChernilovskaya_Gehrke_van Rooijen_2012, title=Generalized Kripke semantics for the Lambek-Grishin calculus, volume=20, DOI=10.1093/jigpal/jzr051, number=6, journal=Logic Journal of IGPL, publisher=Oxford University Press (OUP), author=Chernilovskaya, A. and Gehrke, M. and van Rooijen, Lorijn, year=2012, pages=1110–1132