 | 2010 |
|---|
| 8 |       | María Alpuente,
Demis Ballis,
Michele Baggi,
Moreno Falaschi:
A fold/unfold transformation framework for rewrite theories extended to CCT.
PEPM 2010: 43-52 |
| 7 | | María Alpuente,
Michele Baggi,
Moreno Falaschi,
Demis Ballis:
Completeness of Unfolding for Rewriting Logic Theories.
SYNASC 2010: 116-123 |
| 6 | | Michele Baggi,
Demis Ballis,
Moreno Falaschi:
An Access Control Language Based on Term Rewriting and Description Logic.
WFLP 2010: 66-83 |
| 2009 |
|---|
| 5 | | Michele Baggi,
Demis Ballis,
Moreno Falaschi:
Quantitative Pathway Logic for Computational Biology.
CMSB 2009: 68-82 |
| 4 | | Michele Baggi:
An Ontology-based System for Semantic Filtering of XML Data.
Electr. Notes Theor. Comput. Sci. 235: 19-33 (2009) |
| 2008 |
|---|
| 3 | | María Alpuente,
Michele Baggi,
Demis Ballis,
Moreno Falaschi:
Semantic Verification of Web System Contents.
ER Workshops 2008: 437-446 |
| 2 | | Michele Baggi,
Moreno Falaschi,
Demis Ballis:
XML Semantic Filtering via Ontology Reasoning.
ICIW 2008: 482-487 |
| 1 | | Michele Baggi,
Demis Ballis:
Phil: A Lazy Implementation of a Language for Approximate Filtering of XML Documents.
Electr. Notes Theor. Comput. Sci. 216: 93-109 (2008) |
Data released under the ODC-BY 1.0 license — See also our legal information page