• A diagrammatic algebra for program logicsBonchi, Filippo; Di Giorgio, Alessandro; Di Lavore, ElenaFoundations of Software Science and Computation Structures : 28th International Conference, FoSSaCS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, Ontario, Canada, May 3–8, 2025, Proceedings2025 / p. 308-330 https://doi.org/10.1007/978-3-031-90897-2_15 https://www.scopus.com/sourceid/25674 https://www.scopus.com/pages/publications/105004789260?origin=resultslist
• Diagrammatic algebra of first order logicBonchi, Filippo; Di Giorgio, Alessandro; Haydon, Nathan Joseph; Sobocinski, Pawel MariaLICS '24 : proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science2024 / art. 16, p. 1-15 : ill https://doi.org/10.1145/3661814.3662078 https://www.scopus.com/sourceid/25562 https://www.scopus.com/pages/publications/85199029291?inward https://www.webofscience.com/wos/woscc/full-record/WOS:001275042100016
• Diagrammatic algebra of first order logic : [preprint]Bonchi, Filippo; Di Giorgio, Alessandro; Haydon, Nathan Joseph; Sobocinski, Pawel MariaarXiv.org2024 / 34 p. : ill https://doi.org/10.48550/arXiv.2401.07055
• Diagrammatic polyhedral algebraBonchi, Filippo; Di Giorgio, Alessandro; Sobocinski, Pawel Maria41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021)2021 / p. 40:1-40:18 https://doi.org/10.4230/LIPIcs.FSTTCS.2021.40 https://www.scopus.com/sourceid/21100244929 https://www.scopus.com/record/display.uri?eid=2-s2.0-85122436640&origin=inward&txGid=1ac53b706c7113a7337d5c3be607b569
• Rewriting for Traced Monoidal Closed CategoriesDi Giorgio, Alessandro; Ghica, Dan R.; Zanasi, FabioGraph Transformation : 18th International Conference, ICGT 2025, Held as Part of STAF 2025, Koblenz, Germany, June 11–12, 2025 : Proceedings2025 / p. 24–43 : ill https://doi.org/10.1007/978-3-031-94706-3_2 https://www.scopus.com/pages/publications/105009025637?origin=resultslist https://www.scopus.com/pages/publications/105009025637?origin=resultslist https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:001549609900002
• Tape Diagrams for Monoidal MonadsBonchi, Filippo; Cioffo, Cipriano Junior; Di Giorgio, Alessandro; Di Lavore, Elena11th Conference on Algebra and Coalgebra in Computer Science (CALCO 2025) : CALCO 2025, June 16–18, 2025, University of Strathclyde, UK2025 / art. 11, p. 11:1–11:24 https://doi.org/10.4230/LIPIcs.CALCO.2025.11