A. (Anton) Chernev, MSc

Chernev, A., Cîrstea, C., Hansen, H. H. & Kupke, C., 5-jun-2025, (Submitted) arXiv, 21 blz.

Onderzoeksoutput: Voordruk ›

Chernev, A., Cirstea, C., Hansen, H. H. & Kupke, C., 9-okt-2025, 2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). IEEE Computer Society, blz. 761-775 15 blz. (Proceedings - Symposium on Logic in Computer Science).

Onderzoeksoutput › › peer review

Chernev, A., Cîrstea, C., Hansen, H. H. & Kupke, C., 30-okt-2025, (Submitted) arXiv, 26 blz.

Onderzoeksoutput: Voordruk ›

Chernev, A., Hansen, H. H. & Kupke, C., 22-nov-2024, Theoretical Aspects of Computing – ICTAC 2024 - 21st International Colloquium, Proceedings. Anutariya, C. & Bonsangue, M. M. (reds.). Springer Science and Business Media Deutschland GmbH, blz. 96-113 18 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 15373 LNCS).

Onderzoeksoutput › › peer review

Chernev, A., Hansen, H. H. & Kupke, C., 19-jul-2024, (Submitted) arXiv, 27 blz.

Onderzoeksoutput: Voordruk ›