An efficient query optimization strategy for spatio-temporal queries in video databases. - Gulay Ünel; Mehmet Emin Dönderler; Özgür Ulusoy; Ugur Güdükbay (J. Syst. Softw., 2004)

An Incremental Technique for Automata-Based Decision Procedures. - Gulay Ünel; David Toman 001 (CADE, 2007)

Deciding Second-order Logics using Database Evaluation Techniques. - Gulay Ünel (2008)

Reasoning in Semantic Web-based Systems. - Florian Fischer; Gulay Ünel (Semantic Web Information Management, 2009)

Towards a Scalable, Pragmatic Knowledge Representation Language for the Web. - Florian Fischer; Gulay Ünel; Barry Bishop; Dieter Fensel (Ershov Memorial Conference, 2009)

Stream Reasoning: A Survey and Further Research Directions. - Gulay Ünel; Dumitru Roman (FQAS, 2009)

Speed-Up Techniques for Negation in Grounding. - Amir Aavani; Shahab Tasharrofi; Gulay Ünel; Eugenia Ternovska; David G. Mitchell (LPAR (Dakar), 2010)

Incremental reasoning on monadic second-order logics with logic programming. - Gulay Ünel (J. Log. Algebraic Methods Program., 2016)

Logic programming approach to automata-based decision procedures. - Gulay Ünel; David Toman 001 (J. Log. Algebraic Methods Program., 2017)

Stream Reasoning on Expressive Logics. - Gulay Ünel (CoRR, 2018)