| 1998 | AAAI | Experimenting with Power Default Reasoning. | Eric Klavins, William C. Rounds, Guo-Qiang Zhang |
| 1997 | LICS | Complexity of Power Default Reasoning. | Guo-Qiang Zhang, William C. Rounds |
| 1997 | LPNMR | Power Defaults. | Guo-Qiang Zhang, William C. Rounds |
| 1993 | ACL | A Logical Semantics for Nonmonotonic Sorts. | Mark A. Young, William C. Rounds |
| 1990 | LICS | On Subsumption and Semiunification in Feature Algebras | Jochen Drre, William C. Rounds |
| 1987 | ACL | On the Succinctness Properties of Unordered Context-Free Grammars. | M. Drew Moshier, William C. Rounds |
| 1987 | ACL | A Logical Version of Functional Grammar. | William C. Rounds, Alexis Manaster-Ramer |
| 1987 | POPL | A Logic for Partially Specified Data Structures. | M. Drew Moshier, William C. Rounds |
| 1986 | LICS | A Complete Logical Calculus for Record Structures Representing Linguistic Information | William C. Rounds, Robert T. Kasper |
| 1984 | CONCUR | Applications of Topology to Semantics of Communicating Processes. | William C. Rounds |
| 1983 | ICALP | Behavioural Equivalence Relations Induced by Programming Logics. | Stephen D. Brookes, William C. Rounds |
| 1981 | FOCS | Possible Futures, Acceptances, Refusals, and Communicating Processes | William C. Rounds, Stephen D. Brookes |
| 1978 | POPL | Complexity of Expressions Allowing Concurrency. | William F. Ogden, William E. Riddle, William C. Rounds |
| 1975 | FOCS | A Grammatical Characterization of Exponential-Time Languages | William C. Rounds |
| 1975 | POPL | On the Complexity of the Circularity Test for Attribute Grammars. | Mehdi Jazayeri, William F. Ogden, William C. Rounds |
| 1973 | FOCS | Complexity of Recognition in Intermediate-Level Languages | William C. Rounds |
| 1972 | STOC | Compositions of n Tree Transducers | William F. Ogden, William C. Rounds |
| 1970 | STOC | Tree-Oriented Proofs of Some Theorems on Context-Free and Indexed Languages | William C. Rounds |
| 1969 | STOC | Context-Free Grammars on Trees | William C. Rounds |