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.003secs, Finished in 0.329secs