About the Collatz conjecture Ş Andrei, C Masalagiu Acta Informatica 35 (2), 167-179, 1998 | 68 | 1998 |
Didactica predării informaticii CD Masalagiu, I Asiminoaei, MA Țibu Elefant Online, 2016 | 21 | 2016 |
Conditional Petri net languages FL Tiplea, T Jucan, C Masalagiu Journal of Information Processing and Cybernetics 27 (1), 55-66, 1991 | 12 | 1991 |
A rigorous methodology for specification and verification of business processes C Masalagiu, WN Chin, Ş Andrei, V Alaiba Formal Aspects of Computing 21, 495-510, 2009 | 11 | 2009 |
Metodica predării informaticii CD Masalagiu, I Asiminoaei, I Maxim Matrix Rom, 2001 | 6 | 2001 |
Relation based controlled Petri nets T Jucan, C Masalagiu, FL Tiplea Sci. Ann. Cuza Univ. 2, 27-36, 1993 | 5 | 1993 |
Term rewriting systems and petri nets F Tiplea, T Jucan, C Masalagiu Analele Stiintifice ale Universitatii Al. I. Cuza 34 (4), 305-317, 1988 | 5 | 1988 |
Practica programării în TURBO PROLOG CD Masalagiu, L Ibănescu, Ş Andrei Editura Universităţii" Alexandru Ioan Cuza", 1998 | 4 | 1998 |
Fundamentele logice ale informaticii CD Masalagiu Editura Universităţii" Alexandru Ioan Cuza, 2004 | 3 | 2004 |
The resolution principle: complexity estimations for the class of propositional calculus formulae Ş Andrei, M Kudlek, C Masalagiu Bibliothek des Fachbereichs Informatik, Univ., 2001 | 3 | 2001 |
Duality in Resolution C Masalagiu, Ş Andrei Analele Universit a _ t ii Bu-cure şti, Informatic a 49, 97-112, 2000 | 3 | 2000 |
On the Complexity of Propositional Calculus Formulae S Andrei, G Grigoras, M Kudlek, C Masalagiu Sci. Ann. Cuza Univ. 10, 27-44, 2001 | 2 | 2001 |
Introducere in programarea logica si limbajele de programare logica CD Masalagiu Editura Universităţii" Alexandru Ioan Cuza", 1996 | 2 | 1996 |
Logic engineering with applications to security CD Masalagiu, V Alaib Proceedings of the Romanian Academy Series A-mathematics Physics Technical …, 2012 | 1 | 2012 |
Nivat's processing systems: decision problems related to protection and synchronization S Istrail, C Masalagiu Theoretical computer science 26 (1-2), 83-103, 1983 | 1 | 1983 |
Characterizing regularity of languages by data protection systems C Masalagiu Annales de l'Université, Iaşi 28 (2), 1982 | 1 | 1982 |
Logica pentru Informatica Seminar C Masalagiu, V Alaiba | | 2016 |
Programare logică: anul III, semestrul I, 2005-2006 CD Masalagiu Editura Universităţii" Alexandru Ioan Cuza", 2005 | | 2005 |
Logica pentru informaticieni: anul I, semestrul I CD Masalagiu Editura Universităţii" Alexandru Ioan Cuza", 2005 | | 2005 |
Logica pentru informaticieni: anul I, semestrul I: 2004-2005 CD Masalagiu Editura Universităţii" Alexandru Ioan Cuza", 2004 | | 2004 |