Concepedia

Ekaterina Komendantskaya

EK

Statistics

Publications

14

Citations

299

H-Index

11

Active since

2007

Affiliations

Heriot-Watt University(Current)

University of Dundee

Heriot-Watt University Malaysia

Ekaterina Komendantskaya is an author at Heriot-Watt University specializing in engineering, computer science, and automated reasoning.

Top concepts

EngineeringComputer ScienceAutomated ReasoningFormal MethodsMachine LearningLogic ProgrammingSemanticsFormal VerificationComputer EngineeringArtificial Intelligence

Publications per year

2007–2023

14

Publications

14

Machine Learning in Proof General: Interfacing Interfaces

Ekaterina Komendantskaya, Jónathan Heras, Gudmund Grov · Electronic Proceedings in Theoretical Computer Science · 2013 · 53 citations · Full text

Artificial Intelligence, Engineering, Machine Learning +16

Coalgebraic logic programming: from Semantics to Implementation

Ekaterina Komendantskaya, John Power, Martín Schmidt · Journal of Logic and Computation · 2014 · 37 citations · Full text

Applied Logic, Computational Logic, Declarative Programming +13

Inductive and Coinductive Components of Corecursive Functions in Coq

Yves Bertot, Ekaterina Komendantskaya · Electronic Notes in Theoretical Computer Science · 2008 · 25 citations · Full text

Circuit Complexity, Coinductive Definitions, Constructive Mathematics +14

Relative Robustness of Quantized Neural Networks Against Adversarial Attacks

Kirsty Duncan, Ekaterina Komendantskaya, Robert Stewart et al. · 2020 · 24 citations

Engineering, Machine Learning, Generative Adversarial Network +14

Coalgebraic Derivations in Logic Programming

Ekaterina Komendantskaya, John Power · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2011 · 21 citations · Full text

Algebraic Logic, Coalgebraic Derivations, Engineering +12

1–5 of 14