Research output per year
Research output per year
Fingerprint
Dive into the research topics where Wilmer Ricciotti is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Network
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
A Formalization of SQL with Nulls
Ricciotti, W. & Cheney, J., 1 Nov 2022, In: Journal of Automated Reasoning. 66, 4, p. 989-1030 42 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
Strongly-Normalizing Higher-Order Relational Queries
Ricciotti, W. & Cheney, J., 17 Aug 2022, In: Logical Methods in Computer Science. 18, 3, p. 23:1-23:41 41 p., 23.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
Comprehending nulls
Cheney, J. & Ricciotti, W., 16 Aug 2021, Proceedings of the 18th International Symposium on Database Programming Languages (DBPL 2021). ACM, p. 3-6 4 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
Query Lifting: Language-integrated query for heterogeneous nested collections
Ricciotti, W. & Cheney, J., 23 Mar 2021, Programming Languages and Systems (ESOP 2021). Springer International Publishing, p. 579–606 28 p. (Lecture Notes in Computer Science; vol. 12648).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
Strongly Normalizing Higher-Order Relational Queries
Ricciotti, W. & Cheney, J., 28 Jun 2020, 5th International Conference on Formal Structures for Computation and Deduction (FSCD 2020). Ariola, Z. (ed.). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, p. 1-22 22 p. 28. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 167).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile
Projects
- 1 Finished
-
Mechanising the metatheory of SQL with NULLS
UK central government bodies/local authorities, health and hospital authorities
1/08/17 → 31/03/18
Project: Research