Oguzcan Oguz

Publication Activity (10 Years)

Years Active: 2010-2013
Publications (10 Years): 0

Top Topics

Formal Verification

Image Representation

Top Venues

Publications

Oguzcan Oguz, Funda Durupinar, Ugur Güdükbay
Dynamic point-region quadtrees for particle simulations. Inf. Sci. 218 (2013)
Oguzcan Oguz, Jan F. Broenink, Angelika Mader
Schedulability Analysis of Timed CSP Models Using the PAT Model Checker. CPA (2012)
Oguzcan Oguz, Ates Akaydin, Türker Yilmaz, Ugur Güdükbay
Emergency crowd simulation for outdoor environments. Comput. Graph. 34 (2) (2010)