In Silico Knockout Studies of Xenophagic Capturing of Salmonella. - Jennifer Scheidel; Leonie Amstein; Jörg Ackermann 001; Ivan Dikic; Ina Koch (PLoS Comput. Biol., 2016)

Manatee invariants reveal functional pathways in signaling networks. - Leonie Amstein; Jörg Ackermann 001; Jennifer Scheidel; Simone Fulda; Ivan Dikic; Ina Koch (BMC Syst. Biol., 2017)

isiKnock: in silico knockouts in signaling pathways. - Jennifer Hannig; Heiko Giese; Börje Schweizer; Leonie Amstein; Jörg Ackermann 001; Ina Koch (Bioinform., 2019)

Method development and application in computational systems biology: the concept of Manatee invariants to study the TNFR1 signaling pathway in the Petri net formalism - Leonie Amstein (2019)

Mathematical modeling of the molecular switch of TNFR1-mediated signaling pathways applying Petri net formalism and in silico knockout analysis. - Leonie Amstein; Jörg Ackermann 001; Jennifer Hannig; Ivan Dikic; Simone Fulda; Ina Koch (PLoS Comput. Biol., 2022)