default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMichael Yoeli
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
1990 – 1999
- 1995
[j30]Ilana David, Ran Ginosar, Michael Yoeli:
Self-timed is self-checking. J. Electron. Test. 6(2): 219-228 (1995)- 1994
- [j29]Yaron Wolfstahl, Michael Yoeli:
An Equivalence Theorem for Labeled Marked Graphs. IEEE Trans. Parallel Distributed Syst. 5(8): 886-891 (1994) - [c10]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 - 1993
- [c9]Ilana David, Ran Ginosar, Michael Yoeli:
Self-Timed Architecture of a Reduced Instruction Set Computer. Asynchronous Design Methodologies 1993: 29-43 - 1992
- [j28]Ilana David, Ran Ginosar, Michael Yoeli:
An Efficient Implementation of Boolean Functions as Self-Timed Circuits. IEEE Trans. Computers 41(1): 2-11 (1992) - [j27]Ilana David, Ran Ginosar, Michael Yoeli:
Implementing Sequential Machines as Self-Timed Circuits. IEEE Trans. Computers 41(1): 12-17 (1992)
1980 – 1989
- 1989
- [j26]Llana David, Ran Ginosar, Michael Yoeli:
An efficient implementation of Boolean functions nd finite state machine as self-timed circuit. SIGARCH Comput. Archit. News 17(6): 91-104 (1989) - 1987
- [j25]Janusz A. Brzozowski, Michael Yoeli:
Combinational static CMOS networks. Integr. 5(2): 103-122 (1987) - 1986
- [c8]Janusz A. Brzozowski, Michael Yoeli:
Combinatorial Static CMOD Networks (Extended Summary). Aegean Workshop on Computing 1986: 271-282 - 1985
- [j24]Abraham Ginzburg, Michael Yoeli:
Reducibility of Synchronization Structures. Theor. Comput. Sci. 40: 301-314 (1985) - 1984
- [j23]Sara Porat, Michael Yoeli:
Towards a Hierarchy of Nets. J. Comput. Syst. Sci. 29(2): 198-206 (1984) - [c7]Björn Pehrson, Michael Yoeli:
A Communicating System Net Model for Specification and Verification of Distributed Nets. PSTV 1984: 383-394 - 1983
- [j22]Tuvi Etzion, Michael Yoeli:
Super-Nets and their Hierarchy. Theor. Comput. Sci. 23: 243-272 (1983) - 1982
- [c6]Michael Yoeli, Tuvi Etzion:
Behavioral Equivalence of Concurrent Systems. European Workshop on Applications and Theory of Petri Nets 1982: 292-305 - 1981
- [c5]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
- [j21]Abraham Ginzburg, Michael Yoeli:
Vector Addition Systems and Regular Languages. J. Comput. Syst. Sci. 20(3): 277-284 (1980) - [c4]Michael Yoeli, Abraham Ginzburg:
Control Nets for Parallel Processing. IFIP Congress 1980: 71-76
1970 – 1979
- 1979
- [j20]Janusz A. Brzozowski, Michael Yoeli:
On a Ternary Model of Gate Networks. IEEE Trans. Computers 28(3): 178-184 (1979) - 1978
- [j19]Adi Tzidon, Israel Berger, Michael Yoeli:
A Practical Approach to Fault Detection in Combinational Networks. IEEE Trans. Computers 27(10): 968-971 (1978) - 1974
- [c3]Janusz A. Brzozowski, Michael Yoeli:
Models for Analysis of Races in Sequential Networks. MFCS 1974: 26-32 - 1972
- [j18]Karl-Heinz Wolff, Erich Bukovics, H. Hornich, H. Schauer, Hans J. Stetter, Inge Troch, Ingolf Pirzl, Werner Junginger, H. Hummel, K. U. Dobler, Rul Gunzenhäuser, Michael Yoeli, H. Kremser, Wolfgang Händler:
Buchbesprechungen. Computing 9(1): 75-86 (1972) - 1970
- [j17]Michael Yoeli:
R70-26 Probabilistic Aspects of Machine Decomposition Theory. IEEE Trans. Computers 19(8): 764 (1970) - [j16]Michael Yoeli:
The Synthesis of Multivalued Cellular Cascades. IEEE Trans. Computers 19(11): 1089-1090 (1970)
1960 – 1969
- 1969
- [j15]Ilka Shinahr, Michael Yoeli:
Group Functions and Multi-Valued Cellular Cascades. Inf. Control. 15(5): 369-376 (1969) - 1968
- [j14]Michael Yoeli, Clarence M. Ablow:
Subdirect Decompositions of Transformation Graphs. Inf. Control. 12(5/6): 426-441 (1968) - [j13]Michael Yoeli:
Ternary Cellular Cascades. IEEE Trans. Computers 17(1): 66-67 (1968) - [j12]Clarence M. Ablow, Michael Yoeli, James Turner:
Irreducible Decompositions of Transformation Graphs by Assignment Techniques. IEEE Trans. Computers 17(4): 325-329 (1968) - 1967
- [j11]Michael Yoeli, James Turner:
Decompositions of Group Functions with Applications to Two-Rail Cascades. Inf. Control. 10(6): 565-571 (1967) - [c2]Clarence M. Ablow, Michael Yoeli, James Turner:
Irreducible Decompositions of Transformation Graphs by Assignment Techniques. SWAT 1967: 307-313 - 1966
- [c1]Michael Yoeli, Clarence M. Ablow:
Subdirect Decompositions of Transformation Graphs. SWAT 1966: 96-102 - 1965
- [j10]Michael Yoeli:
Canonical Representations of Chain Events. Inf. Control. 8(2): 180-189 (1965) - [j9]Michael Yoeli:
Generalized Cascade Decompositions of Automata. J. ACM 12(3): 411-422 (1965) - [j8]Michael Yoeli, G. Rosenfeld:
A New Reader Service-Publication of Informational Retrieval Catalog Cards. IEEE Trans. Electron. Comput. 14(1): 7-8 (1965) - [j7]Michael Yoeli, G. Rosenfeld:
Logical Design of Ternary Switching Circuits. IEEE Trans. Electron. Comput. 14(1): 19-29 (1965) - [j6]Michael Yoeli:
A Group-Theoretical Approach to Two-Rail Cascades. IEEE Trans. Electron. Comput. 14(6): 815-822 (1965) - 1964
- [j5]Michael Yoeli, Shlomo Rinon:
Application of Ternary Algebra to the Study of Static Hazards. J. ACM 11(1): 84-97 (1964) - 1963
- [j4]Michael Yoeli:
Cascade-Parallel Decompositions of Sequential Machines. IEEE Trans. Electron. Comput. 12(3): 322-324 (1963) - [j3]Michael Yoeli:
Counting with Nonlinear Binary Feedback Shift Registers. IEEE Trans. Electron. Comput. 12(4): 357-361 (1963) - 1961
- [j2]Michael Yoeli:
The Cascade Decomposition of Sequential Machines. IRE Trans. Electron. Comput. 10(4): 587-592 (1961)
1950 – 1959
- 1959
- [j1]Michael Yoeli:
The theory of switching nets. IRE Trans. Inf. Theory 5(5): 152-157 (1959)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:46 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
