Virgil Nicolae Serbanuta

According to our database, Virgil Nicolae Serbanuta authored at least 3 papers between 2006 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

IELE: A Rigorously Designed Language and Tool Ecosystem for the Blockchain.

Theodoros Kasampalis, Dwight Guth, Brandon M. Moore, Traian-Florin Serbanuta, Yi Zhang, Daniele Filaretti, Virgil Nicolae Serbanuta, Ralph Johnson, Grigore Rosu

Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019

2009

On Parikh Matrices, Ambiguity, and PRINTS.

Virgil Nicolae Serbanuta

Int. J. Found. Comput. Sci., 2009

2006

Injectivity of the Parikh Matrix Mappings Revisited.

Virgil Nicolae Serbanuta, Traian-Florin Serbanuta

Fundam. Informaticae, 2006