Ekaterina Komendantskaya

Dr

  • EH14 4AS

    United Kingdom

20072020

Research output per year

If you made any changes in Pure these will be visible here soon.

Fingerprint Dive into the research topics where Ekaterina Komendantskaya is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

Co Author Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output

  • 14 Chapter
  • 10 Article
  • 9 Conference contribution
  • 1 Chapter (peer-reviewed)

Accuracy, Training Time and Hardware Efficiency Trade-Offs for Quantized Neural Networks on FPGAs

Bacchus, P., Stewart, R. & Komendantskaya, E., 2020, Applied Reconfigurable Computing. Architectures, Tools, and Applications: ARC 2020. Springer, p. 121-135 15 p. (Lecture Notes in Computer Science; vol. 12083).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Coinduction in Uniform: Foundations for Corecursive Proof Search with Horn Clauses

    Basold, H., Komendantskaya, E. & Li, Y., 2019, Programming Languages and Systems: ESOP 2019. Caires, L. (ed.). Springer, p. 783-813 31 p. (Lecture Notes in Computer Science; vol. 11423).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • 15 Downloads (Pure)

    Proof-carrying plans

    Schwaab, C., Komendantskaya, E., Hill, A., Farka, F., Petrick, R. P. A., Wells, J. & Hammond, K., 2019, Practical Aspects of Declarative Languages: PADL 2019. Alferes, J. J. & Johansson, M. (eds.). Springer, p. 204-220 17 p. (Lecture Notes in Computer Science; vol. 11372).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • 11 Downloads (Pure)

    Logic programming: Laxness and Saturation

    Komendantskaya, E. & Power, J., Dec 2018, In : Journal of Logical and Algebraic Methods in Programming. 101, p. 1-21 21 p.

    Research output: Contribution to journalArticle

    Open Access
    File
  • 3 Downloads (Pure)

    A productivity checker for logic programming

    Komendantskaya, E., Johann, P. & Schmidt, M., 25 Jul 2017, Logic-Based Program Synthesis and Transformation - 26th International Symposium, LOPSTR 2016, Revised Selected Papers. Springer, Vol. 10184. p. 168-186 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10184 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution