Michael Yoeli - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 39 from 39

1995

Self-timed is self-checkingIlana David, Ran Ginosar, Michael Yoeli. et, 6(2):219-228, 1995. [doi]

1994

Methodology and System for Practical Formal Verification of Reactive HardwareIlan Beer, Shoham Ben-David, Daniel Geist, Raanan Gewirtzman, Michael Yoeli. cav 1994: 182-193

An Equivalence Theorem for Labeled Marked GraphsYaron Wolfstahl, Michael Yoeli. tpds, 5(8):886-891, 1994. [doi]

1993

Self-Timed Architecture of a Reduced Instruction Set ComputerIlana David, Ran Ginosar, Michael Yoeli. ifip10-5 1993: 29-43

1992

An Efficient Implementation of Boolean Functions as Self-Timed CircuitsIlana David, Ran Ginosar, Michael Yoeli. TC, 41(1):2-11, 1992.

Implementing Sequential Machines as Self-Timed CircuitsIlana David, Ran Ginosar, Michael Yoeli. TC, 41(1):12-17, 1992.

1989

An efficient implementation of Boolean functions nd finite state machine as self-timed circuitLlana David, Ran Ginosar, Michael Yoeli. sigarch, 17(6):91-104, 1989. [doi]

1987

Combinational static CMOS networksJanusz A. Brzozowski, Michael Yoeli. integration, 5(2):103-122, 1987. [doi]

1986

Combinatorial Static CMOD Networks (Extended Summary)Janusz A. Brzozowski, Michael Yoeli. awoc 1986: 271-282

1985

Reducibility of Synchronization StructuresA. Ginzburg, Michael Yoeli. TCS, 40:301-314, 1985.

1984

A Communicating System Net Model for Specification and Verification of Distributed NetsBjörn Pehrson, Michael Yoeli. pstv 1985: 383-394

Towards a Hierarchy of NetsSara Porat, Michael Yoeli. jcss, 29(2):198-206, 1984.

1983

Super-Nets and their HierarchyTuvi Etzion, Michael Yoeli. TCS, 23:243-272, 1983.

1982

Behavioral Equivalence of Concurrent SystemsMichael Yoeli, Tuvi Etzion. apn 1983: 292-305

1981

Synthesis of Concurrent SystemsMichael Yoeli. apn 1982: 183-186

1980

Vector Addition Systems and Regular LanguagesA. Ginzburg, Michael Yoeli. jcss, 20(3):277-284, 1980.

Control Nets for Parallel ProcessingMichael Yoeli, A. Ginzburg. ifip 1980: 71-76

1979

On a Ternary Model of Gate NetworksJanusz A. Brzozowski, Michael Yoeli. TC, 28(3):178-184, 1979.

1978

A Practical Approach to Fault Detection in Combinational NetworksAdi Tzidon, Israel Berger, Michael Yoeli. TC, 27(10):968-971, 1978.

1974

Models for Analysis of Races in Sequential NetworksJanusz A. Brzozowski, Michael Yoeli. mfcs 1975: 26-32

1970

R70-26 Probabilistic Aspects of Machine Decomposition TheoryMichael Yoeli. TC, 19(8):764, 1970. [doi]

The Synthesis of Multivalued Cellular CascadesMichael Yoeli. TC, 19(11):1089-1090, 1970. [doi]

1969

Group Functions and Multi-Valued Cellular CascadesIlka Shinahr, Michael Yoeli. iandc, 15(5):369-376, November 1969.

1968

Irreducible Decompositions of Transformation Graphs by Assignment TechniquesClarence M. Ablow, Michael Yoeli, James Turner. TC, 17(4):325-329, 1968. [doi]

Subdirect Decompositions of Transformation GraphsMichael Yoeli, C. M. Ablow. iandc, 12(5/6):426-441, May-June 1968.

Ternary Cellular CascadesMichael Yoeli. TC, 17(1):66-67, 1968. [doi]

1967

Irreducible Decompositions of Transformation Graphs by Assignment TechniquesC. M. Ablow, Michael Yoeli, James Turner. focs 1967: 307-313

Decompositions of Group Functions with Applications to Two-Rail CascadesMichael Yoeli, James Turner. iandc, 10(6):565-571, June 1967.

1966

Subdirect Decompositions of Transformation GraphsMichael Yoeli, C. M. Ablow. focs 1966: 96-102

1965

Canonical Representations of Chain EventsMichael Yoeli. iandc, 8(2):180-189, April 1965.

Generalized Cascade Decompositions of AutomataMichael Yoeli. JACM, 12(3):411-422, 1965. [doi]

A New Reader Service-Publication of Informational Retrieval Catalog CardsMichael Yoeli, G. Rosenfeld. TC, 14(1):7-8, 1965. [doi]

Logical Design of Ternary Switching CircuitsMichael Yoeli, G. Rosenfeld. TC, 14(1):19-29, 1965. [doi]

A Group-Theoretical Approach to Two-Rail CascadesMichael Yoeli. TC, 14(6):815-822, 1965. [doi]

1964

Application of Ternary Algebra to the Study of Static HazardsMichael Yoeli, Shlomo Rinon. JACM, 11(1):84-97, 1964. [doi]

1963

Cascade-Parallel Decompositions of Sequential MachinesMichael Yoeli. TC, 12(3):322-324, 1963. [doi]

Counting with Nonlinear Binary Feedback Shift RegistersMichael Yoeli. TC, 12(4):357-361, 1963. [doi]

1961

The Cascade Decomposition of Sequential MachinesMichael Yoeli. TC, 10(4):587-592, 1961. [doi]

1959

The theory of switching netsMichael Yoeli. TIT, 5(5):152-157, 1959. [doi]

Sign in or sign up to see more results.

runs on WebDSL