( en | de | ru )

 

Disambiguation of "Papakonstantinou, George K."

Author of the publication

copydeleteadd this publication to your clipboard
Language Based Design Verification with Semantic Analysis.

, and . EUROMICRO, page 1268-. IEEE Computer Society, (1999)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Nikolaos Papakonstantinou

Antonios Papakonstantinou

Athanasios Papakonstantinou

Georgios Papakonstantinou

Vagelis Papakonstantinou

 

Other publications of authors with the same name

Finding Minimal ESCT Expressions for Boolean Functions with Weight of up to 7., , and . CDES, page 35-41. CSREA Press, (2008)A Simulation Method for Computer Control Systems., and . IEEE Trans. Computers, 20 (1): 98-100 (1971)Using PVM to Implement PPARDB/PVM, a Portable Parallel Database Management System., , and . PVM, volume 1156 of Lecture Notes in Computer Science, page 108-115. Springer, (1996)Incorporating multi-pass attribute grammars for the high-level synthesis of ASICs., , and . SAC, page 45-49. ACM, (1998)A Parallel Algorithm for Minimizing ESOP Expressions.. Journal of Circuits, Systems, and Computers, (2014)Qualitative Autonomous Navigation for Wheelchair Robots., , , and . ECAI, page 679-683. John Wiley and Sons, Chichester, (1996)An Interpreter of Attribute Grammars and Its Application to Waveform Analysis.. IEEE Trans. Software Eng., 7 (3): 279-284 (1981)A Control Structure for a Variable Number of Nested Loops., and . Comput. J., 25 (1): 48-51 (1982)AGP: A Parallel Processor for Knowledge and Software Engineering., , and . Comput. J., 35 (Additional-Papers): A193-A199 (1992)An Extension of the Certainty Factor Model in First Order Predicate Calculus., and . Comput. J., 35 (Additional-Papers): A185-A192 (1992)