Lorijn van Rooijen

14 papers A 1B 2Journal 7Unranked 3
YearRankTypeTitle / Venue / Authors
2020 J jnl
Multioracle Coevolutionary Learning of Requirements Specifications from Examples in On-The-Fly Markets.
Evol. Comput.
Marcel Wever, Lorijn van Rooijen, Heiko Hamann
2017 J jnl
A Characterization for Decidable Separability by Piecewise Testable Languages.
Discret. Math. Theor. Comput. Sci.
Wojciech Czerwinski, Wim Martens, Lorijn van Rooijen, Marc Zeitoun, Georg Zetzsche
2017 A conf
Active coevolutionary learning of requirements specifications from examples.
GECCO
Marcel Wever, Lorijn van Rooijen, Heiko Hamann
2017 — conf
From User Demand to Software Service: Using Machine Learning to Automate the Requirements Specification Process.
RE Workshops
Lorijn van Rooijen, Frederik Simon Bäumer, Marie Christin Platenius, Michaela Geierhos, Heiko Hamann, Gregor Engels
2016 — conf
Requirements Specification-by-Example Using a Multi-objective Evolutionary Algorithm.
RE Workshops
Lorijn van Rooijen, Heiko Hamann
2015 B conf
A Note on Decidable Separability by Piecewise Testable Languages.
FCT
Wojciech Czerwinski, Wim Martens, Lorijn van Rooijen, Marc Zeitoun
2014 — —
A combinatorial approach to the separation problem for regular languages. (Une approche combinatoire du problème de séparation pour les langages réguliers).
Lorijn van Rooijen
2014 J jnl
Relational semantics for full linear logic.
J. Appl. Log.
Dion Coumans, Mai Gehrke, Lorijn van Rooijen
2014 J jnl
Separating Regular Languages by Locally Testable and Locally Threshold Testable Languages.
Log. Methods Comput. Sci.
Thomas Place, Lorijn van Rooijen, Marc Zeitoun
2013 — conf
Separating Regular Languages by Locally Testable and Locally Threshold Testable Languages.
FSTTCS
Thomas Place, Lorijn van Rooijen, Marc Zeitoun
2013 B conf
Separating Regular Languages by Piecewise Testable and Unambiguous Languages.
MFCS
Thomas Place, Lorijn van Rooijen, Marc Zeitoun
2013 J jnl
Separating regular languages by piecewise testable and unambiguous languages
CoRR
Thomas Place, Lorijn van Rooijen, Marc Zeitoun
2013 J jnl
The separation problem for regular languages by piecewise testable languages
CoRR
Lorijn van Rooijen, Marc Zeitoun
2012 J jnl
Generalized Kripke semantics for the Lambek-Grishin calculus.
Log. J. IGPL
Anna Chernilovskaya, Mai Gehrke, Lorijn van Rooijen