14 Publications

Mark all

[14]
2019 | Journal Article | LibreCat-ID: 15025
@article{Wever_van Rooijen_Hamann, title={Multi-Oracle Coevolutionary Learning of Requirements Specifications from Examples in On-The-Fly Markets}, DOI={10.1162/evco_a_00266}, journal={Evolutionary Computation}, publisher={MIT Press Journals}, author={Wever, Marcel Dominik and van Rooijen, Lorijn and Hamann, Heiko} }
LibreCat | Files available | DOI
 
[13]
2017 | Conference Paper | LibreCat-ID: 97
@inproceedings{van 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} }
LibreCat | Files available | DOI
 
[12]
2017 | Journal Article | LibreCat-ID: 6725
@article{Czerwinski_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} }
LibreCat | DOI
 
[11]
2017 | Conference Paper | LibreCat-ID: 120
@inproceedings{Wever_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} }
LibreCat | Files available | DOI
 
[10]
2016 | Report | LibreCat-ID: 221
@book{Platenius_Josifovska_van Rooijen_Arifulina_Becker_Engels_Schäfer_2016, title={An Overview of Service Specification Language and Matching in On-The-Fly Computing (v0.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} }
LibreCat | Files available
 
[9]
2016 | Conference Paper | LibreCat-ID: 160
@inproceedings{van 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} }
LibreCat | Files available | DOI
 
[8]
2015 | Conference Paper | LibreCat-ID: 6726
@inproceedings{Czerwinski_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, Gdańsk, Poland, August 17-19, 2015, Proceedings}, author={Czerwinski, Wojciech and Martens, Wim and van Rooijen, Lorijn and Zeitoun, Marc}, year={2015}, pages={173–185} }
LibreCat | DOI
 
[7]
2014 | Dissertation | LibreCat-ID: 6727
@book{van 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} }
LibreCat
 
[6]
2014 | Journal Article | LibreCat-ID: 6728
@article{Place_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} }
LibreCat | DOI
 
[5]
2013 | Journal Article | LibreCat-ID: 6729
@article{Coumans_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} }
LibreCat | DOI
 
[4]
2013 | Conference Paper | LibreCat-ID: 6732
@inproceedings{Place_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} }
LibreCat | DOI
 
[3]
2013 | Conference Paper | LibreCat-ID: 6730
@inproceedings{Place_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} }
LibreCat | DOI
 
[2]
2012 | Journal Article | LibreCat-ID: 7342
@article{Chernilovskaya_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} }
LibreCat | DOI
 
[1]
2012 | Journal Article | LibreCat-ID: 6733
@article{Chernilovskaya_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} }
LibreCat | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: BibTeX

Export / Embed

14 Publications

Mark all

[14]
2019 | Journal Article | LibreCat-ID: 15025
@article{Wever_van Rooijen_Hamann, title={Multi-Oracle Coevolutionary Learning of Requirements Specifications from Examples in On-The-Fly Markets}, DOI={10.1162/evco_a_00266}, journal={Evolutionary Computation}, publisher={MIT Press Journals}, author={Wever, Marcel Dominik and van Rooijen, Lorijn and Hamann, Heiko} }
LibreCat | Files available | DOI
 
[13]
2017 | Conference Paper | LibreCat-ID: 97
@inproceedings{van 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} }
LibreCat | Files available | DOI
 
[12]
2017 | Journal Article | LibreCat-ID: 6725
@article{Czerwinski_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} }
LibreCat | DOI
 
[11]
2017 | Conference Paper | LibreCat-ID: 120
@inproceedings{Wever_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} }
LibreCat | Files available | DOI
 
[10]
2016 | Report | LibreCat-ID: 221
@book{Platenius_Josifovska_van Rooijen_Arifulina_Becker_Engels_Schäfer_2016, title={An Overview of Service Specification Language and Matching in On-The-Fly Computing (v0.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} }
LibreCat | Files available
 
[9]
2016 | Conference Paper | LibreCat-ID: 160
@inproceedings{van 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} }
LibreCat | Files available | DOI
 
[8]
2015 | Conference Paper | LibreCat-ID: 6726
@inproceedings{Czerwinski_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, Gdańsk, Poland, August 17-19, 2015, Proceedings}, author={Czerwinski, Wojciech and Martens, Wim and van Rooijen, Lorijn and Zeitoun, Marc}, year={2015}, pages={173–185} }
LibreCat | DOI
 
[7]
2014 | Dissertation | LibreCat-ID: 6727
@book{van 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} }
LibreCat
 
[6]
2014 | Journal Article | LibreCat-ID: 6728
@article{Place_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} }
LibreCat | DOI
 
[5]
2013 | Journal Article | LibreCat-ID: 6729
@article{Coumans_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} }
LibreCat | DOI
 
[4]
2013 | Conference Paper | LibreCat-ID: 6732
@inproceedings{Place_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} }
LibreCat | DOI
 
[3]
2013 | Conference Paper | LibreCat-ID: 6730
@inproceedings{Place_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} }
LibreCat | DOI
 
[2]
2012 | Journal Article | LibreCat-ID: 7342
@article{Chernilovskaya_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} }
LibreCat | DOI
 
[1]
2012 | Journal Article | LibreCat-ID: 6733
@article{Chernilovskaya_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} }
LibreCat | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: BibTeX

Export / Embed