Synthesizing Cost-Minimal Partners for Services. - Jan Sürmeli; Marvin Triebel (ICSOC, 2013)

Characterizing Stable Inequalities of Petri Nets. - Marvin Triebel; Jan Sürmeli (Petri Nets, 2015)

Homogeneous Equations of Algebraic Petri Nets. - Marvin Triebel; Jan Sürmeli (CONCUR, 2016)

Characterizing Stable and Deriving Valid Inequalities of Petri Nets. - Marvin Triebel; Jan Sürmeli (Fundam. Informaticae, 2016)

Preserving Data Integrity in Distributed Systems - Marvin Triebel (2018)