Michael Yoeli

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