The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Louis E. Rosier: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. 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]
  4. 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]
  5. 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]
  6. 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]
  7. 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]
  8. 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]
  9. Mohamed G. Gouda, Louis E. Rosier
    Communicating Finite State Machines with Priority Channnels. [Citation Graph (0, 0)][DBLP]
    ICALP, 1984, pp:209-221 [Conf]
  10. 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]
  11. 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]
  12. 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]
  13. 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]
  14. 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]
  15. 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]
  16. Rodney R. Howell, Petr Jancar, Louis E. Rosier
    Single-Path Petri Nets. [Citation Graph (0, 0)][DBLP]
    MFCS, 1991, pp:202-210 [Conf]
  17. 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]
  18. 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]
  19. 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]
  20. 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]
  21. 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]
  22. 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]
  23. 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]
  24. 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]
  25. 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]
  26. 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]
  27. 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]
  28. 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]
  29. 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]
  30. 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]
  31. 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]
  32. 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]
  33. 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]
  34. 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]
  35. 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]
  36. 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]
  37. 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]
  38. 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]
  39. 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]
  40. 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]
  41. 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]
  42. 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]
  43. 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]
  44. 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]
  45. 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]
  46. 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]
  47. 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]
  48. 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]
  49. 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]
  50. 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]
  51. 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]
  52. 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]
  53. 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]
  54. 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]
  55. 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.003secs, Finished in 0.452secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002