Abstract Beth definability in institutions. - Razvan Diaconescu; Marius Petria (J. Symb. Log., 2006)

An Institutional Version of Gödel's Completeness Theorem. - Marius Petria (CALCO, 2007)

Saturated models in institutions. - Razvan Diaconescu; Marius Petria (Arch. Math. Log., 2010)

Completeness by Forcing. - Daniel Gâinâ; Marius Petria (J. Log. Comput., 2010)

Generic constructions for behavioral specifications. - Marius Petria (Theor. Comput. Sci., 2012)