G. Papakonstantinou
National Technical University of Athens(GR)
Publications by Year
Research Areas
Formal Methods in Verification, Low-power high-performance VLSI design, VLSI and FPGA Design Techniques, Advanced Database Systems and Queries, Quantum Computing Algorithms and Architecture
Most-Cited Works
- → EXACT MINIMIZATION OF ESOP EXPRESSIONS WITH LESS THAN EIGHT PRODUCT TERMS(2004)24 cited
- → A PARALLEL ALGORITHM FOR MINIMIZING ESOP EXPRESSIONS(2013)8 cited
- → Towards a Knowledge Acquisition and Management System for ECG Diagnosis(1996)6 cited
- → A portable platform for parallel databases(1995)3 cited
- → Analyzing the 24-hour blood pressure and heart-rate variability with self-organizing feature maps(2002)3 cited
- → Multi‐output, multi‐level, multi‐gate design using non‐linear programming(2022)2 cited
- → USING SIMPLE DISJOINT DECOMPOSITION TO PERFORM SECURE COMPUTATIONS(2010)2 cited
- → Extending synchronization PVM mechanisms(1996)1 cited
- → Dependency-directed binding of variables for constraint logic programming(1994)1 cited
- → Logic Design Using Modules and Nonlinear Integer Programming(2019)1 cited