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.

SE Verwer, MM de Weerdt, C Witteveen (2008), Polynomial distinguishability of timed automata, A Clark, F Coste, Laurent Miclet (Eds.), In ICGI p.238-251, Springer.

SE Verwer, MM de Weerdt, C Witteveen (2006), Identifying an automaton model for timed data, Yvan Saeys, Elena Tsiporkova, Bernard De Baets, Yves van de Peer (Eds.), In Proceedings of the Annual Machine Learning Conference of Belgium and the Netherlands (Benelearn) p.57-64, Benelearn.

SE Verwer, MM de Weerdt, C Witteveen (2006), Identifying an automaton model for timed data (extended abstract), Pierre-Yve Schobbens, Wim Vanhoof, Gabriel Schwanen (Eds.), In Proceedings of the Belgium-Dutch Conference on Artificial Intelligence (BNAIC) p.439-440, BNVKI.

SE Verwer, MM de Weerdt, C Witteveen (2006), On the identifiability in the limit of timed automata, In Proceedings of the Grammatical inference workshop on open problems and new directions p.-.

Sicco Verwer, Mathijs De Weerdt, Cees Witteveen (2005), Timed automata for behavioral pattern recognition, In Belgian/Netherlands Artificial Intelligence Conference p.291-296.

SE Verwer, MM de Weerdt, C Witteveen (2005), Timed automata for behavorial pattern recognition, K Verbeeck, K Tuyls, A Nowé, B Manderick, B Kuijpers (Eds.), In BNAIC 2005 - Proceedings of the seventeenth Belgium-Netherlands conference on artificial intelligence p.291-296, KVAB.