Generating all maximal models of a Boolean expression Kavvadias, Dimitris J, Martha Sideri, and Elias C Stavropoulos. 2000. “Generating All Maximal Models Of A Boolean Expression”. Information Processing Letters 74: 157–162.
Evaluation of an algorithm for the transversal hypergraph problem Kavvadias, Dimitris J, and Elias C Stavropoulos. 1999. “Evaluation Of An Algorithm For The Transversal Hypergraph Problem”. In Algorithm Engineering, Algorithm Engineering, Springer, 72–84.
On the maximal models of Horn formulas Kavvadias, Dimitris J, Martha Sideri, and Elias C Stavropoulos. 1998. On The Maximal Models Of Horn Formulas. Citeseer.
On a resolution theorem for maximal models Kavvadias, Dimitris J, and Elias C Stavropoulos. 1998. On A Resolution Theorem For Maximal Models. Citeseer.
A new hybrid genetic algorithm for global optimization Sotiropoulos, Dimitris G, Elias C Stavropoulos, and Michael N Vrahatis. 1997. “A New Hybrid Genetic Algorithm For Global Optimization”. Nonlinear Analysis: Theory, Methods & Applications 30: 4529–4538.