| 1979 | FOCS | Formal Languages: Origins and Directions | Sheila A. Greibach |
| 1978 | ICALP | Comparisons and Reset Machines (Preliminary Report). | Ronald V. Book, Sheila A. Greibach, Celia Wrathall |
| 1974 | FOCS | A Two-Dimensional Generating System Modeling Growth by Binary Cell Division (Preliminary Report) | Jack W. Carlyle, Sheila A. Greibach, Azaria Paz |
| 1974 | STOC | Some Restrictions on W-Grammars | Sheila A. Greibach |
| 1973 | STOC | Jump PDA's, Deterministic Context-Free Languages Principal AFDLs and Polynomial Time Recognition-Extended Abstract | Sheila A. Greibach |
| 1970 | STOC | Tape- and Time-Bounded Turing Acceptors and AFLs: Extended Abstract | Ronald V. Book, Sheila A. Greibach, Ben Wegbreit |
| 1969 | FOCS | Full AFLs and Nested Iterated Substitution | Sheila A. Greibach |
| 1969 | STOC | Quasi-Realtime Languages-Extended Abstract | Ronald V. Book, Sheila A. Greibach |
| 1968 | FOCS | Checking Automata and One-Way Stack Languages (Extended Abstract) | Sheila A. Greibach |
| 1967 | FOCS | Abstract Families of Languages | Seymour Ginsburg, Sheila A. Greibach |
| 1967 | FOCS | An Infinite Hierarchy of Context-Free Languages | Sheila A. Greibach |
| 1966 | FOCS | One-Way Stack Automata (Extended Abstract) | Seymour Ginsburg, Sheila A. Greibach, Michael A. Harrison |
| 1965 | FOCS | Deterministic context free languages | Seymour Ginsburg, Sheila A. Greibach |