Towards High Speed Grammar Induction on Large Text Corpora. - Pieter W. Adriaans; Marten Trautwein; Marco Vervoort (SOFSEM, 2000)

The EMILE 4.1 Grammar Induction Toolbox. - Pieter W. Adriaans; Marco Vervoort (ICGI, 2002)

The strength of Blackwell determinacy. - Donald A. Martin; Itay Neeman; Marco Vervoort (J. Symb. Log., 2003)

A Finitary Treatment of the Closed Fragment of Japaridze's Provability Logic. - Lev D. Beklemishev; Joost J. Joosten; Marco Vervoort (J. Log. Comput., 2005)