Robert M. Shapiro

12 papers Misc 2Unranked 10
YearRankTypeTitle / Venue / Authors
1994 Misc conf
Integrating BPR with image-based work flow.
WSC
Robert M. Shapiro
1993 — conf
Generating an Algorithm for Executing Graphical Models.
Functional Programming, Concurrency, Simulation and Automated Reasoning
Jawahar Malhotra, Robert M. Shapiro
1993 — conf
Modeling an NORAD Command Post Using SADT and Colored Petri Nets.
Functional Programming, Concurrency, Simulation and Automated Reasoning
Robert M. Shapiro, Valerio O. Pinci, Roberto Mameli
1993 Misc conf
Work flow analysis.
WSC
Valerio O. Pinci, Robert M. Shapiro
1992 — conf
Formal Verification of an Arbiter Cascade.
Application and Theory of Petri Nets
Hartmann J. Genrich, Robert M. Shapiro
1990 — conf
An integrated software development methodology based on hierarchical colored Petri Nets.
Applications and Theory of Petri Nets
Valerio O. Pinci, Robert M. Shapiro
1989 — conf
Hierarchies in coloured Petri nets.
Applications and Theory of Petri Nets
Peter Huber, Kurt Jensen, Robert M. Shapiro
1988 — conf
Winston: A Tool for Hierarchical Design and Simulation of Concurrent Systems.
Specification and Verification of Concurrent Systems
Jawahar Malhotra, Robert M. Shapiro, Scott A. Smolka, Alessandro Giacalone
1982 — conf
A Diagram Editor for Line Drawings with Inscriptions.
European Workshop on Applications and Theory of Petri Nets
Hartmann J. Genrich, Robert M. Shapiro
1979 — conf
The Application of General Net Theory - A Personal History.
Advanced Course: Net Theory and Applications
Robert M. Shapiro
1964 — conf
A general-purpose table-driven compiler.
AFIPS Spring Joint Computing Conference
Stephen Warshall, Robert M. Shapiro
1962 — conf
Artificial languages: Computers, connector systems, and data descriptions.
ACM National Conference
Robert M. Shapiro