14 Publications

Mark all

[14]
2019 | Journal Article | LibreCat-ID: 15025
M. D. Wever, L. van Rooijen, and H. Hamann, “Multi-Oracle Coevolutionary Learning of Requirements Specifications from Examples in On-The-Fly Markets,” Evolutionary Computation.
LibreCat | Files available | DOI
 
[13]
2017 | Conference Paper | LibreCat-ID: 97
L. van Rooijen, F. S. Bäumer, M. C. Platenius, M. Geierhos, H. Hamann, and G. Engels, “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), Lisbon, Portugal, 2017, pp. 379–385.
LibreCat | Files available | DOI
 
[12]
2017 | Conference Paper | LibreCat-ID: 120
M. D. Wever, L. van Rooijen, and H. Hamann, “Active Coevolutionary Learning of Requirements Specifications from Examples,” in Proceedings of the Genetic and Evolutionary Computation Conference (GECCO), 2017, pp. 1327--1334.
LibreCat | Files available | DOI
 
[11]
2017 | Journal Article | LibreCat-ID: 6725
W. Czerwinski, W. Martens, L. van Rooijen, M. Zeitoun, and G. Zetzsche, “A Characterization for Decidable Separability by Piecewise Testable Languages,” Discrete Mathematics & Theoretical Computer Science, vol. 19, no. 4, 2017.
LibreCat | DOI
 
[10]
2016 | Report | LibreCat-ID: 221
M. C. Platenius 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
L. van Rooijen and H. Hamann, “Requirements Specification-by-Example Using a Multi-Objective Evolutionary Algorithm,” in Proceedings of 24th IEEE International Requirements Engineering Conference (RE 2016), 2016, pp. 3--9.
LibreCat | Files available | DOI
 
[8]
2015 | Conference Paper | LibreCat-ID: 6726
W. Czerwinski, W. Martens, L. van Rooijen, and M. Zeitoun, “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, pp. 173–185.
LibreCat | DOI
 
[7]
2014 | Dissertation | LibreCat-ID: 6727
L. van Rooijen, 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
T. Place, L. van Rooijen, and M. Zeitoun, “On Separation by Locally Testable and Locally Threshold Testable Languages,” Logical Methods in Computer Science, vol. 10, no. 3, 2014.
LibreCat | DOI
 
[5]
2013 | Journal Article | LibreCat-ID: 6729
D. Coumans, M. Gehrke, and L. van Rooijen, “Relational semantics for full linear logic,” Journal of Applied Logic, vol. 12, no. 1, pp. 50–66, 2013.
LibreCat | DOI
 
[4]
2013 | Conference Paper | LibreCat-ID: 6732
T. Place, L. van Rooijen, and M. Zeitoun, “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, 2013, pp. 729–740.
LibreCat | DOI
 
[3]
2013 | Conference Paper | LibreCat-ID: 6730
T. Place, L. van Rooijen, and M. Zeitoun, “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, 2013, vol. 24, pp. 363--375.
LibreCat | DOI
 
[2]
2012 | Journal Article | LibreCat-ID: 7342
A. Chernilovskaya, M. Gehrke, and L. van Rooijen, “Generalized Kripke semantics for the Lambek-Grishin calculus,” Logic Journal of IGPL, vol. 20, no. 6, pp. 1110–1132, 2012.
LibreCat | DOI
 
[1]
2012 | Journal Article | LibreCat-ID: 6733
A. Chernilovskaya, M. Gehrke, and L. van Rooijen, “Generalized Kripke semantics for the Lambek-Grishin calculus,” Logic Journal of IGPL, vol. 20, no. 6, pp. 1110–1132, 2012.
LibreCat | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed

14 Publications

Mark all

[14]
2019 | Journal Article | LibreCat-ID: 15025
M. D. Wever, L. van Rooijen, and H. Hamann, “Multi-Oracle Coevolutionary Learning of Requirements Specifications from Examples in On-The-Fly Markets,” Evolutionary Computation.
LibreCat | Files available | DOI
 
[13]
2017 | Conference Paper | LibreCat-ID: 97
L. van Rooijen, F. S. Bäumer, M. C. Platenius, M. Geierhos, H. Hamann, and G. Engels, “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), Lisbon, Portugal, 2017, pp. 379–385.
LibreCat | Files available | DOI
 
[12]
2017 | Conference Paper | LibreCat-ID: 120
M. D. Wever, L. van Rooijen, and H. Hamann, “Active Coevolutionary Learning of Requirements Specifications from Examples,” in Proceedings of the Genetic and Evolutionary Computation Conference (GECCO), 2017, pp. 1327--1334.
LibreCat | Files available | DOI
 
[11]
2017 | Journal Article | LibreCat-ID: 6725
W. Czerwinski, W. Martens, L. van Rooijen, M. Zeitoun, and G. Zetzsche, “A Characterization for Decidable Separability by Piecewise Testable Languages,” Discrete Mathematics & Theoretical Computer Science, vol. 19, no. 4, 2017.
LibreCat | DOI
 
[10]
2016 | Report | LibreCat-ID: 221
M. C. Platenius 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
L. van Rooijen and H. Hamann, “Requirements Specification-by-Example Using a Multi-Objective Evolutionary Algorithm,” in Proceedings of 24th IEEE International Requirements Engineering Conference (RE 2016), 2016, pp. 3--9.
LibreCat | Files available | DOI
 
[8]
2015 | Conference Paper | LibreCat-ID: 6726
W. Czerwinski, W. Martens, L. van Rooijen, and M. Zeitoun, “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, pp. 173–185.
LibreCat | DOI
 
[7]
2014 | Dissertation | LibreCat-ID: 6727
L. van Rooijen, 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
T. Place, L. van Rooijen, and M. Zeitoun, “On Separation by Locally Testable and Locally Threshold Testable Languages,” Logical Methods in Computer Science, vol. 10, no. 3, 2014.
LibreCat | DOI
 
[5]
2013 | Journal Article | LibreCat-ID: 6729
D. Coumans, M. Gehrke, and L. van Rooijen, “Relational semantics for full linear logic,” Journal of Applied Logic, vol. 12, no. 1, pp. 50–66, 2013.
LibreCat | DOI
 
[4]
2013 | Conference Paper | LibreCat-ID: 6732
T. Place, L. van Rooijen, and M. Zeitoun, “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, 2013, pp. 729–740.
LibreCat | DOI
 
[3]
2013 | Conference Paper | LibreCat-ID: 6730
T. Place, L. van Rooijen, and M. Zeitoun, “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, 2013, vol. 24, pp. 363--375.
LibreCat | DOI
 
[2]
2012 | Journal Article | LibreCat-ID: 7342
A. Chernilovskaya, M. Gehrke, and L. van Rooijen, “Generalized Kripke semantics for the Lambek-Grishin calculus,” Logic Journal of IGPL, vol. 20, no. 6, pp. 1110–1132, 2012.
LibreCat | DOI
 
[1]
2012 | Journal Article | LibreCat-ID: 6733
A. Chernilovskaya, M. Gehrke, and L. van Rooijen, “Generalized Kripke semantics for the Lambek-Grishin calculus,” Logic Journal of IGPL, vol. 20, no. 6, pp. 1110–1132, 2012.
LibreCat | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed