| Inductive equivalence in machine-based instruction editing S Bucuvalas, H Bergier US Patent 11,157,250, 2021 | 8 | 2021 |
| Automated or machine-enhanced source code debugging S Bucuvalas, H Bergier US Patent App. 16/614,453, 2020 | 7 | 2020 |
| Towards JARVIS for software engineering: lessons learned in implementing a natural language chat interface R Pandita, S Bucuvalas, H Bergier, A Chakarov, E Richards Workshops at the Thirty-Second AAAI Conference on Artificial Intelligence, 2018 | 4 | 2018 |
| Vers une logique du mouvement H Bergier Paris 4, 2016 | 1 | 2016 |
| Inductive equivalence in machine-based instruction editing S Bucuvalas, H Bergier US Patent App. 18/212,521, 2023 | | 2023 |
| Inductive equivalence in machine-based instruction editing S Bucuvalas, H Bergier US Patent 11,720,334, 2023 | | 2023 |
| An Intensional Formalization of Generic Statements H Bergier Logica Universalis 17 (2), 139-160, 2023 | | 2023 |
| How Combinatory Logic Can Limit Computing Complexity H Bergier EPJ Web of Conferences 244, 01009, 2020 | | 2020 |
| An Intensional Interpretation of Generic Statements in the Framework of Combinatory Logic H Bergier | | |
