The Hidden Computation Stepsof Turbo Abstract State Machines. - Nicu G. Fruja; Robert F. Stärk (Abstract State Machines, 2003)

Specification and Implementation Problems for C#. - Nicu G. Fruja (Abstract State Machines, 2004)

The Correctness of the Definite Assignment Analysis in C#. - Nicu G. Fruja (J. Object Technol., 2004)

A Modular Design for the Common Language Runtime (CLR) Architecture. - Nicu G. Fruja (Abstract State Machines, 2005)

An Executable Specification of C++. - Horatiu Jula; Nicu G. Fruja (Abstract State Machines, 2005)

A high-level modular definition of the semantics of C#. - Egon Börger; Nicu G. Fruja; Vincenzo Gervasi; Robert F. Stärk (Theor. Comput. Sci., 2005)

Type Safety of Generics for the .NET Common Language Runtime. - Nicu G. Fruja (ESOP, 2006)

Modeling the .NET CLR Exception Handling Mechanism for a Mathematical Analysis. - Nicu G. Fruja; Egon Börger (J. Object Technol., 2006)

Type safety of C# and .Net CLR. - Nicu G. Fruja (2007)

Towards proving type safety of .NET CIL. - Nicu G. Fruja (Sci. Comput. Program., 2008)

Towards proving type safety of C#. - Nicu G. Fruja (Comput. Lang. Syst. Struct., 2010)