Joachim Kock

Publication Activity (10 Years)

Years Active: 2011-2023
Publications (10 Years): 5

Top Topics

Interval Algebra

Concurrent Processes

Top Venues

Math. Struct. Comput. Sci.

J. Lond. Math. Soc.

Publications

Joachim Kock
Whole-grain Petri Nets and Processes. J. ACM 70 (1) (2023)
Nicolas Behr, Joachim Kock
Tracelet Hopf algebras and decomposition spaces. CoRR (2021)
Joachim Kock
Elements of Petri nets and processes. CoRR (2020)
Joachim Kock, Mark Weber
Faà di Bruno for operads and internal algebras. J. Lond. Math. Soc. 99 (3) (2019)
Joachim Kock, David I. Spivak
Homotopy composition of cospans. CoRR (2016)
Anders Kock, Joachim Kock
Local fibred right adjoints are polynomial. Math. Struct. Comput. Sci. 23 (1) (2013)
Joachim Kock
Data types with symmetries and polynomial functors over groupoids CoRR (2012)
André Joyal, Joachim Kock
Feynman Graphs, and Nerve Theorem for Compact Symmetric Multicategories (Extended Abstract). Electron. Notes Theor. Comput. Sci. 270 (2) (2011)