Timed Automata Relaxation for Reachability. - Jaroslav Bendík; Ahmet Sencan; Ebru Aydin Gol; Ivana Cerná (TACAS (1), 2021)

MaskSplit: Self-supervised Meta-learning for Few-shot Semantic Segmentation. - Mustafa Sercan Amac; Ahmet Sencan; Orhun Bugra Baran; Nazli Ikizler-Cinbis; Ramazan Gokberk Cinbis (WACV, 2022)

Timed Automata Robustness Analysis via Model Checking. - Jaroslav Bendík; Ahmet Sencan; Ebru Aydin Gol; Ivana Cerná (Log. Methods Comput. Sci., 2022)