Follow
Marino Miculan
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
1412001
About permutation algebras,(pre) sheaves and named sets
F Gadducci, M Miculan, U Montanari
Higher-Order and Symbolic Computation 19 (2), 283-304, 2006
782006
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
672011
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
662002
Directed bigraphs
D Grohmann, M Miculan
Electronic Notes in Theoretical Computer Science 173, 121-137, 2007
632007
Encoding modal logics in logical frameworks
A Avron, F Honsell, M Miculan, C Paravano
Studia Logica 60, 161-208, 1998
551998
Reactive systems over directed bigraphs
D Grohmann, M Miculan
CONCUR 2007–Concurrency Theory: 18th International Conference, CONCUR 2007 …, 2007
492007
A natural deduction approach to dynamic logic
F Honsell, M Miculan
International Workshop on Types for Proofs and Programs, 165-182, 1995
451995
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
422014
A framework for typed HOAS and semantics
M Miculan, I Scagnetto
Proceedings of the 5th ACM SIGPLAN international conference on Principles …, 2003
402003
DBtk: A Toolkit for Directed Bigraphs
G Bacci, D Grohmann, M Miculan
Algebra and Coalgebra in Computer Science: Third International Conference …, 2009
382009
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
332015
Developing (Meta) Theory of λ-calculus in the Theory of Contexts
M Miculan
Electronic Notes in Theoretical Computer Science 58 (1), 37-58, 2001
332001
On the formalization of the modal μ-calculus in the calculus of inductive constructions
M Miculan
Information and Computation 164 (1), 199-231, 2001
322001
Encoding logical theories of programs
M Miculan
Università degli Studi di Pisa, 1997
321997
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
312014
Structural operational semantics for non-deterministic processes with quantitative aspects
M Miculan, M Peressotti
Theoretical Computer Science 655, 135-154, 2016
282016
Unifying recursive and co-recursive definitions in sheaf categories
P Di Gianantonio, M Miculan
International Conference on Foundations of Software Science and Computation …, 2004
282004
The system can't perform the operation now. Try again later.
Articles 1–20