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
1332001
An axiomatic approach to metareasoning on nominal algebras in HOAS
F Honsell, M Miculan, I Scagnetto
Automata, Languages and Programming, 963-978, 2001
75*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
732006
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
542002
Encoding modal logics in logical frameworks
A Avron, F Honsell, M Miculan, C Paravano
Studia Logica 60 (1), 161-208, 1998
531998
Directed bigraphs
D Grohmann, M Miculan
Electronic Notes in Theoretical Computer Science 173, 121-137, 2007
452007
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
Reactive systems over directed bigraphs
D Grohmann, M Miculan
International Conference on Concurrency Theory, 380-394, 2007
422007
A natural deduction approach to dynamic logic
F Honsell, M Miculan
International Workshop on Types for Proofs and Programs, 165-182, 1995
411995
A framework for typed HOAS and semantics
M Miculan, I Scagnetto
Proceedings of the 5th ACM SIGPLAN international conference on Principlesá…, 2003
362003
Developing (Meta) Theory of λ-calculus in the Theory of Contexts
M Miculan
Electronic Notes in Theoretical Computer Science 58 (1), 37-58, 2001
332001
Encoding logical theories of programs
M Miculan
UniversitÓ, Dipartimento di informatica, 1997
311997
Multi-agent systems design and prototyping with bigraphical reactive systems
A Mansutti, M Miculan, M Peressotti
Ifip international conference on distributed applications and interoperableá…, 2014
302014
A model of countable nondeterminism in guarded type theory
A Bizjak, L Birkedal, M Miculan
Rewriting and Typed Lambda Calculi, 108-123, 2014
272014
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
262015
Unifying recursive and co-recursive definitions in sheaf categories
P Di Gianantonio, M Miculan
International Conference on Foundations of Software Science and Computationá…, 2004
232004
DBtk: A Toolkit for Directed Bigraphs
G Bacci, D Grohmann, M Miculan
International Conference on Algebra and Coalgebra in Computer Science, 413-422, 2009
222009
A unifying model of variables and names
M Miculan, K Yemane
International Conference on Foundations of Software Science and Computationá…, 2005
222005
On the formalization of the modal μ-calculus in the calculus of inductive constructions
M Miculan
Information and Computation 164 (1), 199-231, 2001
222001
The system can't perform the operation now. Try again later.
Articles 1–20