| 2010 | SEKE | An Empirical Evaluation on the Relationship Between Final Auction Price and Shilling Activity in Online Auctions. | Fei Dong, Sol M. Shatz, Haiping Xu |
| 2010 | SEKE | A Multi-State Bayesian Network for Shill Verification in Online Auctions. | Ankit Goel, Haiping Xu, Sol M. Shatz |
| 2008 | DCOSS | Multi-root, Multi-Query Processing in Sensor Networks. | Zhiguo Zhang, Ajay D. Kshemkalyani, Sol M. Shatz |
| 2007 | ICCCN | A Framework for Querying Sensor Networks Using Mobile Devices. | Shourui Tian, Sol M. Shatz, Yang Yu |
| 2007 | ISADS | Optimizing Query Injection from Mobile Objects to Sensor Networks. | Shourui Tian, Sol M. Shatz |
| 2004 | SEKE | Mapping UML Diagrams to a Petri Net Notation for System Simulation. | Zhaoxia Hu, Sol M. Shatz |
| 2001 | ICDCS | A Framework for Modeling Agent-Oriented Software. | Haiping Xu, Sol M. Shatz |
| 2001 | ISADS | An Agent-Based Petri Net Model with Application to Seller/Buyer Design in Electronic Commerce. | Haiping Xu, Sol M. Shatz |
| 2000 | PDPTA | An Approach To Using Formal Methods In Aspect Orientation. | X. Xie, Sol M. Shatz |
| 2000 | SMC | Extending G-nets to support inheritance modeling in concurrent object-oriented design. | Haiping Xu, Sol M. Shatz |
| 1997 | COMPSAC | Design and Implementation Issues for Supporting Callback Procedures in RPC-Based Distributed Software. | C. Sashidhar, Sol M. Shatz |
| 1996 | SEKE | A Method for Applying G-Nets To Communication Protocols. | Vladimir P. Sliva, Tadao Murata, Sol M. Shatz |
| 1993 | ISSTA | Using State Space Reduction Methods for Deadlock Analysis in Ada Tasking. | Sastry Duri, Ugo A. Buy, R. Devarapalli, Sol M. Shatz |
| 1992 | ICDCS | TQL: A Tasking Query Language for Concurrent Program Analysis. | Christopher Black, Sol M. Shatz, S. Upp |
| 1990 | ICDCS | Applying Petri Net Reduction to Support Ada-Tasking Deadlock Detection. | Shengru Tu, Sol M. Shatz, Tadao Murata |
| 1989 | COMPSAC | Derivation of Petri net models of Ada tasking constructs involving time. | F. W. Fong, Sol M. Shatz |
| 1989 | COMPSAC | Automated protocol modeling and verification combining an entity-based specification language and Petri nets. | Sol M. Shatz, Toshinori Suzuki, Tadao Murata |
| 1989 | ICDCS | A toolkit for automated support of Ada tasking analysis. | Sol M. Shatz, Khanh Mai, D. Moorthi, J. Woodward |
| 1988 | COMPSAC | Reliability-oriented task allocation in redundant distributed systems. | Jia-Ping Wang, Sol M. Shatz |
| 1988 | SRDS | Task Allocation for Optimized System Reliability. | Jia-Ping Wang, Sol M. Shatz |
| 1982 | ICDCS | On Communication in the Design of Software Components of Distributed Computer Systems. | Stephen S. Yau, Sol M. Shatz |