Probabilistic satisfiability G Georgakopoulos, D Kavvadias, CH Papadimitriou Journal of complexity 4 (1), 1-11, 1988 | 220 | 1988 |
An efficient algorithm for the transversal hypergraph generation D Kavvadias, E Stavropoulos Journal of Graph Algorithms and Applications 9 (2), 239-264, 2005 | 114 | 2005 |
On Horn envelopes and hypergraph transversals D Kavvadias, CH Papadimitriou, M Sideri Algorithms and Computation: 4th International Symposium, ISAAC'93 Hong Kong …, 1993 | 106 | 1993 |
A linear programming approach to reasoning about probabilities D Kavvadias, CH Papadimitriou Annals of Mathematics and Artificial Intelligence 1, 189-205, 1990 | 88 | 1990 |
The inverse satisfiability problem D Kavvadias, M Sideri SIAM Journal on Computing 28 (1), 152-163, 1998 | 77 | 1998 |
Generating all maximal models of a Boolean expression DJ Kavvadias, M Sideri, EC Stavropoulos Information Processing Letters 74 (3-4), 157-162, 2000 | 68 | 2000 |
Evaluation of an algorithm for the transversal hypergraph problem DJ Kavvadias, EC Stavropoulos International Workshop on Algorithm Engineering, 72-84, 1999 | 60 | 1999 |
Locating and computing all the simple roots and extrema of a function DJ Kavvadias, MN Vrahatis SIAM Journal on Scientific Computing 17 (5), 1232-1248, 1996 | 44 | 1996 |
Monotone boolean dualization is in co-np [log2n] DJ Kavvadias, EC Stavropoulos Information Processing Letters 85 (1), 1-6, 2003 | 34 | 2003 |
Memoryless search algorithms in a network with faulty advice N Hanusse, D Kavvadias, E Kranakis, D Krizanc Theoretical Computer Science 402 (2-3), 190-198, 2008 | 27 | 2008 |
Efficient sequential and parallel algorithms for the negative cycle problem D Kavvadias, GE Pantziou, PG Spirakis, CD Zaroliagis International Symposium on Algorithms and Computation, 270-278, 1994 | 22 | 1994 |
Locating and computing arbitrarily distributed zeros DJ Kavvadias, FS Makri, MN Vrahatis SIAM Journal on Scientific Computing 21 (3), 954-969, 1999 | 21 | 1999 |
Hammock-on-ears decomposition: A technique for the efficient parallel solution of shortest paths and other problems DJ Kavvadias, GE Pantziou, PG Spirakis, CD Zaroliagis Theoretical Computer Science 168 (1), 121-154, 1996 | 15 | 1996 |
The inverse satisfiability problem D Kavvadias, M Sideri International Computing and Combinatorics Conference, 250-259, 1996 | 13 | 1996 |
Hammock-on-ears decomposition: A technique for the efficient parallel solution of shortest paths and other problems D Kavvadias, GE Pantziou, PG Spirakis, CD Zaroliagis International Symposium on Mathematical Foundations of Computer Science, 462-472, 1994 | 12 | 1994 |
Nash equilibria in all-optical networks GF Georgakopoulos, DJ Kavvadias, LG Sioutis Internet and Network Economics: First International Workshop, WINE 2005 …, 2005 | 11 | 2005 |
Efficiently computing many roots of a function DJ Kavvadias, FS Makri, MN Vrahatis SIAM Journal on Scientific Computing 27 (1), 93-107, 2005 | 9 | 2005 |
Memoryless search algorithms in a network with faulty advice N Hanusse, D Kavvadias, E Kranakis, D Krizanc Foundations of Information Technology in the Era of Network and Mobile …, 2002 | 9 | 2002 |
On the generation of SIC pairs in optimal time IK Voyiatzis, DJ Kavvadias IEEE transactions on computers 64 (10), 2891-2901, 2014 | 8 | 2014 |
Checking monotone Boolean duality with limited nondeterminism DJ Kavvadias, EC Stavropoulos Technical Report TR2003/07/02, Computer Technology Institute, Patras, Greece, 2003 | 8 | 2003 |