Procedures to Investigate Injectivity of Polynomial Maps and to Compute the Inverse. - Stefania Audoly; Giuseppina Bellu; Anna Buttu; Leontina D'Angiò (Appl. Algebra Eng. Commun. Comput., 1991)

Global identifiability of linear compartmental models-a computer algebra algorithm. - Stefania Audoly; Leontina D'Angiò; Maria Pia Saccomani; Claudio Cobelli (IEEE Trans. Biomed. Eng., 1998)

A new differential algebra algorithm to test identifiability of nonlinear systems with given initial conditions. - Maria Pia Saccomani; Stefania Audoly; Giuseppina Bellu; Leontina D'Angiò (CDC, 2001)

Global identifiability of nonlinear models of biological systems. - Stefania Audoly; Giuseppina Bellu; Leontina D'Angiò; Maria Pia Saccomani; Claudio Cobelli (IEEE Trans. Biomed. Eng., 2001)

Parameter Identifiability of Nonlinear Biological Systems. - Maria Pia Saccomani; Stefania Audoly; Giuseppina Bellu; Leontina D'Angiò (POSTA, 2003)

Parameter identifiability of nonlinear systems: the role of initial conditions. - Maria Pia Saccomani; Stefania Audoly; Leontina D'Angiò (Autom., 2003)

DAISY: A new software tool to test global identifiability of biological and physiological systems. - Giuseppina Bellu; Maria Pia Saccomani; Stefania Audoly; Leontina D'Angiò (Comput. Methods Programs Biomed., 2007)

Examples of testing global identifiability of biological and biomedical models with the DAISY software. - Maria Pia Saccomani; Stefania Audoly; Giuseppina Bellu; Leontina D'Angiò (Comput. Biol. Medicine, 2010)

Two Examples of Testing Global Identifiability with the DAISY Software. - Maria Pia Saccomani; Stefania Audoly (Simul. Notes Eur., 2011)

A New Version of DAISY to Test Structural Identifiability of Biological Models. - Maria Pia Saccomani; Giuseppina Bellu; Stefania Audoly; Leontina D'Angiò (CMSB, 2019)