Cristian Masalagiu

According to our database, Cristian Masalagiu authored at least 8 papers between 1983 and 2009.

Collaborative distances:

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

2009

A rigorous methodology for specification and verification of business processes.

Cristian Masalagiu, Wei-Ngan Chin, Stefan Andrei, Vasile Alaiba

Formal Aspects Comput., 2009

2003

Concurrent Negotiation Protocol for an Elevator Group Controller.

Cristian Masalagiu, Vasile Alaiba

Sci. Ann. Cuza Univ., 2003

2001

On the Complexity of Propositional Calculus Formulae.

Stefan Andrei, Gheorghe Grigoras, Manfred Kudlek, Cristian Masalagiu

Sci. Ann. Cuza Univ., 2001

1998

About the Collatz Conjecture.

Stefan Andrei, Cristian Masalagiu

Acta Informatica, 1998

1993

Relation Based Controlled Petri Nets.

Toader Jucan, Cristian Masalagiu, Ferucio Laurentiu Tiplea

Sci. Ann. Cuza Univ., 1993

1991

Conditional Petri Net Languages.

Ferucio Laurentiu Tiplea, Toader Jucan, Cristian Masalagiu

J. Inf. Process. Cybern., 1991

1983

Nivats's Processing Systems: Decision Problems Related to Protection and Synchronization.

Sorin Istrail, Cristian Masalagiu

Theor. Comput. Sci., 1983

Nivat-Processing Systems: Decision Problems Related to Protection and Synchronization.

Sorin Istrail, Cristian Masalagiu

Proceedings of the CAAP'83, 1983