Department of Informatics Engineering (DEI)
Departamento de Engenharia Informática

AuthID: I-000-0K9


Publications Count: 4625

61 Team Members
Filters -> Year: 2026
961
TITLE: The game pentade: A design model proposal for games for education. A Design Model Proposal for Games for Education
AUTHORS: Raposo, L; Guerra, H; Morais, C ; Coelho, A ;
PUBLISHED: 2022, SOURCE: Handbook of Research on the Influence and Effectiveness of Gamification in Education, PAGES: 130-142
962
963
TITLE: The trade-offs between Fog Processing and Communications in latency-sensitive Vehicular Fog Computing. 220607
AUTHORS: de Mendonca Junior, Francisco Ferreira; Kokkinogenis, Zafeiris ; Dias, Kelvin Lopes; d'Orey, Pedro M. ; Rossetti, Rosaldo J. F. ;
PUBLISHED: 2022, SOURCE: PERVASIVE AND MOBILE COMPUTING, VOLUME: 84, PAGES: 101638
964
TITLE: Timely Specification Repair for Alloy 6
AUTHORS: Cerqueira, Jorge; Cunha, Alcino ; Macedo, Nuno ;
PUBLISHED: 2022, SOURCE: 20th International Conference on Software Engineering and Formal Methods (SEFM) in SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2022, VOLUME: 13550, PAGES: 288-303
965
TITLE: Tool support to aligning requirements and testing through behaviour-driven requirements patterns
AUTHORS: Pollyana de Queiroz Ribeiro; Ernesto Fonseca Veiga; Mariana Crisostomo Martins; VINCENZI, AURI M. R. ; Taciana Novo Kudo; Renato F Bulcão Neto;
PUBLISHED: 2022, SOURCE: 25th Iberoamerican Conference on Software Engineering, CIbSE 2022, Cordoba, Argentina, 13 June - 17 June 2022., PAGES: 292-299
966
TITLE: Towards an Approach for Improving Exploratory Testing Tour Assignment based on Testers' Profile
AUTHORS: Santos, LD; Figueiredo, RMD; Barbosa, RFP; VINCENZI, AURI M. R. ; Pedrosa, GV; Gardenghi, JLC;
PUBLISHED: 2022, SOURCE: ICEIS: PROCEEDINGS OF THE 24TH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS - VOL 2, VOLUME: 2, PAGES: 183-190
967
TITLE: Towards Bio-Inspired Anomaly Detection Using the Cursory Dendritic Cell Algorithm
AUTHORS: Pinto, C; Rui Pinto ; Gil Gonçalves ;
PUBLISHED: 2022, SOURCE: ALGORITHMS, VOLUME: 15, ISSUE: 1, PAGES: 1
968
TITLE: Towards Machine Learning-Aided Lung Cancer Clinical Routines: Approaches and Open Challenges
AUTHORS: Silva, Francisco ; Pereira, Tania ; Neves, Ines; Morgado, Joana; Freitas, Claudia ; Malafaia, Mafalda; Sousa, Joana ; Fonseca, Joao; Negrao, Eduardo; de Lima, Beatriz Flor; da Silva, Miguel Correia; Madureira, Antonio J. ; Ramos, Isabel; Costa, Jose Luis; Hespanhol, Venceslau ; Cunha, Antonio ; Oliveira, Helder P. ;
PUBLISHED: 2022, SOURCE: JOURNAL OF PERSONALIZED MEDICINE, VOLUME: 12, ISSUE: 3, PAGES: 480
969
TITLE: Towards the Art of Writing Agile Requirements with User Stories, Acceptance Criteria, and Related Constructs
AUTHORS: Ferreira, Antonio M. S.; da Silva, Alberto Rodrigues ; Paiva, Ana C. R. ;
PUBLISHED: 2022, SOURCE: 17th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE) in ENASE: PROCEEDINGS OF THE 17TH INTERNATIONAL CONFERENCE ON EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING, PAGES: 477-484
970
TITLE: Tracing and Measuring GPU Execution in Automotive Software Systems
AUTHORS: Carvalho, T ; Pinho, LM;
PUBLISHED: 2022, SOURCE: Ada User Journal, VOLUME: 43, ISSUE: 3, PAGES: 160-164
971
TITLE: Tracking Data Visual Representations for Sports Broadcasting Enrichment
AUTHORS: Murilo Couceiro; Inês Rito Lima; Alexandre Ulisses; Tiago Mendes Neves ; João Mendes Moreira ;
PUBLISHED: 2022, SOURCE: 10th International Conference on Sport Sciences Research and Technology Support, icSPORTS 2022 in Proceedings of the 10th International Conference on Sport Sciences Research and Technology Support, icSPORTS 2022, Valletta, Malta, October 27-28, 2022., VOLUME: 2022-October, PAGES: 125-131
972
TITLE: Unsupervised Approach for Malignancy Assessment of Lung Nodules in Computed Tomography Scans Using Radiomic Features
AUTHORS: Teixeira, M; Pereira, T ; Silva, F ; Cunha, A ; Oliveira, HP ;
PUBLISHED: 2022, SOURCE: 2022 44TH ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE & BIOLOGY SOCIETY, EMBC, VOLUME: 2022-July, PAGES: 2037-2040
973
TITLE: Using evidence from systematic studies to guide a PhD research in Requirements Engineering - an experience report
AUTHORS: Taciana Novo Kudo; Renato F Bulcão Neto; VINCENZI, AURI M. R. ; Érica Ferreira de Souza; Kátia Romero Felizardo;
PUBLISHED: 2022, SOURCE: J. Softw. Eng. Res. Dev., VOLUME: 10, PAGES: 7:1-7:10
974
975
976
TITLE: Value of concept of operations analysis for digital transformation using digital twins
AUTHORS: Joana Lacerda da Fonseca Pinto Cardoso; Eric Scott Rebentisch; Donna Hagstrom Rhodes; António Lucas Soares ;
PUBLISHED: 2022, SOURCE: Product Management & Development, VOLUME: 20, ISSUE: 2
977
TITLE: Valuing Players Over Time
AUTHORS: Tiago Mendes Neves; Luís Meireles; João Mendes Moreira ;
PUBLISHED: 2022, SOURCE: CoRR, VOLUME: abs/2209.03882
978
TITLE: Variability Analysis for Robot Operating System Applications
AUTHORS: Santos, Andre; Cunha, Alcino ; Macedo, Nuno ; Melo, Sara; Pereira, Ricardo;
PUBLISHED: 2022, SOURCE: 6th IEEE International Conference on Robotic Computing, (IRC) in 2022 SIXTH IEEE INTERNATIONAL CONFERENCE ON ROBOTIC COMPUTING, IRC, PAGES: 111-118
979
TITLE: Verification of railway network models with EVEREST
AUTHORS: João Martins; José M Fonseca; Rafael Costa ; José Creissac Campos ; Alcino Cunha ; Nuno Macedo ; José N Oliveira ;
PUBLISHED: 2022, SOURCE: MoDELS, PAGES: 345-355
980
TITLE: Verified Password Generation from Password Composition Policies
AUTHORS: Grilo, Miguel; Campos, Joao; Ferreira, Joao F.; Almeida, Jose Bacelar ; Mendes, Alexandra ;
PUBLISHED: 2022, SOURCE: 17th International Conference on Integrated Formal Methods (IFM) in INTEGRATED FORMAL METHODS, IFM 2022, VOLUME: 13274, PAGES: 271-288

Results per Page: 20.
Page 49 of 232. Total results: 4625.