Search the dblp DataBase
Robert M. Shapiro :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Robert M. Shapiro The Application of General Net Theory - A Personal History. [Citation Graph (0, 0)][DBLP ] Advanced Course: Net Theory and Applications, 1975, pp:401-440 [Conf ] Hartmann J. Genrich , Robert M. Shapiro A Diagram Editor for Line Drawings with Inscriptions. [Citation Graph (0, 0)][DBLP ] European Workshop on Applications and Theory of Petri Nets, 1982, pp:112-131 [Conf ] Hartmann J. Genrich , Robert M. Shapiro Formal Verification of an Arbiter Cascade. [Citation Graph (0, 0)][DBLP ] Application and Theory of Petri Nets, 1992, pp:205-223 [Conf ] Peter Huber , Kurt Jensen , Robert M. Shapiro Hierarchies in coloured Petri nets. [Citation Graph (0, 0)][DBLP ] Applications and Theory of Petri Nets, 1989, pp:313-341 [Conf ] Valerio O. Pinci , Robert M. Shapiro An integrated software development methodology based on hierarchical colored Petri Nets. [Citation Graph (0, 0)][DBLP ] Applications and Theory of Petri Nets, 1990, pp:227-252 [Conf ] Jawahar Malhotra , Scott A. Smolka , Alessandro Giacalone , Robert M. Shapiro Winston: A Toll for Hierarchical Design and Simulation of Concurrent Systems. [Citation Graph (0, 0)][DBLP ] Specification and Verification of Concurrent Systems, 1988, pp:140-152 [Conf ] Jawahar Malhotra , Robert M. Shapiro Generating an Algorithm for Executing Graphical Models. [Citation Graph (0, 0)][DBLP ] Functional Programming, Concurrency, Simulation and Automated Reasoning, 1993, pp:71-83 [Conf ] Robert M. Shapiro , Valerio O. Pinci , Roberto Mameli Modeling an NORAD Command Post Using SADT and Colored Petri Nets. [Citation Graph (0, 0)][DBLP ] Functional Programming, Concurrency, Simulation and Automated Reasoning, 1993, pp:84-107 [Conf ] Valerio O. Pinci , Robert M. Shapiro Work flow analysis. [Citation Graph (0, 0)][DBLP ] Winter Simulation Conference, 1993, pp:1122-1130 [Conf ] Robert M. Shapiro Integrating BPR with image-based work flow. [Citation Graph (0, 0)][DBLP ] Winter Simulation Conference, 1994, pp:1221-1228 [Conf ] Search in 0.001secs, Finished in 0.002secs