Marina Lenisa
Associate Professor
DEPARTMENT of MATHEMATICAL, INFORMATICS AND PHYSICAL SCIENCE
University of Udine
Italy
Biography
Dr. Marina Lenisa is currently working as a Associate Professor in the Department of , 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. Marina Lenisa 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
-
Honsell F, Lenisa M, Redamalla R. Categories of coalgebraic games. InInternational Symposium on Mathematical Foundations of Computer Science 2012 Aug 27 (pp. 503-515). Springer, Berlin, Heidelberg.
-
Honsell F, Lenisa M, Scagnetto I, Liquori L, Maksimovic P. An open logical framework. Journal of Logic and Computation. 2013 Jul 31;26(1):293-335.
-
Honsell F, Lenisa M, Liquori L, Maksimovic P, Scagnetto I. LF P: a logical framework with external predicates. InProceedings of the seventh international workshop on Logical frameworks and meta-languages, theory and practice 2012 Sep 9 (pp. 13-22). ACM.
