Louis E. Rosier

58 papers A* 5A 4B 9Journal 35Unranked 5
YearRankTypeTitle / Venue / Authors
1997 J jnl
An Algorithm Reminiscent of Euclidean-gcd Computing a Function Related to Pinwheel Scheduling.
Algorithmica
Theodore H. Romer, Louis E. Rosier
1995 J jnl
Bounded Self-Stabilizing Petri Nets.
Acta Informatica
Ludmila Cherkasova, Rodney R. Howell, Louis E. Rosier
1993 J jnl
Completeness Results for Single-Path Petri Nets
Inf. Comput.
Rodney R. Howell, Petr Jancar, Louis E. Rosier
1993 J jnl
Feasibility Problems for Recurring Tasks on one Processor.
Theor. Comput. Sci.
Sanjoy K. Baruah, Rodney R. Howell, Louis E. Rosier
1993 J jnl
Normal and Sinkless Petri Nets.
J. Comput. Syst. Sci.
Rodney R. Howell, Louis E. Rosier, Hsu-Chun Yen
1992 J jnl
On the Competitiveness of On-Line Real-Time Task Scheduling.
Real Time Syst.
Sanjoy K. Baruah, Gilad Koren, Decao Mao, Bhubaneswar Mishra, Arvind Raghunathan, Louis E. Rosier, Dennis E. Shasha, Fuxing Wang
1992 J jnl
Pinwheel Scheduling with Two Distinct Numbers.
Theor. Comput. Sci.
Robert Holte, Louis E. Rosier, Igor Tulchinsky, Donald A. Varvel
1991 J jnl
A Taxonomy of Fairness and Temporal Logic Problems for Petri Nets.
Theor. Comput. Sci.
Rodney R. Howell, Louis E. Rosier, Hsu-Chun Yen
1991 — conf
Bounded Self-Stabilizing Petri Nets.
Applications and Theory of Petri Nets
Ludmila Cherkasova, Rodney R. Howell, Louis E. Rosier
1991 J jnl
Global and Local Views of State Fairness.
Theor. Comput. Sci.
Rodney R. Howell, Louis E. Rosier, Hsu-Chun Yen
1991 A conf
On the competitiveness of on-line real-time task scheduling.
RTSS
Sanjoy K. Baruah, Gilad Koren, Decao Mao, Bud Mishra, Arvind Raghunathan, Louis E. Rosier, Dennis E. Shasha, Fuxing Wang
1991 A* conf
On-line Scheduling in the Presence of Overload
FOCS
Sanjoy K. Baruah, Gilad Koren, Bhubaneswar Mishra, Arvind Raghunathan, Louis E. Rosier, Dennis E. Shasha
1991 B conf
Single-Path Petri Nets.
MFCS
Rodney R. Howell, Petr Jancar, Louis E. Rosier
1991 — conf
Static and dynamic scheduling of sporadic tasks for single-processor systems.
RTS
Sanjoy K. Baruah, Louis E. Rosier, Donald A. Varvel
1990 J jnl
Algorithms and Complexity Concerning the Preemptive Scheduling of Periodic, Real-Time Tasks on One Processor.
Real Time Syst.
Sanjoy K. Baruah, Louis E. Rosier, Rodney R. Howell
1990 B conf
On Preemptive Scheduling of Periodic, Real-Time Tasks on One Processor.
MFCS
Sanjoy K. Baruah, Rodney R. Howell, Louis E. Rosier
1990 A conf
Preemptively Scheduling Hard-Real-Time Sporadic Tasks on One Processor.
RTSS
Sanjoy K. Baruah, Aloysius K. Mok, Louis E. Rosier
1990 J jnl
The Instability of Self-Stabilization.
Acta Informatica
Mohamed G. Gouda, Rodney R. Howell, Louis E. Rosier
1989 J jnl
Algorithms and complexity of the periodic maintenance problem.
Microprocessing and Microprogramming
Al Mok, Louis E. Rosier, Igor Tulchinsky, Donald A. Varvel
1989 B conf
Normal and Sinkless Petri Nets.
FCT
Rodney R. Howell, Louis E. Rosier, Hsu-Chun Yen
1989 B conf
Pinwheel Scheduling With Tow Distinct Numbers.
MFCS
Robert Holte, Louis E. Rosier, Igor Tulchinsky, Donald A. Varvel
1989 J jnl
Problems Concerning Fairness and Temporal Logic for Conflict-Free Petri Nets.
Theor. Comput. Sci.
Rodney R. Howell, Louis E. Rosier
1989 B conf
System Simulation and the Sensitivity of Self-Stabilization.
MFCS
Mohamed G. Gouda, Rodney R. Howell, Louis E. Rosier
1988 B conf
A Taxonomy of Fairness and Temporal Logic Problems for Petri Nets.
MFCS
Rodney R. Howell, Louis E. Rosier, Hsu-Chun Yen
1988 J jnl
Completeness Results for Conflict-Free Vector Replacement Systems.
J. Comput. Syst. Sci.
Rodney R. Howell, Louis E. Rosier
1988 J jnl
On the Complexity of Deciding fair Termination of Probabilistic Concurrent Finite-State Programs.
Theor. Comput. Sci.
Louis E. Rosier, Hsu-Chun Yen
1987 — conf
A Survey on the Decidability Questions for Classes of FIFO Nets.
European Workshop on Applications and Theory of Petri Nets
Alain Finkel, Louis E. Rosier
1987 J jnl
An Analysis of the Nonemptiness Problem for Classes of Reversal-Bounded Multicounter Machines.
J. Comput. Syst. Sci.
Rodney R. Howell, Louis E. Rosier
1987 J jnl
An O(n^(1.5)) Algorithm to Decide Boundedness for Conflict-Free Vector Replacement Systems.
Inf. Process. Lett.
Rodney R. Howell, Louis E. Rosier, Hsu-Chun Yen
1987 A* conf
Completeness Rules for Reachability, Containment, and Equivalence, with Respect to Conflict-Free Vector Replacement Systems.
ICALP
Rodney R. Howell, Louis E. Rosier
1987 J jnl
Logspace Hierarchies, Polynomial Time and the Complexity of Fairness Problems Concerning Omega-Machines.
SIAM J. Comput.
Louis E. Rosier, Hsu-Chun Yen
1987 — conf
On Questions of Fairness and Temporal Logic for Conflict- Free Petri Nets.
European Workshop on Applications and Theory of Petri Nets
Rodney R. Howell, Louis E. Rosier
1986 J jnl
A Multiparameter Analysis of the Boundedness Problem for Vector Addition Systems.
J. Comput. Syst. Sci.
Louis E. Rosier, Hsu-Chun Yen
1986 J jnl
A Note on Presburger Arithmetic with Array Segments, Permutation and Equality.
Inf. Process. Lett.
Louis E. Rosier
1986 B conf
An Analysis of the Nonemptiness Problem for Classes of Reversal-Bounded Multicounter Machines.
MFCS
Rodney R. Howell, Louis E. Rosier
1986 J jnl
Boundedness, Empty Channel Detection, and Synchronization for Communicating Finite Automata.
Theor. Comput. Sci.
Louis E. Rosier, Hsu-Chun Yen
1986 A conf
Logspace Hierarchies, Polynomial Time and the Complexity of Fairness Problems Concerning omega-Machines.
STACS
Louis E. Rosier, Hsu-Chun Yen
1986 A* conf
On The Complexity of Deciding Fair Termination of Probabilistic Concurrent Finite-State Programs.
ICALP
Louis E. Rosier, Hsu-Chun Yen
1986 — conf
Recent results on the complexity of problems related to Petri nets.
European Workshop on Applications and Theory of Petri Nets
Rodney R. Howell, Louis E. Rosier
1986 J jnl
Some Complexity Bounds for Problems Concerning Finite and 2-Dimensional Vector Addition Systems with States.
Theor. Comput. Sci.
Rodney R. Howell, Louis E. Rosier, Dung T. Huynh, Hsu-Chun Yen
1985 B conf
A multiparameter analysis of the boundedness problem for vector addition systems.
FCT
Louis E. Rosier, Hsu-Chun Yen
1985 J jnl
A note on Parikh maps, abstract languages, and decision problems.
Inf. Sci.
Alfred E. Borm, Louis E. Rosier
1985 A conf
Boundedness, Empty Channel Detection and Synchronization for Communicating Finite State Machines.
STACS
Louis E. Rosier, Hsu-Chun Yen
1985 J jnl
On Simple Programs with Primitive Conditional Statements
Inf. Control.
Oscar H. Ibarra, Louis E. Rosier
1985 J jnl
On Space and Time Efficient TM Simulations of Some Restricted Classes of PDA's
Inf. Control.
Oscar H. Ibarra, Sam M. Kim, Louis E. Rosier
1985 J jnl
Priority Networks of Communicating Finite State Machines.
SIAM J. Comput.
Mohamed G. Gouda, Louis E. Rosier
1985 J jnl
Some Characterizations of Multihead Finite Automata
Inf. Control.
Oscar H. Ibarra, Sam M. Kim, Louis E. Rosier
1985 J jnl
The Equivalence Problem and Correctness Formulas for a Simple Class of Programs
Inf. Control.
Oscar H. Ibarra, Louis E. Rosier
1984 J jnl
A Note on the Complexity of Program Evaluation.
Math. Syst. Theory
Oscar H. Ibarra, Brian S. Leininger, Louis E. Rosier
1984 A* conf
Communicating Finite State Machines with Priority Channnels.
ICALP
Mohamed G. Gouda, Louis E. Rosier
1984 A* conf
Space and Time Efficient Simulations and Characterizations of Some Restricted Classes of PDAs.
ICALP
Oscar H. Ibarra, Sam M. Kim, Louis E. Rosier
1984 B conf
The Equivalence Problem and Correctness Formulas for a Simple Class of Programs (Extended Abstract).
MFCS
Oscar H. Ibarra, Louis E. Rosier
1983 J jnl
On the Control Power of Integer Division.
Theor. Comput. Sci.
Oscar H. Ibarra, Shlomo Moran, Louis E. Rosier
1983 J jnl
Simple Programming Languages and Restricted Classes of Turing Machines.
Theor. Comput. Sci.
Oscar H. Ibarra, Louis E. Rosier
1981 J jnl
On Restricted One-counter Machines.
Math. Syst. Theory
Oscar H. Ibarra, Louis E. Rosier
1981 J jnl
On the Decidability of Equivalence for Deterministic Pushdown Transducers.
Inf. Process. Lett.
Oscar H. Ibarra, Louis E. Rosier
1981 J jnl
Probabilistic Algorithms and Straight-Line Programs for Some Rank Decision Problems.
Inf. Process. Lett.
Oscar H. Ibarra, Shlomo Moran, Louis E. Rosier
1980 J jnl
A Note on the Parallel Complexity of Computing the Rank of Order n Matrices.
Inf. Process. Lett.
Oscar H. Ibarra, Shlomo Moran, Louis E. Rosier