Ekaterina Komendantskaya

Cited by

	All	Since 2018
Citations	807	392
h-index	16	11
i10-index	26	13

2006200720082009201020112012201320142015201620172018201920202021202220234 14 10 21 20 27 35 36 54 44 66 75 74 57 72 69 87 33

Public access

View all

25 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
Peng FuDalhousie UniversityVerified email at dal.ca
Robert StewartAssociate Professor, Heriot Watt UniversityVerified email at hw.ac.uk
Yue LiHeriot-Watt UniversityVerified email at hw.ac.uk
Matthew L. DaggittPost-doc, Heriot-Watt UniversityVerified email at hw.ac.uk
Patricia JohannAppalachian State UniversityVerified email at appstate.edu
Marco CasadioPhd, Heriot-Watt UniversityVerified email at hw.ac.uk
Gudmund GrovSenior Scientist, Norwegian Defence Research EstablishmentVerified email at ffi.no
Henning BasoldLIACS - Leiden UniversityVerified email at liacs.leidenuniv.nl
Moa JohanssonAssociate Professor (Docent), Chalmers UniversityVerified email at chalmers.se
František FarkaIMDEA Software InstituteVerified email at imdea.org
Pascal BacchusPhD Student at INRIAVerified email at inria.fr
Guy McCuskerProfessor of Computer Science, University of BathVerified email at bath.ac.uk
Michael LonesAssociate Professor, Department of Computer Science, Heriot-Watt UniversityVerified email at hw.ac.uk
Kevin HammondTechnology Manager, IOHKVerified email at iohk.io
Robert AtkeyUniversity of StrathclydeVerified email at strath.ac.uk
David AspinallProfessor in Computer Science, University of EdinburghVerified email at ed.ac.uk
Ron PetrickHeriot-Watt UniversityVerified email at hw.ac.uk
Tom SchrijversProfessor of Computer Science, KU LeuvenVerified email at cs.kuleuven.be

Ekaterina Komendantskaya

Professor in Computer Science, Heriot-Watt University, Scotland

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	63*	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	55	2013
Coalgebraic logic programming: from semantics to implementation E Komendantskaya, AJ Power, M Schmidt Journal of Logic and Computation 26 (2), 745-783, 2016	41	2016
Unification neural networks: unification by error-correction learning E Komendantskaya Logic Journal of the IGPL 19 (6), 821-847, 2011	41*	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	39	2008
Operational semantics of resolution and productivity in Horn clause logic P Fu, E Komendantskaya Formal Aspects of Computing 29, 453-474, 2017	38*	2017
Proof Relevant Corecursive Resolution P Fu, E Komendantskaya, T Schrijvers, A Pond FLOPS'2016 arXiv preprint arXiv:1511.09394, 2015	34	2015
Coalgebraic semantics for derivations in logic programming E Komendantskaya, J Power Algebra and Coalgebra in Computer Science: 4th International Conference …, 2011	32	2011
Coalgebraic derivations in logic programming E Komendantskaya, J Power Computer Science Logic (CSL'11), 352-366, 2011	28	2011
Recycling Proof Patterns in Coq: Case Studies J Heras, E Komendantskaya Mathematics in Computer Science, 2013	24*	2013
Coalgebraic semantics for parallel derivation strategies in logic programming E Komendantskaya, G McCusker, J Power Algebraic Methodology and Software Technology: 13th International Conference …, 2011	23	2011
Using structural recursion for corecursion Y Bertot, E Komendantskaya Types for Proofs and Programs: International Conference, TYPES 2008 Torino …, 2009	23	2009
Productive corecursion in logic programming E Komendantskaya, Y Li ICLP, International Conference on Logic Programming 2017, 2017	21	2017
Neural Network Robustness as a Verification Property: A Principled Case Study M Casadio, E Komendantskaya, ML Daggitt, W Kokke, G Katz, G Amir, ...	19*	2022
Structural Resolution for Logic Programming P Johann, E Komendantskaya, V Komendantskiy ICLP 2015, 2015	18	2015
Coinduction in uniform: Foundations for corecursive proof search with horn clauses H Basold, E Komendantskaya, Y Li Programming Languages and Systems: 28th European Symposium on Programming …, 2019	17	2019
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	16	2020
Structural Resolution: a Framework for Coinductive Proof Search and Proof Construction in Horn Clause Logic E Komendantskaya, P Johann, M Schmidt A draft, available as arXiv preprint, 2017	16	2017
Sound and complete SLD-resolution for bilattice-based annotated logic programs E Komendantskaya, AK Seda Electronic Notes in Theoretical Computer Science 225, 141-159, 2009	15*	2009
Connectionist representation of multi-valued logic programs E Komendantskaya, M Lane, AK Seda Perspectives of Neural-Symbolic Integration, 283-313, 2007	15	2007

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