2008 |
38 | | Marino Miculan,
Ivan Scagnetto,
Furio Honsell:
Types for Proofs and Programs, International Conference, TYPES 2007, Cividale des Friuli, Italy, May 2-5, 2007, Revised Selected Papers
Springer 2008 |
37 | EE | Silvia Crafa,
Matteo Mio,
Marino Miculan,
Carla Piazza,
Sabina Rossi:
PicNIc - Pi-calculus non-interference checker.
ACSD 2008: 33-38 |
36 | EE | Temesghen Kahsai,
Marino Miculan:
Implementing Spi Calculus Using Nominal Techniques.
CiE 2008: 294-305 |
35 | EE | Davide Grohmann,
Marino Miculan:
Controlling resource access in Directed Bigraphs.
ECEASST 10: (2008) |
34 | EE | Davide Grohmann,
Marino Miculan:
An Algebra for Directed Bigraphs.
Electr. Notes Theor. Comput. Sci. 203(1): 49-63 (2008) |
33 | EE | Marino Miculan:
A Categorical Model of the Fusion Calculus.
Electr. Notes Theor. Comput. Sci. 218: 275-293 (2008) |
2007 |
32 | EE | Davide Grohmann,
Marino Miculan:
Reactive Systems over Directed Bigraphs.
CONCUR 2007: 380-394 |
31 | EE | Davide Grohmann,
Marino Miculan:
Directed Bigraphs.
Electr. Notes Theor. Comput. Sci. 173: 121-137 (2007) |
30 | EE | Alberto Ciaffaglione,
Luigi Liquori,
Marino Miculan:
Reasoning about Object-based Calculi in (Co)Inductive Type Theory and the Theory of Contexts.
J. Autom. Reasoning 39(1): 1-47 (2007) |
2006 |
29 | EE | Marino Miculan,
Giorgio Bacci:
Modal Logics for Brane Calculus.
CMSB 2006: 1-16 |
28 | EE | Fabio Gadducci,
Marino Miculan,
Ugo Montanari:
About permutation algebras, (pre)sheaves and named sets.
Higher-Order and Symbolic Computation 19(2-3): 283-304 (2006) |
27 | EE | Anna Bucalo,
Furio Honsell,
Marino Miculan,
Ivan Scagnetto,
Martin Hofmann:
Consistency of the theory of contexts.
J. Funct. Program. 16(3): 327-372 (2006) |
2005 |
26 | EE | Marino Miculan,
Kidane Yemane:
A Unifying Model of Variables and Names.
FoSSaCS 2005: 170-186 |
25 | EE | Marino Miculan,
Ivan Scagnetto,
Furio Honsell:
Translating specifications from nominal logic to CIC with the theory of contexts.
MERLIN 2005: 41-49 |
2004 |
24 | EE | Pietro Di Gianantonio,
Marino Miculan:
Unifying Recursive and Co-recursive Definitions in Sheaf Categories.
FoSSaCS 2004: 136-150 |
23 | EE | Furio Honsell,
Marina Lenisa,
Marino Miculan:
Preface.
Electr. Notes Theor. Comput. Sci. 104: 1-3 (2004) |
22 | EE | Fabio Gadducci,
Marino Miculan,
Ugo Montanari:
Some Characterization Results for Permutation Algebras.
Electr. Notes Theor. Comput. Sci. 104: 129-147 (2004) |
21 | EE | Roberto Bruni,
Furio Honsell,
Marina Lenisa,
Marino Miculan:
Modeling Fresh Names in the ?-calculus Using Abstractions.
Electr. Notes Theor. Comput. Sci. 106: 25-41 (2004) |
2003 |
20 | EE | Alberto Ciaffaglione,
Luigi Liquori,
Marino Miculan:
Imperative Object-Based Calculi in Co-inductive Type Theories.
LPAR 2003: 59-77 |
19 | EE | Alberto Ciaffaglione,
Luigi Liquori,
Marino Miculan:
Reasoning on an imperative object-based calculus in Higher Order Abstract Syntax.
MERLIN 2003 |
18 | EE | Marino Miculan,
Ivan Scagnetto:
A framework for typed HOAS and semantics.
PPDP 2003: 184-194 |
2002 |
17 | EE | Pietro Di Gianantonio,
Marino Miculan:
A Unifying Approach to Recursive and Co-recursive Definitions.
TYPES 2002: 148-161 |
16 | EE | Ivan Scagnetto,
Marino Miculan:
Ambient Calculus and its Logic in the Calculus of Inductive Constructions.
Electr. Notes Theor. Comput. Sci. 70(2): (2002) |
2001 |
15 | | Furio Honsell,
Marino Miculan:
Foundations of Software Science and Computation Structures, 4th International Conference, FOSSACS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings
Springer 2001 |
14 | EE | Furio Honsell,
Marino Miculan,
Ivan Scagnetto:
An Axiomatic Approach to Metareasoning on Nominal Algebras in HOAS.
ICALP 2001: 963-978 |
13 | EE | Marino Miculan:
Developing (Meta)Theory of Lambda-calculus in the Theory of Context.
Electr. Notes Theor. Comput. Sci. 58(1): (2001) |
12 | EE | Roberto Bruni,
Furio Honsell,
Marina Lenisa,
Marino Miculan:
Comparing Higher-Order Encodings in Logical Frameworks and Tile Logic.
Electr. Notes Theor. Comput. Sci. 62: (2001) |
11 | EE | Marina Lenisa,
Marino Miculan:
Preface.
Electr. Notes Theor. Comput. Sci. 62: (2001) |
10 | EE | Furio Honsell,
Marino Miculan,
Ivan Scagnetto:
The Theory of Contexts for First Order and Higher Order Abstract Syntax.
Electr. Notes Theor. Comput. Sci. 62: (2001) |
9 | | Marino Miculan:
On the Formalization of the Modal µ-Calculus in the Calculus of Inductive Constructions.
Inf. Comput. 164(1): 199-231 (2001) |
8 | EE | Furio Honsell,
Marino Miculan,
Ivan Scagnetto:
pi-calculus in (Co)inductive-type theory.
Theor. Comput. Sci. 253(2): 239-285 (2001) |
1999 |
7 | EE | Marino Miculan:
Formalizing a Lazy Substitution Proof System for µ-calculus in the Calculus of Inductive Constructions.
ICALP 1999: 554-564 |
6 | | Simona Cerrato,
Fabio A. Asnicar,
Paolo Dall'Aglio,
Amanda de Felice,
Massimo Di Fant,
Marco Mizzaro,
Fabrizio Nesti,
Maria Candusso,
Marino Miculan:
The Journal of High Energy Physics: Scientific Publishing on the Web.
WebNet 1999: 1482-1483 |
1998 |
5 | EE | Marino Miculan:
A Natural Deduction style proof system for propositional $\mu$-calculus and its formalization in inductive type theories
CoRR cs.LO/9809120: (1998) |
4 | | Arnon Avron,
Furio Honsell,
Marino Miculan,
Cristian Paravano:
Encoding Modal Logics in Logical Frameworks.
Studia Logica 60(1): 161-208 (1998) |
1995 |
3 | | Marino Miculan,
Fabio Gadducci:
Modal mu-Types for Processes
LICS 1995: 221-231 |
2 | EE | Furio Honsell,
Marino Miculan:
A Natural Deduction Approach to Dynamic Logic.
TYPES 1995: 165-182 |
1993 |
1 | | Marino Miculan:
The Expressive Power of Structural Operational Semantics with Explicit Assumptions.
TYPES 1993: 263-290 |