Get started
Author

Ekaterina Komendantskaya

Observed names: E. Komendantskaya, EKATERINA KOMENDANTSKAYA, EKATERINA KOMENDANTSKYA, Ekaterina Kommendentskaya, Komendantskaya, E., Komendantskaya, Ekaterina
Observed institutions: Institut national de recherche en sciences et technologies du numérique, University of St Andrews, University of Dundee, National University of Ireland, University College Cork, Heriot-Watt University, Centre Inria d'Université Côte d'Azur, University of Southampton
ORCID: 0000-0002-3240-0987
Observed ORCID: 0000-0002-3240-0987
OpenAlex ID: A5026643182
Marabou 2.0: A Versatile Formal Analyzer of Neural Networks
2024 · Haoze Wu, Omri Isac, et al. · Lecture notes in computer science · 52
Machine Learning in Proof General: Interfacing Interfaces
2013 · Ekaterina Komendantskaya, Jónathan Heras, et al. · Electronic Proceedings in Theoretical Computer Science · 51
PDF
Neural Network Robustness as a Verification Property: A Principled Case Study
2022 · Marco Casadio, Ekaterina Komendantskaya, et al. · Lecture notes in computer science · 43
PDF
Proof-Pattern Recognition and Lemma Discovery in ACL2
2013 · Jónathan Heras, Ekaterina Komendantskaya, et al. · Lecture notes in computer science · 32
PDF
Coalgebraic logic programming: from Semantics to Implementation
2014 · Ekaterina Komendantskaya, John Power, et al. · Journal of Logic and Computation · 31
PDF
Inductive and Coinductive Components of Corecursive Functions in Coq
2008 · Yves Bertot, Ekaterina Komendantskaya · Electronic Notes in Theoretical Computer Science · 25
PDF
Relative Robustness of Quantized Neural Networks Against Adversarial Attacks
2020 · Kirsty Duncan, Ekaterina Komendantskaya, et al. · 24
Coalgebraic Semantics for Derivations in Logic Programming
2011 · Ekaterina Komendantskaya, John Power · Lecture notes in computer science · 23
Proof Relevant Corecursive Resolution
2016 · Peng Fu, Ekaterina Komendantskaya, et al. · Lecture notes in computer science · 21
PDF
First-order deduction in neural networks.
2007 · Ekaterina Komendantskaya · 21
Coalgebraic Derivations in Logic Programming
2011 · Komendantskaya, Ekaterina, Power, John · ePrints Soton (University of Southampton) · 20
PDF
Optimising Hardware Accelerated Neural Networks with Quantisation and a Knowledge Distillation Evolutionary Algorithm
2021 · Robert Stewart, Andrew Nowlan, et al. · Electronics · 19
PDF
Coalgebraic Semantics for Parallel Derivation Strategies in Logic Programming
2011 · Ekaterina Komendantskaya, Guy McCusker, et al. · Lecture notes in computer science · 19
Using Structural Recursion for Corecursion
2009 · Yves Bertot, Ekaterina Komendantskaya · Lecture notes in computer science · 19
PDF
Operational semantics of resolution and productivity in Horn clause logic
2016 · Peng Fu, Ekaterina Komendantskaya · Formal Aspects of Computing · 18
PDF
Recycling Proof Patterns in Coq: Case Studies
2014 · Jónathan Heras, Jónathan Heras, et al. · Mathematics in Computer Science · 18
Accuracy, Training Time and Hardware Efficiency Trade-Offs for Quantized Neural Networks on FPGAs
2020 · Pascal Bacchus, Robert Stewart, et al. · Lecture notes in computer science · 16
Structural Resolution for Logic Programming
2015 · Johann, P., Komendantskaya, E., et al. · arXiv (Cornell University) · 15
PDF
Unification neural networks: unification by error-correction learning
2010 · E. Komendantskaya · Logic Journal of IGPL · 15
Neuro-Symbolic AI + Agent Systems: A First Reflection on Trends, Opportunities and Challenges
2024 · Vaishak Belle, Michael Fisher, et al. · Lecture notes in computer science · 13
Productive corecursion in logic programming
2017 · EKATERINA KOMENDANTSKAYA, YUE LI · Theory and Practice of Logic Programming · 13
PDF
Coinduction in Uniform: Foundations for Corecursive Proof Search with Horn Clauses
2019 · Henning Basold, Ekaterina Komendantskaya, et al. · Lecture notes in computer science · 12
PDF
Logic of Differentiable Logics: Towards a Uniform Semantics of DL
2023 · Natalia Ślusarz, Ekaterina Komendantskaya, et al. · EPiC series in computing · 11
PDF
Connectionist Representation of Multi-Valued Logic Programs
2007 · Ekaterina Komendantskaya, Máire Lane, et al. · Studies in computational intelligence · 11
A Productivity Checker for Logic Programming
2017 · Ekaterina Komendantskaya, Patricia Johann, et al. · Lecture notes in computer science · 10
Works count: 156
Citation count: 798
H-index: 17
I10-index: 27
Year
Topic
Type