The SCEAS System
| |||||||

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

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |