Otsing - TalTech teadusportaal

Kessler, Diana-Maria (autor)

—

—

—

—

Lisa tingimus Liitotsing filter

Tühista

teaviku laadid

raamat ..

artikkel ajakirjas ..

artikkel ajalehes ..

artikkel kogumikus ..

dissertatsioon ..

Open Access ..

Teaduspublikatsioon ..

aasta

Toon andmeid..

Toon andmeid..

TTÜ struktuuriüksus

Toon andmeid..

Toon andmeid..

Toon andmeid..

Toon andmeid..

Toon andmeid..

Tühista

ekspordi kõik päringu tulemused (6)
Salvesta TXT fail

Salvesta PDF fail

prindi
Märgitud kirjetega toimetamiseks ava valitud kirjed

kuva

reasta
1

artikkel ajakirjas EST / artikkel ajakirjas ENG

Acyclicity conditions on pasting diagramsHadzihasanovic, Amar; Kessler, Diana-MariaApplied categorical structures2024 / art. 31 https://doi.org/10.1007/s10485-024-09784-x Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG
Seotud publikatsioonid 1
- Computational aspects of rewriting in higher-dimensional diagrams = Kõrgemamõõtmeliste diagrammide ümberkirjutamise arvutuslikud aspektid
2

dissertatsioon

Computational aspects of rewriting in higher-dimensional diagrams = Kõrgemamõõtmeliste diagrammide ümberkirjutamise arvutuslikud aspektidKessler, Diana-Maria2025 https://www.ester.ee/record=b5753859*est https://digikogu.taltech.ee/et/Item/792ff142-321f-470c-b840-76489d4f9270 https://doi.org/10.23658/taltech.47/2025

dissertatsioon
Seotud publikatsioonid 5
3

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
4

artikkel kogumikus EST / artikkel kogumikus ENG

Data structures for topologically sound higher-dimensional diagram rewritingHadzihasanovic, Amar; Kessler, Diana-Maria5th International Conference on Applied Category Theory, ACT 2022, Hybrid, Glasgow, 18-22 July 20222023 / p. 111-127 : ill https://doi.org/10.4204/EPTCS.380.7 Conference proceedings at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG
Seotud publikatsioonid 1
- Computational aspects of rewriting in higher-dimensional diagrams = Kõrgemamõõtmeliste diagrammide ümberkirjutamise arvutuslikud aspektid
5

artikkel kogumikus EST / artikkel kogumikus ENG

Higher-dimensional subdiagram matchingHadzihasanovic, Amar; Kessler, Diana-Maria2023 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 Conference Proceedings at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG
Seotud publikatsioonid 1
- Computational aspects of rewriting in higher-dimensional diagrams = Kõrgemamõõtmeliste diagrammide ümberkirjutamise arvutuslikud aspektid
6

artikkel ajakirjas

Why quantum state verification cannot be both efficient and secure : a categorical approachWiesner, Fabian; Chaoui, Ziad; Kessler, Diana-Maria; Pappa, Anna; Karvonen, MarttiarXiv.org2024 / 36 p https://doi.org/10.48550/arXiv.2411.04767

artikkel ajakirjas
Seotud publikatsioonid 1
- Computational aspects of rewriting in higher-dimensional diagrams = Kõrgemamõõtmeliste diagrammide ümberkirjutamise arvutuslikud aspektid

Kirjeid leitud 6, kuvan 1 - 6