Items where Author is "Saraç, N. Ege"
![[up]](/style/images/multi_up.png)
Up a levelGroup by: Item Type | No Grouping
Jump to: Article | Papers in Conference Proceedings
Number of items: 2.
Article
Saraç, N. Ege and Altun, Ömer Faruk and Atam, Kamil Tolga and Karahoda, Sertaç and Kaya, Kamer and Yenigün, Hüsnü (2021) Boosting expensive synchronizing heuristics. Expert Systems with Applications, 167 . ISSN 0957-4174 (Print) 1873-6793 (Online)
Papers in Conference Proceedings
Henzinger, Thomas A. and Mazzocchi, Nicolas and Saraç, N. Ege and Yılmaz, Harun (2026) Extending QuAK with nested quantitative automata. In: 38th International Conference on Computer Aided Verification, CAV 2026, Lisbon, Portugal