Marino Miculan

Cited by

	All	Since 2020
Citations	1640	415
h-index	23	10
i10-index	46	11

100

199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202420259 10 2 6 37 37 49 46 43 51 62 83 58 48 55 75 76 80 97 80 75 47 51 81 64 80 88 99 3

Public access

View all

24 articles

1 article

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
Michele PasquaUniversity of VeronaVerified email at univr.it
Luigi LiquoriDirecteur de Recherche INRIAVerified email at inria.fr
Caterina UrbanInria & École Normale Supérieure | Université PSL, Paris, FranceVerified email at inria.fr
Arnon AvronProfessor of Computer Science, Tel Aviv universityVerified email at cs.tau.ac.il
Tomasz BrengosFaculty of Mathematics and Information Sciences, Warsaw University of TechnologyVerified email at mini.pw.edu.pl
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
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
Gian Luca ForestiFull Professor at Università di UdineVerified email at uniud.it
Marco PaviottiLecturer in Computer Science, University of KentVerified email at kent.ac.uk
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

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	141	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	78	2006
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
Formal analysis of Facebook Connect single sign-on authentication protocol M Miculan, C Urban SOFSEM 11, 22–28, 2011	68	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	66	2002
Directed bigraphs D Grohmann, M Miculan Electronic Notes in Theoretical Computer Science 173, 121-137, 2007	63	2007
Encoding modal logics in logical frameworks A Avron, F Honsell, M Miculan, C Paravano Studia Logica 60, 161-208, 1998	55	1998
Reactive systems over directed bigraphs D Grohmann, M Miculan CONCUR 2007–Concurrency Theory: 18th International Conference, CONCUR 2007 …, 2007	49	2007
A natural deduction approach to dynamic logic F Honsell, M Miculan International Workshop on Types for Proofs and Programs, 165-182, 1995	45	1995
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
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	42	2014
A framework for typed HOAS and semantics M Miculan, I Scagnetto Proceedings of the 5th ACM SIGPLAN international conference on Principles …, 2003	40	2003
DBtk: A Toolkit for Directed Bigraphs G Bacci, D Grohmann, M Miculan Algebra and Coalgebra in Computer Science: Third International Conference …, 2009	38	2009
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	33	2015
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
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	32	2001
Encoding logical theories of programs M Miculan Università degli Studi di Pisa, 1997	32	1997
Structural operational semantics for non-deterministic processes with quantitative aspects M Miculan, M Peressotti Theoretical Computer Science 655, 135-154, 2016	28	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	28	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