Relational semantics for full linear logic
D. Coumans, M. Gehrke, L. van Rooijen, Journal of Applied Logic 12 (2013) 50–66.

Separating Regular Languages by Locally Testable and Locally Threshold Testable Languages
T. Place, L. van Rooijen, M. Zeitoun, in: Annual Conference on Foundations of Software Technology and Theoretical Computer Science, (FSTTCS) 2013, December 12-14, 2013, Guwahati, India, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2013, pp. 363--375.

Separating Regular Languages by Piecewise Testable and Unambiguous Languages
T. Place, L. van Rooijen, M. Zeitoun, in: Mathematical Foundations of Computer Science 2013 - 38th International Symposium, (MFCS) 2013, Klosterneuburg, Austria, August 26-30, 2013, Springer Berlin Heidelberg, Berlin, Heidelberg, 2013, pp. 729–740.

Generalized Kripke semantics for the Lambek-Grishin calculus
A. Chernilovskaya, M. Gehrke, L. van Rooijen, Logic Journal of IGPL 20 (2012) 1110–1132.

Generalized Kripke semantics for the Lambek-Grishin calculus
A. Chernilovskaya, M. Gehrke, L. van Rooijen, Logic Journal of IGPL 20 (2012) 1110–1132.