Wilmer Ricciotti

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A formalization of SQL with nulls Journal of Automated Reasoning	2022-12-12	Paper
Strongly-Normalizing Higher-Order Relational Queries Logical Methods in Computer Science	2022-10-06	Paper
Query lifting. Language-integrated query for heterogeneous nested collections	2021-10-18	Paper
Strongly normalizing audited computation	2020-05-26	Paper
Matita Tutorial	2019-09-18	Paper
scientific article; zbMATH DE number 7106484 (Why is no real title available?)	2019-09-18	Paper
Explicit auditing	2018-11-23	Paper
Binding structures as an abstract data type Programming Languages and Systems	2016-04-26	Paper
A formalization of multi-tape Turing machines Theoretical Computer Science	2015-10-12	Paper
A canonical locally named representation of binding Journal of Automated Reasoning	2013-08-01	Paper
Rating Disambiguation Errors Certified Programs and Proofs	2013-04-19	Paper
Formal metatheory of programming languages in the Matita interactive theorem prover Journal of Automated Reasoning	2013-04-17	Paper
Formalizing Turing Machines Logic, Language, Information and Computation	2012-09-21	Paper
A Web Interface for Matita Lecture Notes in Computer Science	2012-09-07	Paper
A bi-directional refinement algorithm for the calculus of (co)inductive constructions Logical Methods in Computer Science	2012-04-03	Paper
The Matita interactive theorem prover Lecture Notes in Computer Science	2011-07-29	Paper
A compact kernel for the calculus of inductive constructions Sādhanā	2009-11-23	Paper
Hints in Unification Lecture Notes in Computer Science	2009-10-20	Paper
About the Formalization of Some Results by Chebyshev in Number Theory Lecture Notes in Computer Science	2009-07-02	Paper

Research outcomes over time

This page was built for person: Wilmer Ricciotti