The SCEAS System
| |||||||

## Search the dblp DataBase
Marino Miculan:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- Marino Miculan, Giorgio Bacci
**Modal Logics for Brane Calculus.**[Citation Graph (0, 0)][DBLP] CMSB, 2006, pp:1-16 [Conf] - Pietro Di Gianantonio, Marino Miculan
**Unifying Recursive and Co-recursive Definitions in Sheaf Categories.**[Citation Graph (0, 0)][DBLP] FoSSaCS, 2004, pp:136-150 [Conf] - Marino Miculan, Kidane Yemane
**A Unifying Model of Variables and Names.**[Citation Graph (0, 0)][DBLP] FoSSaCS, 2005, pp:170-186 [Conf] - Furio Honsell, Marino Miculan, Ivan Scagnetto
**An Axiomatic Approach to Metareasoning on Nominal Algebras in HOAS.**[Citation Graph (0, 0)][DBLP] ICALP, 2001, pp:963-978 [Conf] - Marino Miculan
**Formalizing a Lazy Substitution Proof System for µ-calculus in the Calculus of Inductive Constructions.**[Citation Graph (0, 0)][DBLP] ICALP, 1999, pp:554-564 [Conf] - Alberto Ciaffaglione, Luigi Liquori, Marino Miculan
**Reasoning on an imperative object-based calculus in Higher Order Abstract Syntax.**[Citation Graph (0, 0)][DBLP] MERLIN, 2003, pp:- [Conf] - Marino Miculan, Fabio Gadducci
**Modal mu-Types for Processes**[Citation Graph (0, 0)][DBLP] LICS, 1995, pp:221-231 [Conf] - Alberto Ciaffaglione, Luigi Liquori, Marino Miculan
**Imperative Object-Based Calculi in Co-inductive Type Theories.**[Citation Graph (0, 0)][DBLP] LPAR, 2003, pp:59-77 [Conf] - Marino Miculan, Ivan Scagnetto
**A framework for typed HOAS and semantics.**[Citation Graph (0, 0)][DBLP] PPDP, 2003, pp:184-194 [Conf] - Pietro Di Gianantonio, Marino Miculan
**A Unifying Approach to Recursive and Co-recursive Definitions.**[Citation Graph (0, 0)][DBLP] TYPES, 2002, pp:148-161 [Conf] - Furio Honsell, Marino Miculan
**A Natural Deduction Approach to Dynamic Logic.**[Citation Graph (0, 0)][DBLP] TYPES, 1995, pp:183-200 [Conf] - Marino Miculan
**The Expressive Power of Structural Operational Semantics with Explicit Assumptions.**[Citation Graph (0, 0)][DBLP] TYPES, 1993, pp:263-290 [Conf] - 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.**[Citation Graph (0, 0)][DBLP] WebNet, 1999, pp:1482-1483 [Conf] - Marino Miculan
**A Natural Deduction style proof system for propositional $\mu$-calculus and its formalization in inductive type theories**[Citation Graph (0, 0)][DBLP] CoRR, 1998, v:0, n:, pp:- [Journal] - Roberto Bruni, Furio Honsell, Marina Lenisa, Marino Miculan
**Comparing Higher-Order Encodings in Logical Frameworks and Tile Logic.**[Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2001, v:62, n:, pp:- [Journal] - Roberto Bruni, Furio Honsell, Marina Lenisa, Marino Miculan
**Modeling Fresh Names in the ?-calculus Using Abstractions.**[Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2004, v:106, n:, pp:25-41 [Journal] - Fabio Gadducci, Marino Miculan, Ugo Montanari
**Some Characterization Results for Permutation Algebras.**[Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2004, v:104, n:, pp:129-147 [Journal] - Furio Honsell, Marina Lenisa, Marino Miculan
**Preface.**[Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2004, v:104, n:, pp:1-3 [Journal] - Furio Honsell, Marino Miculan, Ivan Scagnetto
**The Theory of Contexts for First Order and Higher Order Abstract Syntax.**[Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2001, v:62, n:, pp:- [Journal] - Marina Lenisa, Marino Miculan
**Preface.**[Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2001, v:62, n:, pp:- [Journal] - Ivan Scagnetto, Marino Miculan
**Ambient Calculus and its Logic in the Calculus of Inductive Constructions.**[Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2002, v:70, n:2, pp:- [Journal] - Davide Grohmann, Marino Miculan
**Directed Bigraphs.**[Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2007, v:173, n:, pp:121-137 [Journal] - Marino Miculan
**On the Formalization of the Modal µ-Calculus in the Calculus of Inductive Constructions.**[Citation Graph (0, 0)][DBLP] Inf. Comput., 2001, v:164, n:1, pp:199-231 [Journal] - Anna Bucalo, Furio Honsell, Marino Miculan, Ivan Scagnetto, Martin Hoffman
**Consistency of the theory of contexts.**[Citation Graph (0, 0)][DBLP] J. Funct. Program., 2006, v:16, n:3, pp:327-372 [Journal] - Fabio Gadducci, Marino Miculan, Ugo Montanari
**About permutation algebras, (pre)sheaves and named sets.**[Citation Graph (0, 0)][DBLP] Higher-Order and Symbolic Computation, 2006, v:19, n:2-3, pp:283-304 [Journal] - Arnon Avron, Furio Honsell, Marino Miculan, Cristian Paravano
**Encoding Modal Logics in Logical Frameworks.**[Citation Graph (0, 0)][DBLP] Studia Logica, 1998, v:60, n:1, pp:161-208 [Journal] - Furio Honsell, Marino Miculan, Ivan Scagnetto
**pi-calculus in (Co)inductive-type theory.**[Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2001, v:253, n:2, pp:239-285 [Journal] - Marino Miculan
**Developing (Meta)Theory of Lambda-calculus in the Theory of Context.**[Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2001, v:58, n:1, pp:- [Journal] - Davide Grohmann, Marino Miculan
**Reactive Systems over Directed Bigraphs.**[Citation Graph (0, 0)][DBLP] CONCUR, 2007, pp:380-394 [Conf] - Alberto Ciaffaglione, Luigi Liquori, Marino Miculan
**Reasoning about Object-based Calculi in (Co)Inductive Type Theory and the Theory of Contexts.**[Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 2007, v:39, n:1, pp:1-47 [Journal] **PicNIc - Pi-calculus non-interference checker.**[Citation Graph (, )][DBLP]**DBtk: A Toolkit for Directed Bigraphs.**[Citation Graph (, )][DBLP]**Implementing Spi Calculus Using Nominal Techniques.**[Citation Graph (, )][DBLP]**Translating specifications from nominal logic to CIC with the theory of contexts.**[Citation Graph (, )][DBLP]**Bigraphical models for protein and membrane interactions**[Citation Graph (, )][DBLP]**A framework for protein and membrane interactions**[Citation Graph (, )][DBLP]**An Algebra for Directed Bigraphs.**[Citation Graph (, )][DBLP]**A Categorical Model of the Fusion Calculus.**[Citation Graph (, )][DBLP]**Undecidability of Model Checking in Brane Logic.**[Citation Graph (, )][DBLP]
Search in 0.007secs, Finished in 0.008secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |