Parsing K definitions. - Radu Mereuta; Gheorghe Grigoras (K, 2011)

Executing Formal Semantics with the K Tool. - David Lazar; Andrei Arusoaie; Traian-Florin Serbanuta; Chucky Ellison; Radu Mereuta; Dorel Lucanu; Grigore Rosu (FM, 2012)

Extending the Service Composition Formalism with Relational Parameters. - Paul Diac; Liana Tucar; Radu Mereuta (CoRR, 2019)

All-Path Reachability Logic. - Andrei Stefanescu; Stefan Ciobaca; Radu Mereuta; Brandon M. Moore; Traian-Florin Serbanuta; Grigore Rosu (Log. Methods Comput. Sci., 2019)