The SCEAS System
| |||||||

## Search the dblp DataBase
Marcelo P. Fiore:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- Marcelo P. Fiore, Martín Abadi
**Computing Symbolic Models for Verifying Cryptographic Protocols.**[Citation Graph (0, 0)][DBLP] CSFW, 2001, pp:160-173 [Conf] - Marcelo P. Fiore, Gordon D. Plotkin
**An Extension of Models of Axiomatic Domain Theory to Models of Synthetic Domain Theory.**[Citation Graph (0, 0)][DBLP] CSL, 1996, pp:129-149 [Conf] - Marcelo P. Fiore
**Lifting as a KZ-Doctrine.**[Citation Graph (0, 0)][DBLP] Category Theory and Computer Science, 1995, pp:146-158 [Conf] - Marcelo P. Fiore
**Mathematical Models of Computational and Combinatorial Structures.**[Citation Graph (0, 0)][DBLP] FoSSaCS, 2005, pp:25-46 [Conf] - Marcelo P. Fiore
**Fibred Models of Processes: Discrete, Continuous, and Hybrid Systems.**[Citation Graph (0, 0)][DBLP] IFIP TCS, 2000, pp:457-473 [Conf] - Martín Abadi, Marcelo P. Fiore
**Syntactic Considerations on Recursive Types.**[Citation Graph (0, 0)][DBLP] LICS, 1996, pp:242-252 [Conf] - Gian Luca Cattani, Marcelo P. Fiore, Glynn Winskel
**A Theory of Recursive Domains with Applications to Concurrency.**[Citation Graph (0, 0)][DBLP] LICS, 1998, pp:214-225 [Conf] - Marcelo P. Fiore
**A Coinduction Principle for Recursive Data Types Based on Bisimulation**[Citation Graph (0, 0)][DBLP] LICS, 1993, pp:110-119 [Conf] - Marcelo P. Fiore, Roberto Di Cosmo, Vincent Balat
**Remarks on Isomorphisms in Typed Lambda Calculi with Empty and Sum Types.**[Citation Graph (0, 0)][DBLP] LICS, 2002, pp:147-0 [Conf] - Marcelo P. Fiore, Gian Luca Cattani, Glynn Winskel
**Weak Bisimulation and Open Maps.**[Citation Graph (0, 0)][DBLP] LICS, 1999, pp:67-76 [Conf] - Marcelo P. Fiore, Kohei Honda
**Recursive Types in Games: Axiomatics and Process Representation.**[Citation Graph (0, 0)][DBLP] LICS, 1998, pp:345-356 [Conf] - Marcelo P. Fiore, Eugenio Moggi, Davide Sangiorgi
**A Fully-Abstract Model for the pi-Calculus (Extended Abstract).**[Citation Graph (0, 0)][DBLP] LICS, 1996, pp:43-54 [Conf] - Marcelo P. Fiore, Gordon D. Plotkin
**An Axiomatization of Computationally Adequate Domain Theoretic Models of FPC**[Citation Graph (0, 0)][DBLP] LICS, 1994, pp:92-102 [Conf] - Marcelo P. Fiore, Gordon D. Plotkin, A. John Power
**Complete Cuboidal Sets in Axiomatic Domain Theory.**[Citation Graph (0, 0)][DBLP] LICS, 1997, pp:268-279 [Conf] - Marcelo P. Fiore, Gordon D. Plotkin, Daniele Turi
**Abstract Syntax and Variable Binding.**[Citation Graph (0, 0)][DBLP] LICS, 1999, pp:193-202 [Conf] - Marcelo P. Fiore, Sam Staton
**A Congruence Rule Format for Name-Passing Process Calculi from Mathematical Structural Operational Semantics.**[Citation Graph (0, 0)][DBLP] LICS, 2006, pp:49-58 [Conf] - Marcelo P. Fiore, Daniele Turi
**Semantics of Name and Value Passing.**[Citation Graph (0, 0)][DBLP] LICS, 2001, pp:93-104 [Conf] - Vincent Balat, Roberto Di Cosmo, Marcelo P. Fiore
**Extensional normalisation and type-directed partial evaluation for typed lambda calculus with sums.**[Citation Graph (0, 0)][DBLP] POPL, 2004, pp:64-76 [Conf] - Marcelo P. Fiore
**Isomorphisms of generic recursive polynomial types.**[Citation Graph (0, 0)][DBLP] POPL, 2004, pp:77-88 [Conf] - Marcelo P. Fiore
**Semantic analysis of normalisation by evaluation for typed lambda calculus.**[Citation Graph (0, 0)][DBLP] PPDP, 2002, pp:26-37 [Conf] - Marcelo P. Fiore, Alex K. Simpson
**Lambda Definability with Sums via Grothendieck Logical Relations.**[Citation Graph (0, 0)][DBLP] TLCA, 1999, pp:147-161 [Conf] - Marcelo P. Fiore, Roberto Di Cosmo, Vincent Balat
**Remarks on isomorphisms in typed lambda calculi with empty and sum types.**[Citation Graph (0, 0)][DBLP] Ann. Pure Appl. Logic, 2006, v:141, n:1-2, pp:35-50 [Journal] - Marcelo P. Fiore, Giuseppe Rosolini
**The category of cpos from a synthetic viewpoint.**[Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 1997, v:6, n:, pp:- [Journal] - Marcelo P. Fiore, Sam Staton
**Comparing Operational Models of Name-Passing Process Calculi.**[Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2004, v:106, n:, pp:91-104 [Journal] - Luca Cardelli, Marcelo P. Fiore, Glynn Winskel
**Preface.**[Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2007, v:172, n:, pp:1-4 [Journal] - Gian Luca Cattani, Marcelo P. Fiore
**The Bicategory-Theoretic Solution of Recursive Domain Equations.**[Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2007, v:172, n:, pp:203-222 [Journal] - Marcelo P. Fiore
**Preface.**[Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2007, v:173, n:, pp:1-2 [Journal] - Marcelo P. Fiore
**A Coinduction Principle for Recursive Data Types Based on Bisimulation.**[Citation Graph (0, 0)][DBLP] Inf. Comput., 1996, v:127, n:2, pp:186-198 [Journal] - Marcelo P. Fiore, Eugenio Moggi, Davide Sangiorgi
**A Fully Abstract Model for the [pi]-calculus.**[Citation Graph (0, 0)][DBLP] Inf. Comput., 2002, v:179, n:1, pp:76-117 [Journal] - Marcelo P. Fiore, Sam Staton
**Comparing operational models of name-passing process calculi.**[Citation Graph (0, 0)][DBLP] Inf. Comput., 2006, v:204, n:4, pp:524-560 [Journal] - Marcelo P. Fiore, Tom Leinster
**An objective representation of the Gaussian integers.**[Citation Graph (0, 0)][DBLP] J. Symb. Comput., 2004, v:37, n:6, pp:707-716 [Journal] - Marta Bunge, Marcelo P. Fiore
**Unique factorisation lifting functors and categories of linearly-controlled processes.**[Citation Graph (0, 0)][DBLP] Mathematical Structures in Computer Science, 2000, v:10, n:2, pp:137-163 [Journal] - Marcelo P. Fiore
**Order-Enrichment for Categories of Partial Maps.**[Citation Graph (0, 0)][DBLP] Mathematical Structures in Computer Science, 1995, v:5, n:4, pp:533-562 [Journal] - Marcelo P. Fiore
**An Enrichment Theorem for an Axiomatisation of Categories of Domains and Continuous Functions.**[Citation Graph (0, 0)][DBLP] Mathematical Structures in Computer Science, 1997, v:7, n:5, pp:591-618 [Journal] - Marcelo P. Fiore
**Fibred models of processes.**[Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 1999, v:29, n:, pp:- [Journal] - Marcelo P. Fiore, Giuseppe Rosolini
**Domains in H.**[Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2001, v:264, n:2, pp:171-193 [Journal] - Marcelo P. Fiore, Chung-Kil Hur
**Equational Systems and Free Constructions (Extended Abstract).**[Citation Graph (0, 0)][DBLP] ICALP, 2007, pp:607-618 [Conf] - Marcelo P. Fiore
**Differential Structure in Models of Multiplicative Biadditive Intuitionistic Linear Logic.**[Citation Graph (0, 0)][DBLP] TLCA, 2007, pp:163-177 [Conf] **Second-Order Equational Logic (Extended Abstract).**[Citation Graph (, )][DBLP]**Second-Order and Dependently-Sorted Abstract Syntax.**[Citation Graph (, )][DBLP]**Second-Order Algebraic Theories - (Extended Abstract).**[Citation Graph (, )][DBLP]**Mathematical Synthesis of Equational Deduction Systems.**[Citation Graph (, )][DBLP]**Term Equational Systems and Logics: (Extended Abstract).**[Citation Graph (, )][DBLP]
Search in 0.251secs, Finished in 0.253secs | |||||||

| |||||||

| |||||||

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