Agostino Dovier
Associate Professor
DEPARTMENT of MATHEMATICAL, INFORMATICS AND PHYSICAL SCIENCE
University of Udine
Italy
Biography
Dr. Agostino Dovier 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. Agostino Dovier 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
-
Dovier A, Omodeo EG, Pontelli E, Rossi G. flogg: A logic programming language with finite sets. InProc. 8th Int. Conf. on Logic Programming 1991.
-
Dovier A, Omodeo EG, Pontelli E, Rossi G. {log}: A language for programming in logic with finite sets. The Journal of logic programming. 1996 Jul 31;28(1):1-44.
-
Dovier A, Piazza C, Policriti A. An efficient algorithm for computing bisimulation equivalence. Theoretical Computer Science. 2004 Jan 23;311(1-3):221-56.
