• 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
  • A Critical Pair Enumeration Algorithm for String Diagram RewritingMatsui, Anna; Obi, Innocent; Sabbagh, Guillaume; Torres, Leo; Kessler, Diana-Maria; Meleiro, Juan F.; Muroya, KokoApplied Category Theory (ACT)2025 / 18 p https://drive.google.com/file/d/10UDhhSA0CxcrZqeT3Pevf5ydCRrye12D/view?pli=1
  • 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
  • Ontology merging using the weak unification of conceptsKuusik, Norman; Vain, JüriBig Data and Cognitive Computing2024 / art. 98 https://doi.org/10.3390/bdcc8090098 https://www.scopus.com/sourceid/21101020112 https://www.scopus.com/pages/publications/85204940537?inward https://jcr.clarivate.com/jcr-jp/journal-profile?journal=BIG%20DATA%20COGN%20COMPUT&year=2024 https://www.webofscience.com/wos/woscc/full-record/WOS:001323313400001
  • Pitch glide effect induced by a nonlinear string-barrier interactionKartofelev, Dmitri; Stulov, Anatoli; Välimäki, VesaRecent Developments in Nonlinear Acoustics : 20th International Symposium on Nonlinear Acoustics including the 2nd International Sonic Boom Forum, 29 June–3 July 2015, Écully, France2015 / art. 030004 https://doi.org/10.1063/1.4934387 https://www.scopus.com/sourceid/26916 https://www.scopus.com/record/display.uri?eid=2-s2.0-84984537558&origin=inward&txGid=c2218a1ee6abd430125b4eb7ad5e1499 https://www.webofscience.com/wos/woscc/full-record/WOS:000366570200007
  • 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
  • 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 trace theoryEarnshaw, Matthew David; 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
  • Use of simplified bowed string model in physics education : a laboratory experimentVilipuu, Marek; Kartofelev, Dmitri; Kalda, JaanProceedings of Meetings on Acoustics2022 / art. 025001 https://doi.org/10.1121/2.0001628 https://www.scopus.com/sourceid/21100215110 https://www.scopus.com/record/display.uri?eid=2-s2.0-85143747698&origin=inward&txGid=1fd032307b3fa6f2a8b0a21e613f53ed
  • Weyl Spinor Field from the Hamilton-Jacobi Formulation of Null StringsKanattšikov, IgorEPL (Europhysics Letters)1990 / p. 577-581 https://doi.org/10.1209/0295-5075/12/7/001