Concepedia

Marino Miculan

MM

Statistics

Publications

23

Citations

515

H-Index

13

Active since

1998

Affiliations

University of Udine(Current)

Marino Miculan is an author at University of Udine specializing in engineering, formal methods, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningSemanticsLanguageLinguisticsFormal VerificationSystems EngineeringGraph Theory

Publications per year

1998–2024

23

Publications

23

π-calculus in (Co)inductive-type theory

Furio Honsell, Marino Miculan, Ivan Scagnetto · Theoretical Computer Science · 2001 · 98 citations · Full text

Theoretical Mathematics, Inductive-type Theory, Type Theory +1

About permutation algebras, (pre)sheaves and named sets

Fabio Gadducci, Marino Miculan, Ugo Montanari · LISP and Symbolic Computation · 2006 · 52 citations

Permutation Algebras, Abstract Algebra, Universal Algebra +1

Consistency of the theory of contexts

Anna Bucalo, Furio Honsell, Marino Miculan et al. · Journal of Functional Programming · 2006 · 35 citations · Full text

Directed Bigraphs

Davide Grohmann, Marino Miculan · Electronic Notes in Theoretical Computer Science · 2007 · 33 citations · Full text

Encoding Modal Logics in Logical Frameworks

Arnon Avron, Furio Honsell, Marino Miculan et al. · Studia Logica · 1998 · 31 citations · Full text

1–5 of 23