Tompa, F. . (2009). Hypertexts. Springer. https://doi.org/10.1007/978-0-387-39940-9_5014
Publications
Filter by:
Ataullah, A. A., Aboulnaga, A. ., & Tompa, F. . (2008). Records Retention in Relational Database Systems. Records Retention in Relational Database Systems. Presented at the. https://doi.org/10.1145/1458082.1458197
Ataullah, A. A., Aboulnaga, A. ., & Tompa, F. . (2008). Records Retention in Relational Database Systems. Retention in Relational Database Systems. Presented at the. https://doi.org/10.1145/1458082.1458197
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
Chinaei, A. H., Chinaei, H. R., & Tompa, F. . (2007). A Unified Conflict Resolution Algorithm. A Unified Conflict Resolution Algorithm. Presented at the. https://doi.org/10.1007/978-3-540-75248-6_1
DeHaan, D. ., & Tompa, F. . (2007). Optimal Top-Down Join Enumeration. Optimal Top-Down Join Enumeration. Presented at the. https://doi.org/10.1145/1247480.1247567
Ben-David, S. ., Trefler, R. J., & Weddell, G. . (2007). Modal vs. Propositional Reasoning for Model Checking With Description Logics. Modal Vs. Propositional Reasoning for Model Checking With Description Logics. Presented at the. Retrieved from http://ceur-ws.org/Vol-250/paper_65.pdf
Bansal, N. ., Chiang, F. ., Koudas, N. ., & Tompa, F. . (2007). Seeking Stable Clusters in the Blogosphere. Seeking Stable Clusters in the Blogosphere. Presented at the. Retrieved from http://www.vldb.org/conf/2007/papers/research/p806-bansal.pdf
Ben-David, S. ., Trefler, R. J., & Weddell, G. . (2007). Modal vs. Propositional Reasoning for Model Checking With Description Logics. Modal Vs. Propositional Reasoning for Model Checking With Description Logics . Presented at the. Retrieved from http://ceur-ws.org/Vol-250/paper_65.pdf
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