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 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

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 Conference proceedings at Scopus Article at Scopus

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 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

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 Conference proceedings at Scopus Article at Scopus Conference proceedings at WOS Article at WOS

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 Conference Proceedings at Scopus Article at Scopus

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 Conference proceedings at Scopus Article at Scopus Conference proceedings at WOS Article at WOS

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 Conference Proceedings at Scopus Article at Scopus

Doktorantuur IKTs – mitte ainult akadeemilise maailma austajatelearileht.delfi.ee2023 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 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

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 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

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 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

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 Conference proceedings at Scopus Article at Scopus Article at WOS

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 Conference Proceedings at Scopus Article at Scopus

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 Pawel Sobocinski: kui me ei taha Euroopas ja Eestis olla tehnoloogia orjad, peab meil innovatsiooniks olema kõrgel tasemel eksperte

Pawel Sobocinski: Teistmoodi matemaatikaga saame luua paremat tarkvaraSobocinski, Pawel Mariaarileht.delfi.ee Trialoog2024 Pawel Sobocinski: Teistmoodi matemaatikaga saame luua paremat tarkvara 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 Conference proceedings at Scopus Article at Scopus

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 Conference Proceedings at Scopus Article at Scopus

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 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

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 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

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 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

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 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

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 Journal at Scopus Article at Scopus Journal metrics at WOS Article at WOS

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 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

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 Conference Proceedings at Scopus Article at Scopus Article at WOS

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 Conference proceeding at Scopus Article at Scopus

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 Article collection metrics at Scopus Article at Scopus

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