The theory of switching nets. - Michael Yoeli (IRE Trans. Inf. Theory, 1959)

The Cascade Decomposition of Sequential Machines. - Michael Yoeli (IRE Trans. Electron. Comput., 1961)

Cascade-Parallel Decompositions of Sequential Machines. - Michael Yoeli (IEEE Trans. Electron. Comput., 1963)

Counting with Nonlinear Binary Feedback Shift Registers. - Michael Yoeli (IEEE Trans. Electron. Comput., 1963)

Application of Ternary Algebra to the Study of Static Hazards. - Michael Yoeli; Shlomo Rinon (J. ACM, 1964)

Generalized Cascade Decompositions of Automata. - Michael Yoeli (J. ACM, 1965)

A Group-Theoretical Approach to Two-Rail Cascades. - Michael Yoeli (IEEE Trans. Electron. Comput., 1965)

A New Reader Service-Publication of Informational Retrieval Catalog Cards. - Michael Yoeli; G. Rosenfeld (IEEE Trans. Electron. Comput., 1965)

Logical Design of Ternary Switching Circuits. - Michael Yoeli; G. Rosenfeld (IEEE Trans. Electron. Comput., 1965)

Canonical Representations of Chain Events - Michael Yoeli (Inf. Control., 1965)

Decompositions of Group Functions with Applications to Two-Rail Cascades - Michael Yoeli; James Turner (Inf. Control., 1967)

Subdirect Decompositions of Transformation Graphs - Michael Yoeli; Clarence M. Ablow (Inf. Control., 1968)

Irreducible Decompositions of Transformation Graphs by Assignment Techniques. - Clarence M. Ablow; Michael Yoeli; James Turner (IEEE Trans. Computers, 1968)

Ternary Cellular Cascades. - Michael Yoeli (IEEE Trans. Computers, 1968)

Group Functions and Multi-Valued Cellular Cascades - Ilka Shinahr; Michael Yoeli (Inf. Control., 1969)

R70-26 Probabilistic Aspects of Machine Decomposition Theory. - Michael Yoeli (IEEE Trans. Computers, 1970)

The Synthesis of Multivalued Cellular Cascades. - Michael Yoeli (IEEE Trans. Computers, 1970)

Buchbesprechungen. - Karl-Heinz Wolff; Erich Bukovics; H. Hornich; H. Schauer; Hans J. Stetter; Inge Troch; Ingolf Pirzl; Werner Junginger; H. Hummel; K. U. Dobler; Rul Gunzenhäuser; Michael Yoeli; et al. (Computing, 1972)

Models for Analysis of Races in Sequential Networks. - Janusz A. Brzozowski; Michael Yoeli (MFCS, 1974)

A Practical Approach to Fault Detection in Combinational Networks. - Adi Tzidon; Israel Berger; Michael Yoeli (IEEE Trans. Computers, 1978)

On a Ternary Model of Gate Networks. - Janusz A. Brzozowski; Michael Yoeli (IEEE Trans. Computers, 1979)

Control Nets for Parallel Processing. - Michael Yoeli; Abraham Ginzburg (IFIP Congress, 1980)

Vector Addition Systems and Regular Languages. - Abraham Ginzburg; Michael Yoeli (J. Comput. Syst. Sci., 1980)

Synthesis of Concurrent Systems. - Michael Yoeli (Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, 1981)

Behavioral Equivalence of Concurrent Systems. - Michael Yoeli; Tuvi Etzion (European Workshop on Applications and Theory of Petri Nets, 1982)

Super-Nets and their Hierarchy. - Tuvi Etzion; Michael Yoeli (Theor. Comput. Sci., 1983)

A Communicating System Net Model for Specification and Verification of Distributed Nets. - Björn Pehrson; Michael Yoeli (PSTV, 1984)

Towards a Hierarchy of Nets. - Sara Porat; Michael Yoeli (J. Comput. Syst. Sci., 1984)

Reducibility of Synchronization Structures. - Abraham Ginzburg; Michael Yoeli (Theor. Comput. Sci., 1985)

Combinatorial Static CMOD Networks (Extended Summary). - Janusz A. Brzozowski; Michael Yoeli (Aegean Workshop on Computing, 1986)

Combinational static CMOS networks. - Janusz A. Brzozowski; Michael Yoeli (Integr., 1987)

An efficient implementation of Boolean functions nd finite state machine as self-timed circuit. - Llana David; Ran Ginosar; Michael Yoeli (SIGARCH Comput. Archit. News, 1989)

An Efficient Implementation of Boolean Functions as Self-Timed Circuits. - Ilana David; Ran Ginosar; Michael Yoeli (IEEE Trans. Computers, 1992)

Implementing Sequential Machines as Self-Timed Circuits. - Ilana David; Ran Ginosar; Michael Yoeli (IEEE Trans. Computers, 1992)

Self-Timed Architecture of a Reduced Instruction Set Computer. - Ilana David; Ran Ginosar; Michael Yoeli (Asynchronous Design Methodologies, 1993)

Methodology and System for Practical Formal Verification of Reactive Hardware. - Ilan Beer; Shoham Ben-David; Daniel Geist; Raanan Gewirtzman; Michael Yoeli (CAV, 1994)

An Equivalence Theorem for Labeled Marked Graphs. - Yaron Wolfstahl; Michael Yoeli (IEEE Trans. Parallel Distributed Syst., 1994)

Self-timed is self-checking. - Ilana David; Ran Ginosar; Michael Yoeli (J. Electron. Test., 1995)