G. Unel, M. E. Donderler, O. Ulusoy, U. Gudukbay, An Efficient Query Optimization Strategy for Spatio-Temporal Queries in Video Databases, Journal of Systems and Software, vol.73, no.1, 2004.

[Abstract and Full Paper] [Project Page]

G. Unel, D. Toman, Deciding Weak Monadic Second-order Logics using Complex-value Datalog. Proc. Applications of Description Logics 2004, CEUR-WS vol.115, 2004.

[Abstract and Full Paper]

G. Unel, D. Toman, Deciding Weak Monadic Second-order Logics using Complex-value Datalog. Proc. LPAR-12, short paper, 2005.

[Abstract and Full Paper]

G. Unel, D. Toman, An Incremental Technique for Automata-based Decision Procedures. Proc. CADE, 2007.

[Abstract and Full Paper]

G. Unel, D. Toman, Logic Programming Approach to Automata-based Decision Procedures. Proc. ICLP, 2007.

[Abstract and Full Paper]

F. Fischer, G. Unel, B. Bishop, D. Fensel, Towards a scalable, pragmatic Knowledge Representation Language for the Web. Proc. PSI (Perspectives of System Informatics), 2009.

[Abstract and Full Paper]

G. Unel, D. Roman,Stream Reasoning: A Survey and Further Research Directions. Proc. Web as a Stream Workshop, FQAS, 2009.

[Abstract and Full Paper]

F. Fischer, G. Unel, Reasoning in Semantic Web-based Systems. Semantic Web Information Management A Model-Based Perspective, R. De Virgilio, F. Giunchiglia, L. Tanca (Eds.), 2010.

[In Book]

A. Aavani, S. Tasharrofi, G. Unel, E. Ternovska, D. Mitchell, Speed-up Techniques for Negation in Grounding. Proc. LPAR-16, 2010.

[Abstract and Full Paper]