Pomset Logic and Variants in Natural Languages. - Irene Schena (LACL, 1996)

XML, Stylesheets and the Re-mathematization of Formal Content. - Andrea Asperti; Luca Padovani; Claudio Sacerdoti Coen; Irene Schena (Extreme Markup Languages®, 2001)

HELM and the Semantic Math-Web. - Andrea Asperti; Luca Padovani; Claudio Sacerdoti Coen; Irene Schena (TPHOLs, 2001)

A Query Language for a Metadata Framework about Mathematical Resources. - Ferruccio Guidi; Irene Schena (MKM, 2003)

Mathematical Knowledge Management in HELM. - Andrea Asperti; Luca Padovani; Claudio Sacerdoti Coen; Ferruccio Guidi; Irene Schena (Ann. Math. Artif. Intell., 2003)