|
E. Allen Emerson:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Amit P. Sheth:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Which papers of Amit P. Sheth cite E. Allen EmersonOrdered by citing publication[Change the order to 'ordered by cited']
-
Darrell Woelk, Paul C. Attie, Philip Cannata, Greg Meredith, Amit P. Sheth, Munindar P. Singh, Christine Tomlinson
Task Scheduling Using Intertask Dependencies in Carot. [Citation Graph (4, 4)][DBLP] SIGMOD Conference, 1993, pp:491-494 [Conf] Cites:
-
Paul C. Attie, Munindar P. Singh, Amit P. Sheth, Marek Rusinkiewicz
Specifying and Enforcing Intertask Dependencies. [Citation Graph (30, 15)][DBLP] VLDB, 1993, pp:134-145 [Conf] Cites:
-
Paul C. Attie, E. Allen Emerson
Synthesis of Concurrent Systems with Many Similar Sequential Processes. [Citation Graph (1, 0)][DBLP] POPL, 1989, pp:191-201 [Conf]
-
E. Allen Emerson, Edmund M. Clarke
Using Branching Time Temporal Logic to Synthesize Synchronization Skeletons. [Citation Graph (2, 0)][DBLP] Sci. Comput. Program., 1982, v:2, n:3, pp:241-266 [Journal]
|