Iaakov Exman

According to our database, Iaakov Exman authored at least 80 papers between 1990 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Quantum Software Models: Quantum Modules Tomography and Recovery Theorem.

Iaakov Exman, Ariel Zvulunov

Proceedings of the 35th International Conference on Software Engineering and Knowledge Engineering, 2023

2022

Quantum Software Models: Software Density Matrix is a Perfect Direct Sum of Module Matrices.

Iaakov Exman, Alexey Nechaev

Proceedings of the 34th International Conference on Software Engineering and Knowledge Engineering, 2022

On the Impossibility to Assure a Finite Software Concepts' Catalog.

Iaakov Exman

Proceedings of the 14th International Joint Conference on Knowledge Discovery, 2022

Quantum Software Models: Density Matrix for Universal Software Design.

Iaakov Exman, Alon Tsalik Shmilovich

Proceedings of the Quantum Software Engineering, 2022

2021

Quantum Software: Model-driven or Search-driven? A Q-SE 2021 Workshop Report.

Rui Abreu, Shaukat Ali, Tao Yue, Michael Felderer, Iaakov Exman

ACM SIGSOFT Softw. Eng. Notes, 2021

Quantum Software Models: The Density Matrix for Classical and Quantum Software Systems Design.

Iaakov Exman, Alon Tsalik Shmilovich

Proceedings of the 2nd IEEE/ACM International Workshop on Quantum Software Engineering, 2021

2020

Linear Software Models: An Occam's Razor Set of Algebraic Connectors Integrates Modules into a Whole Software System.

Iaakov Exman, Harel Wallach

Int. J. Softw. Eng. Knowl. Eng., 2020

Guest Editor's Introduction: Software Mathematical Models for Human Understanding.

Iaakov Exman

Int. J. Softw. Eng. Knowl. Eng., 2020

Generating Luck from Weak Ties in Social Networks.

Iaakov Exman, Omer Ganon, Asaf Yosef

Proceedings of the 32nd International Conference on Software Engineering and Knowledge Engineering, 2020

Algebraic Higher-Abstraction for Software Refactoring Automation.

Iaakov Exman, Alexey Nechaev

Proceedings of the 32nd International Conference on Software Engineering and Knowledge Engineering, 2020

Weak Ties Are Surprising Everywhere.

Iaakov Exman, Asaf Yosef, Omer Ganon

Proceedings of the 12th International Joint Conference on Knowledge Discovery, 2020

2019

A Software System is Greater than its Modules Sum: Providers and Consumers Modularity Matrix.

Iaakov Exman, Harel Wallach

Proceedings of the 31st International Conference on Software Engineering and Knowledge Engineering, 2019

Algebraic Convergence to Software-Knowledge: Deep Software Learning (P).

Iaakov Exman, Assaf Spanier

Proceedings of the 31st International Conference on Software Engineering and Knowledge Engineering, 2019

Software Modularity Coupling Resolution by the Laplacian of a Bipartite Dependency Graph.

Iaakov Exman, Netanel Ohayon

Proceedings of the 14th International Conference on Software Technologies, 2019

2018

Linear Software Models: Bipartite Isomorphism between Laplacian Eigenvectors and Modularity Matrix Eigenvectors.

Iaakov Exman, Rawi Sakhnini

Int. J. Softw. Eng. Knowl. Eng., 2018

Guest Editor's Introduction.

Iaakov Exman

Int. J. Softw. Eng. Knowl. Eng., 2018

Software Conceptual Integrity: Deconstruction, Then Reconstruction.

Iaakov Exman

CoRR, 2018

Consensus in Software Engineering: A Cognitive Mapping Study.

Pontus Johnson, Paul Ralph, Mathias Ekstedt, Iaakov Exman, Michael Goedicke

CoRR, 2018

Automatic Audience Focusing by Event Interestingness (LATTICE) (P).

Iaakov Exman, Yakir Winograd, Avihu Harush

Proceedings of the 30th International Conference on Software Engineering and Knowledge Engineering, 2018

Conceptual Software: The Theory Behind Agile-Design-Rules (S).

Iaakov Exman

Proceedings of the 30th International Conference on Software Engineering and Knowledge Engineering, 2018

2017

Conceptual Software Design: Algebraic Axioms for Conceptual Integrity.

Iaakov Exman, Phillip Katz

Proceedings of the 29th International Conference on Software Engineering and Knowledge Engineering, 2017

Conceptual Integrity of Software Systems: Architecture, Abstraction and Algebra.

Iaakov Exman

Proceedings of the 29th International Conference on Software Engineering and Knowledge Engineering, 2017

Software Interestingness Trigger by Social Network Automation.

Iaakov Exman, Avihu Harush, Yakir Winograd

Proceedings of the 9th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management, 2017

2016

Separability Principles for a General Theory of Software Engineering: Report on the GTSE 2015 Workshop.

Iaakov Exman, Dewayne E. Perry, Balbir Barn, Paul Ralph

ACM SIGSOFT Softw. Eng. Notes, 2016

Non-Concept Software Subsystems: Tangible and Intangible.

Iaakov Exman

CoRR, 2016

Linear Software Models: An Algebraic Theory of Software Composition.

Iaakov Exman

Proceedings of the 28th International Conference on Software Engineering and Knowledge Engineering, 2016

Linear Software Models: Modularity Analysis by the Laplacian Matrix.

Iaakov Exman, Rawi Sakhnini

Proceedings of the 11th International Joint Conference on Software Technologies (ICSOFT 2016) - Volume 2: ICSOFT-PT, Lisbon, Portugal, July 24, 2016

Software System Theory of the Forbidden Within Discrete Design.

Iaakov Exman

Proceedings of the Software Technologies, 11th International Joint Conference, 2016

Software Theory of the Forbidden in a Discrete Design Space.

Iaakov Exman

Proceedings of the 11th International Joint Conference on Software Technologies (ICSOFT 2016) - Volume 2: ICSOFT-PT, Lisbon, Portugal, July 24, 2016

Fast and Reliable Software Translation of Programming Languages to Natural Language.

Iaakov Exman, Olesya Shapira

Proceedings of the 7th International Workshop on Software Knowledge (SKY 2016), Porto - Portugal, November 9, 2016

Modulaser: A Tool for Conceptual Analysis of Software Systems.

Iaakov Exman, Phillip Katz

Proceedings of the 7th International Workshop on Software Knowledge (SKY 2016), Porto - Portugal, November 9, 2016

Conceptual Software Design: Modularity Matrix as Source of Conceptual Integrity.

Iaakov Exman

Proceedings of the Knowledge Discovery, Knowledge Engineering and Knowledge Management, 2016

Conceptual Integrity of Software Systems - An Overview.

Iaakov Exman

Proceedings of the 7th International Workshop on Software Knowledge (SKY 2016), Porto - Portugal, November 9, 2016

The Modularity Matrix as a Source of Software Conceptual Integrity.

Iaakov Exman

Proceedings of the 7th International Workshop on Software Knowledge (SKY 2016), Porto - Portugal, November 9, 2016

2015

SKYWare: The Unavoidable Convergence of Software towards Runnable Knowledge.

Iaakov Exman, Juan Llorens Morillo, Anabel Fraga, José María Álvarez Rodríguez

J. Univers. Comput. Sci., 2015

Linear Software Models: Decoupled Modules from Modularity Matrix Eigenvectors.

Iaakov Exman

Int. J. Softw. Eng. Knowl. Eng., 2015

Linear Software Models: Key Ideas.

Iaakov Exman

CoRR, 2015

Linear Software Models: Equivalence of Modularity Matrix to Its Modularity Lattice.

Iaakov Exman, Daniel Speicher

Proceedings of the ICSOFT-PT 2015, 2015

Conceptual Object Exchanges among Software Games by Non-programmers.

Iaakov Exman, Guy Shimoni

Proceedings of the SKY 2015, 2015

Software Is Part Poetry, Part Prose.

Iaakov Exman, Alessio Plebe

Proceedings of the Knowledge Discovery, Knowledge Engineering and Knowledge Management, 2015

Software, Is It Poetry or Prose?.

Iaakov Exman, Alessio Plebe

Proceedings of the SKY 2015, 2015

Software Design with the Modularity Matrix and the Modularity Conceptual Lattice.

Iaakov Exman

Proceedings of the SKY 2015, 2015

2014

How to Develop a General Theory of Software Engineering: Report on the GTSE 2014 Workshop.

Paul Ralph, Iaakov Exman, Pan Wei Ng, Pontus Johnson, Michael Goedicke, Alper Tolga Kocatas, Kate Liu Yan

ACM SIGSOFT Softw. Eng. Notes, 2014

Linear Software Models: Standard Modularity Highlights Residual Coupling.

Iaakov Exman

Int. J. Softw. Eng. Knowl. Eng., 2014

An Anti_Turing Test: Reduced Variables for Social Network Friends' Recommendations.

Iaakov Exman, Alex Krepch

CoRR, 2014

The Interestingness Tool for Search in the Web.

Iaakov Exman, Gilad Amar, Ran Shaltiel

CoRR, 2014

Web Search of New Linearized Medical Drug Leads.

Iaakov Exman

CoRR, 2014

Software Proactive Reengineering for System Resilience to Misuse.

Leah Goldin, Reuven Gallant, Iaakov Exman

Proceedings of the 2014 IEEE International Conference on Software Science, 2014

A bootstrap theory: the SEMAT kernel itself as runnable software.

Iaakov Exman

Proceedings of the 3rd SEMAT Workshop on General Theories of Software Engineering, 2014

Location-based Fast Recommendation Social Network.

Iaakov Exman, Erez Nagar

Proceedings of the SKY 2014, 2014

Ontologies + Mock Objects = Runnable Knowledge.

Iaakov Exman, Anton Litovka, Reuven Yagel

Proceedings of the SKY 2014, 2014

Apogee: Application Ontology Generation with Size Optimization.

Iaakov Exman, Danil Iskusnov

Proceedings of the Knowledge Discovery, Knowledge Engineering and Knowledge Management, 2014

Apogee: Application Ontology Generation from Domain Ontologies.

Iaakov Exman, Danil Iskusnov

Proceedings of the SKY 2014, 2014

Opinion-Ontologies - Short and Sharp.

Iaakov Exman

Proceedings of the KEOD 2014, 2014

2013

Report on the Second SEMAT Workshop on General Theory of Software Engineering (GTSE 2013).

Pontus Johnson, Paul Ralph, Michael Goedicke, Pan Wei Ng, Klaas-Jan Stol, Kari Smolander, Iaakov Exman, Dewayne E. Perry

ACM SIGSOFT Softw. Eng. Notes, 2013

Linear Software Models - Vector Spaces for Design Pattern Modules.

Iaakov Exman

Proceedings of the ICSOFT 2013, 2013

Speeding-up software engineering's escape from its pre-paradigmatic stage.

Iaakov Exman

Proceedings of the 2nd SEMAT Workshop on a General Theory of Software Engineering, 2013

KoDEgen: A Knowledge Driven Engineering Code Generating Tool.

Reuven Yagel, Anton Litovka, Iaakov Exman

Proceedings of the SKY 2013, 2013

KODEGEN: A Code Generation and Testing Tool Using Runnable Knowledge.

Iaakov Exman, Anton Litovka, Reuven Yagel

Proceedings of the Knowledge Discovery, Knowledge Engineering and Knowledge Management, 2013

An Anti-Turing Test: Social Network Friends' Recommendations.

Iaakov Exman, Alex Krepch

Proceedings of the SKY 2013, 2013

Knowledge-driven Game Design by Non-programmers.

Iaakov Exman, Avinoam Alfia

Proceedings of the SKY 2013, 2013

2012

Linear Software Models for Well-composed Systems.

Iaakov Exman

Proceedings of the ICSOFT 2012 - Proceedings of the 7th International Conference on Software Paradigm Trends, Rome, Italy, 24, 2012

ROM: An Approach to Self-consistency Verification of a Runnable Ontology Model.

Iaakov Exman, Reuven Yagel

Proceedings of the Knowledge Discovery, Knowledge Engineering and Knowledge Management, 2012

A Non-concept is Not a ¬Concept.

Iaakov Exman

Proceedings of the KEOD 2012 - Proceedings of the International Conference on Knowledge Engineering and Ontology Development, Barcelona, Spain, 4, 2012

2011

Z-States Algebra for a Tunable Multi-Party Entanglement-Distillation Protocol

Iaakov Exman, Radel Ben-Av

CoRR, 2011

Misbehavior Discovery through Unified Software-Knowledge Models.

Iaakov Exman

Proceedings of the Knowledge Discovery, Knowledge Engineering and Knowledge Management, 2011

2010

Lead Discovery in the Web.

Iaakov Exman, Michal Pinto

Proceedings of the KDIR 2010, 2010

2009

Interestingness - A Unifying Paradigm - Bipolar Function Composition.

Iaakov Exman

Proceedings of the KDIR 2009 - Proceedings of the International Conference on Knowledge Discovery and Information Retrieval, Funchal, 2009

2008

Collective Reuse of Software Components Speeds-Up Reliability.

Iaakov Exman, Guy Zohar, Yehuda Hassin

Proceedings of the High Confidence Software Reuse in Large Systems, 2008

2007

ScanObjects: Adding Steering Wheels to Search Engines.

Iaakov Exman, Alex Shnayder

Proceedings of the IEEE International Conference on Software-Science, 2007

2006

Network Design Patterns are Measurable.

Iaakov Exman, Marat Teplitsky

Proceedings of the ITRE 2006, 2006

2003

Software Codons for Fast Program Reassembly from Components.

Yonatan Myers, Iaakov Exman

Proceedings of the 2003 IEEE International Conference on Software, 2003

1996

Parallel Crystal Growth for Chip Placement.

Evgenia Hirik, Iaakov Exman

Proceedings of the Parallel Virtual Machine, 1996

The Parallel Break Construct, or How to Kill an Activity Tree.

Yair I. Friedman, Dror G. Feitelson, Iaakov Exman

Proceedings of IPPS '96, 1996

1994

Parallel Roadmaps: Discrete to Continous.

Iaakov Exman, Daniel Citron

Proceedings of the Proceedings IEEE Symposium on Visual Languages, 1994

1993

Attracting Interesting Events to Sparse Monitors in Massively Parallel Systems.

Iaakov Exman

Proceedings of the Parallel Computing: Trends and Applications, 1993

Parallel Activity Roadmaps.

Daniel Citron, Dror G. Feitelson, Iaakov Exman

Proceedings of the Parallel Computing: Trends and Applications, 1993

1992

Optical Interconnects for Parallel Systems: Demonstration on an Optical Link with Multiple-Quantum-Well Opto-Electronic Arrays.

N. de Beaucoudrey, A. Bellemain, D. Phalippou, P. Chavel, D. Fortin, Iaakov Exman, Larry Rudolph, J. P. Schnell, J. P. Pocholle

Proceedings of the PARLE '92: Parallel Architectures and Languages Europe, 1992

Envelopes in Adaptive Local Queues for MIMD Load Balancing.

Konstantin Shteimann, Dror G. Feitelson, Larry Rudolph, Iaakov Exman

Proceedings of the Parallel Processing: CONPAR 92, 1992

1990

Solving Sequential Games with Boltzmann-Learned Tactics.

Iaakov Exman

Proceedings of the Parallel Problem Solving from Nature, 1st Workshop, 1990