A Comprehensive Web-based Platform For Domain-Specific Biological Models. - Matej Klement; David Safránek; T. Ded; Ales Pejznoch; Ladislav Nedbal; Ralf Steuer; Jan Cervený; Stefan Müller 009 (CS2Bio, 2013)

Biochemical Space: A Framework for Systemic Annotation of Biological Models. - Matej Klement; T. Ded; David Safránek; Jan Cervený; Stefan Müller 009; Ralf Steuer (CS2Bio, 2014)

Formal Biochemical Space with Semantics in Kappa and BNGL. - T. Ded; David Safránek; Matej Troják; Matej Klement; Jakub Salagovic; Lubos Brim (SASB, 2015)