Wilmer Ricciotti - Concepedia

Author

Wilmer Ricciotti

Also Known As

Ricciotti, Wilmer, Ricciotti, Wilmer <1982>, Ricciotti, Wilmer; University Of Bologna, W. Ricciotti, Wilmer Ricciotti

Publications

423

Citations

H-Index

Concepts

All Affiliations

Wilmer Ricciotti is an author at University of Bologna specializing in automated reasoning, engineering, and computer science.

#	Concept	H-Index	Publications	Citations
1	Engineering	4	4	175
2	Computer Science	4	4	175
3	Language Studies	1	1	30
4	Semantics	1	1	30
5	Syntax	1	1	30

Wilmer Ricciotti

Publications

198

Citations

H-Index

Page 1

	Year	Citations
A proof of Bertrand's postulate Andrea Asperti, Wilmer Ricciotti Edinburgh Research Explorer EngineeringComputational Number TheoryAutomated ReasoningProof ComplexityFunctions Psi	2013	93
A Canonical Locally Named Representation of Binding Randy Pollack, Masahiko Sato, Wilmer Ricciotti Journal of Automated Reasoning EngineeringRepresentation TheoryDomain TheoryAutomated ReasoningFormal Methods	2011	32
A Bi-Directional Refinement Algorithm for the Calculus of (Co)Inductive Constructions Andrea Asperti, Wilmer Ricciotti, Claudio Sacerdoti Coen, Logical Methods in Computer Science EngineeringType TheoryAutomated ProofComputational ComplexitySemantics	2012	30
A compact kernel for the calculus of inductive constructions Andrea Asperti, Wilmer Ricciotti, Claudio Sacerdoti Coen, Sadhana Automated ReasoningModel TheoryCompact KernelInductive InferenceComputability Theory	2009	23
A formalization of multi-tape Turing machines Andrea Asperti, Wilmer Ricciotti Theoretical Computer Science Abstract MachineEngineeringMulti-tape Turing MachinesAutomated ReasoningFormal Methods	2015	20

Page 1