Ekaterina Komendantskaya

Research output

Research output per year 2007 2009 2011 2013 2014 2016 2017 2020 2021 2023 2024

• 21 Conference contribution
• 14 Chapter
• 12 Article
• 1 Chapter (peer-reviewed)
• 1 More
  • 1 Conference article

Research output per year

Research output per year

Search results

• 2017

  Proof mining with dependent types

  Komendantskaya, E. & Heras, J., 28 Jun 2017, (E-pub ahead of print) Intelligent Computer Mathematics. CICM 2017.. Geuvers, H., England, M., Hasan, O., Rabe, F. & Teschke, O. (eds.). Springer, Vol. 10383. p. 303-318 16 p. (Lecture Notes in Computer Science; vol. 10383).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review

  • mining 100%
  • Data Mining 100%
  • Dependent Type 100%
  • exploration 66%
  • Machine Learning 50%
  5 Citations (Scopus)