Sicco Verwer
TitleCited byYear
Three naive Bayes approaches for discrimination-free classification
T Calders, S Verwer
Data Mining and Knowledge Discovery 21 (2), 277-292, 2010
3302010
Exact DFA identification using SAT solvers
MJH Heule, S Verwer
International Colloquium on Grammatical Inference, 66-79, 2010
762010
Efficient identification of timed automata: Theory and practice
SE Verwer
682010
Predicate logic as a modeling language: modeling and solving some machine learning and data mining problems with IDP3
M Bruynooghe, H Blockeel, B Bogaerts, B De Cat, S De Pooter, J Jansen, ...
Theory and Practice of Logic Programming 15 (6), 783-817, 2015
41*2015
A likelihood-ratio test for identifying probabilistic deterministic real-time automata from positive data
S Verwer, M de Weerdt, C Witteveen
International Colloquium on Grammatical Inference, 203-216, 2010
412010
PAutomaC: a probabilistic automata and hidden Markov models learning competition
S Verwer, R Eyraud, C De La Higuera
Machine learning 96 (1-2), 129-154, 2014
382014
Software model synthesis using satisfiability solvers
MJH Heule, S Verwer
Empirical Software Engineering 18 (4), 825-856, 2013
272013
Learning and testing the bounded retransmission protocol
F Aarts, H Kuppens, J Tretmans, F Vaandrager, S Verwer
International Conference on Grammatical Inference, 4-18, 2012
252012
Learning driving behavior by timed syntactic pattern recognition
S Verwer, M De Weerdt, C Witteveen
Twenty-Second International Joint Conference on Artificial Intelligence, 2011
252011
Improving active Mealy machine learning for protocol conformance testing
F Aarts, H Kuppens, J Tretmans, F Vaandrager, S Verwer
Machine learning 96 (1-2), 189-224, 2014
242014
An algorithm for learning real-time automata
SE Verwer, MM De Weerdt, C Witteveen
Benelearn 2007: Proceedings of the Annual Machine Learning Conference of …, 2007
222007
Auction optimization using regression trees and linear models as integer programs
S Verwer, Y Zhang, QC Ye
Artificial Intelligence 244, 368-395, 2017
182017
Results of the pautomac probabilistic automaton learning competition
S Verwer, R Eyraud, C Higuera
International Conference on Grammatical Inference, 243-248, 2012
182012
Efficiently identifying deterministic real-time automata from labeled data
S Verwer, M de Weerdt, C Witteveen
Machine learning 86 (3), 295-333, 2012
162012
Identifying an automaton model for timed data
SE Verwer, MM De Weerdt, C Witteveen
Benelearn 2006: Proceedings of the 15th Annual Machine Learning Conference …, 2006
152006
Learning decision trees with flexible constraints and objectives using integer optimization
S Verwer, Y Zhang
International Conference on AI and OR Techniques in Constraint Programming …, 2017
132017
TABOR: a graphical model-based approach for anomaly detection in industrial control systems
Q Lin, S Adepu, S Verwer, A Mathur
Proceedings of the 2018 on Asia Conference on Computer and Communications …, 2018
122018
The efficiency of identifying timed automata and the power of clocks
S Verwer, M de Weerdt, C Witteveen
Information and Computation 209 (3), 606-625, 2011
122011
Results of the Sequence PredIction ChallengE (SPiCe): a Competition on Learning the Next Symbol in a Sequence.
B Balle, R Eyraud, FM Luque, A Quattoni, S Verwer
ICGI, 132-136, 2016
112016
Classifying socially sensitive data without discrimination: an analysis of a crime suspect dataset
F Kamiran, A Karim, S Verwer, H Goudriaan
2012 IEEE 12th International Conference on Data Mining Workshops, 370-377, 2012
112012
The system can't perform the operation now. Try again later.
Articles 1–20