Otsing - TalTech teadusportaal

Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
Switch to English

Publikatsioonid

Publikatsioonid

Liitotsing

Valitud kirjed 0

Kessler, Diana-Maria (autor)

—

—

Lisa tingimus Lihtotsing 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

Kirjeid leitud 6
Vaata veel.. (3/303)
Ekspordi

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

vaste

reasta

Otsing
Valikud 0

ilmumisaasta

autor

TTÜ struktuuriüksus

märksõna

seeria-sari

tema kohta

võtmesõna

TalTech Raamatukogu

Akadeemia tee 1

13519

TalTech koduleht TalTech Raamatukogu koduleht Digikogu Digiteek Teadusandmed

6203551

data@taltech.ee

TalTech Raamatukogu