Michael Yoeli
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
1966–1994
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1994 | CAV | Methodology and System for Practical Formal Verification of Reactive Hardware. | Ilan Beer, Shoham Ben-David, Daniel Geist, Raanan Gewirtzman, Michael Yoeli |
| 1974 | MFCS | Models for Analysis of Races in Sequential Networks. | Janusz A. Brzozowski, Michael Yoeli |
| 1967 | FOCS | Irreducible Decompositions of Transformation Graphs by Assignment Techniques | Clarence M. Ablow, Michael Yoeli, James Turner |
| 1966 | FOCS | Subdirect Decompositions of Transformation Graphs | Michael Yoeli, Clarence M. Ablow |