You are here

Publications

Search

Show only items where

Author

Type

Term

Year

Keyword

Export 7 results:

BibTex

Filters: Author is Michele Baggi [Clear All Filters]

2010

M. Alpuente, Baggi, M., Ballis, D., and Falaschi, M., “Completeness of Unfolding for Rewriting Logic Theories”, 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2010. IEEE Computer Society Press, pp. 116–123, 2010.

M. Alpuente, Baggi, M., Ballis, D., and Falaschi, M., “A Fold/Unfold Transformation Framework for Rewrite Theories Extended to CCT”, ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2010. Springer, pp. 43–52, 2010.

2009

M. Baggi, “An Ontology-based System for Semantic Filtering of XML Data”, Electronic Notes in Theoretical Computer Science, vol. 235, pp. 19–33, 2009.

M. Baggi, Ballis, D., and Falaschi, M., “Quantitative Pathway Logic for Computational Biology”, Computational Methods in Systems Biology, 7th International Conference, CMSB 2009. Springer, pp. 68–82, 2009.

2008

M. Baggi and Ballis, D., “A Lazy Implementation of a Language for Approximate Filtering of XML Documents”, Proceedings of the 16th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2007), vol. 216. Elsevier, pp. 93–109, 2008.

M. Alpuente, Baggi, M., Ballis, D., and Falaschi, M., “Semantic Verification of Web System Contents”, ER 2008 Workshops (WISM 2008), vol. 5232. Springer, pp. 437–446, 2008.

M. Baggi, Ballis, D., and Falaschi, M., “XML Semantic Filtering via Ontology Reasoning”, 3rd International Conference on Internet and Web Applications and Services, ICIW 2008. IEEE Computer Society, pp. 482–487, 2008.