Lorijn van Rooijen

Publications

102

Citations

H-Index

2012

Active since

Affiliations

Laboratoire Bordelais de Recherche en Informatique(Current)

Université de Bordeaux

Centre National de la Recherche Scientifique

Institut Polytechnique de Bordeaux

Université Paris Cité

Lorijn van Rooijen is an author at Laboratoire Bordelais de Recherche en Informatique specializing in engineering, automated reasoning, and computer science.

Top concepts

EngineeringAutomated ReasoningSemanticsLinguisticsFormal MethodsComputer ScienceLanguageVerificationProgram AnalysisFormal Verification

Publications per year

2012–2017

Publications

Relational semantics for full linear logic

Dion Coumans, Mai Gehrke, Lorijn van Rooijen · Journal of Applied Logic · 2013 · 26 citations · Full text

Relational Semantics, Engineering, Automated Reasoning +5

Generalized Kripke semantics for the Lambek-Grishin calculus

A. Chernilovskaya, Mai Gehrke, Lorijn van Rooijen · Logic Journal of IGPL · 2012 · 19 citations

Algebraic Logic, Relational Semantics, Representation Theory +12

Separating Regular Languages by Locally Testable and Locally Threshold Testable Languages

Thomas Place, Lorijn van Rooijen, Marc Zeitoun · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2013 · 17 citations · Full text

Engineering, Verification, Pushdown Automaton +17

On Separation by Locally Testable and Locally Threshold Testable Languages

Thomas Place, Lorijn van Rooijen, Marc Zeitoun · Logical Methods in Computer Science · 2014 · 14 citations · Full text

Engineering, Verification, Pushdown Automaton +17

From User Demand to Software Service: Using Machine Learning to Automate the Requirements Specification Process

Lorijn van Rooijen, Frederik Simon Bäumer, Marie Christin Platenius et al. · 2017 · 13 citations

Software Maintenance, Software Service, Machine Learning +26

Rows per page

1–5 of 6