Marcelo Fiore - Concepedia

Author

Marcelo Fiore

Also Known As

Fiore, M., Fiore, Marcelo, Fiore, Marcelo P, Fiore, Marcelo P., Harington, Eliès, M. Fiore, M.P. Fiore, MARCELO P. FIORE, Marcelo Fiore, Marcelo P Fiore

142

Publications

2.4K

Citations

H-Index

Concepts

All Affiliations

University of Cambridge University of Edinburgh Institut national de recherche en sciences et technologies du numérique Université Paris Cité University of Sussex

About

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

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	17	26	1.3K
2	Computer Science	15	18	709
3	Language Studies	5	5	545
4	Arts	1	1	11
5	Computer Engineering	1	1	17

Marcelo Fiore

Publications

1.9K

Citations

H-Index

Page 1

	Year	Citations
Abstract syntax and variable binding Marcelo Fiore, Gordon Plotkin, Daniele Turi SyntaxEngineeringOperational SemanticsAutomated ReasoningAbstract Syntax	2003	352
The cartesian closed bicategory of generalised species of structures Marcelo Fiore, Nicola Gambino, Martin Hyland, Journal of the London Mathematical Society Generalised SpeciesMathematical StructureHigher Category TheoryEvolutionary BiologyGeneralised Analytic Functors	2007	99
Semantic analysis of normalisation by evaluation for typed lambda calculus Marcelo Fiore Paper Studies NormalisationEngineeringType TheoryHigher-order LogicSemantics	2002	88
Computing symbolic models for verifying cryptographic protocols Marcelo Fiore, M. Abadi Cryptographic PrimitiveEngineeringInformation SecurityFinite ProcessVerification	2001	86
Extensional normalisation and type-directed partial evaluation for typed lambda calculus with sums Vincent Balat, Roberto Di Cosmo, Marcelo Fiore Normal FormsExtensional NormalisationAlgebraic LogicEngineeringGeneric Programming	2004	78
An axiomatisation of computationally adequate domain theoretic models of FPC Marcelo Fiore, Gordon Plotkin EngineeringType TheoryComputational Model TheoryComputational ComplexityComplex Systems	2002	76
A Fully Abstract Model for the π-calculus Marcelo Fiore, Eugenio Moggi, Davide Sangiorgi Information and Computation Automated ReasoningFully Abstract ModelFoundational CalculusModel TheoryProcess Calculus	2002	76
Second-Order and Dependently-Sorted Abstract Syntax Marcelo Fiore Proceedings - Symposium on Logic in Computer Science Categorical AlgebraSyntaxEngineeringAutomated ReasoningGrammatical Formalism	2008	57
Syntactic considerations on recursive types M. Abadi, Marcelo Fiore SyntaxEngineeringAutomated ReasoningProgram AnalysisSimple Logic	2002	56
A Coinduction Principle for Recursive Data Types Based on Bisimulation Marcelo Fiore Information and Computation EngineeringAutomated ReasoningCoinduction PrincipleType TheoryFormal Methods	1996	53

Page 1