Marino Miculan
Associate Professor
DEPARTMENT of MATHEMATICAL, INFORMATICS AND PHYSICAL SCIENCE
University of Udine
Italy
Biography
Dr. Marino Miculan 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. Marino Miculan 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
-
Kahsai T, Miculan M. Implementing Spi Calculus Using Nominal Techniques. Lecture Notes in Computer Science [Internet]. Springer Berlin Heidelberg; 294–305.
-
Miculan M, Scagnetto I, Honsell F, editors. Types for Proofs and Programs. Lecture Notes in Computer Science [Internet].
-
Crary K, Miculan M, editors. Electronic Proceedings in Theoretical Computer Science [Internet]. Open Publishing Association; 2010 Sep 11;34.