Marino Miculan

Cited by

	All	Since 2018
Citations	1528	398
h-index	22	11
i10-index	43	12

100

1997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220239 10 3 7 37 36 50 44 44 51 62 83 54 50 54 74 78 80 97 81 75 47 57 79 62 79 74

Public access

View all

19 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Marco PeressottiUniversity of Southern DenmarkVerified email at imada.sdu.dk
Giorgio BacciAssociate professor in Computer Science, Aalborg University, DenmarkVerified email at cs.aau.dk
Fabio GadducciProfessore di Informatica, Università di PisaVerified email at unipi.it
Pietro Di GianantonioUniversità di UdineVerified email at uniud.it
Alessio MansuttiIMDEA Software InstituteVerified email at imdea.org
Luigi LiquoriDirecteur de Recherche INRIAVerified email at inria.fr
Michele PasquaUniversity of VeronaVerified email at univr.it
Caterina UrbanInria & École Normale Supérieure | Université PSL, Paris, FranceVerified email at inria.fr
Lars BirkedalDept. of Computer Science, Aarhus UniversityVerified email at cs.au.dk
Aleš BizjakFormerly postdoctoral researcher, Aarhus University, currently software architect at ConcordiumVerified email at alesb.com
Tomasz BrengosFaculty of Mathematics and Information Sciences, Warsaw University of TechnologyVerified email at mini.pw.edu.pl
Temesghen KahsaiPrincipal Applied Scientist @ AmazonVerified email at amazon.com
Marco BernardoUniversity of UrbinoVerified email at uniurb.it
Roberto BruniUniversity of PisaVerified email at di.unipi.it
Marco PaviottiLecturer in Computer Science, University of KentVerified email at kent.ac.uk
Gian Luca ForestiFull Professor at Università di UdineVerified email at uniud.it
Romeo RizziProfessore Associato di Ricerca Operativa, Verona UniversityVerified email at univr.it
Claudio PiciarelliUniversità degli Studi di UdineVerified email at uniud.it
Carla PiazzaProfessor of Computer Science, University of UdineVerified email at uniud.it
Sabina RossiUniversità Ca' Foscari VeneziaVerified email at dais.unive.it

Marino Miculan

University of Udine, Italy

Verified email at uniud.it - Homepage

programming languages cybersecurity formal methods concurrency theory category theory


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
π-calculus in (co) inductive-type theory F Honsell, M Miculan, I Scagnetto Theoretical computer science 253 (2), 239-285, 2001	140	2001
An axiomatic approach to metareasoning on nominal algebras in HOAS F Honsell, M Miculan, I Scagnetto Automata, Languages and Programming, 963-978, 2001	78*	2001
About permutation algebras,(pre) sheaves and named sets F Gadducci, M Miculan, U Montanari Higher-Order and Symbolic Computation 19 (2), 283-304, 2006	75	2006
Formal analysis of Facebook Connect single sign-on authentication protocol M Miculan, C Urban SOFSEM 11, 22–28, 2011	72	2011
A unifying approach to recursive and co-recursive definitions P Di Gianantonio, M Miculan International Workshop on Types for Proofs and Programs, 148-161, 2002	64	2002
Directed bigraphs D Grohmann, M Miculan Electronic Notes in Theoretical Computer Science 173, 121-137, 2007	56	2007
Encoding modal logics in logical frameworks A Avron, F Honsell, M Miculan, C Paravano Studia Logica 60, 161-208, 1998	54	1998
Reactive systems over directed bigraphs D Grohmann, M Miculan CONCUR 2007–Concurrency Theory: 18th International Conference, CONCUR 2007 …, 2007	46	2007
Consistency of the theory of contexts A Bucalo, M Hofmann, F Honsell, M Miculan, I Scagnetto Journal of Functional Programming 16 (3), 327-395, 2006	44*	2006
A natural deduction approach to dynamic logic F Honsell, M Miculan International Workshop on Types for Proofs and Programs, 165-182, 1995	43	1995
A framework for typed HOAS and semantics M Miculan, I Scagnetto Proceedings of the 5th ACM SIGPLAN international conference on Principles …, 2003	41	2003
Multi-agent systems design and prototyping with bigraphical reactive systems A Mansutti, M Miculan, M Peressotti Distributed Applications and Interoperable Systems: 14th IFIP WG 6.1 …, 2014	37	2014
DBtk: A Toolkit for Directed Bigraphs G Bacci, D Grohmann, M Miculan Algebra and Coalgebra in Computer Science: Third International Conference …, 2009	34	2009
Developing (Meta) Theory of λ-calculus in the Theory of Contexts M Miculan Electronic Notes in Theoretical Computer Science 58 (1), 37-58, 2001	33	2001
Behavioural equivalences for coalgebras with unobservable moves T Brengos, M Miculan, M Peressotti Journal of Logical and Algebraic Methods in Programming 84 (6), 826-852, 2015	32	2015
A model of countable nondeterminism in guarded type theory A Bizjak, L Birkedal, M Miculan Rewriting and Typed Lambda Calculi: Joint International Conference, RTA-TLCA …, 2014	32	2014
On the formalization of the modal μ-calculus in the calculus of inductive constructions M Miculan Information and Computation 164 (1), 199-231, 2001	31	2001
Encoding logical theories of programs M Miculan Università, Dipartimento di informatica, 1997	31	1997
Structural operational semantics for non-deterministic processes with quantitative aspects M Miculan, M Peressotti Theoretical Computer Science 655, 135-154, 2016	27	2016
Unifying recursive and co-recursive definitions in sheaf categories P Di Gianantonio, M Miculan International Conference on Foundations of Software Science and Computation …, 2004	26	2004

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors