Ekaterina Komendantskaya
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
46
Venues
28
Active years
2007–2025
Best venue rank
A*
Where they publish
- A*CAV6 papers
- CLOPSTR4 papers
- CNeSy3 papers
- CPPDP3 papers
- AESOP2 papers
- BITP2 papers
- BICLP2 papers
- BLPAR2 papers
- CICANN2 papers
- CIJCCI2 papers
- CCiE1 paper
- BFSCD1 paper
- MulticonferenceSAC1 paper
- AESORICS1 paper
- BCPP1 paper
- A*AAAI1 paper
- BACCV1 paper
- AICFP1 paper
- BAPLAS1 paper
- BIJCNN1 paper
- CPADL1 paper
- NationalFLOPS1 paper
- BCALCO1 paper
- BCSL1 paper
- BILP1 paper
- BJELIA1 paper
- CLATA1 paper
- BTABLEAUX1 paper
Papers
46 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | CiE | Proof-Carrying Neuro-Symbolic Code. | Ekaterina Komendantskaya |
| 2025 | ESOP | Neural Network Verification is a Programming Language Challenge. | Lucas C. Cordeiro, Matthew L. Daggitt, Julien Girard-Satabin, Omri Isac, Taylor T. Johnson, Guy Katz, Ekaterina Komendantskaya, Augustin Lemesle, Edoardo Manino, Artjoms Sinkarovs, Haoze Wu |
| 2025 | FSCD | Vehicle: Bridging the Embedding Gap in the Verification of Neuro-Symbolic Programs (Invited Talk). | Matthew L. Daggitt, Wen Kokke, Robert Atkey, Ekaterina Komendantskaya, Natalia Slusarz, Luca Arnaboldi |
| 2025 | ITP | A Certified Proof Checker for Deep Neural Network Verification in Imandra. | Remi Desmartin, Omri Isac, Grant O. Passmore, Ekaterina Komendantskaya, Kathrin Stark, Guy Katz |
| 2025 | NeSy | Exploring Verification Frameworks for Social Choice Alignment. | Jessica Ciupa, Vaishak Belle, Ekaterina Komendantskaya |
| 2025 | SAC | Formally Verifying Robustness and Generalisation of Network Intrusion Detection Models. | Robert Flood, Marco Casadio, David Aspinall, Ekaterina Komendantskaya |
| 2024 | CAV | Marabou 2.0: A Versatile Formal Analyzer of Neural Networks. | Haoze Wu, Omri Isac, Aleksandar Zeljic, Teruhiro Tagomori, Matthew L. Daggitt, Wen Kokke, Idan Refaeli, Guy Amir, Kyle Julian, Shahaf Bassan, Pei Huang, Ori Lahav, Min Wu, Min Zhang, Ekaterina Komendantskaya, Guy Katz, Clark W. Barrett |
| 2024 | ESORICS | Generating Traffic-Level Adversarial Examples from Feature-Level Specifications. | Robert Flood, Marco Casadio, David Aspinall, Ekaterina Komendantskaya |
| 2024 | ICLP | A Neurosymbolic Framework for Bias Correction in Convolutional Neural Networks. | Parth Padalkar, Natalia Slusarz, Ekaterina Komendantskaya, Gopal Gupta |
| 2024 | ITP | Taming Differentiable Logics with Coq Formalisation. | Reynald Affeldt, Alessandro Bruni, Ekaterina Komendantskaya, Natalia Slusarz, Kathrin Stark |
| 2023 | CAV | ANTONIO: Towards a Systematic Method of Generating NLP Benchmarks for Verification. | Marco Casadio, Luca Arnaboldi, Matthew L. Daggitt, Omri Isac, Tanvi Dinkar, Daniel Kienitz, Verena Rieser, Ekaterina Komendantskaya |
| 2023 | CAV | The Vehicle Tutorial: Neural Network Verification with Vehicle. | Matthew L. Daggitt, Wen Kokke, Ekaterina Komendantskaya, Robert Atkey, Luca Arnaboldi, Natalia Slusarz, Marco Casadio, Ben Coke, Jeonghyeon Lee |
| 2023 | CPP | Compiling Higher-Order Specifications to SMT Solvers: How to Deal with Rejection Constructively. | Matthew L. Daggitt, Robert Atkey, Wen Kokke, Ekaterina Komendantskaya, Luca Arnaboldi |
| 2023 | LOPSTR | Towards a Certified Proof Checker for Deep Neural Network Verification. | Remi Desmartin, Omri Isac, Grant O. Passmore, Kathrin Stark, Ekaterina Komendantskaya, Guy Katz |
| 2023 | LPAR | Logic of Differentiable Logics: Towards a Uniform Semantics of DL. | Natalia Slusarz, Ekaterina Komendantskaya, Matthew L. Daggitt, Robert J. Stewart, Kathrin Stark |
| 2022 | AAAI | The Effect of Manifold Entanglement and Intrinsic Dimensionality on Learning. | Daniel Kienitz, Ekaterina Komendantskaya, Michael A. Lones |
| 2022 | ACCV | Comparing Complexities of Decision Boundaries for Robust Training: A Universal Approach. | Daniel Kienitz, Ekaterina Komendantskaya, Michael A. Lones |
| 2022 | CAV | Neural Network Robustness as a Verification Property: A Principled Case Study. | Marco Casadio, Ekaterina Komendantskaya, Matthew L. Daggitt, Wen Kokke, Guy Katz, Guy Amir, Idan Refaeli |
| 2022 | CAV | Neural Networks in Imandra: Matrix Representation as a Verification Choice. | Remi Desmartin, Grant O. Passmore, Ekaterina Komendantskaya |
| 2022 | CAV | Differentiable Logics for Neural Network Training and Verification. | Natalia Slusarz, Ekaterina Komendantskaya, Matthew L. Daggitt, Robert J. Stewart |
| 2022 | PPDP | CheckINN: Wide Range Neural Network Verification in Imandra. | Remi Desmartin, Grant O. Passmore, Ekaterina Komendantskaya, Matthew L. Daggitt |
| 2021 | ICFP | Actions you can handle: dependent types for AI plans. | Alasdair Hill, Ekaterina Komendantskaya, Matthew L. Daggitt, Ronald P. A. Petrick |
| 2020 | APLAS | Neural Networks, Secure by Construction - An Exploration of Refinement Types. | Wen Kokke, Ekaterina Komendantskaya, Daniel Kienitz, Robert Atkey, David Aspinall |
| 2020 | IJCNN | Relative Robustness of Quantized Neural Networks Against Adversarial Attacks. | Kirsty Duncan, Ekaterina Komendantskaya, Robert J. Stewart, Michael A. Lones |
| 2020 | PPDP | Proof-Carrying Plans: a Resource Logic for AI Planning. | Alasdair Hill, Ekaterina Komendantskaya, Ronald P. A. Petrick |
| 2020 | PPDP | Continuous Verification of Machine Learning: a Declarative Programming Approach. | Ekaterina Komendantskaya, Wen Kokke, Daniel Kienitz |
| 2019 | ESOP | Coinduction in Uniform: Foundations for Corecursive Proof Search with Horn Clauses. | Henning Basold, Ekaterina Komendantskaya, Yue Li |
| 2019 | PADL | Proof-Carrying Plans. | Christopher Schwaab, Ekaterina Komendantskaya, Alasdair Hill, Frantisek Farka, Ronald P. A. Petrick, Joe B. Wells, Kevin Hammond |
| 2016 | FLOPS | Proof Relevant Corecursive Resolution. | Peng Fu, Ekaterina Komendantskaya, Tom Schrijvers, Andrew Pond |
| 2016 | LOPSTR | Coinductive Soundness of Corecursive Type Class Resolution. | Frantisek Farka, Ekaterina Komendantskaya, Kevin Hammond |
| 2016 | LOPSTR | A Productivity Checker for Logic Programming. | Ekaterina Komendantskaya, Patricia Johann, Martin Schmidt |
| 2015 | ICLP | Structural Resolution for Logic Programming. | Patricia Johann, Ekaterina Komendantskaya, Vladimir Komendantskiy |
| 2015 | LOPSTR | A Type-Theoretic Approach to Resolution. | Peng Fu, Ekaterina Komendantskaya |
| 2013 | LPAR | Proof-Pattern Recognition and Lemma Discovery in ACL2. | Jnathan Heras, Ekaterina Komendantskaya, Moa Johansson, Ewen Maclean |
| 2012 | ICANN | Neural Networks for Proof-Pattern Recognition. | Ekaterina Komendantskaya, Kacper Lichota |
| 2011 | CALCO | Coalgebraic Semantics for Derivations in Logic Programming. | Ekaterina Komendantskaya, John Power |
| 2011 | CSL | Coalgebraic Derivations in Logic Programming. | Ekaterina Komendantskaya, John Power |
| 2011 | ILP | Machine Learning Coalgebraic Proofs. | Ekaterina Komendantskaya |
| 2011 | NeSy | SHERLOCK - An Interface for Neuro-Symbolic Networks. | Ekaterina Komendantskaya, Qiming Zhang |
| 2010 | ICANN | Neuro-symbolic Representation of Logic Programs Defining Infinite Sets. | Ekaterina Komendantskaya, Krysia Broda, Artur S. d'Avila Garcez |
| 2009 | IJCCI | Parallel Rewriting in Neural Networks. | Ekaterina Komendantskaya |
| 2009 | IJCCI | Neurons or Symbols - Why does OR Remain Exclusive?. | Ekaterina Komendantskaya |
| 2008 | JELIA | Fibrational Semantics for Many-Valued Logic Programs: Grounds for Non-Groundness. | Ekaterina Komendantskaya, John Power |
| 2008 | NeSy | Unification by Error-Correction. | Ekaterina Komendantskaya |
| 2007 | LATA | First-order deduction in neural networks. | Ekaterina Komendantskaya |
| 2007 | TABLEAUX | A Sequent Calculus for Bilattice-Based Logic and Its Many-Sorted Representation. | Ekaterina Komendantskaya |