Dimitris J. Kavvadias

According to our database1, Dimitris J. Kavvadias authored at least 25 papers between 1988 and 2020.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2020
Resolution based algorithms for the transversal hypergraph generation problem.
Theor. Comput. Sci., 2020

2018
Algorithm 987: MANBIS - A C++ Mathematical Software Package for Locating and Computing Efficiently Many Roots of a Function: Theoretical Issues.
ACM Trans. Math. Softw., 2018

A semantic view of the switching lemma.
Proceedings of the 11th International Conference on Random and Exhaustive Generation of Combinatorial Structures, 2018

2015
On the Generation of SIC Pairs in Optimal Time.
IEEE Trans. Computers, 2015

Test set embedding into hardware generated sequences using an embedding algorithm.
Proceedings of the 10th International Conference on Design & Technology of Integrated Systems in Nanoscale Era, 2015

2010
On Embedding Test Sets into Hardware Generated Sequences.
Proceedings of the 14th Panhellenic Conference on Informatics, 2010

2009
Nash equilibria in all-optical networks.
Discret. Math., 2009

2008
Memoryless search algorithms in a network with faulty advice.
Theor. Comput. Sci., 2008

2007
Reliability considerations in mobile devices.
Proceedings of the 3rd International Conference on Mobile Multimedia Communications, 2007

2005
Efficiently Computing Many Roots of a Function.
SIAM J. Sci. Comput., 2005

An Efficient Algorithm for the Transversal Hypergraph Generation.
J. Graph Algorithms Appl., 2005

Popular web hot spots identification and visualization.
Proceedings of the 14th international conference on World Wide Web, 2005

2003
Monotone Boolean dualization is in co-NP[log<sup>2</sup>n].
Inf. Process. Lett., 2003

2000
Generating all maximal models of a Boolean expression.
Inf. Process. Lett., 2000

1999
Locating and Computing Arbitrarily Distributed Zeros.
SIAM J. Sci. Comput., 1999

Evaluation of an Algorithm for the Transversal Hypergraph Problem.
Proceedings of the Algorithm Engineering, 1999

1998
The Inverse Satisfiability Problem.
SIAM J. Comput., 1998

1996
Hammock-on-Ears Decomposition: A Technique for the Efficient Parallel Solution of Shortest Paths and Other Problems.
Theor. Comput. Sci., 1996

Locating and Computing All the Simple Roots and Extrema of a Function.
SIAM J. Sci. Comput., 1996

1994
Efficient Sequential and Parallel Algorithms for the Negative Cycle Problem.
Proceedings of the Algorithms and Computation, 5th International Symposium, 1994

1993
On Horn Envelopes and Hypergraph Transversals.
Proceedings of the Algorithms and Computation, 4th International Symposium, 1993

1990
The Banker's Problem with Precedences
Inf. Comput., January, 1990

A Linear Programming Approach to Reasoning about Probabilities.
Ann. Math. Artif. Intell., 1990

1988
ΠΟΛΥΠΛΟΚΟΤΗΤΑ ΚΑΙ ΕΥΡΕΤΙΚΕΣ ΜΕΘΟΔΟΙ ΓΙΑ ΤΗΝ ΠΙΘΑΝΟΤΙΚΗ ΛΟΓΙΚΗ
PhD thesis, 1988

Probabilistic satisfiability.
J. Complex., 1988


  Loading...