Phil: A Lazy Implementation of a Language for Approximate Filtering of XML Documents. - Michele Baggi; Demis Ballis (WFLP@RDP, 2007)

Semantic Verification of Web System Contents. - María Alpuente; Michele Baggi; Demis Ballis; Moreno Falaschi (ER Workshops, 2008)

XML Semantic Filtering via Ontology Reasoning. - Michele Baggi; Moreno Falaschi; Demis Ballis (ICIW, 2008)

An Ontology-based System for Semantic Filtering of XML Data. - Michele Baggi (WWV, 2008)

Quantitative Pathway Logic for Computational Biology. - Michele Baggi; Demis Ballis; Moreno Falaschi (CMSB, 2009)

A fold/unfold transformation framework for rewrite theories extended to CCT. - María Alpuente; Demis Ballis; Michele Baggi; Moreno Falaschi (PEPM, 2010)

Completeness of Unfolding for Rewriting Logic Theories. - María Alpuente; Michele Baggi; Moreno Falaschi; Demis Ballis (SYNASC, 2010)

An Access Control Language Based on Term Rewriting and Description Logic. - Michele Baggi; Demis Ballis; Moreno Falaschi (WFLP, 2010)