Samir Genaim

• 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.