Dimitris J. Kavvadias

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A semantic view of the switching lemma	2024-10-31	Paper
The inverse satisfiability problem Lecture Notes in Computer Science	2024-01-29	Paper
Phase-field description of fracture in NiTi single crystals Computer Methods in Applied Mechanics and Engineering	2024-01-29	Paper
Hammock-on-ears decomposition: a technique for the efficient parallel solution of shortest paths and other problems Mathematical Foundations of Computer Science 1994	2022-08-18	Paper
Resolution based algorithms for the transversal hypergraph generation problem Theoretical Computer Science	2020-04-06	Paper
Algorithm 987: MANBIS -- a C++ mathematical software package for locating and computing efficiently many roots of a function: theoretical issues ACM Transactions on Mathematical Software	2019-01-18	Paper
On the Generation of SIC Pairs in Optimal Time IEEE Transactions on Computers	2017-05-16	Paper
Generating all maximal models of a Boolean expression Information Processing Letters	2016-06-16	Paper
Nash equilibria in all-optical networks Discrete Mathematics	2009-12-10	Paper
Memoryless search algorithms in a network with faulty advice Theoretical Computer Science	2008-08-06	Paper
An Efficient Algorithm for the Transversal Hypergraph Generation Journal of Graph Algorithms and Applications	2006-04-03	Paper
Efficiently Computing Many Roots of a Function SIAM Journal on Scientific Computing	2005-09-22	Paper
scientific article; zbMATH DE number 1984134 (Why is no real title available?)	2003-09-22	Paper
Monotone Boolean dualization is in co-NP\([\log^{2}n]\). Information Processing Letters	2003-01-21	Paper
scientific article; zbMATH DE number 1555943 (Why is no real title available?)	2001-01-24	Paper
Locating and Computing Arbitrarily Distributed Zeros SIAM Journal on Scientific Computing	1999-11-24	Paper
The Inverse Satisfiability Problem SIAM Journal on Computing	1998-09-21	Paper
A linear programming approach to reasoning about probabilities Annals of Mathematics and Artificial Intelligence	1997-12-14	Paper
scientific article; zbMATH DE number 1086546 (Why is no real title available?)	1997-11-13	Paper
Locating and Computing All the Simple Roots and Extrema of a Function SIAM Journal on Scientific Computing	1997-05-25	Paper
Hammock-on-ears decomposition: A technique for the efficient parallel solution of shortest paths and other problems Theoretical Computer Science	1997-02-27	Paper
Probabilistic satisfiability Journal of Complexity	1988-01-01	Paper

Research outcomes over time

This page was built for person: Dimitris J. Kavvadias