Michele Baggi

Publication Activity (10 Years)

Years Active: 2008-2010
Publications (10 Years): 0

Publications

María Alpuente, Demis Ballis, Michele Baggi, Moreno Falaschi
A fold/unfold transformation framework for rewrite theories extended to CCT. PEPM (2010)
María Alpuente, Michele Baggi, Moreno Falaschi, Demis Ballis
Completeness of Unfolding for Rewriting Logic Theories. SYNASC (2010)
Michele Baggi, Demis Ballis, Moreno Falaschi
An Access Control Language Based on Term Rewriting and Description Logic. WFLP (2010)
Michele Baggi, Demis Ballis, Moreno Falaschi
Quantitative Pathway Logic for Computational Biology. CMSB (2009)
Michele Baggi
An Ontology-based System for Semantic Filtering of XML Data. Electron. Notes Theor. Comput. Sci. 235 (2009)
Michele Baggi, Demis Ballis
Phil: A Lazy Implementation of a Language for Approximate Filtering of XML Documents. Electron. Notes Theor. Comput. Sci. 216 (2008)
María Alpuente, Michele Baggi, Demis Ballis, Moreno Falaschi
Semantic Verification of Web System Contents. ER Workshops (2008)
Michele Baggi, Moreno Falaschi, Demis Ballis
XML Semantic Filtering via Ontology Reasoning. ICIW (2008)