| 2010 | RTAS | Defects of the POSIX Sporadic Server and How to Correct Them. | Mark J. Stanovich, Theodore P. Baker, An-I Wang, Michael Gonzlez Harbour |
| 2009 | ECRTS | Sustainable Multiprocessor Scheduling of Sporadic Task Systems. | Theodore P. Baker, Sanjoy K. Baruah |
| 2008 | ECRTS | Global EDF Schedulability Analysis of Arbitrary Sporadic Task Systems. | Sanjoy K. Baruah, Theodore P. Baker |
| 2008 | RTAS | Throttling On-Disk Schedulers to Meet Soft-Real-Time Requirements. | Mark J. Stanovich, Theodore P. Baker, An-I Andy Wang |
| 2007 | ECRTS | EDZL Scheduling Analysis. | Michele Cirinei, Theodore P. Baker |
| 2007 | OPODIS | Brute-Force Determination of Multiprocessor Schedulability for Sets of Sporadic Hard-Deadline Tasks. | Theodore P. Baker, Michele Cirinei |
| 2007 | RTAS | Modeling Device Driver Effects in Real-Time Schedulability Analysis: Study of a Network Driver. | Mark Lewandowski, Mark J. Stanovich, Theodore P. Baker, Kartik Gopalan, An-I Andy Wang |
| 2006 | ECRTS | The Partitioned Scheduling of Sporadic Tasks According to Static-Priorities. | Nathan Fisher, Sanjoy K. Baruah, Theodore P. Baker |
| 2006 | RTSS | A Necessary and Sometimes Sufficient Condition for the Feasibility of Sets of Sporadic Hard-Deadline Tasks. | Theodore P. Baker, Michele Cirinei |
| 2006 | RTCSA | Algorithms for Determining the Demand-Based Load of a Sporadic Task System. | Nathan Fisher, Theodore P. Baker, Sanjoy K. Baruah |
| 2003 | RTSS | Multiprocessor EDF and Deadline Monotonic Schedulability Analysis. | Theodore P. Baker |
| 1992 | RTSS | A Retargetable Technique for Predicting Execution Time. | Marion G. Harmon, Theodore P. Baker, David B. Whalley |
| 1991 | RTSS | Real-Time Features for Ada 9X. | Theodore P. Baker, Offer Pazy |
| 1990 | RTSS | A Stack-Based Resource Allocation Policy for Realtime Processes. | Theodore P. Baker |
| 1989 | RTSS | Toward the Deterministic Scheduling of Ada Tasks. | E. W. Giering, Theodore P. Baker |
| 1988 | RTSS | The Cyclic Executive Model and Ada. | Theodore P. Baker, Alan C. Shaw |
| 1987 | RTSS | Corset and Lace: Adapting Ada Runtime Support to Real-Time Systems. | Theodore P. Baker, Kevin Jeffay |
| 1979 | FOCS | Succinctness, Verifiability and Determinism in Representations of Polynomial-Time Languages | Theodore P. Baker, Juris Hartmanis |
| 1979 | MFCS | Relative Succinctness of Representations of Languages and Separation of Complexity Classes. | Juris Hartmanis, Theodore P. Baker |
| 1976 | FOCS | A Second Step toward the Polynomial Hierarchy | Theodore P. Baker, Alan L. Selman |
| 1974 | FOCS | "Natural" Properties of Flowchart Complexity Measures | Theodore P. Baker |
| 1974 | ICALP | On Simple Goedel Numberings and Translations. | Juris Hartmanis, Theodore P. Baker |