Diana Kessler

According to our database¹, Diana Kessler authored at least 4 papers between 2022 and 2024.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2024

Acyclicity Conditions on Pasting Diagrams.

[BibT_eX]

[DOI]

Appl. Categorical Struct., December, 2024

Why quantum state verification cannot be both efficient and secure: a categorical approach.

[BibT_eX]

[DOI]

CoRR, 2024

2023

Higher-Dimensional Subdiagram Matching.

[BibT_eX]

[DOI]

Proceedings of the 38th Annual ACM/IEEE Symposium on Logic in Computer Science, 2023

2022

Data structures for topologically sound higher-dimensional diagram rewriting.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Fifth International Conference on Applied Category Theory, 2022