Marco Comini
Associate Professor
DEPARTMENT of MATHEMATICAL, INFORMATICS AND PHYSICAL SCIENCE
University of Udine
Italy
Biography
Dr. Marco Comini is currently working as a Associate Professor in the Department of DEPARTMENT of MATHEMATICAL, INFORMATICS AND PHYSICAL SCIENCES , University of Udine , Italy. His research interests includes MATHEMATICAL, INFORMATICS AND PHYSICAL SCIENCES . He /she is serving as an editorial member and reviewer of several international reputed journals. Dr. Marco Comini is the member of many international affiliations. He/ She has successfully completed his Administrative responsibilities. He /she has authored of many research articles/books related to MATHEMATICAL, INFORMATICS AND PHYSICAL SCIENCES .
Research Interest
MATHEMATICAL, INFORMATICS AND PHYSICAL SCIENCES
Publications
-
Comini M, Levi G. An Algebraic Theory of Observables. InILPS 1994 Nov 1 (pp. 172-186).
-
Comini M, Levi G, Meo MC, Vitiello G. Proving properties of logic programs by abstract diagnosis. InLOMAPS workshop on Analysis and Verification of Multiple-Agent Languages 1996 Jun 24 (pp. 22-50). Springer, Berlin, Heidelberg.
-
Comini M, Levi G, Meo MC, Vitiello G. Abstract diagnosis. The Journal of Logic Programming. 1999 Jun 30;39(1):43-93.
