Ikuti
Ekaterina Komendantskaya
Ekaterina Komendantskaya
Professor in Computer Science, Southampton University and Heriot-Watt University, UK
Email yang diverifikasi di hw.ac.uk - Beranda
Judul
Dikutip oleh
Dikutip oleh
Tahun
Machine Learning in Proof General: Interfacing Interfaces
E Komendantskaya, J Heras, G Grov
EPTCS 118 (User Interfaces for Theorem Provers), 15-41, 2013
71*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
582022
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
552013
Coalgebraic logic programming: from semantics to implementation
E Komendantskaya, AJ Power, M Schmidt
Journal of Logic and Computation 26 (2), 745-783, 2016
472016
Unification neural networks: unification by error-correction learning
E Komendantskaya
Logic Journal of the IGPL 19 (6), 821-847, 2011
44*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
412008
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
352015
Coalgebraic semantics for derivations in logic programming
E Komendantskaya, J Power
Algebra and Coalgebra in Computer Science: 4th International Conference …, 2011
342011
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
322020
Recycling Proof Patterns in Coq: Case Studies
J Heras, E Komendantskaya
Mathematics in Computer Science, 2013
32*2013
Coalgebraic derivations in logic programming
E Komendantskaya, J Power
Computer Science Logic (CSL'11), 352-366, 2011
292011
Marabou 2.0: a versatile formal analyzer of neural networks
H Wu, O Isac, A Zeljić, T Tagomori, M Daggitt, W Kokke, I Refaeli, G Amir, ...
International Conference on Computer Aided Verification, 249-264, 2024
272024
Coalgebraic semantics for parallel derivation strategies in logic programming
E Komendantskaya, G McCusker, J Power
Algebraic Methodology and Software Technology: 13th International Conference …, 2011
262011
Using structural recursion for corecursion
Y Bertot, E Komendantskaya
Types for Proofs and Programs: International Conference, TYPES 2008 Torino …, 2009
242009
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
212019
Productive corecursion in logic programming
E Komendantskaya, Y Li
ICLP, International Conference on Logic Programming 2017, 2017
212017
Logic of differentiable logics: Towards a uniform semantics of DL
N Ślusarz, E Komendantskaya, ML Daggitt, R Stewart, K Stark
LPAR 2023: Logic for Programming, Artificial Intelligence and Reasoning, 2023
202023
Accuracy, training time and hardware efficiency trade-offs for quantized neural networks on fpgas
P Bacchus, R Stewart, E Komendantskaya
Applied Reconfigurable Computing. Architectures, Tools, and Applications …, 2020
202020
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
192021
Sistem tidak dapat melakukan operasi ini. Coba lagi nanti.
Artikel 1–20