Követés
Marino Miculan
Cím
Hivatkozott rá
Hivatkozott rá
Év
π-calculus in (co) inductive-type theory
F Honsell, M Miculan, I Scagnetto
Theoretical computer science 253 (2), 239-285, 2001
1402001
About permutation algebras,(pre) sheaves and named sets
F Gadducci, M Miculan, U Montanari
Higher-Order and Symbolic Computation 19 (2), 283-304, 2006
772006
An axiomatic approach to metareasoning on nominal algebras in HOAS
F Honsell, M Miculan, I Scagnetto
Automata, Languages and Programming, 963-978, 2001
77*2001
Formal analysis of Facebook Connect single sign-on authentication protocol
M Miculan, C Urban
SOFSEM 11, 22–28, 2011
692011
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
642002
Directed bigraphs
D Grohmann, M Miculan
Electronic Notes in Theoretical Computer Science 173, 121-137, 2007
582007
Encoding modal logics in logical frameworks
A Avron, F Honsell, M Miculan, C Paravano
Studia Logica 60, 161-208, 1998
541998
Reactive systems over directed bigraphs
D Grohmann, M Miculan
CONCUR 2007–Concurrency Theory: 18th International Conference, CONCUR 2007 …, 2007
472007
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
431995
A framework for typed HOAS and semantics
M Miculan, I Scagnetto
Proceedings of the 5th ACM SIGPLAN international conference on Principles …, 2003
402003
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
372014
DBtk: A Toolkit for Directed Bigraphs
G Bacci, D Grohmann, M Miculan
Algebra and Coalgebra in Computer Science: Third International Conference …, 2009
352009
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
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
On the formalization of the modal μ-calculus in the calculus of inductive constructions
M Miculan
Information and Computation 164 (1), 199-231, 2001
312001
Structural operational semantics for non-deterministic processes with quantitative aspects
M Miculan, M Peressotti
Theoretical Computer Science 655, 135-154, 2016
272016
Unifying recursive and co-recursive definitions in sheaf categories
P Di Gianantonio, M Miculan
International Conference on Foundations of Software Science and Computation …, 2004
262004
A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.
Cikkek 1–20