Michael Yoeli

According to our database, Michael Yoeli authored at least 38 papers between 1959 and 1995.

Collaborative distances:

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

1995

Self-timed is self-checking.

Ilana David, Ran Ginosar, Michael Yoeli

J. Electron. Test., 1995

1994

An Equivalence Theorem for Labeled Marked Graphs.

Yaron Wolfstahl, Michael Yoeli

IEEE Trans. Parallel Distributed Syst., 1994

Methodology and System for Practical Formal Verification of Reactive Hardware.

Ilan Beer, Shoham Ben-David, Daniel Geist, Raanan Gewirtzman, Michael Yoeli

Proceedings of the Computer Aided Verification, 6th International Conference, 1994

1993

Self-Timed Architecture of a Reduced Instruction Set Computer.

Ilana David, Ran Ginosar, Michael Yoeli

Proceedings of the Asynchronous Design Methodologies, Proceedings of the IFIP WG10.5 Working Conference on Asynchronous Design Methodologies, Manchester, UK, 31 March, 1993

1992

Implementing Sequential Machines as Self-Timed Circuits.

Ilana David, Ran Ginosar, Michael Yoeli

IEEE Trans. Computers, 1992

An Efficient Implementation of Boolean Functions as Self-Timed Circuits.

Ilana David, Ran Ginosar, Michael Yoeli

IEEE Trans. Computers, 1992

1989

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

1987

Combinational static CMOS networks.

Janusz A. Brzozowski, Michael Yoeli

Integr., 1987

1986

Combinatorial Static CMOD Networks (Extended Summary).

Janusz A. Brzozowski, Michael Yoeli

Proceedings of the VLSI Algorithms and Architectures, 1986

1985

Reducibility of Synchronization Structures.

Abraham Ginzburg, Michael Yoeli

Theor. Comput. Sci., 1985

1984

Towards a Hierarchy of Nets.

Sara Porat, Michael Yoeli

J. Comput. Syst. Sci., 1984

A Communicating System Net Model for Specification and Verification of Distributed Nets.

Björn Pehrson, Michael Yoeli

Proceedings of the Protocol Specification, 1984

1983

Super-Nets and their Hierarchy.

Tuvi Etzion, Michael Yoeli

Theor. Comput. Sci., 1983

1982

Behavioral Equivalence of Concurrent Systems.

Michael Yoeli, Tuvi Etzion

Proceedings of the Applications and Theory of Petri Nets, 1982

1981

Synthesis of Concurrent Systems.

Michael Yoeli

Proceedings of the Application and Theory of Petri Nets, 1981

1980

Vector Addition Systems and Regular Languages.

Abraham Ginzburg, Michael Yoeli

J. Comput. Syst. Sci., 1980

Control Nets for Parallel Processing.

Michael Yoeli, Abraham Ginzburg

Proceedings of the Information Processing, Proceedings of the 8th IFIP Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia, 1980

1979

On a Ternary Model of Gate Networks.

Janusz A. Brzozowski, Michael Yoeli

IEEE Trans. Computers, 1979

1978

A Practical Approach to Fault Detection in Combinational Networks.

Adi Tzidon, Israel Berger, Michael Yoeli

IEEE Trans. Computers, 1978

1974

Models for Analysis of Races in Sequential Networks.

Janusz A. Brzozowski, Michael Yoeli

Proceedings of the Mathematical Foundations of Computer Science, 1974

1972

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, H. Kremser, Wolfgang Händler

Computing, 1972

1970

The Synthesis of Multivalued Cellular Cascades.

Michael Yoeli

IEEE Trans. Computers, 1970

R70-26 Probabilistic Aspects of Machine Decomposition Theory.

Michael Yoeli

IEEE Trans. Computers, 1970

1969

Group Functions and Multi-Valued Cellular Cascades

Ilka Shinahr, Michael Yoeli

Inf. Control., November, 1969

1968

Ternary Cellular Cascades.

Michael Yoeli

IEEE Trans. Computers, 1968

Irreducible Decompositions of Transformation Graphs by Assignment Techniques.

Clarence M. Ablow, Michael Yoeli, James Turner

IEEE Trans. Computers, 1968

Subdirect Decompositions of Transformation Graphs

Michael Yoeli, Clarence M. Ablow

Inf. Control., 1968

1967

Decompositions of Group Functions with Applications to Two-Rail Cascades

Michael Yoeli, James Turner

Inf. Control., June, 1967

1965

Canonical Representations of Chain Events

Michael Yoeli

Inf. Control., April, 1965

Logical Design of Ternary Switching Circuits.

Michael Yoeli, G. Rosenfeld

IEEE Trans. Electron. Comput., 1965

A New Reader Service-Publication of Informational Retrieval Catalog Cards.

Michael Yoeli, G. Rosenfeld

IEEE Trans. Electron. Comput., 1965

A Group-Theoretical Approach to Two-Rail Cascades.

Michael Yoeli

IEEE Trans. Electron. Comput., 1965

Generalized Cascade Decompositions of Automata.

Michael Yoeli

J. ACM, 1965

1964

Application of Ternary Algebra to the Study of Static Hazards.

Michael Yoeli, Shlomo Rinon

J. ACM, 1964

1963

Counting with Nonlinear Binary Feedback Shift Registers.

Michael Yoeli

IEEE Trans. Electron. Comput., 1963

Cascade-Parallel Decompositions of Sequential Machines.

Michael Yoeli

IEEE Trans. Electron. Comput., 1963

1961

The Cascade Decomposition of Sequential Machines.

Michael Yoeli

IRE Trans. Electron. Comput., 1961

1959

The theory of switching nets.

Michael Yoeli

IRE Trans. Inf. Theory, 1959