Otsing - TalTech teadusportaal

kuva

reasta

1

artikkel ajakirjas EST / artikkel ajakirjas ENG

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

artikkel ajakirjas EST / artikkel ajakirjas ENG

2

artikkel kogumikus

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

artikkel kogumikus

Seotud publikatsioonid 1

Computational aspects of rewriting in higher-dimensional diagrams = Kõrgemamõõtmeliste diagrammide ümberkirjutamise arvutuslikud aspektid

3

artikkel kogumikus

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

artikkel kogumikus

Seotud publikatsioonid 1

Partial and relational algebraic theories = Osalised ja relatsioonilised algebralised teooriad

4

artikkel ajakirjas EST / artikkel ajakirjas ENG

Ontology merging using the weak unification of conceptsKuusik, Norman; Vain, JüriBig Data and Cognitive Computing2024 / art. 98 https://doi.org/10.3390/bdcc8090098 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

5

artikkel kogumikus

Order in partial Markov categoriesDi Lavore, Elena; Roman Garcia, Mario; Sobocinski, Pawel Maria; Szeles, Mark41st Conference on the Mathematical Foundaions of Programming Semantics, Proceedings of MFPS XLI, June 16-21, 2025, Glasgow, Scotland2025 / 21 p. : ill https://doi.org/10.46298/entics.16686

artikkel kogumikus

6

artikkel kogumikus EST / artikkel kogumikus ENG

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

artikkel kogumikus EST / artikkel kogumikus ENG

7

artikkel kogumikus EST / artikkel kogumikus ENG

Regex decision procedures in extended RE#Varatalu, Ian Erik; Veanes, Margus; Zhuchko, Ekaterina; Ernits, Juhan-PeepComputer Aided Verification : 37th International Conference, CAV 2025, Zagreb, Croatia, July 23–25, 2025, Proceedings, Part III2025 / p. 106-129 : ill https://link.springer.com/chapter/10.1007/978-3-031-98682-6_7 https://doi.org/10.1007/978-3-031-98682-6_7 Conference proceedings at Scopus Article at Scopus Conference proceedings at WOS Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

8

artikkel kogumikus EST / artikkel kogumikus ENG

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

artikkel kogumikus EST / artikkel kogumikus ENG

Seotud publikatsioonid 1

Languages of string diagrams = Nöördiagrammide keeled

9

artikkel ajakirjas EST / artikkel ajakirjas ENG

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

artikkel ajakirjas EST / artikkel ajakirjas ENG

Seotud publikatsioonid 1

Languages of string diagrams = Nöördiagrammide keeled

10

artikkel ajakirjas EST / artikkel ajakirjas ENG

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

artikkel ajakirjas EST / artikkel ajakirjas ENG

11

artikkel ajakirjas EST / artikkel ajakirjas ENG

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

artikkel ajakirjas EST / artikkel ajakirjas ENG

12

artikkel ajakirjas EST / artikkel ajakirjas ENG

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

artikkel ajakirjas EST / artikkel ajakirjas ENG

13

artikkel kogumikus EST / artikkel kogumikus ENG

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

artikkel kogumikus EST / artikkel kogumikus ENG

Seotud publikatsioonid 1

Languages of string diagrams = Nöördiagrammide keeled

14

artikkel ajakirjas EST / artikkel ajakirjas ENG

String diagrams for premonoidal categoriesRoman Garcia, Mario; Sobocinski, Pawel MariaLogical methods in computer science2025 / 20 p. : ill https://lmcs.episciences.org/15593/pdf https://doi.org/10.46298/LMCS-21(2:9)2025 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

15

artikkel kogumikus

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

artikkel kogumikus

16

artikkel ajakirjas EST / artikkel ajakirjas ENG

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

artikkel ajakirjas EST / artikkel ajakirjas ENG

17

artikkel ajakirjas

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

artikkel ajakirjas

stringiteooria (märksõna)

teaviku laadid

märksõna 1