The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Marcelo P. Fiore: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Marcelo P. Fiore, Martín Abadi
    Computing Symbolic Models for Verifying Cryptographic Protocols. [Citation Graph (0, 0)][DBLP]
    CSFW, 2001, pp:160-173 [Conf]
  2. 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]
  3. Marcelo P. Fiore
    Lifting as a KZ-Doctrine. [Citation Graph (0, 0)][DBLP]
    Category Theory and Computer Science, 1995, pp:146-158 [Conf]
  4. Marcelo P. Fiore
    Mathematical Models of Computational and Combinatorial Structures. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2005, pp:25-46 [Conf]
  5. Marcelo P. Fiore
    Fibred Models of Processes: Discrete, Continuous, and Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    IFIP TCS, 2000, pp:457-473 [Conf]
  6. Martín Abadi, Marcelo P. Fiore
    Syntactic Considerations on Recursive Types. [Citation Graph (0, 0)][DBLP]
    LICS, 1996, pp:242-252 [Conf]
  7. 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]
  8. Marcelo P. Fiore
    A Coinduction Principle for Recursive Data Types Based on Bisimulation [Citation Graph (0, 0)][DBLP]
    LICS, 1993, pp:110-119 [Conf]
  9. 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]
  10. Marcelo P. Fiore, Gian Luca Cattani, Glynn Winskel
    Weak Bisimulation and Open Maps. [Citation Graph (0, 0)][DBLP]
    LICS, 1999, pp:67-76 [Conf]
  11. Marcelo P. Fiore, Kohei Honda
    Recursive Types in Games: Axiomatics and Process Representation. [Citation Graph (0, 0)][DBLP]
    LICS, 1998, pp:345-356 [Conf]
  12. 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]
  13. 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]
  14. 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]
  15. Marcelo P. Fiore, Gordon D. Plotkin, Daniele Turi
    Abstract Syntax and Variable Binding. [Citation Graph (0, 0)][DBLP]
    LICS, 1999, pp:193-202 [Conf]
  16. 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]
  17. Marcelo P. Fiore, Daniele Turi
    Semantics of Name and Value Passing. [Citation Graph (0, 0)][DBLP]
    LICS, 2001, pp:93-104 [Conf]
  18. 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]
  19. Marcelo P. Fiore
    Isomorphisms of generic recursive polynomial types. [Citation Graph (0, 0)][DBLP]
    POPL, 2004, pp:77-88 [Conf]
  20. Marcelo P. Fiore
    Semantic analysis of normalisation by evaluation for typed lambda calculus. [Citation Graph (0, 0)][DBLP]
    PPDP, 2002, pp:26-37 [Conf]
  21. 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]
  22. 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]
  23. 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]
  24. 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]
  25. 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]
  26. 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]
  27. Marcelo P. Fiore
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:173, n:, pp:1-2 [Journal]
  28. 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]
  29. 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]
  30. 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]
  31. 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]
  32. 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]
  33. 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]
  34. 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]
  35. Marcelo P. Fiore
    Fibred models of processes. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:29, n:, pp:- [Journal]
  36. 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]
  37. Marcelo P. Fiore, Chung-Kil Hur
    Equational Systems and Free Constructions (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    ICALP, 2007, pp:607-618 [Conf]
  38. Marcelo P. Fiore
    Differential Structure in Models of Multiplicative Biadditive Intuitionistic Linear Logic. [Citation Graph (0, 0)][DBLP]
    TLCA, 2007, pp:163-177 [Conf]

  39. Second-Order Equational Logic (Extended Abstract). [Citation Graph (, )][DBLP]


  40. Second-Order and Dependently-Sorted Abstract Syntax. [Citation Graph (, )][DBLP]


  41. Second-Order Algebraic Theories - (Extended Abstract). [Citation Graph (, )][DBLP]


  42. Mathematical Synthesis of Equational Deduction Systems. [Citation Graph (, )][DBLP]


  43. Term Equational Systems and Logics: (Extended Abstract). [Citation Graph (, )][DBLP]


Search in 0.115secs, Finished in 0.117secs
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