Ekaterina Komendantskaya

Cited by

	All	Since 2019
Citations	984	498
h-index	18	13
i10-index	31	17

140

105

20062007200820092010201120122013201420152016201720182019202020212022202320244 14 10 17 18 30 35 36 54 41 69 76 74 55 73 73 85 91 121

Public access

View all

28 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Jónathan HerasUniversity of La RiojaVerified email at unirioja.es
John PowerHonorary Professor in Computing, Macquarie UniversityVerified email at bath.edu
Matthew L. DaggittLecturer, University of Western AustraliaVerified email at uwa.edu.au
Robert StewartAssociate Professor, Heriot Watt UniversityVerified email at hw.ac.uk
Peng FuUniversity of South CarolinaVerified email at cse.sc.edu
Marco CasadioPhd, Heriot-Watt UniversityVerified email at hw.ac.uk
Guy KatzThe Hebrew University of JerusalemVerified email at cs.huji.ac.il
Yue LiHeriot-Watt UniversityVerified email at hw.ac.uk
Natalia ŚlusarzPhD student, Heriot-Watt UniversityVerified email at hw.ac.uk
Luca ArnaboldiAssistant Professor, University of BirminghamVerified email at bham.ac.uk
Patricia JohannAppalachian State UniversityVerified email at appstate.edu
Robert AtkeyUniversity of StrathclydeVerified email at strath.ac.uk
Omri IsacThe Hebrew University of JerusalemVerified email at mail.huji.ac.il
Rémi DesmartinHeriot-Watt UniversityVerified email at hw.ac.uk
Kathrin StarkAssistant Professor, Heriot-Watt UniversityVerified email at hw.ac.uk
Henning BasoldLIACS - Leiden UniversityVerified email at liacs.leidenuniv.nl
Gudmund GrovSenior Scientist, Norwegian Defence Research EstablishmentVerified email at ffi.no
Grant Olney PassmoreImandra Inc. and Clare Hall, University of CambridgeVerified email at cl.cam.ac.uk
Pascal BacchusPhD in Deep Learning & Image ProcessingVerified email at inria.fr
Michael LonesProfessor, Department of Computer Science, Heriot-Watt UniversityVerified email at hw.ac.uk

Ekaterina Komendantskaya

Professor in Computer Science, Southampton University and Heriot-Watt University, UK

Verified email at hw.ac.uk - Homepage

Logic AI Verification Logic Programming Theorem Proving Machine Learning


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Machine Learning in Proof General: Interfacing Interfaces E Komendantskaya, J Heras, G Grov EPTCS 118 (User Interfaces for Theorem Provers), 15-41, 2013	70*	2013
Proof-pattern recognition and lemma discovery in ACL2 J Heras, E Komendantskaya, M Johansson, E Maclean Logic for Programming, Artificial Intelligence, and Reasoning: 19th …, 2013	54	2013
Neural Network Robustness as a Verification Property: A Principled Case Study M Casadio, E Komendantskaya, ML Daggitt, W Kokke, G Katz, G Amir, ... CAV'2022 International Conference on Computer-Aided Verification, 2022	47	2022
Coalgebraic logic programming: from semantics to implementation E Komendantskaya, AJ Power, M Schmidt Journal of Logic and Computation 26 (2), 745-783, 2016	47	2016
Unification neural networks: unification by error-correction learning E Komendantskaya Logic Journal of the IGPL 19 (6), 821-847, 2011	43*	2011
Inductive and coinductive components of corecursive functions in Coq Y Bertot, E Komendantskaya Coalgebraic Methods in Computer Science, 2008, arXiv preprint arXiv:0807.1524, 2008	41	2008
Operational semantics of resolution and productivity in Horn clause logic P Fu, E Komendantskaya Formal Aspects of Computing 29, 453-474, 2017	39*	2017
Proof Relevant Corecursive Resolution P Fu, E Komendantskaya, T Schrijvers, A Pond FLOPS'2016 arXiv preprint arXiv:1511.09394, 2015	36	2015
Coalgebraic semantics for derivations in logic programming E Komendantskaya, J Power Algebra and Coalgebra in Computer Science: 4th International Conference …, 2011	34	2011
Recycling Proof Patterns in Coq: Case Studies J Heras, E Komendantskaya Mathematics in Computer Science, 2013	30*	2013
Coalgebraic derivations in logic programming E Komendantskaya, J Power Computer Science Logic (CSL'11), 352-366, 2011	30	2011
Relative robustness of quantized neural networks against adversarial attacks K Duncan, E Komendantskaya, R Stewart, M Lones 2020 International Joint Conference on Neural Networks (IJCNN), 1-8, 2020	28	2020
Coalgebraic semantics for parallel derivation strategies in logic programming E Komendantskaya, G McCusker, J Power Algebraic Methodology and Software Technology: 13th International Conference …, 2011	26	2011
Using structural recursion for corecursion Y Bertot, E Komendantskaya Types for Proofs and Programs: International Conference, TYPES 2008 Torino …, 2009	25	2009
Coinduction in uniform: Foundations for corecursive proof search with Horn clauses H Basold, E Komendantskaya, Y Li ESOP'19: European Symposium on Programming, 783-813, 2019	22	2019
Productive corecursion in logic programming E Komendantskaya, Y Li ICLP, International Conference on Logic Programming 2017, 2017	21	2017
Optimising hardware accelerated neural networks with quantisation and a knowledge distillation evolutionary algorithm R Stewart, A Nowlan, P Bacchus, Q Ducasse, E Komendantskaya Electronics 10 (4), 396, 2021	19	2021
Accuracy, training time and hardware efficiency trade-offs for quantized neural networks on fpgas P Bacchus, R Stewart, E Komendantskaya International symposium on applied reconfigurable computing, 121-135, 2020	18	2020
A Productivity Checker for Logic Programming E Komendantskaya, P Johann, M Schmidt LOPSTR 2016 pre-proceedings at arXiv preprint arXiv:1608.04415, 2016	18	2016
Structural Resolution for Logic Programming P Johann, E Komendantskaya, V Komendantskiy ICLP 2015, 2015	18	2015

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors