• Bicategories in univalent foundationsAhrens, Benedikt; Frumin, Dan; Maggesi, Marco; Veltri, Niccolò; Weide, Niels van derMathematical Structures in Computer Science2022 https://doi.org/10.1017/S0960129522000032 https://www.scopus.com/sourceid/5000157801 https://www.scopus.com/record/display.uri?eid=2-s2.0-85126564877&origin=resultslist&sort=plf-f&src=s&sid=f3880937bc83a1fb5bcb9c6ff4887033&sot=b&sdt=b&s=DOI%2810.1017%2FS0960129522000032%29&sl=30&sessionSearchId=f3880937bc83a1fb5bcb9c6ff4887033&relpos=0 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=MATH%20STRUCT%20COMP%20SCI&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000767071800001
• Constructive final semantics of finite bagsJoram, Philipp; Veltri, Niccolò14th International Conference on Interactive Theorem Proving, ITP 2023, Bialystok, 31 July 2023 - 4 August 20232023 / art. 20, 19 p https://doi.org/10.4230/LIPIcs.ITP.2023.20 https://www.scopus.com/sourceid/21100244929 https://www.scopus.com/record/display.uri?eid=2-s2.0-85168772131&origin=inward&txGid=5c7420f11f6482da438fddb2618e6928
• Inductive and coinductive predicate liftings for effectful programsVeltri, Niccolò; Voorneveld, Niels F.W.Proceedings 37th Conference on Mathematical Foundations of Programming SemanticsHybrid: Salzburg, Austria and Online, 30th August - 2nd September, 20212021 / p. 260-277 https://doi.org/10.4204/EPTCS.351.16 https://www.scopus.com/sourceid/21100244944 https://www.scopus.com/record/display.uri?eid=2-s2.0-85122280172&origin=inward&txGid=c7421d68f570c983320bb4fe98712567 https://www.webofscience.com/wos/woscc/full-record/WOS:001044544400016
• Maximally multi-focused proofs for skew non-commutative MILLVeltri, NiccolòLogic, Language, Information, and Computation: 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11–14, 2023 : proceedings2023 / p. 377-393 https://doi.org/10.1007/978-3-031-39784-4_24 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85172739781&origin=inward&txGid=69b31d5927977a48af9ad30e7401575f
• Quotienting the delay monad by weak bisimilarityChapman, James; Uustalu, Tarmo; Veltri, NiccolòTheoretical Aspects of Computing - ICTAC 2015 : 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings2015 / p. 110 - 125 https://doi.org/10.1007/978-3-319-25150-9_8 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-84952056543&origin=inward&txGid=396398c4a9eb182723510e6786a54824 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000366212700008
• Two set-based implementations of quotients in type theoryVeltri, Niccolò14th Symposium on Programming Languages and Software Tools, SPLST 2015, Tampere, 9-10 October 20152015 / p. 194-205 https://ceur-ws.org/Vol-1525/paper-14.pdf https://www.scopus.com/sourceid/21100218356 https://www.scopus.com/record/display.uri?eid=2-s2.0-84962598967&origin=inward&txGid=df119720fb862645bb6560d535630baf