1. Audemard, G., Simon, L.: Predicting learnt clauses quality in modern SAT solvers. In: Proc. of IJCAI 2009. pp. 399--404 (2009)
2. WALTZ-DB: a benchmark database of amyloidogenic hexapeptides
3. Coste, F., Fredouille, D.: Unambiguous automata inference by means of state-merging methods. In: Lavrac, N., Gamberger, D., Todorovski, L., Blockeel, H. (eds.) Machine Learning: ECML 2003, 14th European Conference on Machine Learning, Cavtat-Dubrovnik, Croatia, September 22--26, 2003, Proceedings. Lecture Notes in Computer Science, vol. 2837, pp. 60--71. Springer (2003)
4. Learning regular languages using RFSAs
5. Grammatical Inference