{rfName}
De

Indexado en

Licencia y uso

Icono OpenAccess

Citaciones

Altmetrics

Grant support

This research has received funding from the PROCODE Project (PID2019-108528RB-C21/MCIN/AEI/10.13039/501100011033) and the PRODIGY Project (TED2021-132464B-I00) funded by MCIN/AEI/10.13039/501100011033/and the European Union NextGenerationEU/PRTR.

Impacto en los Objetivos de Desarrollo Sostenible (ODS)

Análisis de autorías institucional

Ferreiro, DanielaAutor (correspondencia)Morales, Jose FAutor o CoautorHermenegildo, Manuel VAutor (correspondencia)

Compartir

26 de mayo de 2024
Publicaciones
>
Conferencia Publicada
Sí

Demonstrating (Hybrid) Active Logic Documents and the Ciao Prolog Playground, and an Application to Verification Tutorials

Publicado en:Electronic Proceedings In Theoretical Computer Science. 385 (385): 324-329 - 2023-01-01 385(385), DOI: 10.4204/EPTCS.385.33

Autores: Ferreiro, Daniela; Morales, Jose F; Abreu, Salvador; Hermenegildo, Manuel V

Afiliaciones

IMDEA Software Inst, Madrid, Spain - Autor o Coautor
Univ Evora, NOVA LINCS, Evora, Portugal - Autor o Coautor
Univ Politecn Madrid UPM, Madrid, Spain - Autor o Coautor

Resumen

We propose a demonstration of the Active Logic Documents (ALDs) approach and the Ciao Playground, as well as a recent extension to ALDs to facilitate the integration of other tools into the system for creating Hybrid Active Logic Documents (HALD), and a concrete application of these technologies.

Palabras clave

Quality education

Indicios de calidad

Impacto bibliométrico. Análisis de la aportación y canal de difusión

El trabajo ha sido publicado en la revista Electronic Proceedings In Theoretical Computer Science, Q3 Agencia Scopus (SJR), su enfoque regional y su especialización en Software, le otorgan un reconocimiento lo suficientemente significativo en un nicho concreto del conocimiento científico a nivel internacional.

Impacto y visibilidad social

Es fundamental presentar evidencias que respalden la plena alineación con los principios y directrices institucionales en torno a la Ciencia Abierta y la Conservación y Difusión del Patrimonio Intelectual. Un claro ejemplo de ello es:

  • El trabajo se ha enviado a una revista cuya política editorial permite la publicación en abierto Open Access.
  • Además, el trabajo se ha enviado a una revista clasificada como Diamante en relación con este tipo de política editorial.
Siguiendo con el impacto social del trabajo, es importante enfatizar el hecho de que, por su contenido, puede ser asignado a la línea de interés del ODS 4 - Quality Education, con una probabilidad del 80% según el algoritmo mBERT desarrollado por Aurora University.

Análisis de liderazgo de los autores institucionales

Este trabajo se ha realizado con colaboración internacional, concretamente con investigadores de: Portugal.

Existe un liderazgo significativo ya que algunos de los autores pertenecientes a la institución aparecen como primer o último firmante, se puede apreciar en el detalle: Primer Autor (FERREIRO DE AGUIAR, DANIELA) y Último Autor (HERMENEGILDO SALINAS, MANUEL DE).

los autores responsables de establecer las labores de correspondencia han sido FERREIRO DE AGUIAR, DANIELA y HERMENEGILDO SALINAS, MANUEL DE.