Publications
Total number of publications: 3280
Conference proceedings
-
The Resilmesh Architecture: Situation Aware Enabled Cyber Resilience for Dispersed, Heterogenous Cyber Systems
2025 IEEE 11th International Conference on Network Softwarization (NetSoft), year: 2025
-
The Satisfiability and Validity Problems for Probabilistic Computational Tree Logic Are Highly Undecidable
52nd International Colloquium on Automata, Languages, and Programming, year: 2025
-
The Theory of Genre Worlds in Case of Russian Popular Fiction
Současná srbská a česká slavistická bádání II, year: 2025
-
Threshold UCT: Cost-Constrained Monte Carlo Tree Search with Pareto Curves
Proceedings of the Thirty-Ninth AAAI Conference on Artificial Intelligence and Thirty-Seventh Conference on Innovative Applications of Artificial Intelligence and Fifteenth Symposium on Educational Advances in Artificial Intelligence, year: 2025
-
Towards Personalized Similarity Search for Vector Databases
17th International Conference on Similarity Search and Applications (SISAP 2024), year: 2025
-
Towards the Roots of the Negation Problem: A Multilingual NLI Dataset and Model Scaling Analysis
Findings of the Association for Computational Linguistics: EMNLP 2025, year: 2025
-
Transductions of Graph Classes Admitting Product Structure
40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), year: 2025
-
Trial by Twin: Behavior-Predictive Trust in Autonomous Drone Swarms
The 31st International Conference on Cooperative Information Systems (CoopIS), year: 2025
-
Trust-Driven Intent Analysis for Investigating Misbehavior in Smart Dynamic Ecosystems
International Conference on Computer-Human Interaction Research and Applications, year: 2025
-
Trust-supporting Governance of Smart Dynamic Ecosystems: Taxonomy and Key Components
Evaluation of Novel Approaches to Software Engineering. ENASE 2024. Communications in Computer and Information Science, year: 2025