Concepedia

Wilmer Ricciotti

WR

5

Publications

198

Citations

5

H-Index

2009

Active since

Affiliations

University of Bologna(Current)

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

Top concepts

Automated ReasoningEngineeringComputer ScienceFormal MethodsFormal VerificationSyntaxLanguageSemanticsProof ComplexityDiscrete Mathematics

Publications per year

2009–2015

5

Publications

5

A proof of Bertrand's postulate

Andrea Asperti, Wilmer Ricciotti · Edinburgh Research Explorer · 2013 · 93 citations · Full text

Engineering, Computational Number Theory, Automated Reasoning +8

A Canonical Locally Named Representation of Binding

Randy Pollack, Masahiko Sato, Wilmer Ricciotti · Journal of Automated Reasoning · 2011 · 32 citations

Engineering, Representation Theory, Domain Theory +5

A Bi-Directional Refinement Algorithm for the Calculus of (Co)Inductive Constructions

Andrea Asperti, Wilmer Ricciotti, Claudio Sacerdoti Coen et al. · Logical Methods in Computer Science · 2012 · 30 citations · Full text

Engineering, Type Theory, Automated Proof +20

A compact kernel for the calculus of inductive constructions

Andrea Asperti, Wilmer Ricciotti, Claudio Sacerdoti Coen et al. · Sadhana · 2009 · 23 citations

Automated Reasoning, Model Theory, Compact Kernel +2

A formalization of multi-tape Turing machines

Andrea Asperti, Wilmer Ricciotti · Theoretical Computer Science · 2015 · 20 citations · Full text

Abstract Machine, Engineering, Multi-tape Turing Machines +6

Rows per page

1–5 of 5