Samir Genaim - Concepedia

Author

Samir Genaim

Universidad Complutense de Madrid ORCID

Also Known As

Genaim, Samir, S. Genaim, SAMIR GENAIM, Samir Genaim

117

Publications

2.1K

Citations

H-Index

Concepts

All Affiliations

Universidad Complutense de Madrid Universidad Politécnica de Madrid Academic College of Tel Aviv-Yafo Ben-Gurion University of the Negev University of Kent

About

Samir Genaim is an author at Universidad Complutense de Madrid specializing in computer science, engineering, and formal methods.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	17	26	946
2	Computer Science	17	24	779
3	Computer Engineering	12	12	470
4	Business	2	2	70
5	Language Studies	2	2	62

Samir Genaim

Publications

957

Citations

H-Index

Page 1

	Year	Citations
Closed-Form Upper Bounds in Static Cost Analysis Elvira Albert, Puri Arenas, Samir Genaim, Journal of Automated Reasoning Mathematical ProgrammingCost AllocationEngineeringCost IssueLower Bound	2010	156
Cost analysis of object-oriented bytecode programs Elvira Albert, Puri Arenas, Samir Genaim, Theoretical Computer Science Software MaintenanceEngineeringProgram AnalysisSoftware TestingFormal Methods	2011	119
Termination analysis of logic programs through combination of type-based norms Maurice Bruynooghe, Michael Codish, John P. Gallagher, ACM Transactions on Programming Languages and Systems Program CheckingEngineeringType TheoryVerificationTermination Proofs	2007	70
Ranking Functions for Linear-Constraint Loops Amir M. Ben-Amram, Samir Genaim Journal of the ACM Mathematical ProgrammingRanking AlgorithmEngineeringComputational Complexity TheoryComputational Complexity	2014	66
On the linear ranking problem for integer linear-constraint loops Amir M. Ben-Amram, Samir Genaim Mathematical ProgrammingEngineeringInteger OptimizationParameterized ComplexitySorting Algorithm	2013	52
Heap space analysis for java bytecode Elvira Albert, Samir Genaim, Miguel Gómez‐Zamalloa EngineeringCompiler TechnologyComputer ArchitectureSoftware EngineeringHeap Space	2007	50
Live heap space analysis for languages with garbage collection Elvira Albert, Samir Genaim, Miguel Gómez‐Zamalloa EngineeringCompiler TechnologyComputer ArchitectureSoftware EngineeringMemory Model (Programming)	2009	47
Parametric inference of memory requirements for garbage collected languages Elvira Albert, Samir Genaim, Miguel Gómez‐Zamalloa Software MaintenanceEngineeringSoftware EngineeringComputational ComplexityObjects Lifetimes	2010	45
On the Inference of Resource Usage Upper and Lower Bounds Elvira Albert, Samir Genaim, Abu Naser Masud ACM Transactions on Computational Logic Mathematical ProgrammingResource ProductivityResource EfficiencyEngineeringAnalysis Of Algorithm	2013	39
Termination and Cost Analysis with COSTA and its User Interfaces Elvira Albert, Puri Arenas, Samir Genaim, Electronic Notes in Theoretical Computer Science Software MaintenanceEngineeringSoftware EngineeringCost ModelSoftware Analysis	2009	31

Page 1