Wilmer Ricciotti

Identifiers

• name variant Wilmer Ricciotti 0.60 · backfill

Papers (6)

1. Mixing set and bag semantics cs.DB · 2019 · author #1
2. Explicit Auditing cs.LO · 2018 · author #1
3. Strongly Normalizing Audited Computation cs.LO · 2017 · author #1
4. Imperative Functional Programs that Explain their Work cs.PL · 2017 · author #1
5. Abstracting an operational semantics to finite automata cs.PL · 2014 · author #2
6. A Web Interface for Matita cs.LO · 2012 · author #2

Mentions

• 1409.7841 #2 · backfill · confidence 0.70 Wilmer Ricciotti
• 1207.2892 #2 · backfill · confidence 0.70 Wilmer Ricciotti

Frequent Coauthors

• James Cheney 4 shared papers
• Andrea Asperti 1 shared papers
• Jan-Georg Smaus 1 shared papers
• Jan Stolarek 1 shared papers
• Martin Strecker 1 shared papers
• Nadezhda Baklanova 1 shared papers
• Roly Perera 1 shared papers