Search the dblp DataBase
Louis E. Rosier :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Robert Holte , Louis E. Rosier , Igor Tulchinsky , Donald A. Varvel Pinwheel Scheduling with Two Distinct Numbers. [Citation Graph (1, 0)][DBLP ] Theor. Comput. Sci., 1992, v:100, n:1, pp:105-135 [Journal ] Ludmila Cherkasova , Rodney R. Howell , Louis E. Rosier Bounded Self-Stabilizing Petri Nets. [Citation Graph (0, 0)][DBLP ] Applications and Theory of Petri Nets, 1991, pp:26-50 [Conf ] Alain Finkel , Louis E. Rosier A Survey on the Decidability Questions for Classes of FIFO Nets. [Citation Graph (0, 0)][DBLP ] European Workshop on Applications and Theory of Petri Nets, 1987, pp:106-132 [Conf ] Rodney R. Howell , Louis E. Rosier Recent results on the complexity of problems related to Petri nets. [Citation Graph (0, 0)][DBLP ] European Workshop on Applications and Theory of Petri Nets, 1986, pp:45-72 [Conf ] Rodney R. Howell , Louis E. Rosier On Questions of Fairness and Temporal Logic for Conflict- Free Petri Nets. [Citation Graph (0, 0)][DBLP ] European Workshop on Applications and Theory of Petri Nets, 1987, pp:200-226 [Conf ] Rodney R. Howell , Louis E. Rosier , Hsu-Chun Yen Normal and Sinkless Petri Nets. [Citation Graph (0, 0)][DBLP ] FCT, 1989, pp:234-243 [Conf ] Louis E. Rosier , Hsu-Chun Yen A multiparameter analysis of the boundedness problem for vector addition systems. [Citation Graph (0, 0)][DBLP ] FCT, 1985, pp:361-370 [Conf ] Sanjoy K. Baruah , Gilad Koren , Bhubaneswar Mishra , Arvind Raghunathan , Louis E. Rosier , Dennis Shasha On-line Scheduling in the Presence of Overload [Citation Graph (0, 0)][DBLP ] FOCS, 1991, pp:100-110 [Conf ] Mohamed G. Gouda , Louis E. Rosier Communicating Finite State Machines with Priority Channnels. [Citation Graph (0, 0)][DBLP ] ICALP, 1984, pp:209-221 [Conf ] Rodney R. Howell , Louis E. Rosier Completeness Rules for Reachability, Containment, and Equivalence, with Respect to Conflict-Free Vector Replacement Systems. [Citation Graph (0, 0)][DBLP ] ICALP, 1987, pp:509-520 [Conf ] Oscar H. Ibarra , Sam M. Kim , Louis E. Rosier Space and Time Efficient Simulations and Characterizations of Some Restricted Classes of PDAs. [Citation Graph (0, 0)][DBLP ] ICALP, 1984, pp:247-259 [Conf ] Louis E. Rosier , Hsu-Chun Yen On The Complexity of Deciding Fair Termination of Probabilistic Concurrent Finite-State Programs. [Citation Graph (0, 0)][DBLP ] ICALP, 1986, pp:334-343 [Conf ] Sanjoy K. Baruah , Rodney R. Howell , Louis E. Rosier On Preemptive Scheduling of Periodic, Real-Time Tasks on One Processor. [Citation Graph (0, 0)][DBLP ] MFCS, 1990, pp:173-179 [Conf ] Mohamed G. Gouda , Rodney R. Howell , Louis E. Rosier System Simulation and the Sensitivity of Self-Stabilization. [Citation Graph (0, 0)][DBLP ] MFCS, 1989, pp:249-258 [Conf ] Robert Holte , Louis E. Rosier , Igor Tulchinsky , Donald A. Varvel Pinwheel Scheduling With Tow Distinct Numbers. [Citation Graph (0, 0)][DBLP ] MFCS, 1989, pp:281-290 [Conf ] Rodney R. Howell , Petr Jancar , Louis E. Rosier Single-Path Petri Nets. [Citation Graph (0, 0)][DBLP ] MFCS, 1991, pp:202-210 [Conf ] Rodney R. Howell , Louis E. Rosier An Analysis of the Nonemptiness Problem for Classes of Reversal-Bounded Multicounter Machines. [Citation Graph (0, 0)][DBLP ] MFCS, 1986, pp:422-430 [Conf ] Rodney R. Howell , Louis E. Rosier , Hsu-Chun Yen A Taxonomy of Fairness and Temporal Logic Problems for Petri Nets. [Citation Graph (0, 0)][DBLP ] MFCS, 1988, pp:351-359 [Conf ] Oscar H. Ibarra , Louis E. Rosier The Equivalence Problem and Correctness Formulas for a Simple Class of Programs (Extended Abstract). [Citation Graph (0, 0)][DBLP ] MFCS, 1984, pp:330-338 [Conf ] Sanjoy K. Baruah , Aloysius K. Mok , Louis E. Rosier Preemptively Scheduling Hard-Real-Time Sporadic Tasks on One Processor. [Citation Graph (0, 0)][DBLP ] IEEE Real-Time Systems Symposium, 1990, pp:182-190 [Conf ] Louis E. Rosier , Hsu-Chun Yen Boundedness, Empty Channel Detection and Synchronization for Communicating Finite State Machines. [Citation Graph (0, 0)][DBLP ] STACS, 1985, pp:287-298 [Conf ] Louis E. Rosier , Hsu-Chun Yen Logspace Hierarchies, Polynomial Time and the Complexity of Fairness Problems Concerning omega-Machines. [Citation Graph (0, 0)][DBLP ] STACS, 1986, pp:306-320 [Conf ] Ludmila Cherkasova , Rodney R. Howell , Louis E. Rosier Bounded Self-Stabilizing Petri Nets [Citation Graph (0, 0)][DBLP ] Acta Inf., 1995, v:32, n:3, pp:189-207 [Journal ] Mohamed G. Gouda , Rodney R. Howell , Louis E. Rosier The Instability of Self-Stabilization. [Citation Graph (0, 0)][DBLP ] Acta Inf., 1989, v:27, n:8, pp:697-724 [Journal ] Theodore H. Romer , Louis E. Rosier An Algorithm Reminiscent of Euclidean-gcd Computing a Function Related to Pinwheel Scheduling. [Citation Graph (0, 0)][DBLP ] Algorithmica, 1997, v:17, n:1, pp:1-10 [Journal ] Rodney R. Howell , Petr Jancar , Louis E. Rosier Completeness Results for Single-Path Petri Nets [Citation Graph (0, 0)][DBLP ] Inf. Comput., 1993, v:106, n:2, pp:253-265 [Journal ] Oscar H. Ibarra , Sam M. Kim , Louis E. Rosier Some Characterizations of Multihead Finite Automata [Citation Graph (0, 0)][DBLP ] Information and Control, 1985, v:67, n:1-3, pp:114-125 [Journal ] Oscar H. Ibarra , Sam M. Kim , Louis E. Rosier On Space and Time Efficient TM Simulations of Some Restricted Classes of PDA's [Citation Graph (0, 0)][DBLP ] Information and Control, 1985, v:67, n:1-3, pp:126-143 [Journal ] Oscar H. Ibarra , Louis E. Rosier The Equivalence Problem and Correctness Formulas for a Simple Class of Programs [Citation Graph (0, 0)][DBLP ] Information and Control, 1985, v:65, n:1, pp:18-41 [Journal ] Oscar H. Ibarra , Louis E. Rosier On Simple Programs with Primitive Conditional Statements [Citation Graph (0, 0)][DBLP ] Information and Control, 1985, v:65, n:1, pp:42-62 [Journal ] Rodney R. Howell , Louis E. Rosier , Hsu-Chun Yen An O(n^(1.5)) Algorithm to Decide Boundedness for Conflict-Free Vector Replacement Systems. [Citation Graph (0, 0)][DBLP ] Inf. Process. Lett., 1987, v:25, n:1, pp:27-33 [Journal ] Oscar H. Ibarra , Shlomo Moran , Louis E. Rosier A Note on the Parallel Complexity of Computing the Rank of Order n Matrices. [Citation Graph (0, 0)][DBLP ] Inf. Process. Lett., 1980, v:11, n:4/5, pp:162- [Journal ] Oscar H. Ibarra , Shlomo Moran , Louis E. Rosier Probabilistic Algorithms and Straight-Line Programs for Some Rank Decision Problems. [Citation Graph (0, 0)][DBLP ] Inf. Process. Lett., 1981, v:12, n:5, pp:227-232 [Journal ] Oscar H. Ibarra , Louis E. Rosier On the Decidability of Equivalence for Deterministic Pushdown Transducers. [Citation Graph (0, 0)][DBLP ] Inf. Process. Lett., 1981, v:13, n:3, pp:89-93 [Journal ] Louis E. Rosier A Note on Presburger Arithmetic with Array Segments, Permutation and Equality. [Citation Graph (0, 0)][DBLP ] Inf. Process. Lett., 1986, v:22, n:1, pp:33-35 [Journal ] Alfred E. Borm , Louis E. Rosier A note on Parikh maps, abstract languages, and decision problems. [Citation Graph (0, 0)][DBLP ] Inf. Sci., 1985, v:35, n:2, pp:157-166 [Journal ] Rodney R. Howell , Louis E. Rosier An Analysis of the Nonemptiness Problem for Classes of Reversal-Bounded Multicounter Machines. [Citation Graph (0, 0)][DBLP ] J. Comput. Syst. Sci., 1987, v:34, n:1, pp:55-74 [Journal ] Rodney R. Howell , Louis E. Rosier Completeness Results for Conflict-Free Vector Replacement Systems. [Citation Graph (0, 0)][DBLP ] J. Comput. Syst. Sci., 1988, v:37, n:3, pp:349-366 [Journal ] Rodney R. Howell , Louis E. Rosier , Hsu-Chun Yen Normal and Sinkless Petri Nets. [Citation Graph (0, 0)][DBLP ] J. Comput. Syst. Sci., 1993, v:46, n:1, pp:1-26 [Journal ] Louis E. Rosier , Hsu-Chun Yen A Multiparameter Analysis of the Boundedness Problem for Vector Addition Systems. [Citation Graph (0, 0)][DBLP ] J. Comput. Syst. Sci., 1986, v:32, n:1, pp:105-135 [Journal ] Oscar H. Ibarra , Brian S. Leininger , Louis E. Rosier A Note on the Complexity of Program Evaluation. [Citation Graph (0, 0)][DBLP ] Mathematical Systems Theory, 1984, v:17, n:2, pp:85-96 [Journal ] Oscar H. Ibarra , Louis E. Rosier On Restricted One-counter Machines. [Citation Graph (0, 0)][DBLP ] Mathematical Systems Theory, 1981, v:14, n:, pp:241-245 [Journal ] Sanjoy K. Baruah , Gilad Koren , D. Mao , Bhubaneswar Mishra , Arvind Raghunathan , Louis E. Rosier , Dennis Shasha , Fuxing Wang On the Competitiveness of On-Line Real-Time Task Scheduling. [Citation Graph (0, 0)][DBLP ] Real-Time Systems, 1992, v:4, n:2, pp:125-144 [Journal ] Sanjoy K. Baruah , Louis E. Rosier , Rodney R. Howell Algorithms and Complexity Concerning the Preemptive Scheduling of Periodic, Real-Time Tasks on One Processor. [Citation Graph (0, 0)][DBLP ] Real-Time Systems, 1990, v:2, n:4, pp:301-324 [Journal ] Mohamed G. Gouda , Louis E. Rosier Priority Networks of Communicating Finite State Machines. [Citation Graph (0, 0)][DBLP ] SIAM J. Comput., 1985, v:14, n:3, pp:569-584 [Journal ] Louis E. Rosier , Hsu-Chun Yen Logspace Hierarchies, Polynomial Time and the Complexity of Fairness Problems Concerning Omega-Machines. [Citation Graph (0, 0)][DBLP ] SIAM J. Comput., 1987, v:16, n:5, pp:779-807 [Journal ] Sanjoy K. Baruah , Rodney R. Howell , Louis E. Rosier Feasibility Problems for Recurring Tasks on one Processor. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1993, v:118, n:1, pp:3-20 [Journal ] Rodney R. Howell , Louis E. Rosier Problems Concerning Fairness and Temporal Logic for Conflict-Free Petri Nets. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1989, v:64, n:3, pp:305-329 [Journal ] Rodney R. Howell , Louis E. Rosier , Dung T. Huynh , Hsu-Chun Yen Some Complexity Bounds for Problems Concerning Finite and 2-Dimensional Vector Addition Systems with States. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1986, v:46, n:3, pp:107-140 [Journal ] Rodney R. Howell , Louis E. Rosier , Hsu-Chun Yen Global and Local Views of State Fairness. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1991, v:80, n:1, pp:77-104 [Journal ] Rodney R. Howell , Louis E. Rosier , Hsu-Chun Yen A Taxonomy of Fairness and Temporal Logic Problems for Petri Nets. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1991, v:82, n:2, pp:341-372 [Journal ] Oscar H. Ibarra , Shlomo Moran , Louis E. Rosier On the Control Power of Integer Division. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1983, v:24, n:, pp:35-52 [Journal ] Oscar H. Ibarra , Louis E. Rosier Simple Programming Languages and Restricted Classes of Turing Machines. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1983, v:26, n:, pp:197-220 [Journal ] Louis E. Rosier , Hsu-Chun Yen Boundedness, Empty Channel Detection, and Synchronization for Communicating Finite Automata. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1986, v:44, n:, pp:69-105 [Journal ] Louis E. Rosier , Hsu-Chun Yen On the Complexity of Deciding fair Termination of Probabilistic Concurrent Finite-State Programs. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1988, v:58, n:, pp:263-324 [Journal ] Search in 0.007secs, Finished in 0.009secs