Dimitris J. Kavvadias - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 29 from 29

2020

Resolution based algorithms for the transversal hypergraph generation problemStavros S. Cosmadakis, Dimitris J. Kavvadias, Lina Panagopoulou. TCS, 815:1-10, 2020. [doi]

2018

A semantic view of the switching lemmaDimitris J. Kavvadias, Lina Panagopoulou. gascom 2018: 166-171 [doi]

Algorithm 987: MANBIS - A C++ Mathematical Software Package for Locating and Computing Efficiently Many Roots of a Function: Theoretical IssuesDimitra-Nefeli A. Zottou, Dimitris J. Kavvadias, Frosso S. Makri, Michael N. Vrahatis. TOMS, 44(3), 2018. [doi]

2015

On the Generation of SIC Pairs in Optimal TimeIoannis Voyiatzis, Dimitris J. Kavvadias. TC, 64(10):2891-2901, 2015. [doi]

Test set embedding into hardware generated sequences using an embedding algorithmIoannis Voyiatzis, Dimitris J. Kavvadias, S. Sinitos, K. Vlahantonis, P. Kyrkos, Cleo Sgouropoulou, Costas Efstathiou. dtis 2015: 1-2 [doi]

2010

On Embedding Test Sets into Hardware Generated SequencesDimitris J. Kavvadias, S. Sinitos, Ioannis Voyiatzis, Hera Antonopoulou, Costas Efstathiou. pci 2010: 158-163 [doi]

2009

Nash equilibria in all-optical networksGeorge F. Georgakopoulos, Dimitris J. Kavvadias, Leonidas G. Sioutis. DM, 309(13):4332-4342, 2009. [doi]

2008

Memoryless search algorithms in a network with faulty adviceNicolas Hanusse, Dimitris J. Kavvadias, Evangelos Kranakis, Danny Krizanc. TCS, 402(2-3):190-198, 2008. [doi]

2007

Reliability considerations in mobile devicesIoannis Voyiatzis, Dimitris J. Kavvadias, H. Antonopoulou, S. Sinitos. mobimedia 2007: 51 [doi]

2005

2003

Monotone Boolean dualization is in co-NP[log:::2:::n]Dimitris J. Kavvadias, Elias C. Stavropoulos. ipl, 85(1):1-6, 2003. [doi]

2002

Memoryless Search Algorithms in a Network with Faulty AdviceNicolas Hanusse, Dimitris J. Kavvadias, Evangelos Kranakis, Danny Krizanc. ifipTCS 2002: 206-216

2000

Generating all maximal models of a Boolean expressionDimitris J. Kavvadias, Martha Sideri, Elias C. Stavropoulos. ipl, 74(3-4):157-162, 2000. [doi]

1999

Locating and Computing Arbitrarily Distributed ZerosDimitris J. Kavvadias, F. S. Makri, Michael N. Vrahatis. siamsc, 21(3):954-969, 1999. [doi]

Evaluation of an Algorithm for the Transversal Hypergraph ProblemDimitris J. Kavvadias, Elias C. Stavropoulos. wae 1999: 72-84 [doi]

1998

The Inverse Satisfiability ProblemDimitris J. Kavvadias, Martha Sideri. SICOMP, 28(1):152-163, 1998.

1996

The Inverse Satisfiability ProblemDimitris J. Kavvadias, Martha Sideri. cocoon 1996: 250-259

Locating and Computing All the Simple Roots and Extrema of a FunctionDimitris J. Kavvadias, Michael N. Vrahatis. siamsc, 17(5):1232-1248, 1996. [doi]

Hammock-on-Ears Decomposition: A Technique for the Efficient Parallel Solution of Shortest Paths and Other ProblemsDimitris J. Kavvadias, Grammati E. Pantziou, Paul G. Spirakis, Christos D. Zaroliagis. TCS, 168(1):121-154, 1996. [doi]

1994

Efficient Sequential and Parallel Algorithms for the Negative Cycle ProblemDimitris J. Kavvadias, Grammati E. Pantziou, Paul G. Spirakis, Christos D. Zaroliagis. isaac 1994: 270-278

Hammock-on-Ears Decomposition: A Technique for the Efficient Parallel Solution of Shortest Paths and Other ProblemsDimitris J. Kavvadias, Grammati E. Pantziou, Paul G. Spirakis, Christos D. Zaroliagis. mfcs 1994: 462-472

1993

On Horn Envelopes and Hypergraph TransversalsDimitris J. Kavvadias, Christos H. Papadimitriou, Martha Sideri. isaac 1993: 399-405

1990

The Banker s Problem with PrecedencesGeorge K. Georgakopoulos, Dimitris J. Kavvadias. iandc, 84(1):1-12, January 1990.

A Linear Programming Approach to Reasoning about ProbabilitiesDimitris J. Kavvadias, Christos H. Papadimitriou. AMAI, 1:189-205, 1990.

1988

Probabilistic satisfiabilityGeorge F. Georgakopoulos, Dimitris J. Kavvadias, Christos H. Papadimitriou. jc, 4(1):1-11, 1988. [doi]

ΠΟΛΥΠΛΟΚΟΤΗΤΑ ΚΑΙ ΕΥΡΕΤΙΚΕΣ ΜΕΘΟΔΟΙ ΓΙΑ ΤΗΝ ΠΙΘΑΝΟΤΙΚΗ ΛΟΓΙΚΗDimitris J. Kavvadias. PhD thesis, University of Patras, Greece, 1988. [doi]

Sign in or sign up to see more results.

runs on WebDSL