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.

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.-.