Wilmer Ricciotti
Wilmer Ricciotti
University of Edinburgh
Verified email at wilmer-ricciotti.net - Homepage
Title
Cited by
Cited by
Year
The Matita interactive theorem prover
A Asperti, W Ricciotti, CS Coen, E Tassi
International Conference on Automated Deduction, 64-69, 2011
992011
Hints in unification
A Asperti, W Ricciotti, CS Coen, E Tassi
International Conference on Theorem Proving in Higher Order Logics, 84-98, 2009
592009
A compact kernel for the calculus of inductive constructions
A Asperti, W Ricciotti, CS Coen, E Tassi
Sadhana 34 (1), 71-144, 2009
362009
A bi-directional refinement algorithm for the calculus of (co) inductive constructions
E Tassi, CS Coen, W Ricciotti, A Asperti
Logical Methods in Computer Science 8, 2012
342012
A canonical locally named representation of binding
R Pollack, M Sato, W Ricciotti
Journal of Automated Reasoning 49 (2), 185-207, 2012
332012
A formalization of multi-tape Turing machines
A Asperti, W Ricciotti
Theoretical Computer Science 603, 23-42, 2015
252015
Formalizing turing machines
A Asperti, W Ricciotti
International Workshop on Logic, Language, Information, and Computation, 1-25, 2012
242012
Matita tutorial
A Asperti, W Ricciotti, CS Coen
Journal of Formalized Reasoning 7 (2), 91-199, 2014
212014
Imperative functional programs that explain their work
W Ricciotti, J Stolarek, R Perera, J Cheney
Proceedings of the ACM on Programming Languages 1 (ICFP), 1-28, 2017
152017
A new type for tactics
A Asperti, W Ricciotti, CS Coen, E Tassi
PLMMS 9, 229-232, 2009
132009
A web interface for Matita
A Asperti, W Ricciotti
International Conference on Intelligent Computer Mathematics, 417-421, 2012
112012
About the formalization of some results by Chebyshev in number theory
A Asperti, W Ricciotti
International Workshop on Types for Proofs and Programs, 19-31, 2008
112008
Strongly normalizing audited computation
W Ricciotti, J Cheney
arXiv preprint arXiv:1706.03711, 2017
82017
A proof of Bertrand's postulate
A Asperti, W Ricciotti
Journal of Formalized Reasoning 5 (1), 37-57, 2012
62012
A core calculus for provenance inspection
W Ricciotti
Proceedings of the 19th International Symposium on Principles and Practice …, 2017
52017
Formal metatheory of programming languages in the Matita interactive theorem prover
A Asperti, W Ricciotti, CS Coen, E Tassi
Journal of Automated Reasoning 49 (3), 427-451, 2012
52012
Strongly-Normalizing Higher-Order Relational Queries
W Ricciotti, J Cheney
arXiv preprint arXiv:2011.13451, 2020
42020
Theoretical and implementation aspects in the mechanization of the metatheory of programming languages
W Ricciotti
alma, 2011
42011
Mixing set and bag semantics
W Ricciotti, J Cheney
Proceedings of the 17th ACM SIGPLAN International Symposium on Database …, 2019
32019
Explicit auditing
W Ricciotti, J Cheney
International Colloquium on Theoretical Aspects of Computing, 376-395, 2018
32018
The system can't perform the operation now. Try again later.
Articles 1–20