Cristian Masalagiu

According to our database1, Cristian Masalagiu
  • authored at least 8 papers between 1983 and 2009.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2009
A rigorous methodology for specification and verification of business processes.
Formal Asp. Comput., 2009

2003
Concurrent Negotiation Protocol for an Elevator Group Controller.
Sci. Ann. Cuza Univ., 2003

2001
On the Complexity of Propositional Calculus Formulae.
Sci. Ann. Cuza Univ., 2001

1998
About the Collatz Conjecture.
Acta Inf., 1998

1993
Relation Based Controlled Petri Nets.
Sci. Ann. Cuza Univ., 1993

1991
Conditional Petri Net Languages.
Elektronische Informationsverarbeitung und Kybernetik, 1991

1983
Nivats's Processing Systems: Decision Problems Related to Protection and Synchronization.
Theor. Comput. Sci., 1983

Nivat-Processing Systems: Decision Problems Related to Protection and Synchronization.
Proceedings of the CAAP'83, 1983


  Loading...