The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Michael Yoeli: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. 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]
  4. 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]
  5. 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]
  6. Michael Yoeli, C. M. Ablow
    Subdirect Decompositions of Transformation Graphs [Citation Graph (0, 0)][DBLP]
    FOCS, 1966, pp:96-102 [Conf]
  7. Michael Yoeli, A. Ginzburg
    Control Nets for Parallel Processing. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1980, pp:71-76 [Conf]
  8. 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]
  9. Janusz A. Brzozowski, Michael Yoeli
    Models for Analysis of Races in Sequential Networks. [Citation Graph (0, 0)][DBLP]
    MFCS, 1974, pp:26-32 [Conf]
  10. 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]
  11. 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]
  12. Michael Yoeli
    Canonical Representations of Chain Events [Citation Graph (0, 0)][DBLP]
    Information and Control, 1965, v:8, n:2, pp:180-189 [Journal]
  13. 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]
  14. 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]
  15. Michael Yoeli
    Generalized Cascade Decompositions of Automata. [Citation Graph (0, 0)][DBLP]
    J. ACM, 1965, v:12, n:3, pp:411-422 [Journal]
  16. 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]
  17. 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]
  18. 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]
  19. 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]
  20. 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]
  21. 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]
  22. 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]
  23. 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]
  24. A. Ginzburg, Michael Yoeli
    Reducibility of Synchronization Structures. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1985, v:40, n:, pp:301-314 [Journal]
  25. 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
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002