• Compositional modelling of network gamesDi Lavore, Elena; Hedges, Jules; Sobocinski, Pawel Maria29th EACSL Annual Conference on Computer Science Logic : CSL 2021, January 25–28, 2021, Ljubljana, Slovenia (Virtual Conference)2021 / art. 30, p. 30:1–30:24 : ill https://doi.org/10.4230/LIPIcs.CSL.2021.30 https://www.scopus.com/sourceid/21100244929 https://www.scopus.com/record/display.uri?eid=2-s2.0-85100912099&origin=inward&txGid=0b8247f867578b69f043eb5e6fd83971
• Concurrent process histories and resource transducersNester, Chad MitchellLogical methods in computer science2023 / p. 7:1-7:22 : ill https://doi.org/10.46298/LMCS-19(1:7)2023 https://www.scopus.com/sourceid/19700175752 https://www.scopus.com/record/display.uri?eid=2-s2.0-85147333445&origin=inward&txGid=0a744f0eddab1995132050a08ff1c6c6 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LOG%20METH%20COMPUT%20SCI&year=2023 https://www.webofscience.com/wos/woscc/full-record/WOS:000924021300002
• A foundation for ledger structuresNester, Chad Mitchell2nd International Conference on Blockchain Economics, Security and Protocols : Tokenomics 2020, October 26–27, 2020, Toulouse, France2021 / art. 7, p. 7:1–7:31 https://doi.org/10.4230/OASIcs.Tokenomics.2020.7
• Higher-dimensional subdiagram matchingHadzihasanovic, Amar; Kessler, Diana2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) : Boston, MA, USA : 26-29 June 20232023 / 13 p. https://doi.org/10.1109/LICS56636.2023.10175726 https://www.scopus.com/sourceid/25562 https://www.scopus.com/record/display.uri?eid=2-s2.0-85162173175&origin=resultslist&sort=plf-f&src=s&sid=ec75abd3251d7087b754becbe52cb944&sot=b&sdt=b&s=TITLE-ABS-KEY%28%22Higher-Dimensional+Subdiagram+Matching%22%29&sl=104&sessionSearchId=ec75abd3251d7087b754becbe52cb944&relpos=0 https://www.webofscience.com/wos/woscc/full-record/WOS:001036707700023
• Monoidal streams for dataflow programmingDi Lavore, Elena; De Felice, Giovanni; Roman Garcia, Mario37th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2022, Haifa, 2 August 2022 - 5 August 20222022 / art. 3533365, p. 1-14 : ill https://doi.org/10.1145/3531130.3533365 https://www.scopus.com/sourceid/25562 https://www.scopus.com/record/display.uri?eid=2-s2.0-85136960045&origin=inward&txGid=d9cd3847c50ed485b987e8dbb36224e7
• Monoidal widthDi Lavore, Elena; Sobocinski, Pawel MariaLogical methods in computer science2023 / p. 15:1–15:46 : ill https://doi.org/10.46298/LMCS-19(3:15)2023 https://www.scopus.com/sourceid/19700175752 https://www.scopus.com/record/display.uri?eid=2-s2.0-85174229571&origin=inward&txGid=6d89c61a12c25efc210fc1c1a18d8c5c https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LOG%20METH%20COMPUT%20SCI&year=2023 https://www.webofscience.com/wos/woscc/full-record/WOS:001083845100001
• Protocol choice and iteration for the free corneringNester, Chad Mitchell; Voorneveld, NielsJournal of logical and algebraic methods in programming2024 / art. 100942, 30 p https://doi.org/10.1016/j.jlamp.2023.100942 https://www.scopus.com/sourceid/21100403130 https://www.scopus.com/record/display.uri?eid=2-s2.0-85181915516&origin=resultslist&sort=plf-f&src=s&sot=b&sdt=b&s=ALL%28%22Protocol+choice+and+iteration+for+the+free+cornering%22%29&sessionSearchId=a1950993a8713b95c4defac4e2fbf8c1&relpos=0 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=J%20LOG%20ALGEBR%20METHODS&year=2023 https://www.webofscience.com/wos/woscc/full-record/WOS:001154322400001
• Slice nondeterminismVoorneveld, Niels4th International Conference on Interactive Theorem Proving, ITP 2023, Bialystok, 31 July - 4 August 20232023 / art. 31, 19 p https://doi.org/10.4230/LIPIcs.ITP.2023.31 https://www.scopus.com/sourceid/21100244929 https://www.scopus.com/record/display.uri?eid=2-s2.0-85168762736&origin=inward&txGid=5e1b93c2cbb3a6a75e0b27d158426cee
• String diagram rewrite theory I : rewriting with Frobenius structureBonchi, Filippo; Gadducci, Fabio; Kissinger, Aleks; Sobocinski, Pawel Maria; Zanasi, FabioJournal of the ACM2022 / art. 14 https://doi.org/10.1145/3502719 https://www.scopus.com/sourceid/23127 https://www.scopus.com/record/display.uri?eid=2-s2.0-85127614327&origin=inward&txGid=289cc957ac27d19b801bd3f9818d2cd6 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=J%20ACM&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000774368700006
• String diagram rewrite theory II : rewriting with symmetric monoidal structureBonchi, Filippo; Gadducci, Fabio; Kissinger, Aleks; Sobocinski, Pawel Maria; Zanasi, FabioMathematical structures in computer science2022 / p. 511 - 541 https://doi.org/10.1017/S0960129522000317 https://www.scopus.com/sourceid/5000157801 https://www.scopus.com/record/display.uri?eid=2-s2.0-85144368790&origin=resultslist&sort=plf-f&src=s&sid=6615b9fca89328239106ccdf3fbe71fa&sot=b&sdt=b&s=DOI%2810.1017%2FS0960129522000317%29&sl=30&sessionSearchId=6615b9fca89328239106ccdf3fbe71fa https://jcr.clarivate.com/jcr-jp/journal-profile?journal=MATH%20STRUCT%20COMP%20SCI&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000861632300001
• A survey of Compositional signal flow theoryBonchi, Filippo; Sobocinski, Pawel Maria; Zanasi, FabioAdvancing Research in Information and Communication Technology : IFIP's Exciting First 60+ Years, Views from the Technical Committees and Working Groups2021 / p. 29–56 https://doi.org/10.1007/978-3-030-81701-5_2 https://www.scopus.com/sourceid/19400157163 https://www.scopus.com/record/display.uri?eid=2-s2.0-85112539110&origin=inward&txGid=b4a34a2ba2d4e3c16c55bb175870f5a7