| |
| 2007 | ||
|---|---|---|
| 3 | EE | Gulay Ünel, David Toman: An Incremental Technique for Automata-Based Decision Procedures. CADE 2007: 100-115 |
| 2 | EE | Gulay Ünel, David Toman: Logic Programming Approach to Automata-Based Decision Procedures. ICLP 2007: 165-179 |
| 2004 | ||
| 1 | EE | 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) |
| 1 | Mehmet Emin Dönderler | [1] |
| 2 | Ugur Güdükbay | [1] |
| 3 | David Toman | [2] [3] |
| 4 | Özgür Ulusoy | [1] |