 | 1995 |
|---|
| 26 |       | Ilana David,
Ran Ginosar,
Michael Yoeli:
Self-timed is self-checking.
J. Electronic Testing 6(2): 219-228 (1995) |
| 1994 |
|---|
| 25 | | Ilan Beer,
Shoham Ben-David,
Daniel Geist,
Raanan Gewirtzman,
Michael Yoeli:
Methodology and System for Practical Formal Verification of Reactive Hardware.
CAV 1994: 182-193 |
| 24 | | Yaron Wolfstahl,
Michael Yoeli:
An Equivalence Theorem for Labeled Marked Graphs.
IEEE Trans. Parallel Distrib. Syst. 5(8): 886-891 (1994) |
| 1993 |
|---|
| 23 |  | Ilana David,
Ran Ginosar,
Michael Yoeli:
Self-Timed Architecture of a Reduced Instruction Set Computer.
Asynchronous Design Methodologies 1993: 29-43 |
| 1992 |
|---|
| 22 | | Ilana David,
Ran Ginosar,
Michael Yoeli:
Implementing Sequential Machines as Self-Timed Circuits.
IEEE Trans. Computers 41(1): 12-17 (1992) |
| 21 | | Ilana David,
Ran Ginosar,
Michael Yoeli:
An Efficient Implementation of Boolean Functions as Self-Timed Circuits.
IEEE Trans. Computers 41(1): 2-11 (1992) |
| 1986 |
|---|
| 20 | | Janusz A. Brzozowski,
Michael Yoeli:
Combinatorial Static CMOD Networks (Extended Summary).
Aegean Workshop on Computing 1986: 271-282 |
| 1985 |
|---|
| 19 | | A. Ginzburg,
Michael Yoeli:
Reducibility of Synchronization Structures.
Theor. Comput. Sci. 40: 301-314 (1985) |
| 1984 |
|---|
| 18 | | Björn Pehrson,
Michael Yoeli:
A Communicating System Net Model for Specification and Verification of Distributed Nets.
PSTV 1984: 383-394 |
| 17 | | Sara Porat,
Michael Yoeli:
Towards a Hierarchy of Nets.
J. Comput. Syst. Sci. 29(2): 198-206 (1984) |
| 1983 |
|---|
| 16 | | Tuvi Etzion,
Michael Yoeli:
Super-Nets and their Hierarchy.
Theor. Comput. Sci. 23: 243-272 (1983) |
| 1982 |
|---|
| 15 | | Michael Yoeli,
Tuvi Etzion:
Behavioral Equivalence of Concurrent Systems.
European Workshop on Applications and Theory of Petri Nets 1982: 292-305 |
| 1981 |
|---|
| 14 | | Michael Yoeli:
Synthesis of Concurrent Systems.
Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets 1981: 183-186 |
| 1980 |
|---|
| 13 | | Michael Yoeli,
A. Ginzburg:
Control Nets for Parallel Processing.
IFIP Congress 1980: 71-76 |
| 12 | | A. Ginzburg,
Michael Yoeli:
Vector Addition Systems and Regular Languages.
J. Comput. Syst. Sci. 20(3): 277-284 (1980) |
| 1979 |
|---|
| 11 | | Janusz A. Brzozowski,
Michael Yoeli:
On a Ternary Model of Gate Networks.
IEEE Trans. Computers 28(3): 178-184 (1979) |
| 1978 |
|---|
| 10 | | Adi Tzidon,
Israel Berger,
Michael Yoeli:
A Practical Approach to Fault Detection in Combinational Networks.
IEEE Trans. Computers 27(10): 968-971 (1978) |
| 1974 |
|---|
| 9 | | Janusz A. Brzozowski,
Michael Yoeli:
Models for Analysis of Races in Sequential Networks.
MFCS 1974: 26-32 |
| 1969 |
|---|
| 8 | | Ilka Shinahr,
Michael Yoeli:
Group Functions and Multi-Valued Cellular Cascades
Information and Control 15(5): 369-376 (1969) |
| 1968 |
|---|
| 7 | | Michael Yoeli,
C. M. Ablow:
Subdirect Decompositions of Transformation Graphs
Information and Control 12(5/6): 426-441 (1968) |
| 1967 |
|---|
| 6 | | C. M. Ablow,
Michael Yoeli,
James Turner:
Irreducible Decompositions of Transformation Graphs by Assignment Techniques
FOCS 1967: 307-313 |
| 5 | | Michael Yoeli,
James Turner:
Decompositions of Group Functions with Applications to Two-Rail Cascades
Information and Control 10(6): 565-571 (1967) |
| 1966 |
|---|
| 4 | | Michael Yoeli,
C. M. Ablow:
Subdirect Decompositions of Transformation Graphs
FOCS 1966: 96-102 |
| 1965 |
|---|
| 3 | | Michael Yoeli:
Canonical Representations of Chain Events
Information and Control 8(2): 180-189 (1965) |
| 2 | | Michael Yoeli:
Generalized Cascade Decompositions of Automata.
J. ACM 12(3): 411-422 (1965) |
| 1964 |
|---|
| 1 | | Michael Yoeli,
Shlomo Rinon:
Application of Ternary Algebra to the Study of Static Hazards.
J. ACM 11(1): 84-97 (1964) |
