 | 2009 |
|---|
| 10 |       | Mihaela Brut,
Laura Asandului,
Gheorghe Grigoras:
A Rule-Based Approach for Developing a Competency-Oriented User Model for E-Learning Systems.
ICIW 2009: 555-560 |
| 9 | | Eugen-Ioan Goriac,
Georgiana Caltais,
Dorel Lucanu,
Oana Andrei,
Gheorghe Grigoras:
Patterns for Maude Metalanguage Applications.
Electr. Notes Theor. Comput. Sci. 238(3): 121-138 (2009) |
| 2008 |
|---|
| 8 | | Mihaela Brut,
Sabin C. Buraga,
Sergiu Dumitriu,
Gheorghe Grigoras,
Marta Gîrdea:
A Competency-Oriented Modeling Approach for Personalized E-Learning Systems.
ICIW 2008: 410-415 |
| 7 | | Dorel Lucanu,
Grigore Rosu,
Gheorghe Grigoras:
Regular Strategies as Proof Tactics for CIRC.
Electr. Notes Theor. Comput. Sci. 204: 83-98 (2008) |
| 2004 |
|---|
| 6 |  | Stefan Andrei,
Wei-Ngan Chin,
Gheorghe Grigoras:
Co-determinism and unambiguity of automata accepting finite or infinite words.
Sci. Ann. Cuza Univ. 14: 1-11 (2004) |
| 5 | | Gheorghe Grigoras,
Dorel Lucanu:
On Hidden Algebra Semantics of Object Oriented Languages.
Sci. Ann. Cuza Univ. 14: 51-68 (2004) |
| 2002 |
|---|
| 4 | | Stefan Andrei,
Wei-Ngan Chin,
Gheorghe Grigoras:
A Tutorial on a Monadic Approach for Expressions Evaluation.
Sci. Ann. Cuza Univ. 12: 1-27 (2002) |
| 2001 |
|---|
| 3 | | Stefan Andrei,
Gheorghe Grigoras,
Manfred Kudlek,
Cristian Masalagiu:
On the Complexity of Propositional Calculus Formulae.
Sci. Ann. Cuza Univ. 10: 27-44 (2001) |
| 1981 |
|---|
| 2 | | Gheorghe Grigoras:
On the isomorphism-complete problems and polynomial time isomorphism.
Acta Cybern. 5: 135-142 (1981) |
| 1979 |
|---|
| 1 | | Dan A. Simovici,
Gheorghe Grigoras:
Even Initial Feedback Vertex Set Problem is NP-Complete.
Inf. Process. Lett. 8(2): 64-66 (1979) |
