Samir Genaim

Ayuda

Samir Genaim

Instituciones Universidad Complutense de Madrid Área de conocimiento Lenguajes y Sistemas Informáticos Identificadores de autor MathSciNet Google Scholar OpenAlex ORCID Scopus Zentralblatt MATH Periodo de publicación recogido 2007 - 2021
Ocultar coautorías Jesús Javier Doménech Arellano Damiano Zanardini Maurice Bruynooghe Md. Abu Naser Masud Jhon P. Gallagher Pablo Gordillo Alguacil Diana Vanessa Ramírez Deantes Puri Arenas Miguel Gómez-Zamalloa Gil Guillermo Román Díez Elvira Albert Amir M. Ben-Amram Germán Puebla Michael Codish Abu Naser Masud Diego Esteban Alonso Blas Win Vanhoof

Artículos de revistas (2)
Colaboraciones en obras colectivas (2)
Tesis dirigidas (4)

Artículos de revistas
- Seleccionado
  On the Termination of Integer Loops
  Amir M. Ben-Amram, Samir Genaim, Abu Naser Masud
  ACM transactions on programming languages and systems, ISSN 0164-0925, Vol. 34, Nº 4, 2012
  - Resumen
  - Texto completo
- Seleccionado
  Termination analysis of logic programs through combination of type-based norms
  Maurice Bruynooghe , Michael Codish, Jhon P. Gallagher , Samir Genaim, Win Vanhoof
  ACM transactions on programming languages and systems, ISSN 0164-0925, Vol. 29, Nº 2, 2007
  - Resumen
Colaboraciones en obras colectivas
- Seleccionado
  Live heap space analysis for languages with garbage collection
  Samir Genaim, Elvira Albert , Miguel Gómez-Zamalloa Gil
  Programación y lenguajes: IX Jornadas sobre Programación y Lenguajes, PROLE'09, I Taller de Programación Funcional, TPF'09, San Sebastián, España, del 8 al 11 de septiembre de 2009 / Paqui Lucio (ed. lit.) , Ginés Damián Moreno Valverde (ed. lit.) , Ricardo Peña Marí (ed. lit.) , 2009, ISBN 978-84-692-4600-9, págs. 75-76
- Seleccionado
  Termination and cost analysis with COSTA and its user interfaces
  Elvira Albert , Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini , Diana Vanessa Ramírez Deantes, Miguel Gómez-Zamalloa Gil , Guillermo Román Díez
  Programación y lenguajes: IX Jornadas sobre Programación y Lenguajes, PROLE'09, I Taller de Programación Funcional, TPF'09, San Sebastián, España, del 8 al 11 de septiembre de 2009 / Paqui Lucio (ed. lit.) , Ginés Damián Moreno Valverde (ed. lit.) , Ricardo Peña Marí (ed. lit.) , 2009, ISBN 978-84-692-4600-9, págs. 139-148
Tesis dirigidas
- Seleccionado
  Termination analysis of programs with complex control-flow
  Jesús Javier Doménech Arellano
  Tesis doctoral dirigida por Samir Genaim (dir. tes.). Universidad Complutense de Madrid (2021).
  - Resumen
  - Tesis en acceso abierto en: Docta Complutense
- Seleccionado
  Análisis estático de sistemas concurrentes y distribuidos: objetos concurrentes y bytecode de Ethereum
  Pablo Gordillo Alguacil
  Tesis doctoral dirigida por Samir Genaim (dir. tes.), Elvira Albert (dir. tes.) . Universidad Complutense de Madrid (2020).
  - Resumen
  - Tesis en acceso abierto en: Docta Complutense
- Seleccionado
  De programas abstractos a cotas asintóticas precisas en forma cerrada
  Diego Esteban Alonso Blas
  Tesis doctoral dirigida por Purificación Arenas Sánchez (dir. tes.) , Samir Genaim (dir. tes.). Universidad Complutense de Madrid (2014).
  - Resumen
  - Tesis en acceso abierto en: Docta Complutense
- Seleccionado
  Termination and cost analysis: Complexity and precision issues
  Md. Abu Naser Masud
  Tesis doctoral dirigida por Alvaro German Puebla Sánchez (dir. tes.) , Samir Genaim (dir. tes.). Universidad Politécnica de Madrid (2013).
  - Resumen
  - Tesis en acceso abierto en: Archivo Digital UPM

Esta página recoge referencias bibliográficas de materiales disponibles en los fondos de las Bibliotecas que participan en Documat. En ningún caso se trata de una página que recoja la producción bibliográfica de un autor de manera exhaustiva. Nos gustaría que los datos aparecieran de la manera más correcta posible, de manera que si detecta algún error en la información que facilitamos, puede hacernos llegar su Sugerencia / Errata.