• Bialgebraic foundations for the operational semantics of string diagramsBonchi, Filippo; Piedeleu, Robin; Sobocinski, Pawel Maria; Zanasi, FabioInformation and computation2021 / art. 104767, 22 p https://doi.org/10.1016/j.ic.2021.104767 https://www.scopus.com/sourceid/25509 https://www.scopus.com/record/display.uri?eid=2-s2.0-85109004037&origin=inward&txGid=8982598f8a6bd1e70aeb24b273b85c90 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=INFORM%20COMPUT&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000721215200017
• Calculational proofs in relational graphical linear algebraPaixao, Joao; Sobocinski, Pawel MariaFormal Methods: Foundations and Applications : 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25-27, 2020 : proceedings2020 / p. 83-100 https://doi.org/10.1007/978-3-030-63882-5_6 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85097299136&origin=inward&txGid=34f639bb8dbd7024ff651d3fb65013dc
• A canonical algebra of open transition systemsDi Lavore, Elena; Gianola, Alessandro; Roman Garcia, Mario; Sabadini, Nicoletta; Sobocinski, Pawel MariaFormal aspects of component software : 17th International Conference, FACS 2021, Virtual Event, October 28-29, 2021 : proceedings2021 / p. 63-81 https://doi.org/10.1007/978-3-030-90636-8_4 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85119830813&origin=inward&txGid=3d230471a215d29c8d34aabc508a1816 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000763101000004
• A compositional approach to signal flow graphsSobocinski, Pawel Maria31st Nordic Workshop on Programming Theory, NWPT 2019, Tallinn, Estonia, 13-15 November 2019 : abstracts2019 / p. 2 https://doi.org/10.23658/taltech.nwpt/2019
• Compositional diagrammatic first-order logicHaydon, Nathan Joseph; Sobocinski, Pawel MariaDiagrammatic representation and inference : 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24–28, 2020 : proceedings2020 / p. 402-418 https://doi.org/10.1007/978-3-030-54249-8_32 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85090039526&origin=inward&txGid=6fc319eb47570a543b9192dc1b5057fb https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000711951500032
• 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
• Contextual equivalence for signal flow graphsBonchi, Filippo; Piedeleu, Robin; Sobocinski, Pawel Maria; Zanasi, FabioFoundations of Software Science and Computation Structures : 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020 : proceedings2020 / p. 77-96 https://doi.org/10.1007/978-3-030-45231-5_5 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85084115850&origin=inward&txGid=10684cc6eb9c1ff0b78adf91ec1d0c3c https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000719283800005
• 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
• 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
• Doktorantuur IKTs – mitte ainult akadeemilise maailma austajatelearileht.delfi.ee2023 https://arileht.delfi.ee/artikkel/120201246/doktorantuur-ikts-mitte-ainult-akadeemilise-maailma-austajatele
• Functorial semantics for partial theoriesDi Liberti, Ivan; Loregian, Fosco; Nester, Chad Mitchell; Sobocinski, Pawel MariaProceedings of the ACM on Programming Languages2021 / art. 57, 28 p. : ill https://doi.org/10.1145/3434338 https://www.scopus.com/sourceid/21101020042 https://www.scopus.com/record/display.uri?eid=2-s2.0-85099012661&origin=inward&txGid=881fbaa36ca71934205c760f58637ca6 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=P%20ACM%20PROGRAM%20LANG&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000679806100057
• High-level axioms for graphical linear algebraPaixao, Joao; Rufino, Lucas; Sobocinski, Pawel MariaScience of computer programming2022 / art. 102791 ; 26 p https://doi.org/10.1016/j.scico.2022.102791 https://www.scopus.com/sourceid/28416 https://www.scopus.com/record/display.uri?eid=2-s2.0-85126314085&origin=inward&txGid=70be018e057f8e10f8de93f04c1f3d9d https://jcr.clarivate.com/jcr-jp/journal-profile?journal=SCI%20COMPUT%20PROGRAM&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000793563300005
• Mis toimub tehisintellekti "kapoti all" ja miks me seda teadma peame?Härmat, KarinMente et Manu2022 / lk. 30-33 : fot https://www.ester.ee/record=b1242496*est
• Monoidal context theory = Monoidiliste kontekstide teooriaRoman Garcia, Mario2023 https://doi.org/10.23658/taltech.54/2023 https://digikogu.taltech.ee/et/Item/034fb7d2-c41f-4d12-81a9-4dd792504995 https://www.ester.ee/record=b5645423*est
• 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
• Monoidal width : capturing rank widthDi Lavore, Elena; Sobocinski, Pawel MariaProceedings Fifth International Conference on Applied Category Theory : Glasgow, Scotland, 18-22 July 20222023 / p. 268-283 : ill https://doi.org/10.4204/EPTCS.380.16 https://www.scopus.com/sourceid/21100244944 https://www.scopus.com/record/display.uri?eid=2-s2.0-85169440941&origin=inward&txGid=7857f291e697d23757c0161e9e5d4c23 https://www.webofscience.com/wos/woscc/full-record/WOS:001048400000016
• Monoidal width = Monoidiline laiusDi Lavore, Elena2023 https://doi.org/10.23658/taltech.55/2023 https://digikogu.taltech.ee/et/Item/e0ea1b50-07ff-44f4-a498-ef5c22a15502 https://www.ester.ee/record=b5645383*est
• On doctrines and Cartesian bicategoriesBonchi, Filippo; Santamaria, Alessio; Seeber, Jens; Sobocinski, Pawel MariaCALCO 2021 : 9th International Conference on Algebra and Coalgebra in Computer Science, Aug 31 - Sep 3, 2021, Salzburg, Austria : proceedings2021 / p. 10:1−10:7 https://doi.org/10.4230/LIPIcs.CALCO.2021.10 https://www.scopus.com/sourceid/21100244929 https://www.scopus.com/record/display.uri?eid=2-s2.0-85120633403&origin=inward&txGid=314c457be65ccb9c6fd1cb2817f12f50
• Partial and relational algebraic theories = Osalised ja relatsioonilised algebralised teooriadNester, Chad Mitchell2024 https://www.ester.ee/record=b5650413*est https://digikogu.taltech.ee/et/Item/696327ea-955a-45ad-bf93-bca34084131f https://doi.org/10.23658/taltech.4/2024
• Pawel Sobocinski: kui me ei taha Euroopas ja Eestis olla tehnoloogia orjad, peab meil innovatsiooniks olema kõrgel tasemel eksperteSobocinski, Pawel Mariadelfi.ee2024 https://arileht.delfi.ee/artikkel/120299023/pawel-sobocinski-kui-me-ei-taha-euroopas-ja-eestis-olla-tehnoloogia-orjad-peab-meil-innovatsiooniks-olema-korgel-tasemel-eksperte
• Pawel Sobocinski: Teistmoodi matemaatikaga saame luua paremat tarkvaraSobocinski, Pawel Mariaarileht.delfi.ee Trialoog2024 https://trialoog.taltech.ee/pawel-sobocinski-teistmoodi-matemaatikaga-saame-luua-paremat-tarkvara/ https://arileht.delfi.ee/artikkel/120282765/pawel-sobocinski-teistmoodi-matemaatikaga-saame-luua-paremat-tarkvara
• Pawel Sobocinski: teistmoodi matemaatikaga saame luua paremat tarkvaraSobocinski, Pawel MariaMent et Manu2024 / lk. 14-19 : fot https://www.ester.ee/record=b1242496*est
• Peirce’s existential graphs and the logic of string diagrams = Peirce’i eksistentsiaalsed graafid ja nööridiagrammide loogikaHaydon, Nathan Joseph2024 https://www.ester.ee/record=b5685581*est https://digikogu.taltech.ee/et/Item/f7f55e15-7a58-4e7f-a112-910d6a943f7f https://doi.org/10.23658/taltech.31/2024
• PrefaceKupferman, Orna; Sobocinski, Pawel MariaFoundations of Software Science and Computation Structures, 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferenceson Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings2023 / p. vii https://doi.org/10.1007/978-3-031-30829-1 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85161443627&origin=inward&txGid=cbec9eda69c0c5cb080ad70bc6bc1ff6
• Regular monoidal languagesEarnshaw, Matthew David; Sobocinski, Pawel MariaLeibniz International Proceedings in Informatics, LIPIcs2022 / p. 44:1-44:14 https://doi.org/10.4230/LIPIcs.MFCS.2022.44 https://www.scopus.com/sourceid/21100244929 https://www.scopus.com/record/display.uri?eid=2-s2.0-85137593461&origin=inward&txGid=a48c4f25a2657cb2d41c28f255b51505
• Regular planar monoidal languagesEarnshaw, Matthew David; Sobocinski, Pawel MariaJournal of logical and algebraic methods in programming2024 / art. 100963, 20 p. : ill https://doi.org/10.1016/j.jlamp.2024.100963 https://www.scopus.com/sourceid/21100403130 https://www.scopus.com/record/display.uri?eid=2-s2.0-85189029411&origin=resultslist&sort=plf-f&src=s&sot=b&sdt=b&s=TITLE-ABS-KEY%28%22Regular+planar+monoidal+languages%22%29&sessionSearchId=a8f0a943e59e9ac836047baed6d1091c&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:001219761900001
• Rule algebras for adhesive categoriesBehr, Nicolas; Sobocinski, Pawel MariaLogical methods in computer science2020 / p. 2:1−2:38 https://doi.org/10.23638/LMCS-16(3:2)2020 https://www.scopus.com/sourceid/19700175752 https://www.scopus.com/record/display.uri?eid=2-s2.0-85088393358&origin=inward&txGid=5f0349421d4429f6aefba60a4d8d148e https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LOG%20METH%20COMPUT%20SCI&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000562627000002
• Span(Graph) : a canonical feedback algebra of open transition systemsDi Lavore, Elena; Gianola, Alessandro; Roman Garcia, Mario; Sabadini, Nicoletta; Sobocinski, Pawel MariaSoftware and systems modeling2023 / p. 495-520 : ill https://doi.org/10.1007/s10270-023-01092-7 https://www.scopus.com/sourceid/144641 https://www.scopus.com/record/display.uri?eid=2-s2.0-85150476245&origin=resultslist&sort=plf-f&src=s&sid=2f6521f66136a16cc4250bbbe569d174&sot=b&sdt=b&s=DOI%2810.1007%2Fs10270-023-01092-7%29&sl=23&sessionSearchId=2f6521f66136a16cc4250bbbe569d174 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=SOFTW%20SYST%20MODEL&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000957065300001
• 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
• String diagram rewrite theory III : confluence with and without FrobeniusBonchi, Filippo; Gadducci, Fabio; Kissinger, Aleks; Sobocinski, Pawel Maria; Zanasi, FabioMathematical structures in computer science2022 / p. 829-869 https://doi.org/10.1017/S0960129522000123 https://www.scopus.com/sourceid/5000157801 https://www.scopus.com/record/display.uri?eid=2-s2.0-85149050400&origin=resultslist&sort=plf-f&src=s&sid=3bae792f6264304bb076151503676516&sot=b&sdt=b&s=DOI%2810.1017%2FS0960129522000123%29&sl=30&sessionSearchId=3bae792f6264304bb076151503676516 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=MATH%20STRUCT%20COMP%20SCI&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000810289300001
• String diagrammatic electrical circuit theoryBoisseau, Guillaume; Sobocinski, Pawel MariaarXiv2022 / p. 178-191 : ill https://doi.org/10.4204/EPTCS.372.13 https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?ACT2021.13 https://www.scopus.com/sourceid/21100244944 https://www.scopus.com/record/display.uri?eid=2-s2.0-85142934721&origin=inward&txGid=35e7529106014989f763d699403bf508 https://www.webofscience.com/wos/woscc/full-record/WOS:001048986300014
• String diagrammatic trace theoryEarnshaw, Matthew; Sobocinski, Pawel Maria48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)2023 / art. 43, 43 p. : ill https://doi.org/10.4230/LIPIcs.MFCS.2023.43 https://www.scopus.com/sourceid/21100244929 https://www.scopus.com/record/display.uri?eid=2-s2.0-85171429494&origin=inward&txGid=f16fcfa7168c0f6d85c6e275ece30436
• 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
• Toimiva digiühiskonna tagavad usaldusväärne tarkvara, turvaline riistvara ning energiasäästlikud ja nutikad asjadHärmat, KarinMente et Manu2022 / lk. 32-33 https://www.ester.ee/record=b1242496*est
• Uued inimesed TalTechisDashtimanesh, Abbas; Gerstlberger, Wolfgang Dieter; Hoffmann, Thomas; Männik, Aarne; Niidu, Allan; Pagliarini, Samuel Nascimento; Sobocinski, Pawel Maria; Treffner, IvarMente et Manu2019 / lk. 26-32 : fot https://www.ester.ee/record=b1242496*est