Portal de Transparencia

Actividad investigadora:

• Artículos en revistas
  • [2014] On the role of R&D in e-government in Ecuador Strategic Plan in ICT for Ecuador in the field of Information Society and e-Government
  • [2009] A Coding Rule Conformance Checker Integrated into GCC
  • [2009] Implementing Constructive Intensional Negation
  • [2009] Modeling Concurrent Systems with Shared Resources
  • [2009] Stepwise Refinement Validation of Design Patterns Formalized in TLA+ Using the TLC Model Checker
  • [2007] Demandedness Analysis with Partial Predicates
  ...
  mostrar más
• Capítulos de libros
  • [2007] Modeling and Reasoning about Design Patterns in SLAM-SL
• Informes para las AAPP o sus organismos dependientes
  • [2008] Tecnologías Software para la Explotación de Aplicaciones basadas en Servicios.
• Otras Publicaciones
  • [2007] Automatic Coding Rule Conformance Checking Using Logic Programs
  • [2007] Study of existing coding rule formalisms and compendium of common hazards. Use of Coding Rules in Software Industry.
  • [2007] Towards Checking Coding Rule Conformance Using Logic Programming
• Ponencia en Congresos
  • [2014] On the Role of R&D in E-GOVERNMENT in Ecuador: Strategic Plan in ICT for Ecuador in the Field of Information Society and E-GOVERMENT
  • [2013] Deriving the Full-Reducing Krivine Machine from the Small-Step Operational Semantics of Normal Order
  • [2013] Deriving the Full-reducing Krivine Machine from the Small-step Operational Semantics of Normal Order
  • [2008] A Coding Rule Conformance Checker Integrated into GCC.
  • [2008] Automatic Coding Rule Conformance Checking Using Logic Programming
  • [2008] Bialgebra Views A Way for Polytypic Programming to Cohabit with Data Abstraction.
  • [2008] Modelling Mash-Up Resources
  • [2007] Automatic Coding Rule Conformance Checking Using Logic Programs.
  ...
  mostrar más
• Proyectos de I+D+i
  • [2018] LABORES EDUCATIONAL COORDINATOR Y DTC DIRECTOR DEL NODO ASOCIADO ESPAÑOL A LA KNWLEDGE AND INNOVATION COMMUNITY (KIC) DENOMINADA ICT LABS DEL EUROPEAN INSTITUTE OF TECHNOLOGY
  • [2018] REALIZACIÓN DE LAS LABORES DE COORDINACIÓN DE LA COORDINACIÓN DEL GRUPO ASOCIADO A LA KNOWLEDGE AND INNOVATION COMMUNITY (KIC) DENOMINADA ICT LABS DEL EUROPEAN INSTITUTE OF TECHNOLOGY.
  • [2015] DEFINICIÓN DE PRIORIDADES Y ESTRATEGIAS PARA EL FOMENTO DE LA INVESTIGACIÓN , DESARROLLO E INNOVACIÓN DE LAS TIC EN ECUADOR
  • [2015] LABORES EDUCATIONAL COORDINATOR Y DTC DIRECTOR DEL NODO ASOCIADO ESPAÑOL A LA KNWLEDGE AND INNOVATION COMMUNITY (KIC) DENOMINADA ICT LABS DEL EUROPEAN INSTITUTE OF TECHNOLOGY
  • [2015] REALIZACIÓN DE LAS LABORES DE COORDINACIÓN DE LA COORDINACIÓN DEL GRUPO ASOCIADO A LA KNOWLEDGE AND INNOVATION COMMUNITY (KIC) DENOMINADA ICT LABS DEL EUROPEAN INSTITUTE OF TECHNOLOGY.
  • [2015] StrongSoftBabel: Tecnologías rigurosas para software de nueva generación abierto y fiable
  • [2014] DEFINICIÓN DE PRIORIDADES Y ESTRATEGIAS PARA EL FOMENTO DE LA INVESTIGACIÓN , DESARROLLO E INNOVACIÓN DE LAS TIC EN ECUADOR
  • [2013] DEFINICIÓN DE PRIORIDADES Y ESTRATEGIAS PARA EL FOMENTO DE LA INVESTIGACIÓN , DESARROLLO E INNOVACIÓN DE LAS TIC EN ECUADOR
  • [2012] Programa en Métodos Rigurosos de Desarrollo de Software de la Comunidad de Madrid (PROMETIDOS-CM)
  • [2011] S-CUBE: Software Services and Systems Network
  • [2010] PROGRAMA DE M¿TODOS RIGUROSOS DE DESARROLLO DE SOFTWARE DE LA COMUNIDAD DE MADRID
  • [2009] FINES: FAVARECIENDO LA PARTICIPACION ESPAÑOLA EN PROGRAMAS....
  • [2008] DESAFIOS: Desarrollo de Software de Alta Calidad, Fiable y Seguro
  • [2008] FINES: Favoreciendo la participación española en programas internacionales de colaboración relacionados con Software y Servicios por medio de la Plataforma Tecnológica Española INES.
  • [2008] GGCC: Global GNU Compiler Collection
  • [2008] PROMESAS-CM: Programa en métodos para el desarrollo de software fiable de alta calidad y seguro de la Comunidad de Madrid.
  • [2008] Sparcim: Spanish Research Consortium for Informatics and Mathematics
  • [2008] VULCANO
  • [2007] DESAFIOS: Desarrollo de Software de Alta Calidad, Fiable y Seguro.
  • [2007] FINES: Favoreciendo la participación española en programas internacionales de colaboración relacionados con Software y Servicios por medio de la Plataforma Tecnológica Española INES.
  • [2007] GGCC: Global GNU Compiler Collection
  • [2007] HADES: Hacia el desarrollo de INES: Iniciativa Española de Software y Servicios.
  • [2007] PROMESAS-CM: Programa en Métodos para el Desarrollo de Software Fiable, de Alta Calidad y Seguro de la Comunidad de Madrid
  • [2007] Representación del Conocimiento con Información Negativa - Knowledge Representation with Negative Information
  • [2007] Vulcano: forja de proyectos software de calidad.
  ...
  mostrar más
• Responsabilidades
  • [2015] Representante en Asamblea de Madrid
  • [2007] Miembro del comité de programa de la WFLP 07
• Tesis Doctorales
  • [2014] OPERATIONAL ASPECTS OF FULL REDUCTION IN LAMBDA CALCULI