Ben-David, S., Trefler, R. J., & Weddell, G. (2007). Modal vs. Propositional Reasoning for Model Checking With Description Logics Presented at the Modal Vs. Propositional Reasoning for Model Checking With Description Logics conference. Retrieved from http://ceur-ws.org/Vol-250/paper_65.pdf
References
Filter by:
2007
2006
Ben-David, S., Trefler, R. J., & Weddell, G. (2006). Model Checking the Basic Modalities of CTL With Description Logic Presented at the Model Checking the Basic Modalities of CTL With Description Logic conference. Retrieved from http://ceur-ws.org/Vol-189/submission_33.pdf
Golab, L. (2006). Sliding Window Query Processing Over Data Streams Retrieved from http://hdl.handle.net/10012/2930
Hudek, A. K., & Weddell, G. (2006). Binary Absorption in Tableaux-Based Reasoning for Description Logics Presented at the Binary Absorption in Tableaux-Based Reasoning for Description Logics conference. Retrieved from http://ceur-ws.org/Vol-189/submission_34.pdf
Ben-David, S., Trefler, R. J., & Weddell, G. (2006). Model Checking the Basic Modalities of CTL With Description Logic Presented at the Model Checking the Basic Modalities of CTL With Description Logic conference. Retrieved from http://ceur-ws.org/Vol-189/submission_33.pdf
Toman, D. (2006). On Construction of Holistic Synopses Under the Duplicate Semantics Of Streaming Queries Presented at the On Construction of Holistic Synopses Under the Duplicate Semantics Of Streaming Queries conference. Retrieved from http://ceur-ws.org/Vol-174/paper6.pdf
Hudek, A. K., & Weddell, G. (2006). Binary Absorption in Tableaux-Based Reasoning for Description Logics Presented at the Binary Absorption in Tableaux-Based Reasoning for Description Logics conference. Retrieved from http://ceur-ws.org/Vol-189/submission_34.pdf
Warren, R. H., & Tompa, F. (2006). Multi-Column Substring Matching for Database Schema Translation Presented at the Multi-Column Substring Matching for Database Schema Translation conference. Retrieved from http://dl.acm.org/citation.cfm?id=1164157
2005
Chinaei, A. H., & Tompa, F. (2005). User-Managed Access Control for Health Care Systems Presented at the User-Managed Access Control for Health Care Systems conference. https://doi.org/10.1007/11552338_5
Amer-Yahia, S., Koudas, N., Marian, A. elie, Srivastava, D., & Toman, D. (2005). Structure and Content Scoring for XML Presented at the Structure and Content Scoring for XML conference. Retrieved from http://www.vldb.org/archives/website/2005/program/paper/wed/p361-amer-yahia.pdf