Aloïs Rosset

dblp:295/9985 · DBLP profile ↗
← Back
3ranked-venue papers
1as first author
3since 2021 · last 2023
0000-0002-7841-2318ORCID · corroborated

Domains — the database's venue-derived domains; a paper can count in several

Databases, data management, data science and information retrieval · 2 · 1 first-author · 2 since 2021Theory of computation · 2 · 1 first-author · 2 since 2021Software engineering, systems software and programming languages · 1 · 1 since 2021
YearPublicationVenuePosition
2023 Fuzzy Presheaves are Quasitoposes
Aloïs Rosset, Roy Overbeek, Jörg Endrullis
ICGT1
2023 Graph rewriting and relabeling with PBPO+: A unifying theory for quasitoposes
abstract
We extend the powerful Pullback-Pushout (PBPO) approach for graph rewriting with strong matching. Our approach, called PBPO+, allows more control over the embedding of the pattern in the host graph, which is important for a large class of rewrite systems. We argue that PBPO+ can be considered a unifying theory in the general setting of quasitoposes, by demonstrating that PBPO+ can define a strict superset of the rewrite relations definable by PBPO, AGREE and DPO. Additionally, we show that PBPO+ is well suited for rewriting labeled graphs and some classes of attributed graphs, by introducing a lattice structure on the label set and requiring graph morphisms to be order-preserving.
Roy Overbeek, Jörg Endrullis, Aloïs Rosset
J. Log. Algebraic Methods Program.3
2021 Graph Rewriting and Relabeling with PBPO+
Roy Overbeek, Jörg Endrullis, Aloïs Rosset
ICGT3