Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Marino Miculan
2010 – today
- 2012
[j22]Giorgio Bacci, Marino Miculan: Measurable stochastics for Brane Calculus. Theor. Comput. Sci. 431: 117-136 (2012)- [c25]Giorgio Bacci, Marino Miculan: Structural Operational Semantics for Continuous State Probabilistic Processes. CMCS 2012: 71-89
- [c24]Marino Miculan, Marco Paviotti: Synthesis of Distributed Mobile Programs Using Monadic Types in Coq. ITP 2012: 183-200
- [c23]Marino Miculan, Ilaria Sambarino: Implementing the Stochastics Brane Calculus in a Generic Stochastic Abstract Machine. MeCBIC 2012: 82-100
- 2011
- [c22]Carlo Maiero, Marino Miculan: Unobservable Intrusion Detection based on Call Traces in Paravirtualized Systems. SECRYPT 2011: 300-306
- 2010
- [j21]
- [c21]
- [e3]Karl Crary, Marino Miculan (Eds.): Proceedings 5th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice. EPTCS 34, 2010
2000 – 2009
- 2009
- [c20]Giorgio Bacci, Davide Grohmann, Marino Miculan: DBtk: A Toolkit for Directed Bigraphs. CALCO 2009: 413-422
- [c19]Giorgio Bacci, Davide Grohmann, Marino Miculan: Bigraphical models for protein and membrane interactions. MeCBIC 2009: 3-18
- [c18]Giorgio Bacci, Davide Grohmann, Marino Miculan: A framework for protein and membrane interactions. MeCBIC 2009: 19-33
- 2008
- [j20]Davide Grohmann, Marino Miculan: Controlling resource access in Directed Bigraphs. ECEASST 10 (2008)
- [j19]Davide Grohmann, Marino Miculan: Deriving Barbed Bisimulations for Bigraphical Reactive Systems. ECEASST 16 (2008)
- [j18]Giorgio Bacci, Marino Miculan: Undecidability of Model Checking in Brane Logic. Electr. Notes Theor. Comput. Sci. 192(3): 23-37 (2008)
- [j17]Davide Grohmann, Marino Miculan: An Algebra for Directed Bigraphs. Electr. Notes Theor. Comput. Sci. 203(1): 49-63 (2008)
- [j16]Marino Miculan: A Categorical Model of the Fusion Calculus. Electr. Notes Theor. Comput. Sci. 218: 275-293 (2008)
- [c17]Silvia Crafa, Matteo Mio, Marino Miculan, Carla Piazza, Sabina Rossi: PicNIc - Pi-calculus non-interference checker. ACSD 2008: 33-38
- [c16]Temesghen Kahsai, Marino Miculan: Implementing Spi Calculus Using Nominal Techniques. CiE 2008: 294-305
- [e2]Marino Miculan, Ivan Scagnetto, Furio Honsell (Eds.): Types for Proofs and Programs, International Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers. Lecture Notes in Computer Science 4941, Springer 2008, ISBN 978-3-540-68084-0
- 2007
- [j15]Davide Grohmann, Marino Miculan: Directed Bigraphs. Electr. Notes Theor. Comput. Sci. 173: 121-137 (2007)
- [j14]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)
- [c15]
- 2006
- [j13]Anna Bucalo, Furio Honsell, Marino Miculan, Ivan Scagnetto, Martin Hofmann: Consistency of the theory of contexts. J. Funct. Program. 16(3): 327-372 (2006)
- [j12]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)
- [c14]
- 2005
- [c13]
- [c12]Marino Miculan, Ivan Scagnetto, Furio Honsell: Translating specifications from nominal logic to CIC with the theory of contexts. MERLIN 2005: 41-49
- 2004
- [j11]Furio Honsell, Marina Lenisa, Marino Miculan: Preface. Electr. Notes Theor. Comput. Sci. 104: 1-3 (2004)
- [j10]Fabio Gadducci, Marino Miculan, Ugo Montanari: Some Characterization Results for Permutation Algebras. Electr. Notes Theor. Comput. Sci. 104: 129-147 (2004)
- [j9]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)
- [c11]Pietro Di Gianantonio, Marino Miculan: Unifying Recursive and Co-recursive Definitions in Sheaf Categories. FoSSaCS 2004: 136-150
- 2003
- [c10]Alberto Ciaffaglione, Luigi Liquori, Marino Miculan: Reasoning on an imperative object-based calculus in Higher Order Abstract Syntax. MERLIN 2003
- [c9]Alberto Ciaffaglione, Luigi Liquori, Marino Miculan: Imperative Object-Based Calculi in Co-inductive Type Theories. LPAR 2003: 59-77
- [c8]
- 2002
- [j8]Ivan Scagnetto, Marino Miculan: Ambient Calculus and its Logic in the Calculus of Inductive Constructions. Electr. Notes Theor. Comput. Sci. 70(2): 76-95 (2002)
- [c7]Pietro Di Gianantonio, Marino Miculan: A Unifying Approach to Recursive and Co-recursive Definitions. TYPES 2002: 148-161
- 2001
- [j7]Furio Honsell, Marino Miculan, Ivan Scagnetto: The Theory of Contexts for First Order and Higher Order Abstract Syntax. Electr. Notes Theor. Comput. Sci. 62: 116-135 (2001)
- [j6]Roberto Bruni, Furio Honsell, Marina Lenisa, Marino Miculan: Comparing Higher-Order Encodings in Logical Frameworks and Tile Logic. Electr. Notes Theor. Comput. Sci. 62: 136-156 (2001)
- [j5]
- [j4]Marino Miculan: On the Formalization of the Modal µ-Calculus in the Calculus of Inductive Constructions. Inf. Comput. 164(1): 199-231 (2001)
- [j3]Marino Miculan: Developing (Meta)Theory of Lambda-calculus in the Theory of Context. Electr. Notes Theor. Comput. Sci. 58(1): 37-58 (2001)
- [j2]Furio Honsell, Marino Miculan, Ivan Scagnetto: pi-calculus in (Co)inductive-type theory. Theor. Comput. Sci. 253(2): 239-285 (2001)
- [c6]Furio Honsell, Marino Miculan, Ivan Scagnetto: An Axiomatic Approach to Metareasoning on Nominal Algebras in HOAS. ICALP 2001: 963-978
- [e1]Furio Honsell, Marino Miculan (Eds.): 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. Lecture Notes in Computer Science 2030, Springer 2001, ISBN 3-540-41864-4
1990 – 1999
- 1999
- [c5]Marino Miculan: Formalizing a Lazy Substitution Proof System for µ-calculus in the Calculus of Inductive Constructions. ICALP 1999: 554-564
- [c4]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
- [j1]Arnon Avron, Furio Honsell, Marino Miculan, Cristian Paravano: Encoding Modal Logics in Logical Frameworks. Studia Logica 60(1): 161-208 (1998)
- [i1]Marino Miculan: A Natural Deduction style proof system for propositional $\mu$-calculus and its formalization in inductive type theories. CoRR cs.LO/9809120 (1998)
- 1995
- [c3]
- [c2]
- 1993
- [c1]Marino Miculan: The Expressive Power of Structural Operational Semantics with Explicit Assumptions. TYPES 1993: 263-290
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:09 CEST by the dblp team