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, Marcel Dominik, et al. “Multi-Oracle Coevolutionary Learning of Requirements Specifications from Examples in On-The-Fly Markets.” Evolutionary Computation, vol. 28, no. 2, MIT Press Journals, 2020, pp. 165–193, doi:10.1162/evco_a_00266.
LibreCat
| Files available
| DOI
2017 | Conference Paper | LibreCat-ID: 25101
van Rooijen, Lorijn, et al. From User Demand to Software Service: Using Machine Learning to Automate the Requirements Specification Process. 2017.
LibreCat
2017 | Conference Paper | LibreCat-ID: 97
van Rooijen, Lorijn, et al. “From User Demand to Software Service: Using Machine Learning to Automate the Requirements Specification Process.” 2017 IEEE 25th International Requirements Engineering Conference Workshops (REW), IEEE, 2017, pp. 379–85, doi:10.1109/REW.2017.26.
LibreCat
| Files available
| DOI
2017 | Journal Article | LibreCat-ID: 6725
Czerwinski, Wojciech, et al. “A Characterization for Decidable Separability by Piecewise Testable Languages.” Discrete Mathematics & Theoretical Computer Science, vol. 19, no. 4, 2017, doi:10.23638/DMTCS-19-4-1.
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 120
Wever, Marcel Dominik, et al. “Active Coevolutionary Learning of Requirements Specifications from Examples.” Proceedings of the Genetic and Evolutionary Computation Conference (GECCO), 2017, pp. 1327--1334, doi:10.1145/3071178.3071258.
LibreCat
| Files available
| DOI
2016 | Report | LibreCat-ID: 221
Platenius, Marie Christin, et al. An Overview of Service Specification Language and Matching in On-The-Fly Computing (v0.3). Universität Paderborn, 2016.
LibreCat
| Files available
2016 | Conference Paper | LibreCat-ID: 160
van Rooijen, Lorijn, and Heiko Hamann. “Requirements Specification-by-Example Using a Multi-Objective Evolutionary Algorithm.” Proceedings of 24th IEEE International Requirements Engineering Conference (RE 2016), 2016, pp. 3--9, doi:10.1109/REW.2016.015.
LibreCat
| Files available
| DOI
2015 | Conference Paper | LibreCat-ID: 6726
Czerwinski, Wojciech, et al. “A Note on Decidable Separability by Piecewise Testable Languages.” Fundamentals of Computation Theory - 20th International Symposium, (FCT) 2015, Gdańsk, Poland, August 17-19, 2015, Proceedings, 2015, pp. 173–85, doi:10.1007/978-3-319-22177-9\_14.
LibreCat
| DOI
2014 | Dissertation | LibreCat-ID: 6727
van Rooijen, Lorijn. 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
2014 | Journal Article | LibreCat-ID: 6728
Place, Thomas, et al. “On Separation by Locally Testable and Locally Threshold Testable Languages.” Logical Methods in Computer Science, vol. 10, no. 3, Logical Methods in Computer Science e.V., 2014, doi:10.2168/lmcs-10(3:24)2014.
LibreCat
| DOI
2013 | Journal Article | LibreCat-ID: 6729
Coumans, Dion, et al. “Relational Semantics for Full Linear Logic.” Journal of Applied Logic, vol. 12, no. 1, Elsevier BV, 2013, pp. 50–66, doi:10.1016/j.jal.2013.07.005.
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 6730
Place, Thomas, et al. “Separating Regular Languages by Locally Testable and Locally Threshold Testable Languages.” Annual Conference on Foundations of Software Technology and Theoretical Computer Science, (FSTTCS) 2013, December 12-14, 2013, Guwahati, India, vol. 24, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2013, pp. 363--375, doi:10.4230/LIPICS.FSTTCS.2013.363.
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 6732
Place, Thomas, et al. “Separating Regular Languages by Piecewise Testable and Unambiguous Languages.” Mathematical Foundations of Computer Science 2013 - 38th International Symposium, (MFCS) 2013, Klosterneuburg, Austria, August 26-30, 2013, Springer Berlin Heidelberg, 2013, pp. 729–40, doi:10.1007/978-3-642-40313-2_64.
LibreCat
| DOI
2012 | Journal Article | LibreCat-ID: 7342
Chernilovskaya, Anna, et al. “Generalized Kripke Semantics for the Lambek-Grishin Calculus.” Logic Journal of IGPL, vol. 20, no. 6, Oxford University Press (OUP), 2012, pp. 1110–32, doi:10.1093/jigpal/jzr051.
LibreCat
| DOI
2012 | Journal Article | LibreCat-ID: 6733
Chernilovskaya, A., et al. “Generalized Kripke Semantics for the Lambek-Grishin Calculus.” Logic Journal of IGPL, vol. 20, no. 6, Oxford University Press (OUP), 2012, pp. 1110–32, doi:10.1093/jigpal/jzr051.
LibreCat
| DOI