| Formalizing 𝜑-calculus: a purely object-oriented calculus of decorated objects N Kudasov, V Sim Proceedings of the ECOOP Workshop on Formal Techniques for Java-like …, 2022 | 5* | 2022 |
| Free Monads, Intrinsic Scoping, and Higher-Order Preunification N Kudasov arXiv preprint arXiv:2204.05653, 2022 | 2* | 2022 |
| E-unification for second-order abstract syntax N Kudasov arXiv preprint arXiv:2302.05815, 2023 | 1 | 2023 |
| Experimental prover for Tope logic N Kudasov SCAN 2023, 37, 2023 | 1 | 2023 |
| Higher-order unification from e-unification with second-order equations and parametrised metavariables N Kudasov UNIF, 2022 | 1 | 2022 |
| Formalizing the ∞-Categorical Yoneda Lemma N Kudasov, E Riehl, J Weinberger Proceedings of the 13th ACM SIGPLAN International Conference on Certified …, 2024 | | 2024 |
| Generalising Huet-style Projections in E-unification for Second-Order Abstract Syntax N Kudasov UNIF 2023-37th International Workshop on Unification, 2023 | | 2023 |
| Workshop" Semantical and Computational Aspects of Non-Classical Logics"(SCAN 2023) AS Nikolaevich, K Max, KS Lvovich, OS Pavlovich, SV Borisovich, ... Workshop" Semantical and Computational Aspects of Non-Classical Logics"(SCAN …, 2023 | | 2023 |
| Running Regular Research Seminar Online NV Shilov, DA Kondratyev, N Kudasov, IS Anureev KES International Symposium on Agent and Multi-Agent Systems: Technologies …, 2023 | | 2023 |
| Detecting Unjustified Assumptions in Subclasses via Elegant Objects Representation V Korbashov, N Kudasov, M Olokin, V Sim arXiv preprint arXiv:2209.01825, 2022 | | 2022 |
| Detecting unanticipated mutual recursion using Elegant Objects representation of object-oriented programs N Kudasov, M Olokin, O Potyomkin, N Shilov, M Stepanov arXiv preprint arXiv:2209.01803, 2022 | | 2022 |
| Teaching Logic, from a Conceptual Viewpoint D de Carvalho, N Kudasov Frontiers in Software Engineering Education: First International Workshop …, 2020 | | 2020 |
