Author of the publication

Allegories and Collagories for Transformation of Graph Structures Considered as Coalgebras.

. RAMiCS, volume 10226 of Lecture Notes in Computer Science, page 193-208. (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

CalcCheck: A Proof Checker for Teaching the "Logical Approach to Discrete Math".. ITP, volume 10895 of Lecture Notes in Computer Science, page 324-341. Springer, (2018)Allegories and Collagories for Transformation of Graph Structures Considered as Coalgebras.. RAMiCS, volume 10226 of Lecture Notes in Computer Science, page 193-208. (2017)Control-Flow Semantics for Assembly-Level Data-Flow Graphs., , and . RelMiCS, volume 3929 of Lecture Notes in Computer Science, page 147-160. Springer, (2005)Calculational relation-algebraic proofs in the teaching tool CalcCheck.. J. Log. Algebraic Methods Program., (2020)Towards Certifiable Implementation of Graph Transformation via Relation Categories.. RAMiCS, volume 7560 of Lecture Notes in Computer Science, page 82-97. Springer, (2012)Interally Typed Second-Order Term Graphs.. WG, volume 1517 of Lecture Notes in Computer Science, page 149-163. Springer, (1998)Demonic diagrams - towards a graphical refinement calculus.. RelMiCS, page 117-121. (1998)The Term Graph Programming System HOPS.. Tool Support for System Specification, Development and Verification, page 136-149. Springer, (1998)Code Graph Transformations for Verifiable Generation of SIMD-Parallel Assembly Code., and . AGTIVE, volume 5088 of Lecture Notes in Computer Science, page 217-232. Springer, (2007)Semigroupoid Interfaces for Relation-Algebraic Programming in Haskell.. RelMiCS, volume 4136 of Lecture Notes in Computer Science, page 235-250. Springer, (2006)