We stand with Ukraine  

Aloïs Rosset

Orcid: 0000-0002-7841-2318

According to our database1, Aloïs Rosset authored at least 8 papers between 2021 and 2024.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2024
Correspondence Between Composite Theories and Distributive Laws.
[BibTeX]
[DOI]
Aloïs Rosset
,
Maaike Zwart
,
Helle Hvid Hansen
,
Jörg Endrullis
Proceedings of the Coalgebraic Methods in Computer Science, 2024

2023
Graph rewriting and relabeling with PBPO<sup>+</sup>: A unifying theory for quasitoposes.
[BibTeX]
[DOI]
Roy Overbeek
,
Jörg Endrullis
,
Aloïs Rosset
J. Log. Algebraic Methods Program., June, 2023

Fuzzy Presheaves are Quasitoposes and Consequences in Graph Rewriting.
[BibTeX]
[DOI]
Aloïs Rosset
,
Roy Overbeek
,
Jörg Endrullis
CoRR, 2023

Characterisation of Lawvere-Tierney Topologies on Simplicial Sets, Bicolored Graphs, and Fuzzy Sets.
[BibTeX]
[DOI]
Aloïs Rosset
,
Helle Hvid Hansen
,
Jörg Endrullis
Proceedings of the Logic, Language, and Computation, 2023

Fuzzy Presheaves are Quasitoposes.
[BibTeX]
[DOI]
Aloïs Rosset
,
Roy Overbeek
,
Jörg Endrullis
Proceedings of the Graph Transformation - 16th International Conference, 2023

2022
Graph Rewriting and Relabeling with PBPO+: A Unifying Theory for Quasitoposes.
[BibTeX]
[DOI]
Roy Overbeek
,
Jörg Endrullis
,
Aloïs Rosset
CoRR, 2022

Algebraic Presentation of Semifree Monads.
[BibTeX]
[DOI]
Aloïs Rosset
,
Helle Hvid Hansen
,
Jörg Endrullis
Proceedings of the Coalgebraic Methods in Computer Science, 2022

2021
Graph Rewriting and Relabeling with PBPO<sup>+</sup>.
[BibTeX]
[DOI]
Roy Overbeek
,
Jörg Endrullis
,
Aloïs Rosset
Proceedings of the Graph Transformation - 14th International Conference, 2021


  Loading...