Beyazit Yalcinkaya
Orcid: 0000-0001-9987-635X
According to our database1,
Beyazit Yalcinkaya
authored at least 9 papers
between 2019 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2019
2020
2021
2022
2023
2024
0
1
2
3
4
2
1
1
1
1
1
2
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Proceedings of the Advances in Neural Information Processing Systems 38: Annual Conference on Neural Information Processing Systems 2024, 2024
2023
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., November, 2023
CoRR, 2023
Compositional Simulation-Based Analysis of AI-Based Autonomous Systems for Markovian Specifications.
Proceedings of the Runtime Verification - 23rd International Conference, 2023
2022
Acta Informatica, 2022
Learning Deterministic Finite Automata Decompositions from Examples and Demonstrations.
Proceedings of the 22nd Formal Methods in Computer-Aided Design, 2022
2019
Proceedings of the 7th International Workshop on Formal Methods in Software Engineering, 2019
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019