dblp.uni-trier.dewww.uni-trier.de

Michael Yoeli

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1995
26EEIlana 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
24EEYaron 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)
2EEMichael Yoeli: Generalized Cascade Decompositions of Automata. J. ACM 12(3): 411-422 (1965)
1964
1EEMichael Yoeli, Shlomo Rinon: Application of Ternary Algebra to the Study of Static Hazards. J. ACM 11(1): 84-97 (1964)

Coauthor Index

1C. M. Ablow [4] [6] [7]
2Ilan Beer [25]
3Shoham Ben-David [25]
4Israel Berger [10]
5Janusz A. Brzozowski [9] [11] [20]
6Ilana David [21] [22] [23] [26]
7Tuvi Etzion [15] [16]
8Daniel Geist [25]
9Raanan Gewirtzman [25]
10Ran Ginosar [21] [22] [23] [26]
11A. Ginzburg [12] [13] [19]
12Björn Pehrson [18]
13Sara Porat [17]
14Shlomo Rinon [1]
15Ilka Shinahr [8]
16James Turner [5] [6]
17Adi Tzidon [10]
18Yaron Wolfsthal (Yaron Wolfstahl) [24]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)