14 Publications

Mark all

[14]
2019 | Journal Article | LibreCat-ID: 15025
Wever MD, van Rooijen L, Hamann H. Multi-Oracle Coevolutionary Learning of Requirements Specifications from Examples in On-The-Fly Markets. Evolutionary Computation. doi:10.1162/evco_a_00266
LibreCat | Files available | DOI
 
[13]
2017 | Conference Paper | LibreCat-ID: 97
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 | Files available | DOI
 
[12]
2017 | Journal Article | LibreCat-ID: 6725
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 | DOI
 
[11]
2017 | Conference Paper | LibreCat-ID: 120
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 | Files available | DOI
 
[10]
2016 | Report | LibreCat-ID: 221
Platenius MC, Josifovska K, van Rooijen L, et al. An Overview of Service Specification Language and Matching in On-The-Fly Computing (v0.3). Universität Paderborn; 2016.
LibreCat | Files available
 
[9]
2016 | Conference Paper | LibreCat-ID: 160
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 | Files available | DOI
 
[8]
2015 | Conference Paper | LibreCat-ID: 6726
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, Gdańsk, Poland, August 17-19, 2015, Proceedings. ; 2015:173-185. doi:10.1007/978-3-319-22177-9\_14
LibreCat | DOI
 
[7]
2014 | Dissertation | LibreCat-ID: 6727
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
 
[6]
2014 | Journal Article | LibreCat-ID: 6728
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 | DOI
 
[5]
2013 | Journal Article | LibreCat-ID: 6729
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 | DOI
 
[4]
2013 | Conference Paper | LibreCat-ID: 6732
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 | DOI
 
[3]
2013 | Conference Paper | LibreCat-ID: 6730
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 | DOI
 
[2]
2012 | Journal Article | LibreCat-ID: 7342
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 | DOI
 
[1]
2012 | Journal Article | LibreCat-ID: 6733
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 | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed

14 Publications

Mark all

[14]
2019 | Journal Article | LibreCat-ID: 15025
Wever MD, van Rooijen L, Hamann H. Multi-Oracle Coevolutionary Learning of Requirements Specifications from Examples in On-The-Fly Markets. Evolutionary Computation. doi:10.1162/evco_a_00266
LibreCat | Files available | DOI
 
[13]
2017 | Conference Paper | LibreCat-ID: 97
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 | Files available | DOI
 
[12]
2017 | Journal Article | LibreCat-ID: 6725
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 | DOI
 
[11]
2017 | Conference Paper | LibreCat-ID: 120
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 | Files available | DOI
 
[10]
2016 | Report | LibreCat-ID: 221
Platenius MC, Josifovska K, van Rooijen L, et al. An Overview of Service Specification Language and Matching in On-The-Fly Computing (v0.3). Universität Paderborn; 2016.
LibreCat | Files available
 
[9]
2016 | Conference Paper | LibreCat-ID: 160
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 | Files available | DOI
 
[8]
2015 | Conference Paper | LibreCat-ID: 6726
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, Gdańsk, Poland, August 17-19, 2015, Proceedings. ; 2015:173-185. doi:10.1007/978-3-319-22177-9\_14
LibreCat | DOI
 
[7]
2014 | Dissertation | LibreCat-ID: 6727
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
 
[6]
2014 | Journal Article | LibreCat-ID: 6728
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 | DOI
 
[5]
2013 | Journal Article | LibreCat-ID: 6729
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 | DOI
 
[4]
2013 | Conference Paper | LibreCat-ID: 6732
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 | DOI
 
[3]
2013 | Conference Paper | LibreCat-ID: 6730
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 | DOI
 
[2]
2012 | Journal Article | LibreCat-ID: 7342
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 | DOI
 
[1]
2012 | Journal Article | LibreCat-ID: 6733
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 | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed