Probabilistic satisfiability. - George F. Georgakopoulos; Dimitris J. Kavvadias; Christos H. Papadimitriou (J. Complex., 1988)

ΠΟΛΥΠΛΟΚΟΤΗΤΑ ΚΑΙ ΕΥΡΕΤΙΚΕΣ ΜΕΘΟΔΟΙ ΓΙΑ ΤΗΝ ΠΙΘΑΝΟΤΙΚΗ ΛΟΓΙΚΗ - Dimitris J. Kavvadias (1988)

A Linear Programming Approach to Reasoning about Probabilities. - Dimitris J. Kavvadias; Christos H. Papadimitriou (Ann. Math. Artif. Intell., 1990)

The Banker's Problem with Precedences - George K. Georgakopoulos; Dimitris J. Kavvadias (Inf. Comput., 1990)

On Horn Envelopes and Hypergraph Transversals. - Dimitris J. Kavvadias; Christos H. Papadimitriou; Martha Sideri (ISAAC, 1993)

Efficient Sequential and Parallel Algorithms for the Negative Cycle Problem. - Dimitris J. Kavvadias; Grammati E. Pantziou; Paul G. Spirakis; Christos D. Zaroliagis (ISAAC, 1994)

Locating and Computing All the Simple Roots and Extrema of a Function. - Dimitris J. Kavvadias; Michael N. Vrahatis (SIAM J. Sci. Comput., 1996)

Hammock-on-Ears Decomposition: A Technique for the Efficient Parallel Solution of Shortest Paths and Other Problems. - Dimitris J. Kavvadias; Grammati E. Pantziou; Paul G. Spirakis; Christos D. Zaroliagis (Theor. Comput. Sci., 1996)

The Inverse Satisfiability Problem. - Dimitris J. Kavvadias; Martha Sideri (SIAM J. Comput., 1998)

Evaluation of an Algorithm for the Transversal Hypergraph Problem. - Dimitris J. Kavvadias; Elias C. Stavropoulos (WAE, 1999)

Locating and Computing Arbitrarily Distributed Zeros. - Dimitris J. Kavvadias; Frosso S. Makri; Michael N. Vrahatis (SIAM J. Sci. Comput., 1999)

Generating all maximal models of a Boolean expression. - Dimitris J. Kavvadias; Martha Sideri; Elias C. Stavropoulos (Inf. Process. Lett., 2000)

Monotone Boolean dualization is in co-NP[log2n]. - Dimitris J. Kavvadias; Elias C. Stavropoulos (Inf. Process. Lett., 2003)

Popular web hot spots identification and visualization. - D. Avramouli; John D. Garofalakis; Dimitris J. Kavvadias; Christos Makris 001; Yannis Panagis; Evangelos Sakkopoulos (WWW (Special interest tracks and posters), 2005)

An Efficient Algorithm for the Transversal Hypergraph Generation. - Dimitris J. Kavvadias; Elias C. Stavropoulos (J. Graph Algorithms Appl., 2005)

Efficiently Computing Many Roots of a Function. - Dimitris J. Kavvadias; Frosso S. Makri; Michael N. Vrahatis (SIAM J. Sci. Comput., 2005)

Reliability considerations in mobile devices. - Ioannis Voyiatzis; Dimitris J. Kavvadias; Hera Antonopoulou; S. Sinitos (MobiMedia, 2007)

Memoryless search algorithms in a network with faulty advice. - Nicolas Hanusse; Dimitris J. Kavvadias; Evangelos Kranakis; Danny Krizanc (Theor. Comput. Sci., 2008)

Nash equilibria in all-optical networks. - George F. Georgakopoulos; Dimitris J. Kavvadias; Leonidas G. Sioutis (Discret. Math., 2009)

On Embedding Test Sets into Hardware Generated Sequences. - Dimitris J. Kavvadias; S. Sinitos; Ioannis Voyiatzis; Hera Antonopoulou; Costas Efstathiou (Panhellenic Conference on Informatics, 2010)

Test set embedding into hardware generated sequences using an embedding algorithm. - Ioannis Voyiatzis; Dimitris J. Kavvadias; S. Sinitos; K. Vlahantonis; P. Kyrkos; Cleo Sgouropoulou; Costas Efstathiou (DTIS, 2015)

On the Generation of SIC Pairs in Optimal Time. - Ioannis Voyiatzis; Dimitris J. Kavvadias (IEEE Trans. Computers, 2015)

A semantic view of the switching lemma. - Dimitris J. Kavvadias; Lina Panagopoulou (GASCom, 2018)

Algorithm 987: MANBIS - A C++ Mathematical Software Package for Locating and Computing Efficiently Many Roots of a Function: Theoretical Issues. - Dimitra-Nefeli A. Zottou; Dimitris J. Kavvadias; Frosso S. Makri; Michael N. Vrahatis (ACM Trans. Math. Softw., 2018)

Resolution based algorithms for the transversal hypergraph generation problem. - Stavros S. Cosmadakis; Dimitris J. Kavvadias; Lina Panagopoulou (Theor. Comput. Sci., 2020)