Michael Yoeli

Publication Activity (10 Years)

Years Active: 1959-1995
Publications (10 Years): 0

Publications

Ilana David, Ran Ginosar, Michael Yoeli
Self-timed is self-checking. J. Electron. Test. 6 (2) (1995)
Ilan Beer, Shoham Ben-David, Daniel Geist, Raanan Gewirtzman, Michael Yoeli
Methodology and System for Practical Formal Verification of Reactive Hardware. CAV (1994)
Yaron Wolfstahl, Michael Yoeli
An Equivalence Theorem for Labeled Marked Graphs. IEEE Trans. Parallel Distributed Syst. 5 (8) (1994)
Ilana David, Ran Ginosar, Michael Yoeli
Self-Timed Architecture of a Reduced Instruction Set Computer. Asynchronous Design Methodologies (1993)
Ilana David, Ran Ginosar, Michael Yoeli
Implementing Sequential Machines as Self-Timed Circuits. IEEE Trans. Computers 41 (1) (1992)
Ilana David, Ran Ginosar, Michael Yoeli
An Efficient Implementation of Boolean Functions as Self-Timed Circuits. IEEE Trans. Computers 41 (1) (1992)
Llana David, Ran Ginosar, Michael Yoeli
An efficient implementation of Boolean functions nd finite state machine as self-timed circuit. SIGARCH Comput. Archit. News 17 (6) (1989)
Janusz A. Brzozowski, Michael Yoeli
Combinational static CMOS networks. Integr. 5 (2) (1987)
Janusz A. Brzozowski, Michael Yoeli
Combinatorial Static CMOD Networks (Extended Summary). Aegean Workshop on Computing (1986)
Abraham Ginzburg, Michael Yoeli
Reducibility of Synchronization Structures. Theor. Comput. Sci. 40 (1985)
Björn Pehrson, Michael Yoeli
A Communicating System Net Model for Specification and Verification of Distributed Nets. PSTV (1984)
Sara Porat, Michael Yoeli
Towards a Hierarchy of Nets. J. Comput. Syst. Sci. 29 (2) (1984)
Tuvi Etzion, Michael Yoeli
Super-Nets and their Hierarchy. Theor. Comput. Sci. 23 (1983)
Michael Yoeli, Tuvi Etzion
Behavioral Equivalence of Concurrent Systems. European Workshop on Applications and Theory of Petri Nets (1982)
Michael Yoeli
Synthesis of Concurrent Systems. Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets (1981)
Michael Yoeli, Abraham Ginzburg
Control Nets for Parallel Processing. IFIP Congress (1980)
Abraham Ginzburg, Michael Yoeli
Vector Addition Systems and Regular Languages. J. Comput. Syst. Sci. 20 (3) (1980)
Janusz A. Brzozowski, Michael Yoeli
On a Ternary Model of Gate Networks. IEEE Trans. Computers 28 (3) (1979)
Adi Tzidon, Israel Berger, Michael Yoeli
A Practical Approach to Fault Detection in Combinational Networks. IEEE Trans. Computers 27 (10) (1978)
Janusz A. Brzozowski, Michael Yoeli
Models for Analysis of Races in Sequential Networks. MFCS (1974)
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
Buchbesprechungen. Computing 9 (1) (1972)
Michael Yoeli
R70-26 Probabilistic Aspects of Machine Decomposition Theory. IEEE Trans. Computers 19 (8) (1970)
Michael Yoeli
The Synthesis of Multivalued Cellular Cascades. IEEE Trans. Computers 19 (11) (1970)
Ilka Shinahr, Michael Yoeli
Group Functions and Multi-Valued Cellular Cascades Inf. Control. 15 (5) (1969)
Clarence M. Ablow, Michael Yoeli, James Turner
Irreducible Decompositions of Transformation Graphs by Assignment Techniques. IEEE Trans. Computers 17 (4) (1968)
Michael Yoeli, Clarence M. Ablow
Subdirect Decompositions of Transformation Graphs Inf. Control. 12 (5/6) (1968)
Michael Yoeli
Ternary Cellular Cascades. IEEE Trans. Computers 17 (1) (1968)
Michael Yoeli, James Turner
Decompositions of Group Functions with Applications to Two-Rail Cascades Inf. Control. 10 (6) (1967)
Clarence M. Ablow, Michael Yoeli, James Turner
Irreducible Decompositions of Transformation Graphs by Assignment Techniques SWAT (1967)
Michael Yoeli, Clarence M. Ablow
Subdirect Decompositions of Transformation Graphs SWAT (1966)
Michael Yoeli, G. Rosenfeld
Logical Design of Ternary Switching Circuits. IEEE Trans. Electron. Comput. 14 (1) (1965)
Michael Yoeli
A Group-Theoretical Approach to Two-Rail Cascades. IEEE Trans. Electron. Comput. 14 (6) (1965)
Michael Yoeli, G. Rosenfeld
A New Reader Service-Publication of Informational Retrieval Catalog Cards. IEEE Trans. Electron. Comput. 14 (1) (1965)
Michael Yoeli
Canonical Representations of Chain Events Inf. Control. 8 (2) (1965)
Michael Yoeli
Generalized Cascade Decompositions of Automata. J. ACM 12 (3) (1965)
Michael Yoeli, Shlomo Rinon
Application of Ternary Algebra to the Study of Static Hazards. J. ACM 11 (1) (1964)
Michael Yoeli
Counting with Nonlinear Binary Feedback Shift Registers. IEEE Trans. Electron. Comput. 12 (4) (1963)
Michael Yoeli
Cascade-Parallel Decompositions of Sequential Machines. IEEE Trans. Electron. Comput. 12 (3) (1963)
Michael Yoeli
The Cascade Decomposition of Sequential Machines. IRE Trans. Electron. Comput. 10 (4) (1961)
Michael Yoeli
The theory of switching nets. IRE Trans. Inf. Theory 5 (5) (1959)