1994 |
11 | EE | Robert M. Shapiro:
Integrating BPR with image-based work flow.
Winter Simulation Conference 1994: 1221-1228 |
1993 |
10 | | Jawahar Malhotra,
Robert M. Shapiro:
Generating an Algorithm for Executing Graphical Models.
Functional Programming, Concurrency, Simulation and Automated Reasoning 1993: 71-83 |
9 | | Robert M. Shapiro,
Valerio O. Pinci,
Roberto Mameli:
Modeling an NORAD Command Post Using SADT and Colored Petri Nets.
Functional Programming, Concurrency, Simulation and Automated Reasoning 1993: 84-107 |
8 | EE | Valerio O. Pinci,
Robert M. Shapiro:
Work flow analysis.
Winter Simulation Conference 1993: 1122-1130 |
1992 |
7 | | Hartmann J. Genrich,
Robert M. Shapiro:
Formal Verification of an Arbiter Cascade.
Application and Theory of Petri Nets 1992: 205-223 |
1990 |
6 | | Valerio O. Pinci,
Robert M. Shapiro:
An integrated software development methodology based on hierarchical colored Petri Nets.
Applications and Theory of Petri Nets 1990: 227-252 |
1989 |
5 | | Peter Huber,
Kurt Jensen,
Robert M. Shapiro:
Hierarchies in coloured Petri nets.
Applications and Theory of Petri Nets 1989: 313-341 |
1988 |
4 | | Jawahar Malhotra,
Robert M. Shapiro,
Scott A. Smolka,
Alessandro Giacalone,
Robert M. Shapiro:
Winston: A Toll for Hierarchical Design and Simulation of Concurrent Systems.
Specification and Verification of Concurrent Systems 1988: 140-152 |
3 | | Jawahar Malhotra,
Robert M. Shapiro,
Scott A. Smolka,
Alessandro Giacalone,
Robert M. Shapiro:
Winston: A Toll for Hierarchical Design and Simulation of Concurrent Systems.
Specification and Verification of Concurrent Systems 1988: 140-152 |
1982 |
2 | | Hartmann J. Genrich,
Robert M. Shapiro:
A Diagram Editor for Line Drawings with Inscriptions.
European Workshop on Applications and Theory of Petri Nets 1982: 112-131 |
1975 |
1 | | Robert M. Shapiro:
The Application of General Net Theory - A Personal History.
Advanced Course: Net Theory and Applications 1975: 401-440 |