{rfName}
De

Indexat a

Llicència i ús

Icono OpenAccess

Citacions

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.

Impacte en els Objectius de Desenvolupament Sostenible (ODS)

Anàlisi d'autories institucional

Ferreiro, DanielaAutor (correspondència)Morales, Jose FAutor o coautorHermenegildo, Manuel VAutor (correspondència)

Compartir

26 demaig de 2024
Publicacions
>
Conferència publicada
Sí

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

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

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

Afiliacions

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

Resum

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.

Paraules clau

Quality education

Indicis de qualitat

Impacte bibliomètric. Anàlisi de la contribució i canal de difusió

El treball ha estat publicat a la revista Electronic Proceedings In Theoretical Computer Science, Q3 Agència Scopus (SJR), el seu enfocament regional i la seva especialització en Software, li atorguen un reconeixement prou significatiu en un nínxol concret del coneixement científic a nivell internacional.

Impacte i visibilitat social

És fonamental presentar evidències que recolzin l'alineació plena amb els principis i directrius institucionals sobre Ciència Oberta i la Conservació i Difusió del Patrimoni Intel·lectual. Un clar exemple d'això és:

  • El treball s'ha enviat a una revista la política editorial de la qual permet la publicació en obert Open Access.
  • A més, el treball s'ha enviat a una revista classificada com a Diamant en relació amb aquest tipus de política editorial.
Seguint amb l'impacte social del treball, és important destacar el fet que, pel seu contingut, pot ser assignat a la línia d'interès de ODS 4 - Quality Education, amb una probabilitat del 80% segons l'algoritme mBERT desenvolupat per Aurora University.

Anàlisi del lideratge dels autors institucionals

Aquest treball s'ha realitzat amb col·laboració internacional, concretament amb investigadors de: Portugal.

Hi ha un lideratge significatiu, ja que alguns dels autors pertanyents a la institució apareixen com a primer o últim signant, es pot apreciar en el detall: Primer Autor (FERREIRO DE AGUIAR, DANIELA) i Últim Autor (HERMENEGILDO SALINAS, MANUEL DE).

els autors responsables d'establir les tasques de correspondència han estat FERREIRO DE AGUIAR, DANIELA i HERMENEGILDO SALINAS, MANUEL DE.