Robert M. Shapiro

According to our database1, Robert M. Shapiro authored at least 12 papers between 1962 and 1994.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

1994
Integrating BPR with image-based work flow.
Proceedings of the 26th conference on Winter simulation, 1994

1993
Work flow analysis.
Proceedings of the 25th Winter Simulation Conference, 1993

Modeling an NORAD Command Post Using SADT and Colored Petri Nets.
Proceedings of the Functional Programming, 1993

Generating an Algorithm for Executing Graphical Models.
Proceedings of the Functional Programming, 1993

1992
Formal Verification of an Arbiter Cascade.
Proceedings of the Application and Theory of Petri Nets 1992, 1992

1990
An integrated software development methodology based on hierarchical colored Petri Nets.
Proceedings of the Advances in Petri Nets 1991, 1990

1989
Hierarchies in coloured Petri nets.
Proceedings of the Advances in Petri Nets 1990 [10th International Conference on Applications and Theory of Petri Nets, 1989

1988
Winston: A Tool for Hierarchical Design and Simulation of Concurrent Systems.
Proceedings of the Specification and Verification of Concurrent Systems [BCS-FACS Workshop, 1988

1982
A Diagram Editor for Line Drawings with Inscriptions.
Proceedings of the Applications and Theory of Petri Nets, 1982

1979
The Application of General Net Theory - A Personal History.
Proceedings of the Net Theory and Applications, 1979

1964
A general-purpose table-driven compiler.
Proceedings of the 1964 spring joint computer conference, 1964

1962
Artificial languages: Computers, connector systems, and data descriptions.
Proceedings of the 1962 ACM national conference, Digest of technical papers, 1962


  Loading...