1. Towards modular verification of pathways: fairness and assumptions;Drábik,2012
2. Modular verification of interactive systems with an application to biology;Drábik;Sci. Ann. Comput. Sci.,2011
3. Modular verification of qualitative pathway models with fairness;Drábik;Sci. Ann. Comput. Sci.,2013
4. An algorithm for the identification of components in biochemical pathways;Pardini,2013
5. Application of a semi-automatic algorithm for identification of molecular components in SBML models;Maggiolo-Schettini,2013