Michele Baggi

According to our database, Michele Baggi authored at least 8 papers between 2007 and 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2010

An Access Control Language Based on Term Rewriting and Description Logic.

Michele Baggi, Demis Ballis, Moreno Falaschi

Proceedings of the Functional and Constraint Logic Programming, 2010

Completeness of Unfolding for Rewriting Logic Theories.

María Alpuente, Michele Baggi, Moreno Falaschi, Demis Ballis

Proceedings of the 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2010

A fold/unfold transformation framework for rewrite theories extended to CCT.

María Alpuente, Demis Ballis, Michele Baggi, Moreno Falaschi

Proceedings of the 2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2010

2009

Quantitative Pathway Logic for Computational Biology.

Michele Baggi, Demis Ballis, Moreno Falaschi

Proceedings of the Computational Methods in Systems Biology, 7th International Conference, 2009

2008

An Ontology-based System for Semantic Filtering of XML Data.

Michele Baggi

Proceedings of the 4th International Workshop on Automated Specification and Verification of Web Systems, 2008

XML Semantic Filtering via Ontology Reasoning.

Michele Baggi, Moreno Falaschi, Demis Ballis

Proceedings of the Third International Conference on Internet and Web Applications and Services, 2008

Semantic Verification of Web System Contents.

María Alpuente, Michele Baggi, Demis Ballis, Moreno Falaschi

Proceedings of the Advances in Conceptual Modeling - Challenges and Opportunities, 2008

2007

Phil: A Lazy Implementation of a Language for Approximate Filtering of XML Documents.

Michele Baggi, Demis Ballis

Proceedings of the 16th International Workshop on Functional and (Constraint) Logic Programming, 2007