Search the dblp DataBase

Publications of Author

1. 
   Quantitative Pathway Logic for Computational Biology. [Citation Graph (, )][DBLP]
   
   
2. 
   Semantic Verification of Web System Contents. [Citation Graph (, )][DBLP]
   
   
3. 
   A fold/unfold transformation framework for rewrite theories extended to CCT. [Citation Graph (, )][DBLP]
   
   
4. 
   XML Semantic Filtering via Ontology Reasoning. [Citation Graph (, )][DBLP]
   
   
5. 
   Phil: A Lazy Implementation of a Language for Approximate Filtering of XML Documents. [Citation Graph (, )][DBLP]
   
   
6. 
   An Ontology-based System for Semantic Filtering of XML Data. [Citation Graph (, )][DBLP]