Gheorghe Grigoras

	2010
14		Stefan Andrei, Albert M. K. Cheng, Gheorghe Grigoras, Vlad Radulescu: An Efficient Scheduling Algorithm for the Multiprocessor Platform. SYNASC 2010: 245-252
	2009
13		Gheorghe Grigoras, Dorel Lucanu, Georgiana Caltais, Eugen-Ioan Goriac: Automated Proving of the Behavioral Attributes. BCI 2009: 33-38
12		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
11		Stefan Andrei, Gheorghe Grigoras, Martin C. Rinard, Roland H. C. Yap: A Hierarchy of Tractable Subclasses for SAT and Counting SAT Problems. SYNASC 2009: 61-68
10		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
9		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
8		Georgiana Caltais, Eugen-Ioan Goriac, Dorel Lucanu, Gheorghe Grigoras: A Rewrite Stack Machine for ROC!. SYNASC 2008: 85-91
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)

Coauthor Index

1	Oana Andrei	[10]
2	Stefan Andrei	[3] [4] [6] [11] [14]
3	Laura Asandului	[12]
4	Mihaela Brut	[9] [12]
5	Sabin C. Buraga	[9]
6	Georgiana Caltais	[8] [10] [13]
7	Albert Mo Kim Cheng (Albert M. K. Cheng)	[14]
8	Wei-Ngan Chin	[4] [6]
9	Sergiu Dumitriu	[9]
10	Marta Gîrdea	[9]
11	Eugen-Ioan Goriac	[8] [10] [13]
12	Manfred Kudlek	[3]
13	Dorel Lucanu	[5] [7] [8] [10] [13]
14	Cristian Masalagiu	[3]
15	Vlad Radulescu	[14]
16	Martin C. Rinard	[11]
17	Grigore Rosu	[7]
18	Dan A. Simovici	[1]
19	Roland H. C. Yap	[11]

Colors in the list of coauthors

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page