• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 40 matches

• 1995
• 
  Ilana David, Ran Ginosar, Michael Yoeli:
  Self-timed is self-checking. J. Electron. Test. 6(2): 219-228 (1995)
• 1994
• 
  Yaron Wolfstahl, Michael Yoeli:
  An Equivalence Theorem for Labeled Marked Graphs. IEEE Trans. Parallel Distributed Syst. 5(8): 886-891 (1994)
• 
  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
• 
  Ilana David, Ran Ginosar, Michael Yoeli:
  Self-Timed Architecture of a Reduced Instruction Set Computer. Asynchronous Design Methodologies 1993: 29-43
• 1992
• 
  Ilana David, Ran Ginosar, Michael Yoeli:
  An Efficient Implementation of Boolean Functions as Self-Timed Circuits. IEEE Trans. Computers 41(1): 2-11 (1992)
• 
  Ilana David, Ran Ginosar, Michael Yoeli:
  Implementing Sequential Machines as Self-Timed Circuits. IEEE Trans. Computers 41(1): 12-17 (1992)
• 1989
• 
  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
• 
  Janusz A. Brzozowski, Michael Yoeli:
  Combinational static CMOS networks. Integr. 5(2): 103-122 (1987)
• 1986
• 
  Janusz A. Brzozowski, Michael Yoeli:
  Combinatorial Static CMOD Networks (Extended Summary). Aegean Workshop on Computing 1986: 271-282
• 1985
• 
  Abraham Ginzburg, Michael Yoeli:
  Reducibility of Synchronization Structures. Theor. Comput. Sci. 40: 301-314 (1985)
• 1984
• 
  Sara Porat, Michael Yoeli:
  Towards a Hierarchy of Nets. J. Comput. Syst. Sci. 29(2): 198-206 (1984)
• 
  Björn Pehrson, Michael Yoeli:
  A Communicating System Net Model for Specification and Verification of Distributed Nets. PSTV 1984: 383-394
• 1983
• 
  Tuvi Etzion, Michael Yoeli:
  Super-Nets and their Hierarchy. Theor. Comput. Sci. 23: 243-272 (1983)
• 1982
• 
  Michael Yoeli, Tuvi Etzion:
  Behavioral Equivalence of Concurrent Systems. European Workshop on Applications and Theory of Petri Nets 1982: 292-305
• 1981
• 
  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
• 
  Abraham Ginzburg, Michael Yoeli:
  Vector Addition Systems and Regular Languages. J. Comput. Syst. Sci. 20(3): 277-284 (1980)
• 
  Michael Yoeli, Abraham Ginzburg:
  Control Nets for Parallel Processing. IFIP Congress 1980: 71-76
• 1979
• 
  Janusz A. Brzozowski, Michael Yoeli:
  On a Ternary Model of Gate Networks. IEEE Trans. Computers 28(3): 178-184 (1979)
• 1978
• 
  Adi Tzidon, Israel Berger, Michael Yoeli:
  A Practical Approach to Fault Detection in Combinational Networks. IEEE Trans. Computers 27(10): 968-971 (1978)
• 1974
• 
  Janusz A. Brzozowski, Michael Yoeli:
  Models for Analysis of Races in Sequential Networks. MFCS 1974: 26-32
• 1972
• 
  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
• 
  Michael Yoeli:
  R70-26 Probabilistic Aspects of Machine Decomposition Theory. IEEE Trans. Computers 19(8): 764 (1970)
• 
  Michael Yoeli:
  The Synthesis of Multivalued Cellular Cascades. IEEE Trans. Computers 19(11): 1089-1090 (1970)
• 1969
• 
  Ilka Shinahr, Michael Yoeli:
  Group Functions and Multi-Valued Cellular Cascades. Inf. Control. 15(5): 369-376 (1969)
• 1968
• 
  Michael Yoeli, Clarence M. Ablow:
  Subdirect Decompositions of Transformation Graphs. Inf. Control. 12(5/6): 426-441 (1968)
• 
  Clarence M. Ablow, Michael Yoeli, James Turner:
  Irreducible Decompositions of Transformation Graphs by Assignment Techniques. IEEE Trans. Computers 17(4): 325-329 (1968)
• 
  Michael Yoeli:
  Ternary Cellular Cascades. IEEE Trans. Computers 17(1): 66-67 (1968)
• 1967
• 
  Michael Yoeli, James Turner:
  Decompositions of Group Functions with Applications to Two-Rail Cascades. Inf. Control. 10(6): 565-571 (1967)
• 
  Clarence M. Ablow, Michael Yoeli, James Turner:
  Irreducible Decompositions of Transformation Graphs by Assignment Techniques. SWAT 1967: 307-313
• 1966
• 
  Michael Yoeli, Clarence M. Ablow:
  Subdirect Decompositions of Transformation Graphs. SWAT 1966: 96-102

skipping 10 more matches