Experience with Formal Verification of SDL Protocols. - Marius Minea; Cornel Izbasa; Calin Jebelean (Int. J. Comput., 2003)

A Web-Based P Systems Simulator and Its Parallelization. - Cosmin Bonchis; Gabriel Ciobanu; Cornel Izbasa; Dana Petcu (UC, 2005)

Number Encodings and Arithmetics over Multisets. - Cosmin Bonchis; Cornel Izbasa; Gabriel Ciobanu (SYNASC, 2006)

Encodings and Arithmetic Operations in Membrane Computing. - Cosmin Bonchis; Gabriel Ciobanu; Cornel Izbasa (TAMC, 2006)

Symbolic Computations based on Grid Services. - Dana Petcu; Cosmin Bonchis; Cornel Izbasa (Int. J. Comput. Commun. Control, 2006)

Data Compression on Multisets. Submultiset-Free Codes. - Cosmin Bonchis; Gabriel Ciobanu; Graiela Ghergu; Cornel Izbasa (SYNASC, 2008)

Information Theory over Multisets. - Cosmin Bonchis; Cornel Izbasa; Gabriel Ciobanu (Comput. Informatics, 2008)