Ahmet Sencan

Publication Activity (10 Years)

Years Active: 2021-2022
Publications (10 Years): 5

Top Topics

Top Venues

Log. Methods Comput. Sci.

Publications

Jaroslav Bendík, Ahmet Sencan, Ebru Aydin Gol, Ivana Cerná
Timed Automata Robustness Analysis via Model Checking. Log. Methods Comput. Sci. 18 (3) (2022)
Mustafa Sercan Amac, Ahmet Sencan, Orhun Bugra Baran, Nazli Ikizler-Cinbis, Ramazan Gokberk Cinbis
MaskSplit: Self-supervised Meta-learning for Few-shot Semantic Segmentation. WACV (2022)
Jaroslav Bendík, Ahmet Sencan, Ebru Aydin Gol, Ivana Cerná
Timed Automata Relaxation for Reachability. TACAS (1) (2021)
Jaroslav Bendík, Ahmet Sencan, Ebru Aydin Gol, Ivana Cerná
Timed Automata Robustness Analysis via Model Checking. CoRR (2021)
Mustafa Sercan Amac, Ahmet Sencan, Orhun Bugra Baran, Nazli Ikizler-Cinbis, Ramazan Gokberk Cinbis
MaskSplit: Self-supervised Meta-learning for Few-shot Semantic Segmentation. CoRR (2021)