Gulay Ünel

	2009
4		Gulay Ünel, Dumitru Roman: Stream Reasoning: A Survey and Further Research Directions. FQAS 2009: 653-662
	2007
3		Gulay Ünel, David Toman: An Incremental Technique for Automata-Based Decision Procedures. CADE 2007: 100-115
2		Gulay Ünel, David Toman: Logic Programming Approach to Automata-Based Decision Procedures. ICLP 2007: 165-179
	2004
1		Gulay Ünel, Mehmet Emin Dönderler, Özgür Ulusoy, Ugur Güdükbay: An efficient query optimization strategy for spatio-temporal queries in video databases. Journal of Systems and Software 73: 113-131 (2004)

Coauthor Index

1	Mehmet Emin Dönderler	[1]
2	Ugur Güdükbay	[1]
3	Dumitru Roman	[4]
4	David Toman	[2] [3]
5	Özgür Ulusoy	[1]

Colors in the list of coauthors