Building Helpful Virtual Agents Using Plan Recognition and Planning. - Christopher W. Geib; Janith Weerasinghe; Sergey Matskevich; Pavan Kantharaju; Bart G. W. Craenen; Ronald P. A. Petrick (AIIDE, 2016)

Generating comments from source code with CCGs. - Sergey Matskevich; Colin S. Gordon (NL4SE@ESEC/SIGSOFT FSE, 2018)

Natural Language Specifications in Proof Assistants. - Colin S. Gordon; Sergey Matskevich (CoRR, 2022)

Preprocessing Source Code Comments for Linguistic Models. - Sergey Matskevich; Colin S. Gordon (CoRR, 2022)

Trustworthy Formal Natural Language Specifications. - Colin S. Gordon; Sergey Matskevich (Onward!, 2023)