13 Publications

Mark all

[13]
2017 | Conference Paper | LibreCat-ID: 97
Rooijen, Lorijn van, Frederik Simon Bäumer, Marie Christin Platenius, Michaela Geierhos, Heiko Hamann, and Gregor 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), 379–85. Piscataway, NJ, USA: IEEE, 2017. https://doi.org/10.1109/REW.2017.26.
LibreCat | Files available | DOI
 
[12]
2017 | Journal Article | LibreCat-ID: 6725
Czerwinski, Wojciech, Wim Martens, Lorijn van Rooijen, Marc Zeitoun, and Georg Zetzsche. “A Characterization for Decidable Separability by Piecewise Testable Languages.” Discrete Mathematics & Theoretical Computer Science 19, no. 4 (2017). https://doi.org/10.23638/DMTCS-19-4-1.
LibreCat | DOI
 
[11]
2017 | Conference Paper | LibreCat-ID: 120
Wever, Marcel Dominik, Lorijn van Rooijen, and Heiko Hamann. “Active Coevolutionary Learning of Requirements Specifications from Examples.” In Proceedings of the Genetic and Evolutionary Computation Conference (GECCO), 1327--1334, 2017. https://doi.org/10.1145/3071178.3071258.
LibreCat | Files available | DOI
 
[10]
2016 | Report | LibreCat-ID: 221
Platenius, Marie Christin, Klementina Josifovska, Lorijn van Rooijen, Svetlana Arifulina, Matthias Becker, Gregor Engels, and Wilhelm Schäfer. 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
Rooijen, Lorijn van, and Heiko Hamann. “Requirements Specification-by-Example Using a Multi-Objective Evolutionary Algorithm.” In Proceedings of 24th IEEE International Requirements Engineering Conference (RE 2016), 3--9, 2016. https://doi.org/10.1109/REW.2016.015.
LibreCat | Files available | DOI
 
[8]
2015 | Conference Paper | LibreCat-ID: 6726
Czerwinski, Wojciech, Wim Martens, Lorijn van Rooijen, and Marc 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, 173–85, 2015. https://doi.org/10.1007/978-3-319-22177-9\_14.
LibreCat | DOI
 
[7]
2014 | Dissertation | LibreCat-ID: 6727
Rooijen, Lorijn van. 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, Thomas, Lorijn van Rooijen, and Marc Zeitoun. “On Separation by Locally Testable and Locally Threshold Testable Languages.” Logical Methods in Computer Science 10, no. 3 (2014). https://doi.org/10.2168/lmcs-10(3:24)2014.
LibreCat | DOI
 
[5]
2013 | Journal Article | LibreCat-ID: 6729
Coumans, Dion, Mai Gehrke, and Lorijn van Rooijen. “Relational Semantics for Full Linear Logic.” Journal of Applied Logic 12, no. 1 (2013): 50–66. https://doi.org/10.1016/j.jal.2013.07.005.
LibreCat | DOI
 
[4]
2013 | Conference Paper | LibreCat-ID: 6732
Place, Thomas, Lorijn van Rooijen, and Marc 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, 729–40. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. https://doi.org/10.1007/978-3-642-40313-2_64.
LibreCat | DOI
 
[3]
2013 | Conference Paper | LibreCat-ID: 6730
Place, Thomas, Lorijn van Rooijen, and Marc 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, 24:363--375. LIPIcs. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2013. https://doi.org/10.4230/LIPICS.FSTTCS.2013.363.
LibreCat | DOI
 
[2]
2012 | Journal Article | LibreCat-ID: 7342
Chernilovskaya, Anna, Mai Gehrke, and Lorijn van Rooijen. “Generalized Kripke Semantics for the Lambek-Grishin Calculus.” Logic Journal of IGPL 20, no. 6 (2012): 1110–32. https://doi.org/10.1093/jigpal/jzr051.
LibreCat | DOI
 
[1]
2012 | Journal Article | LibreCat-ID: 6733
Chernilovskaya, A., M. Gehrke, and Lorijn van Rooijen. “Generalized Kripke Semantics for the Lambek-Grishin Calculus.” Logic Journal of IGPL 20, no. 6 (2012): 1110–32. https://doi.org/10.1093/jigpal/jzr051.
LibreCat | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed

13 Publications

Mark all

[13]
2017 | Conference Paper | LibreCat-ID: 97
Rooijen, Lorijn van, Frederik Simon Bäumer, Marie Christin Platenius, Michaela Geierhos, Heiko Hamann, and Gregor 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), 379–85. Piscataway, NJ, USA: IEEE, 2017. https://doi.org/10.1109/REW.2017.26.
LibreCat | Files available | DOI
 
[12]
2017 | Journal Article | LibreCat-ID: 6725
Czerwinski, Wojciech, Wim Martens, Lorijn van Rooijen, Marc Zeitoun, and Georg Zetzsche. “A Characterization for Decidable Separability by Piecewise Testable Languages.” Discrete Mathematics & Theoretical Computer Science 19, no. 4 (2017). https://doi.org/10.23638/DMTCS-19-4-1.
LibreCat | DOI
 
[11]
2017 | Conference Paper | LibreCat-ID: 120
Wever, Marcel Dominik, Lorijn van Rooijen, and Heiko Hamann. “Active Coevolutionary Learning of Requirements Specifications from Examples.” In Proceedings of the Genetic and Evolutionary Computation Conference (GECCO), 1327--1334, 2017. https://doi.org/10.1145/3071178.3071258.
LibreCat | Files available | DOI
 
[10]
2016 | Report | LibreCat-ID: 221
Platenius, Marie Christin, Klementina Josifovska, Lorijn van Rooijen, Svetlana Arifulina, Matthias Becker, Gregor Engels, and Wilhelm Schäfer. 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
Rooijen, Lorijn van, and Heiko Hamann. “Requirements Specification-by-Example Using a Multi-Objective Evolutionary Algorithm.” In Proceedings of 24th IEEE International Requirements Engineering Conference (RE 2016), 3--9, 2016. https://doi.org/10.1109/REW.2016.015.
LibreCat | Files available | DOI
 
[8]
2015 | Conference Paper | LibreCat-ID: 6726
Czerwinski, Wojciech, Wim Martens, Lorijn van Rooijen, and Marc 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, 173–85, 2015. https://doi.org/10.1007/978-3-319-22177-9\_14.
LibreCat | DOI
 
[7]
2014 | Dissertation | LibreCat-ID: 6727
Rooijen, Lorijn van. 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, Thomas, Lorijn van Rooijen, and Marc Zeitoun. “On Separation by Locally Testable and Locally Threshold Testable Languages.” Logical Methods in Computer Science 10, no. 3 (2014). https://doi.org/10.2168/lmcs-10(3:24)2014.
LibreCat | DOI
 
[5]
2013 | Journal Article | LibreCat-ID: 6729
Coumans, Dion, Mai Gehrke, and Lorijn van Rooijen. “Relational Semantics for Full Linear Logic.” Journal of Applied Logic 12, no. 1 (2013): 50–66. https://doi.org/10.1016/j.jal.2013.07.005.
LibreCat | DOI
 
[4]
2013 | Conference Paper | LibreCat-ID: 6732
Place, Thomas, Lorijn van Rooijen, and Marc 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, 729–40. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. https://doi.org/10.1007/978-3-642-40313-2_64.
LibreCat | DOI
 
[3]
2013 | Conference Paper | LibreCat-ID: 6730
Place, Thomas, Lorijn van Rooijen, and Marc 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, 24:363--375. LIPIcs. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2013. https://doi.org/10.4230/LIPICS.FSTTCS.2013.363.
LibreCat | DOI
 
[2]
2012 | Journal Article | LibreCat-ID: 7342
Chernilovskaya, Anna, Mai Gehrke, and Lorijn van Rooijen. “Generalized Kripke Semantics for the Lambek-Grishin Calculus.” Logic Journal of IGPL 20, no. 6 (2012): 1110–32. https://doi.org/10.1093/jigpal/jzr051.
LibreCat | DOI
 
[1]
2012 | Journal Article | LibreCat-ID: 6733
Chernilovskaya, A., M. Gehrke, and Lorijn van Rooijen. “Generalized Kripke Semantics for the Lambek-Grishin Calculus.” Logic Journal of IGPL 20, no. 6 (2012): 1110–32. https://doi.org/10.1093/jigpal/jzr051.
LibreCat | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed