À¶Ý®ÊÓƵ

Ben-David, S. ., Trefler, R. J., & Weddell, G. . (2007). Bounded Model Checking With Description Logic Reasoning. Bounded Model Checking With Description Logic Reasoning. Presented at the. https://doi.org/10.1007/978-3-540-73099-6_7

Ben-David, S. ., Trefler, R. J., & Weddell, G. . (2006). Model Checking the Basic Modalities of CTL With Description Logic. Model Checking the Basic Modalities of CTL With Description Logic. Presented at the. Retrieved from http://ceur-ws.org/Vol-189/submission_33.pdf

Ben-David, S. ., Trefler, R. J., & Weddell, G. . (2006). Model Checking the Basic Modalities of CTL With Description Logic. Model Checking the Basic Modalities of CTL With Description Logic. Presented at the. Retrieved from http://ceur-ws.org/Vol-189/submission_33.pdf

Hudek, A. K., & Weddell, G. . (2006). Binary Absorption in Tableaux-Based Reasoning for Description Logics. Binary Absorption in Tableaux-Based Reasoning for Description Logics. Presented at the. Retrieved from http://ceur-ws.org/Vol-189/submission_34.pdf

Hudek, A. K., & Weddell, G. . (2006). Binary Absorption in Tableaux-Based Reasoning for Description Logics. Binary Absorption in Tableaux-Based Reasoning for Description Logics. Presented at the. Retrieved from http://ceur-ws.org/Vol-189/submission_34.pdf

Toman, D. . (2006). On Construction of Holistic Synopses Under the Duplicate Semantics Of Streaming Queries. On Construction of Holistic Synopses Under the Duplicate Semantics Of Streaming Queries. Presented at the. Retrieved from http://ceur-ws.org/Vol-174/paper6.pdf

Warren, R. H., & Tompa, F. . (2006). Multi-Column Substring Matching for Database Schema Translation. Multi-Column Substring Matching for Database Schema Translation. Presented at the. Retrieved from http://dl.acm.org/citation.cfm?id=1164157

Golab, L. . (2006). Sliding Window Query Processing Over Data Streams. Retrieved from http://hdl.handle.net/10012/2930

Chinaei, A. H., & Tompa, F. . (2005). User-Managed Access Control for Health Care Systems. User-Managed Access Control for Health Care Systems. Presented at the. 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. Structure and Content Scoring for XML. Presented at the. Retrieved from http://www.vldb.org/archives/website/2005/program/paper/wed/p361-amer-yahia.pdf