dblp.uni-trier.dewww.uni-trier.de

Marino Miculan Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
41EEGiorgio Bacci, Davide Grohmann, Marino Miculan: DBtk: A Toolkit for Directed Bigraphs. CALCO 2009: 413-422
2008
40 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
39EESilvia Crafa, Matteo Mio, Marino Miculan, Carla Piazza, Sabina Rossi: PicNIc - Pi-calculus non-interference checker. ACSD 2008: 33-38
38EETemesghen Kahsai, Marino Miculan: Implementing Spi Calculus Using Nominal Techniques. CiE 2008: 294-305
37EEDavide Grohmann, Marino Miculan: Controlling resource access in Directed Bigraphs. ECEASST 10: (2008)
36EEDavide Grohmann, Marino Miculan: Deriving Barbed Bisimulations for Bigraphical Reactive Systems. ECEASST 16: (2008)
35EEGiorgio Bacci, Marino Miculan: Undecidability of Model Checking in Brane Logic. Electr. Notes Theor. Comput. Sci. 192(3): 23-37 (2008)
34EEDavide Grohmann, Marino Miculan: An Algebra for Directed Bigraphs. Electr. Notes Theor. Comput. Sci. 203(1): 49-63 (2008)
33EEMarino Miculan: A Categorical Model of the Fusion Calculus. Electr. Notes Theor. Comput. Sci. 218: 275-293 (2008)
2007
32EEDavide Grohmann, Marino Miculan: Reactive Systems over Directed Bigraphs. CONCUR 2007: 380-394
31EEDavide Grohmann, Marino Miculan: Directed Bigraphs. Electr. Notes Theor. Comput. Sci. 173: 121-137 (2007)
30EEAlberto 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
29EEMarino Miculan, Giorgio Bacci: Modal Logics for Brane Calculus. CMSB 2006: 1-16
28EEFabio Gadducci, Marino Miculan, Ugo Montanari: About permutation algebras, (pre)sheaves and named sets. Higher-Order and Symbolic Computation 19(2-3): 283-304 (2006)
27EEAnna Bucalo, Furio Honsell, Marino Miculan, Ivan Scagnetto, Martin Hofmann: Consistency of the theory of contexts. J. Funct. Program. 16(3): 327-372 (2006)
2005
26EEMarino Miculan, Kidane Yemane: A Unifying Model of Variables and Names. FoSSaCS 2005: 170-186
25EEMarino Miculan, Ivan Scagnetto, Furio Honsell: Translating specifications from nominal logic to CIC with the theory of contexts. MERLIN 2005: 41-49
2004
24EEPietro Di Gianantonio, Marino Miculan: Unifying Recursive and Co-recursive Definitions in Sheaf Categories. FoSSaCS 2004: 136-150
23EEFurio Honsell, Marina Lenisa, Marino Miculan: Preface. Electr. Notes Theor. Comput. Sci. 104: 1-3 (2004)
22EEFabio Gadducci, Marino Miculan, Ugo Montanari: Some Characterization Results for Permutation Algebras. Electr. Notes Theor. Comput. Sci. 104: 129-147 (2004)
21EERoberto 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
20EEAlberto Ciaffaglione, Luigi Liquori, Marino Miculan: Imperative Object-Based Calculi in Co-inductive Type Theories. LPAR 2003: 59-77
19EEAlberto Ciaffaglione, Luigi Liquori, Marino Miculan: Reasoning on an imperative object-based calculus in Higher Order Abstract Syntax. MERLIN 2003
18EEMarino Miculan, Ivan Scagnetto: A framework for typed HOAS and semantics. PPDP 2003: 184-194
2002
17EEPietro Di Gianantonio, Marino Miculan: A Unifying Approach to Recursive and Co-recursive Definitions. TYPES 2002: 148-161
16EEIvan 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
14EEFurio Honsell, Marino Miculan, Ivan Scagnetto: An Axiomatic Approach to Metareasoning on Nominal Algebras in HOAS. ICALP 2001: 963-978
13EEMarino Miculan: Developing (Meta)Theory of Lambda-calculus in the Theory of Context. Electr. Notes Theor. Comput. Sci. 58(1): (2001)
12EERoberto Bruni, Furio Honsell, Marina Lenisa, Marino Miculan: Comparing Higher-Order Encodings in Logical Frameworks and Tile Logic. Electr. Notes Theor. Comput. Sci. 62: (2001)
11EEMarina Lenisa, Marino Miculan: Preface. Electr. Notes Theor. Comput. Sci. 62: (2001)
10EEFurio 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)
8EEFurio Honsell, Marino Miculan, Ivan Scagnetto: pi-calculus in (Co)inductive-type theory. Theor. Comput. Sci. 253(2): 239-285 (2001)
1999
7EEMarino 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
5EEMarino 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
2EEFurio 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

Coauthor Index

1Fabio A. Asnicar [6]
2Arnon Avron [4]
3Giorgio Bacci [29] [35] [41]
4Roberto Bruni [12] [21]
5Anna Bucalo [27]
6Maria Candusso [6]
7Simona Cerrato [6]
8Alberto Ciaffaglione [19] [20] [30]
9Silvia Crafa [39]
10Paolo Dall'Aglio [6]
11Massimo Di Fant [6]
12Amanda de Felice [6]
13Fabio Gadducci [3] [22] [28]
14Pietro Di Gianantonio [17] [24]
15Davide Grohmann [31] [32] [34] [36] [37] [41]
16Martin Hofmann [27]
17Furio Honsell [2] [4] [8] [10] [12] [14] [15] [21] [23] [25] [27] [40]
18Temesghen Kahsai [38]
19Marina Lenisa [11] [12] [21] [23]
20Luigi Liquori [19] [20] [30]
21Matteo Mio [39]
22Marco Mizzaro [6]
23Ugo Montanari [22] [28]
24Fabrizio Nesti [6]
25Cristian Paravano [4]
26Carla Piazza [39]
27Sabina Rossi [39]
28Ivan Scagnetto [8] [10] [14] [16] [18] [25] [27] [40]
29Kidane Yemane [26]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)