 | 2009 |
|---|
| 8 |       | Cristian Masalagiu,
Wei-Ngan Chin,
Stefan Andrei,
Vasile Alaiba:
A rigorous methodology for specification and verification of business processes.
Formal Asp. Comput. 21(5): 495-510 (2009) |
| 2003 |
|---|
| 7 | | Cristian Masalagiu,
Vasile Alaiba:
Concurrent Negotiation Protocol for an Elevator Group Controller.
Sci. Ann. Cuza Univ. 13: 79-90 (2003) |
| 2001 |
|---|
| 6 | | Stefan Andrei,
Gheorghe Grigoras,
Manfred Kudlek,
Cristian Masalagiu:
On the Complexity of Propositional Calculus Formulae.
Sci. Ann. Cuza Univ. 10: 27-44 (2001) |
| 1998 |
|---|
| 5 | | Stefan Andrei,
Cristian Masalagiu:
About the Collatz Conjecture.
Acta Inf. 35(2): 167-179 (1998) |
| 1993 |
|---|
| 4 |  | Toader Jucan,
Cristian Masalagiu,
Ferucio Laurentiu Tiplea:
Relation Based Controlled Petri Nets.
Sci. Ann. Cuza Univ. 2: 27-36 (1993) |
| 1991 |
|---|
| 3 | | Ferucio Laurentiu Tiplea,
Toader Jucan,
Cristian Masalagiu:
Conditional Petri Net Languages.
Elektronische Informationsverarbeitung und Kybernetik 27(1): 55-66 (1991) |
| 1983 |
|---|
| 2 | | Sorin Istrail,
Cristian Masalagiu:
Nivat-Processing Systems: Decision Problems Related to Protection and Synchronization.
CAAP 1983: 255-268 |
| 1 | | Sorin Istrail,
Cristian Masalagiu:
Nivats's Processing Systems: Decision Problems Related to Protection and Synchronization.
Theor. Comput. Sci. 26: 83-103 (1983) |
Data released under the ODC-BY 1.0 license — See also our legal information page