| 1991 | ECRTS | Static and dynamic scheduling of sporadic tasks for single-processor systems. | Sanjoy K. Baruah, Louis E. Rosier, Donald A. Varvel |
| 1991 | FOCS | On-line Scheduling in the Presence of Overload | Sanjoy K. Baruah, Gilad Koren, Bhubaneswar Mishra, Arvind Raghunathan, Louis E. Rosier, Dennis E. Shasha |
| 1991 | MFCS | Single-Path Petri Nets. | Rodney R. Howell, Petr Jancar, Louis E. Rosier |
| 1991 | RTSS | On the competitiveness of on-line real-time task scheduling. | Sanjoy K. Baruah, Gilad Koren, Decao Mao, Bud Mishra, Arvind Raghunathan, Louis E. Rosier, Dennis E. Shasha, Fuxing Wang |
| 1990 | MFCS | On Preemptive Scheduling of Periodic, Real-Time Tasks on One Processor. | Sanjoy K. Baruah, Rodney R. Howell, Louis E. Rosier |
| 1990 | RTSS | Preemptively Scheduling Hard-Real-Time Sporadic Tasks on One Processor. | Sanjoy K. Baruah, Aloysius K. Mok, Louis E. Rosier |
| 1989 | FCT | Normal and Sinkless Petri Nets. | Rodney R. Howell, Louis E. Rosier, Hsu-Chun Yen |
| 1989 | MFCS | System Simulation and the Sensitivity of Self-Stabilization. | Mohamed G. Gouda, Rodney R. Howell, Louis E. Rosier |
| 1989 | MFCS | Pinwheel Scheduling With Tow Distinct Numbers. | Robert Holte, Louis E. Rosier, Igor Tulchinsky, Donald A. Varvel |
| 1988 | MFCS | A Taxonomy of Fairness and Temporal Logic Problems for Petri Nets. | Rodney R. Howell, Louis E. Rosier, Hsu-Chun Yen |
| 1987 | ICALP | Completeness Rules for Reachability, Containment, and Equivalence, with Respect to Conflict-Free Vector Replacement Systems. | Rodney R. Howell, Louis E. Rosier |
| 1986 | ICALP | On The Complexity of Deciding Fair Termination of Probabilistic Concurrent Finite-State Programs. | Louis E. Rosier, Hsu-Chun Yen |
| 1986 | MFCS | An Analysis of the Nonemptiness Problem for Classes of Reversal-Bounded Multicounter Machines. | Rodney R. Howell, Louis E. Rosier |
| 1986 | STACS | Logspace Hierarchies, Polynomial Time and the Complexity of Fairness Problems Concerning omega-Machines. | Louis E. Rosier, Hsu-Chun Yen |
| 1985 | FCT | A multiparameter analysis of the boundedness problem for vector addition systems. | Louis E. Rosier, Hsu-Chun Yen |
| 1985 | STACS | Boundedness, Empty Channel Detection and Synchronization for Communicating Finite State Machines. | Louis E. Rosier, Hsu-Chun Yen |
| 1984 | ICALP | Communicating Finite State Machines with Priority Channnels. | Mohamed G. Gouda, Louis E. Rosier |
| 1984 | ICALP | Space and Time Efficient Simulations and Characterizations of Some Restricted Classes of PDAs. | Oscar H. Ibarra, Sam M. Kim, Louis E. Rosier |
| 1984 | MFCS | The Equivalence Problem and Correctness Formulas for a Simple Class of Programs (Extended Abstract). | Oscar H. Ibarra, Louis E. Rosier |