Efficient Consistency Control in Deductive Databases. - Guido Moerkotte; Stefan Karl (ICDT, 1988)

Design of engineering databases: a case for more varied semantic modelling concepts. - Stefan Karl; Peter C. Lockemann (Inf. Syst., 1988)

Jimena: efficient computing and system state identification for genetic regulatory networks. - Stefan Karl; Thomas Dandekar (BMC Bioinform., 2013)

Control Centrality in Non-Linear Biological Networks. - Stefan Karl (2017)