Robert M. Shapiro

Publication Activity (10 Years)

Years Active: 1962-1994
Publications (10 Years): 0

Publications

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