Cristian Masalagiu

Publication Activity (10 Years)

Years Active: 1983-2009
Publications (10 Years): 0

Publications

Cristian Masalagiu, Wei-Ngan Chin, Stefan Andrei, Vasile Alaiba
A rigorous methodology for specification and verification of business processes. Formal Aspects Comput. 21 (5) (2009)
Cristian Masalagiu, Vasile Alaiba
Concurrent Negotiation Protocol for an Elevator Group Controller. Sci. Ann. Cuza Univ. 13 (2003)
Stefan Andrei, Gheorghe Grigoras, Manfred Kudlek, Cristian Masalagiu
On the Complexity of Propositional Calculus Formulae. Sci. Ann. Cuza Univ. 10 (2001)
Stefan Andrei, Cristian Masalagiu
About the Collatz Conjecture. Acta Informatica 35 (2) (1998)
Toader Jucan, Cristian Masalagiu, Ferucio Laurentiu Tiplea
Relation Based Controlled Petri Nets. Sci. Ann. Cuza Univ. 2 (1993)
Ferucio Laurentiu Tiplea, Toader Jucan, Cristian Masalagiu
Conditional Petri Net Languages. J. Inf. Process. Cybern. 27 (1) (1991)
Sorin Istrail, Cristian Masalagiu
Nivat-Processing Systems: Decision Problems Related to Protection and Synchronization. CAAP (1983)
Sorin Istrail, Cristian Masalagiu
Nivats's Processing Systems: Decision Problems Related to Protection and Synchronization. Theor. Comput. Sci. 26 (1983)