| 2023 | SEKE | Quantum Software Models: Quantum Modules Tomography and Recovery Theorem. | Iaakov Exman, Ariel Zvulunov |
| 2022 | IC3K | On the Impossibility to Assure a Finite Software Concepts' Catalog. | Iaakov Exman |
| 2022 | SEKE | Quantum Software Models: Software Density Matrix is a Perfect Direct Sum of Module Matrices. | Iaakov Exman, Alexey Nechaev |
| 2020 | IC3K | Weak Ties Are Surprising Everywhere. | Iaakov Exman, Asaf Yosef, Omer Ganon |
| 2020 | SEKE | Algebraic Higher-Abstraction for Software Refactoring Automation. | Iaakov Exman, Alexey Nechaev |
| 2020 | SEKE | Generating Luck from Weak Ties in Social Networks. | Iaakov Exman, Omer Ganon, Asaf Yosef |
| 2019 | ICSoft | Software Modularity Coupling Resolution by the Laplacian of a Bipartite Dependency Graph. | Iaakov Exman, Netanel Ohayon |
| 2019 | SEKE | Algebraic Convergence to Software-Knowledge: Deep Software Learning (P). | Iaakov Exman, Assaf Spanier |
| 2019 | SEKE | A Software System is Greater than its Modules Sum: Providers and Consumers Modularity Matrix. | Iaakov Exman, Harel Wallach |
| 2018 | SEKE | Conceptual Software: The Theory Behind Agile-Design-Rules (S). | Iaakov Exman |
| 2018 | SEKE | Automatic Audience Focusing by Event Interestingness (LATTICE) (P). | Iaakov Exman, Yakir Winograd, Avihu Harush |
| 2017 | IC3K | Software Interestingness Trigger by Social Network Automation. | Iaakov Exman, Avihu Harush, Yakir Winograd |
| 2017 | SEKE | Conceptual Integrity of Software Systems: Architecture, Abstraction and Algebra. | Iaakov Exman |
| 2017 | SEKE | Conceptual Software Design: Algebraic Axioms for Conceptual Integrity. | Iaakov Exman, Phillip Katz |
| 2016 | IC3K | The Modularity Matrix as a Source of Software Conceptual Integrity. | Iaakov Exman |
| 2016 | IC3K | Conceptual Integrity of Software Systems - An Overview. | Iaakov Exman |
| 2016 | IC3K | Conceptual Software Design: Modularity Matrix as Source of Conceptual Integrity. | Iaakov Exman |
| 2016 | IC3K | Modulaser: A Tool for Conceptual Analysis of Software Systems. | Iaakov Exman, Phillip Katz |
| 2016 | IC3K | Fast and Reliable Software Translation of Programming Languages to Natural Language. | Iaakov Exman, Olesya Shapira |
| 2016 | ICSoft | Software Theory of the Forbidden in a Discrete Design Space. | Iaakov Exman |
| 2016 | ICSoft | Software System Theory of the Forbidden Within Discrete Design. | Iaakov Exman |
| 2016 | ICSoft | Linear Software Models: Modularity Analysis by the Laplacian Matrix. | Iaakov Exman, Rawi Sakhnini |
| 2016 | SEKE | Linear Software Models: An Algebraic Theory of Software Composition. | Iaakov Exman |
| 2015 | IC3K | Software Design with the Modularity Matrix and the Modularity Conceptual Lattice. | Iaakov Exman |
| 2015 | IC3K | Software, Is It Poetry or Prose?. | Iaakov Exman, Alessio Plebe |
| 2015 | IC3K | Software Is Part Poetry, Part Prose. | Iaakov Exman, Alessio Plebe |
| 2015 | IC3K | Conceptual Object Exchanges among Software Games by Non-programmers. | Iaakov Exman, Guy Shimoni |
| 2015 | ICSoft | Linear Software Models: Equivalence of Modularity Matrix to Its Modularity Lattice. | Iaakov Exman, Daniel Speicher |
| 2014 | IC3K | Opinion-Ontologies - Short and Sharp. | Iaakov Exman |
| 2014 | IC3K | Apogee: Application Ontology Generation from Domain Ontologies. | Iaakov Exman, Danil Iskusnov |
| 2014 | IC3K | Apogee: Application Ontology Generation with Size Optimization. | Iaakov Exman, Danil Iskusnov |
| 2014 | IC3K | Ontologies + Mock Objects = Runnable Knowledge. | Iaakov Exman, Anton Litovka, Reuven Yagel |
| 2014 | IC3K | Location-based Fast Recommendation Social Network. | Iaakov Exman, Erez Nagar |
| 2014 | ICSE | A bootstrap theory: the SEMAT kernel itself as runnable software. | Iaakov Exman |
| 2013 | IC3K | Knowledge-driven Game Design by Non-programmers. | Iaakov Exman, Avinoam Alfia |
| 2013 | IC3K | An Anti-Turing Test: Social Network Friends' Recommendations. | Iaakov Exman, Alex Krepch |
| 2013 | IC3K | KODEGEN: A Code Generation and Testing Tool Using Runnable Knowledge. | Iaakov Exman, Anton Litovka, Reuven Yagel |
| 2013 | IC3K | KoDEgen: A Knowledge Driven Engineering Code Generating Tool. | Reuven Yagel, Anton Litovka, Iaakov Exman |
| 2013 | ICSE | Speeding-up software engineering's escape from its pre-paradigmatic stage. | Iaakov Exman |
| 2013 | ICSoft | Linear Software Models - Vector Spaces for Design Pattern Modules. | Iaakov Exman |
| 2012 | IC3K | A Non-concept is Not a ¬Concept. | Iaakov Exman |
| 2012 | IC3K | ROM: An Approach to Self-consistency Verification of a Runnable Ontology Model. | Iaakov Exman, Reuven Yagel |
| 2012 | ICSoft | Linear Software Models for Well-composed Systems. | Iaakov Exman |
| 2011 | IC3K | Misbehavior Discovery through Unified Software-Knowledge Models. | Iaakov Exman |
| 2010 | IC3K | Lead Discovery in the Web. | Iaakov Exman, Michal Pinto |
| 2009 | IC3K | Interestingness - A Unifying Paradigm - Bipolar Function Composition. | Iaakov Exman |
| 2008 | ICSR | Collective Reuse of Software Components Speeds-Up Reliability. | Iaakov Exman, Guy Zohar, Yehuda Hassin |
| 1990 | PPSN | Solving Sequential Games with Boltzmann-Learned Tactics. | Iaakov Exman |