Yu, H., & Weddell, G. (2004). Investigations in Tree Locking for Compiled Database Applications Presented at the Investigations in Tree Locking for Compiled Database Applications conference. Retrieved from https://dl.acm.org/citation.cfm?id=1034931
Reference author: Grant Weddell
First name
Grant
Last name
Weddell
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
Ben-David, S., Trefler, R. J., & Weddell, G. (2007). Bounded Model Checking With Description Logic Reasoning Presented at the Bounded Model Checking With Description Logic Reasoning conference. https://doi.org/10.1007/978-3-540-73099-6_7
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
Ben-David, S., Pound, J., Trefler, R. J., Tsarkov, D., & Weddell, G. (2009). Fair Cycle Detection Using Description Logic Reasoning Presented at the Fair Cycle Detection Using Description Logic Reasoning conference. Retrieved from http://ceur-ws.org/Vol-477/paper_56.pdf
Weddell, G. (1989). A Theory of Functional Dependencies for Object-Oriented Data Models Presented at the A Theory of Functional Dependencies for Object-Oriented Data Models conference.
Pugh, W., & Weddell, G. (1990). Two-Directional Record Layout for Multiple Inheritance Presented at the Two-Directional Record Layout for Multiple Inheritance conference. https://doi.org/10.1145/93542.93556
Pugh, W., & Weddell, G. (1990). Two-Directional Record Layout for Multiple Inheritance Presented at the Two-Directional Record Layout for Multiple Inheritance conference. https://doi.org/10.1145/93542.93556
Weddell, G., & Coburn, N. (1990). A Theory of Specialization Constraints for Complex Objects Presented at the A Theory of Specialization Constraints for Complex Objects conference. https://doi.org/10.1007/3-540-53507-1_80