Concepedia

Marcelo Fiore

MF

44

Publications

1.9K

Citations

24

H-Index

1996

Active since

Affiliations

University of Cambridge(Current)

University of Edinburgh

Institut national de recherche en sciences et technologies du numérique

Université Paris Cité

University of Sussex

Marcelo Fiore is an author at University of Cambridge specializing in automated reasoning, formal methods, and engineering.

Top concepts

Automated ReasoningEngineeringFormal MethodsComputer ScienceFormal VerificationSemanticsSyntaxLanguageLinguisticsGrammar

Publications per year

1996–2022

44

Publications

44

Abstract syntax and variable binding

Marcelo Fiore, Gordon Plotkin, Daniele Turi · 2003 · 352 citations

Syntax, Engineering, Operational Semantics +14

The cartesian closed bicategory of generalised species of structures

Marcelo Fiore, Nicola Gambino, Martin Hyland et al. · Journal of the London Mathematical Society · 2007 · 99 citations

Generalised Species, Mathematical Structure, Higher Category Theory +6

Semantic analysis of normalisation by evaluation for typed lambda calculus

Marcelo Fiore · 2002 · 88 citations · Full text

Paper Studies Normalisation, Engineering, Type Theory +16

Computing symbolic models for verifying cryptographic protocols

Marcelo Fiore, M. Abadi · 2001 · 86 citations

Cryptographic Primitive, Engineering, Information Security +19

Extensional normalisation and type-directed partial evaluation for typed lambda calculus with sums

Vincent Balat, Roberto Di Cosmo, Marcelo Fiore · 2004 · 78 citations

Normal Forms, Extensional Normalisation, Algebraic Logic +13

Rows per page

1–5 of 44