About the Formalization of Some Results by Chebyshev in Number Theory. - Andrea Asperti; Wilmer Ricciotti (TYPES, 2008)

Hints in Unification. - Andrea Asperti; Wilmer Ricciotti; Claudio Sacerdoti Coen; Enrico Tassi (TPHOLs, 2009)

The Matita Interactive Theorem Prover. - Andrea Asperti; Wilmer Ricciotti; Claudio Sacerdoti Coen; Enrico Tassi (CADE, 2011)

Theoretical and implementation aspects in the mechanization of the metatheory of programming languages. - Wilmer Ricciotti (2011)

A Web Interface for Matita. - Andrea Asperti; Wilmer Ricciotti (AISC/MKM/Calculemus, 2012)

Rating Disambiguation Errors. - Andrea Asperti; Wilmer Ricciotti (CPP, 2012)

Formalizing Turing Machines. - Andrea Asperti; Wilmer Ricciotti (WoLLIC, 2012)

A Bi-Directional Refinement Algorithm for the Calculus of (Co)Inductive Constructions - Andrea Asperti; Wilmer Ricciotti; Claudio Sacerdoti Coen; Enrico Tassi (Log. Methods Comput. Sci., 2012)

Formal Metatheory of Programming Languages in the Matita Interactive Theorem Prover. - Andrea Asperti; Wilmer Ricciotti; Claudio Sacerdoti Coen; Enrico Tassi (J. Autom. Reason., 2012)

A Canonical Locally Named Representation of Binding. - Randy Pollack; Masahiko Sato 001; Wilmer Ricciotti (J. Autom. Reason., 2012)

A proof of Bertrand's postulate. - Andrea Asperti; Wilmer Ricciotti (J. Formaliz. Reason., 2012)

Matita Tutorial. - Andrea Asperti; Wilmer Ricciotti; Claudio Sacerdoti Coen (J. Formaliz. Reason., 2014)

Binding Structures as an Abstract Data Type. - Wilmer Ricciotti (ESOP, 2015)

Abstracting an Operational Semantics to Finite Automata. - Nadezhda Baklanova; Wilmer Ricciotti; Jan-Georg Smaus; Martin Strecker (ICTERI (Revised Selected Papers), 2015)

A formalization of multi-tape Turing machines. - Andrea Asperti; Wilmer Ricciotti (Theor. Comput. Sci., 2015)

Strongly Normalizing Audited Computation. - Wilmer Ricciotti; James Cheney (CSL, 2017)

A core calculus for provenance inspection. - Wilmer Ricciotti (PPDP, 2017)

Imperative functional programs that explain their work. - Wilmer Ricciotti; Jan Stolarek; Roly Perera; James Cheney (Proc. ACM Program. Lang., 2017)

Explicit Auditing. - Wilmer Ricciotti; James Cheney (ICTAC, 2018)

Mixing set and bag semantics. - Wilmer Ricciotti; James Cheney (DBPL, 2019)

Comprehending nulls. - James Cheney; Wilmer Ricciotti (DBPL, 2021)

Query Lifting - Language-integrated query for heterogeneous nested collections. - Wilmer Ricciotti; James Cheney (ESOP, 2021)

A Formalization of SQL with Nulls. - Wilmer Ricciotti; James Cheney (J. Autom. Reason., 2022)

Strongly-Normalizing Higher-Order Relational Queries. - Wilmer Ricciotti; James Cheney (Log. Methods Comput. Sci., 2022)

Comprehending queries over finite maps. - Wilmer Ricciotti (PPDP, 2023)