Sicco Verwer

2006
Verwer SE, de Weerdt M, Witteveen C. On the identifiability in the limit of timed automata. In: Grammatical Inference workshop. Grammatical Inference workshop.; 2006.
Verwer SE, de Weerdt M, Witteveen C. Identifying an automaton model for timed data. In: Proceedings of the Annual Machine Learning Conference of Belgium and the Netherlands (Benelearn). Proceedings of the Annual Machine Learning Conference of Belgium and the Netherlands (Benelearn).; 2006:57–64.
Verwer SE, de Weerdt M, Witteveen C. Identifying an automaton model for timed data. In: Proceedings of the Belgium-Dutch Conference on Artificial Intelligence (BNAIC). Proceedings of the Belgium-Dutch Conference on Artificial Intelligence (BNAIC).; 2006:439-440.
2005
Verwer SE, de Weerdt M, Witteveen C. Timed automata for behavioral pattern recognition. In: Proceedings of the Belgium-Dutch Conference on Artificial Intelligence (BNAIC). Proceedings of the Belgium-Dutch Conference on Artificial Intelligence (BNAIC).; 2005:291–296.
Verwer SE, de Weerdt M, Zutt J. A tutoring system to practice theorem proving in Fitch. In: Interactive Events of the International Conference on Artificial Intelligence in Education (AIED). Interactive Events of the International Conference on Artificial Intelligence in Education (AIED).; 2005:33–35.
2004