Wilmer Ricciotti

ORCID

Publication Activity (10 Years)

Years Active: 2008-2023
Publications (10 Years): 19

Top Venues

University of Bologna, Italy (PHD)

Education History

University of Bologna, Italy

PHD

Publications

Wilmer Ricciotti
Comprehending queries over finite maps. PPDP (2023)
Wilmer Ricciotti, James Cheney
A Formalization of SQL with Nulls. J. Autom. Reason. 66 (4) (2022)
Wilmer Ricciotti, James Cheney
Strongly-Normalizing Higher-Order Relational Queries. Log. Methods Comput. Sci. 18 (3) (2022)
James Cheney, Wilmer Ricciotti
Comprehending nulls. CoRR (2021)
Wilmer Ricciotti, James Cheney
Query Lifting - Language-integrated query for heterogeneous nested collections. ESOP (2021)
Wilmer Ricciotti, James Cheney
Query Lifting: Language-integrated query for heterogeneous nested collections. CoRR (2021)
James Cheney, Wilmer Ricciotti
Comprehending nulls. DBPL (2021)
Wilmer Ricciotti, James Cheney
A Formalization of SQL with Nulls. CoRR (2020)
Wilmer Ricciotti, James Cheney
Strongly-Normalizing Higher-Order Relational Queries. CoRR (2020)
Wilmer Ricciotti, James Cheney
Strongly Normalizing Higher-Order Relational Queries. FSCD (2020)
Wilmer Ricciotti, James Cheney
Mixing set and bag semantics. CoRR (2019)
Wilmer Ricciotti, James Cheney
Mixing set and bag semantics. DBPL (2019)
Wilmer Ricciotti, James Cheney
Explicit Auditing. CoRR (2018)
Wilmer Ricciotti, James Cheney
Explicit Auditing. ICTAC (2018)
Wilmer Ricciotti, Jan Stolarek, Roly Perera, James Cheney
Imperative Functional Programs that Explain their Work. CoRR (2017)
Wilmer Ricciotti, James Cheney
Strongly Normalizing Audited Computation. CSL (2017)
Wilmer Ricciotti
A core calculus for provenance inspection. PPDP (2017)
Wilmer Ricciotti, James Cheney
Strongly Normalizing Audited Computation. CoRR (2017)
Wilmer Ricciotti, Jan Stolarek, Roly Perera, James Cheney
Imperative functional programs that explain their work. Proc. ACM Program. Lang. 1 (ICFP) (2017)
Nadezhda Baklanova, Wilmer Ricciotti, Jan-Georg Smaus, Martin Strecker
Abstracting an Operational Semantics to Finite Automata. ICTERI (Revised Selected Papers) (2015)
Wilmer Ricciotti
Binding Structures as an Abstract Data Type. ESOP (2015)
Nadezhda Baklanova, Wilmer Ricciotti, Jan-Georg Smaus, Martin Strecker
Abstracting an Operational Semantics to Finite Automata. ICTERI (2015)
Andrea Asperti, Wilmer Ricciotti
A formalization of multi-tape Turing machines. Theor. Comput. Sci. 603 (2015)
Nadezhda Baklanova, Wilmer Ricciotti, Jan-Georg Smaus, Martin Strecker
Abstracting an operational semantics to finite automata. CoRR (2014)
Andrea Asperti, Wilmer Ricciotti, Claudio Sacerdoti Coen
Matita Tutorial. J. Formaliz. Reason. 7 (2) (2014)
Andrea Asperti, Wilmer Ricciotti
A proof of Bertrand's postulate. J. Formaliz. Reason. 5 (1) (2012)
Randy Pollack, Masahiko Sato, Wilmer Ricciotti
A Canonical Locally Named Representation of Binding. J. Autom. Reason. 49 (2) (2012)
Andrea Asperti, Wilmer Ricciotti
A Web Interface for Matita CoRR (2012)
Andrea Asperti, Wilmer Ricciotti, Claudio Sacerdoti Coen, Enrico Tassi
Formal Metatheory of Programming Languages in the Matita Interactive Theorem Prover. J. Autom. Reason. 49 (3) (2012)
Andrea Asperti, Wilmer Ricciotti
Rating Disambiguation Errors. CPP (2012)
Andrea Asperti, Wilmer Ricciotti
A Web Interface for Matita. AISC/MKM/Calculemus (2012)
Andrea Asperti, Wilmer Ricciotti, Claudio Sacerdoti Coen, Enrico Tassi
A Bi-Directional Refinement Algorithm for the Calculus of (Co)Inductive Constructions Log. Methods Comput. Sci. 8 (1) (2012)
Andrea Asperti, Wilmer Ricciotti
Formalizing Turing Machines. WoLLIC (2012)
Andrea Asperti, Wilmer Ricciotti, Claudio Sacerdoti Coen, Enrico Tassi
The Matita Interactive Theorem Prover. CADE (2011)
Andrea Asperti, Wilmer Ricciotti, Claudio Sacerdoti Coen, Enrico Tassi
Hints in Unification. TPHOLs (2009)
Andrea Asperti, Wilmer Ricciotti
About the Formalization of Some Results by Chebyshev in Number Theory. TYPES (2008)

Wilmer Ricciotti.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Wilmer Ricciotti