Nivat-Processing Systems: Decision Problems Related to Protection and Synchronization. - Sorin Istrail; Cristian Masalagiu (CAAP, 1983)

Nivats's Processing Systems: Decision Problems Related to Protection and Synchronization. - Sorin Istrail; Cristian Masalagiu (Theor. Comput. Sci., 1983)

Conditional Petri Net Languages. - Ferucio Laurentiu Tiplea; Toader Jucan; Cristian Masalagiu (J. Inf. Process. Cybern., 1991)

Relation Based Controlled Petri Nets. - Toader Jucan; Cristian Masalagiu; Ferucio Laurentiu Tiplea (Sci. Ann. Cuza Univ., 1993)

About the Collatz Conjecture. - Stefan Andrei; Cristian Masalagiu (Acta Informatica, 1998)

On the Complexity of Propositional Calculus Formulae. - Stefan Andrei; Gheorghe Grigoras; Manfred Kudlek; Cristian Masalagiu (Sci. Ann. Cuza Univ., 2001)

Concurrent Negotiation Protocol for an Elevator Group Controller. - Cristian Masalagiu; Vasile Alaiba (Sci. Ann. Cuza Univ., 2003)

A rigorous methodology for specification and verification of business processes. - Cristian Masalagiu; Wei-Ngan Chin; Stefan Andrei; Vasile Alaiba (Formal Aspects Comput., 2009)