|
Amir Pnueli:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Gerhard Weikum:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Which papers of Gerhard Weikum cite Amir PnueliOrdered by citing publication[Change the order to 'ordered by cited']
-
Peter Muth, Jeanine Weißenfels, Michael Gillmann, Gerhard Weikum
Integrating Light-Weight Workflow Management Systems within Existing Business Environments. [Citation Graph (2, 19)][DBLP] ICDE, 1999, pp:286-293 [Conf] Cites:
-
David Harel, Hagi Lachover, Amnon Naamad, Amir Pnueli, Michal Politi, Rivi Sherman, Aharon Shtull-Trauring, Mark B. Trakhtenbrot
STATEMATE: A Working Environment for the Development of Complex Reactive Systems. [Citation Graph (3, 0)][DBLP] IEEE Trans. Software Eng., 1990, v:16, n:4, pp:403-414 [Journal]
-
Dirk Wodtke, Jeanine Weißenfels, Gerhard Weikum, Angelika Kotz Dittrich
The Mentor Project: Steps Toward Enterprise-Wide Workflow Management. [Citation Graph (11, 22)][DBLP] ICDE, 1996, pp:556-565 [Conf] Cites:
-
David Harel, Amir Pnueli, Jeanette P. Schmidt, Rivi Sherman
On the Formal Semantics of Statecharts (Extended Abstract) [Citation Graph (2, 0)][DBLP] LICS, 1987, pp:54-64 [Conf]
-
David Harel, Hagi Lachover, Amnon Naamad, Amir Pnueli, Michal Politi, Rivi Sherman, Aharon Shtull-Trauring, Mark B. Trakhtenbrot
STATEMATE: A Working Environment for the Development of Complex Reactive Systems. [Citation Graph (3, 0)][DBLP] IEEE Trans. Software Eng., 1990, v:16, n:4, pp:403-414 [Journal]
-
Dirk Wodtke, Gerhard Weikum
A Formal Foundation for Distributed Workflow Execution Based on State Charts. [Citation Graph (8, 8)][DBLP] ICDT, 1997, pp:230-246 [Conf] Cites:
-
David Harel, Amir Pnueli, Jeanette P. Schmidt, Rivi Sherman
On the Formal Semantics of Statecharts (Extended Abstract) [Citation Graph (2, 0)][DBLP] LICS, 1987, pp:54-64 [Conf]
-
David Harel, Hagi Lachover, Amnon Naamad, Amir Pnueli, Michal Politi, Rivi Sherman, Aharon Shtull-Trauring, Mark B. Trakhtenbrot
STATEMATE: A Working Environment for the Development of Complex Reactive Systems. [Citation Graph (3, 0)][DBLP] IEEE Trans. Software Eng., 1990, v:16, n:4, pp:403-414 [Journal]
|