dblp.uni-trier.dewww.uni-trier.de

Marcelo P. Fiore Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

Coauthor Index

1Martín Abadi [7] [22]
2Vincent Balat [25] [29] [32]
3Marta Bunge [18]
4Luca Cardelli [36]
5Gian Luca Cattani [13] [16] [35]
6Roberto Di Cosmo [25] [29] [32]
7Kohei Honda [12]
8Chung-Kil Hur [38] [39] [41] [43]
9Tom Leinster [26]
10Eugenio Moggi [6] [23]
11Gordon D. Plotkin [2] [8] [11] [17]
12John Power (A. John Power) [11]
13Giuseppe Rosolini [10] [20]
14Davide Sangiorgi [6] [23]
15Alex K. Simpson (Alex Simpson) [15]
16Sam Staton [27] [31] [33] [42]
17Daniele Turi [17] [21]
18Glynn Winskel [13] [16] [36]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)