CC Florêncio, SE Verwer (2014), Regular inference as vertex coloring, In Theoretical Computer Science Volume 558 p.18-34.
SE Verwer, MM de Weerdt, C Witteveen (2011), Learning Driving Behavior By Timed Syntactic Pattern Recognition, T Walsh (Eds.), In Proceedings of the International Joint Conference on Artificial Intelligence p.1529-1534, American Association for Artificial Intelligence (AAAI).
SE Verwer, MM de Weerdt, C Witteveen (2011), The efficiency of identifying timed automata and the power of clocks, In Information and Computation Volume 209 p.606-625.
SE Verwer, MM de Weerdt, C Witteveen (2010), A likelihood-ratio test for identifying probabilistic deterministic real-time automata from positive data, JM Sempere, P García (Eds.), In Grammatical Inference: Theoretical Results and Applications p.203-216, Springer.
SE Verwer (2010), Efficient Identification of Timed Automata: Theory and Practice, PhD Thesis Delft University of Technology.
MJH Heule, SE Verwer (2010), Exact DFA Identification Using SAT Solvers, JM Sempere, P García (Eds.), In Grammatical Inference: Theoretical Results and Applications 10th International Colloquium, ICGI 2010 p.66-79, Springer.
SE Verwer, MM de Weerdt, C Witteveen (2009), One-Clock Deterministic Timed Automata Are Efficiently Identifiable in the Limit, AH Dediu, AM Ionescu, C Martin-Vide (Eds.), In Third International Conference, LATA 2009, Tarragona, Spain, April 2-8, 2009. Proceedings p.740-751, Springer.
MJH Heule, SE Verwer (2009), Using a satisfiability solver to identify deterministic finite state automata, T Calders, K Tuyls, M Pechenizkiy (Eds.), In BNAIC 2009 Benelux Conference on Artificial Intelligence p.91-98, BNAIC.
SE Verwer, MM de Weerdt, C Witteveen (2008), Efficiently learning simple timed automata, W Bridewell, T Calders, Ana Karla de Medeiros, Stefan Kramer, Mykola Pechenizkiy, Ljupco Todorovski (Eds.), In Induction of Process Models (IPM 2008) p.61-68, University of Antwerp.
SE Verwer, MM de Weerdt, C Witteveen (2008), Efficiently learning timed models from observations, L Wehenkel, P Geurts, Raphael Maree (Eds.), In Benelearn 2008 p.75-76, Universite de Liege.