A Generic Graph Transformation, Visualisation, and Editing Framework in Haskell. - Scott West; Wolfram Kahl (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009)

A Modular Scheme for Deadlock Prevention in an Object-Oriented Programming Model. - Scott West; Sebastian Nanz; Bertrand Meyer 001 (ICFEM, 2010)

Deriving concurrent control software from behavioral specifications. - Ganesh Ramanathan; Benjamin Morandi; Scott West; Sebastian Nanz; Bertrand Meyer 001 (IROS, 2010)

Demonic Testing of Concurrent Programs. - Scott West; Sebastian Nanz; Bertrand Meyer 001 (ICFEM, 2012)

Concurrent Object-Oriented Development with Behavioral Design Patterns. - Benjamin Morandi; Scott West; Sebastian Nanz; Hassan Gomaa (ECSA, 2013)

Benchmarking Usability and Performance of Multicore Languages. - Sebastian Nanz; Scott West; Kaue Soares da Silveira; Bertrand Meyer 001 (ESEM, 2013)

Examining the Expert Gap in Parallel Programming. - Sebastian Nanz; Scott West; Kaue Soares da Silveira (Euro-Par, 2013)

To Run What No One Has Run Before: Executing an Intermediate Verification Language. - Nadia Polikarpova; Carlo A. Furia; Scott West (RV, 2013)

Benchmarking Usability and Performance of Multicore Languages - Sebastian Nanz; Scott West; Kaue Soares da Silveira (CoRR, 2013)

Correctness and Execution of Concurrent Object-Oriented Programs. - Scott West (2014)

Efficient and reasonable object-oriented concurrency. - Scott West; Sebastian Nanz; Bertrand Meyer 001 (ESEC/SIGSOFT FSE, 2015)

Modeling and Prototyping of IoT-based Long Range Self-powered Image Sensing System. - Samit Hasan; Scott West; Daniel S. Truesdell; Benton H. Calhoun (ENSsys@SenSys, 2025)