Wilmer Ricciotti
Publication Activity (10 Years)
Years Active: 2008-2023
Publications (10 Years): 19
Publications (10 Years): 19
University of Bologna, Italy (PHD)
Education History
University of Bologna, Italy
PHD
Publications
- Wilmer Ricciotti
- Wilmer Ricciotti, James Cheney
- Wilmer Ricciotti, James Cheney
- James Cheney, Wilmer RicciottiComprehending nulls. CoRR (2021)
- Wilmer Ricciotti, James Cheney
- Wilmer Ricciotti, James Cheney
- James Cheney, Wilmer Ricciotti
- Wilmer Ricciotti, James Cheney
- Wilmer Ricciotti, James Cheney
- Wilmer Ricciotti, James Cheney
- Wilmer Ricciotti, James Cheney
- Wilmer Ricciotti, James Cheney
- Wilmer Ricciotti, James CheneyExplicit Auditing. CoRR (2018)
- Wilmer Ricciotti, James Cheney
- Wilmer Ricciotti, Jan Stolarek, Roly Perera, James Cheney
- Wilmer Ricciotti, James Cheney
- Wilmer Ricciotti
- Wilmer Ricciotti, James Cheney
- Wilmer Ricciotti, Jan Stolarek, Roly Perera, James Cheney
- Wilmer Ricciotti
- Nadezhda Baklanova, Wilmer Ricciotti, Jan-Georg Smaus, Martin Strecker
- Andrea Asperti, Wilmer Ricciotti
- Nadezhda Baklanova, Wilmer Ricciotti, Jan-Georg Smaus, Martin Strecker
- Andrea Asperti, Wilmer Ricciotti, Claudio Sacerdoti Coen
- Andrea Asperti, Wilmer Ricciotti
- Randy Pollack, Masahiko Sato, Wilmer Ricciotti
- Andrea Asperti, Wilmer RicciottiA Web Interface for Matita CoRR (2012)
- Andrea Asperti, Wilmer Ricciotti
- Andrea Asperti, Wilmer Ricciotti
- Andrea Asperti, Wilmer Ricciotti
- Andrea Asperti, Wilmer Ricciotti, Claudio Sacerdoti Coen, Enrico Tassi
- Andrea Asperti, Wilmer Ricciotti, Claudio Sacerdoti Coen, Enrico Tassi
- Andrea Asperti, Wilmer Ricciotti