The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Marino Miculan: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Marino Miculan, Giorgio Bacci
    Modal Logics for Brane Calculus. [Citation Graph (0, 0)][DBLP]
    CMSB, 2006, pp:1-16 [Conf]
  2. 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]
  3. Marino Miculan, Kidane Yemane
    A Unifying Model of Variables and Names. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2005, pp:170-186 [Conf]
  4. 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]
  5. 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]
  6. 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]
  7. Marino Miculan, Fabio Gadducci
    Modal mu-Types for Processes [Citation Graph (0, 0)][DBLP]
    LICS, 1995, pp:221-231 [Conf]
  8. 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]
  9. Marino Miculan, Ivan Scagnetto
    A framework for typed HOAS and semantics. [Citation Graph (0, 0)][DBLP]
    PPDP, 2003, pp:184-194 [Conf]
  10. 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]
  11. Furio Honsell, Marino Miculan
    A Natural Deduction Approach to Dynamic Logic. [Citation Graph (0, 0)][DBLP]
    TYPES, 1995, pp:183-200 [Conf]
  12. Marino Miculan
    The Expressive Power of Structural Operational Semantics with Explicit Assumptions. [Citation Graph (0, 0)][DBLP]
    TYPES, 1993, pp:263-290 [Conf]
  13. 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]
  14. 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]
  15. 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]
  16. 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]
  17. 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]
  18. 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]
  19. 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]
  20. Marina Lenisa, Marino Miculan
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:62, n:, pp:- [Journal]
  21. 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]
  22. Davide Grohmann, Marino Miculan
    Directed Bigraphs. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:173, n:, pp:121-137 [Journal]
  23. 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]
  24. 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]
  25. 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]
  26. 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]
  27. 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]
  28. 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]
  29. Davide Grohmann, Marino Miculan
    Reactive Systems over Directed Bigraphs. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2007, pp:380-394 [Conf]
  30. 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]

  31. PicNIc - Pi-calculus non-interference checker. [Citation Graph (, )][DBLP]


  32. DBtk: A Toolkit for Directed Bigraphs. [Citation Graph (, )][DBLP]


  33. Implementing Spi Calculus Using Nominal Techniques. [Citation Graph (, )][DBLP]


  34. Translating specifications from nominal logic to CIC with the theory of contexts. [Citation Graph (, )][DBLP]


  35. Bigraphical models for protein and membrane interactions [Citation Graph (, )][DBLP]


  36. A framework for protein and membrane interactions [Citation Graph (, )][DBLP]


  37. An Algebra for Directed Bigraphs. [Citation Graph (, )][DBLP]


  38. A Categorical Model of the Fusion Calculus. [Citation Graph (, )][DBLP]


  39. Undecidability of Model Checking in Brane Logic. [Citation Graph (, )][DBLP]


Search in 0.007secs, Finished in 0.008secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002