Michele Baggi
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2008–2010
Best venue rank
C
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2010 | PEPM | A fold/unfold transformation framework for rewrite theories extended to CCT. | Mara Alpuente, Demis Ballis, Michele Baggi, Moreno Falaschi |
| 2010 | SYNASC | Completeness of Unfolding for Rewriting Logic Theories. | Mara Alpuente, Michele Baggi, Moreno Falaschi, Demis Ballis |
| 2008 | ER | Semantic Verification of Web System Contents. | Mara Alpuente, Michele Baggi, Demis Ballis, Moreno Falaschi |
| 2008 | ICIW | XML Semantic Filtering via Ontology Reasoning. | Michele Baggi, Moreno Falaschi, Demis Ballis |