Graph Rewriting and Relabeling with PBPO R Overbeek, J Endrullis, A Rosset International Conference on Graph Transformation, 60-80, 2021 | 16 | 2021 |
Graph rewriting and relabeling with PBPO+: A unifying theory for quasitoposes R Overbeek, J Endrullis, A Rosset Journal of Logical and Algebraic Methods in Programming 133, 100873, 2023 | 15 | 2023 |
Fuzzy presheaves are quasitoposes A Rosset, R Overbeek, J Endrullis International Conference on Graph Transformation, 102-122, 2023 | 6 | 2023 |
Algebraic Presentation of Semifree Monads A Rosset, HH Hansen, J Endrullis International Workshop on Coalgebraic Methods in Computer Science, 110-132, 2022 | 5 | 2022 |
Correspondence between Composite Theories and Distributive Laws A Rosset, M Zwart, HH Hansen, J Endrullis International Workshop on Coalgebraic Methods in Computer Science, 194-215, 2024 | 1 | 2024 |
Characterisation of Lawvere-Tierney Topologies on Simplicial Sets, Bicolored Graphs, and Fuzzy Sets A Rosset, HH Hansen, J Endrullis arXiv preprint arXiv:2407.04535, 2024 | | 2024 |
Partially simple graphs form a quasitopos A Rosset | | |