Samir Genaim

2008
19	EE	Elvira Albert, Puri Arenas, Michael Codish, Samir Genaim, Germán Puebla, Damiano Zanardini: Termination Analysis of Java Bytecode. FMOODS 2008: 2-18
18	EE	Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini: Removing useless variables in cost analysis of Java bytecode. SAC 2008: 368-375
17	EE	Samir Genaim, Andy King: Inferring non-suspension conditions for logic programs with dynamic scheduling. ACM Trans. Comput. Log. 9(3): (2008)
2007
16	EE	Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini: Cost Analysis of Java Bytecode. ESOP 2007: 157-172
15	EE	Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa: Heap space analysis for java bytecode. ISMM 2007: 105-116
14	EE	Maurice Bruynooghe, Michael Codish, John P. Gallagher, Samir Genaim, Wim Vanhoof: Termination analysis of logic programs through combination of type-based norms. ACM Trans. Program. Lang. Syst. 29(2): (2007)
13	EE	Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini: Experiments in Cost Analysis of Java Bytecode. Electr. Notes Theor. Comput. Sci. 190(1): 67-83 (2007)
2006
12	EE	Andy King, Lunjin Lu, Samir Genaim: Detecting Determinacy in Prolog Programs. ICLP 2006: 132-147
2005
11	EE	Samir Genaim, Fausto Spoto: Information Flow Analysis for Java Bytecode. VMCAI 2005: 346-362
10	EE	Samir Genaim, Michael Codish: Inferring Termination Conditions for Logic Programs using Backwards Analysis. TPLP 5(1-2): 75-91 (2005)
2003
9	EE	Samir Genaim, Andy King: Goal-Independent Suspension Analysis for Logic Programs with Dynamic Scheduling. ESOP 2003: 84-98
8		Michael Codish, Samir Genaim: Proving Termination One Loop at a Time. WLPE 2003: 48-59
7	EE	Samir Genaim, Michael Codish: Inferring Termination Conditions for Logic Programs using Backwards Analysis CoRR cs.PL/0312023: (2003)
2002
6	EE	Maurice Bruynooghe, Michael Codish, Samir Genaim, Wim Vanhoof: Reuse of Results in Termination Analysis of Typed Logic Programs. SAS 2002: 477-492
5	EE	Samir Genaim, Michael Codish, John P. Gallagher, Vitaly Lagoon: Combining Norms to Prove Termination. VMCAI 2002: 126-138
2001
4	EE	Samir Genaim, Michael Codish: The Def-inite Approach to Dependency Analysis. ESOP 2001: 417-432
3	EE	Michael Codish, Samir Genaim, Harald Søndergaard, Peter J. Stuckey: Higher-Precision Groundness Analysis. ICLP 2001: 135-149
2	EE	Samir Genaim, Michael Codish: Inferring Termination Conditions for Logic Programs Using Backwards Analysis. LPAR 2001: 685-694
1		Samir Genaim, Jacob M. Howe, Michael Codish: Worst-case groundness analysis using definite boolean functions. TPLP 1(5): 611-615 (2001)

Coauthor Index

1	Elvira Albert	[13] [15] [16] [18] [19]
2	Puri Arenas (Puri Arenas-Sánchez)	[13] [16] [18] [19]
3	Maurice Bruynooghe	[6] [14]
4	Michael Codish	[1] [2] [3] [4] [5] [6] [7] [8] [10] [14] [19]
5	John P. Gallagher	[5] [14]
6	Miguel Gómez-Zamalloa	[15]
7	Jacob M. Howe	[1]
8	Andy King	[9] [12] [17]
9	Vitaly Lagoon	[5]
10	Lunjin Lu	[12]
11	Germán Puebla (German Puebla)	[13] [16] [18] [19]
12	Harald Søndergaard	[3]
13	Fausto Spoto	[11]
14	Peter J. Stuckey	[3]
15	Wim Vanhoof	[6] [14]
16	Damiano Zanardini	[13] [16] [18] [19]

Colors in the list of coauthors