Feynman Graphs, and Nerve Theorem for Compact Symmetric Multicategories (Extended Abstract). - André Joyal; Joachim Kock (QPL@MFPS, 2009)

Data types with symmetries and polynomial functors over groupoids - Joachim Kock (CoRR, 2012)

Local fibred right adjoints are polynomial. - Anders Kock; Joachim Kock (Math. Struct. Comput. Sci., 2013)

Homotopy composition of cospans. - Joachim Kock; David I. Spivak (CoRR, 2016)

Faà di Bruno for operads and internal algebras. - Joachim Kock; Mark Weber (J. Lond. Math. Soc., 2019)

Elements of Petri nets and processes. - Joachim Kock (CoRR, 2020)

Tracelet Hopf algebras and decomposition spaces. - Nicolas Behr; Joachim Kock (ACT, 2021)

Whole-grain Petri Nets and Processes. - Joachim Kock (J. ACM, 2023)