Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
15 Publications
2020 | Journal Article | LibreCat-ID: 15025
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
| Files available
| DOI
2017 | Conference Paper | LibreCat-ID: 25101
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
2017 | Conference Paper | LibreCat-ID: 97
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
| Files available
| DOI
2017 | Journal Article | LibreCat-ID: 6725
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
| DOI
2017 | Conference Paper | LibreCat-ID: 120
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
| Files available
| DOI
2016 | Report | LibreCat-ID: 221
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 (v0.3). Universität Paderborn.
LibreCat
| Files available
2016 | Conference Paper | LibreCat-ID: 160
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
| Files available
| DOI
2015 | Conference Paper | LibreCat-ID: 6726
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, Gdańsk, Poland, August 17-19, 2015, Proceedings (pp. 173–185). https://doi.org/10.1007/978-3-319-22177-9\_14
LibreCat
| DOI
2014 | Dissertation | LibreCat-ID: 6727
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
2014 | Journal Article | LibreCat-ID: 6728
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
| DOI
2013 | Journal Article | LibreCat-ID: 6729
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
| DOI
2013 | Conference Paper | LibreCat-ID: 6730
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
| DOI
2013 | Conference Paper | LibreCat-ID: 6732
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
| DOI
2012 | Journal Article | LibreCat-ID: 7342
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
| DOI
2012 | Journal Article | LibreCat-ID: 6733
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
| DOI