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

AuthID: I-000-0K9


Publications Count: 4655

62 Team Members
Filters -> Year: 2026
1441
1442
TITLE: Sequence Mining for Automatic Generation of Software Tests from GUI Event Traces
AUTHORS: Alberto Oliveira; Ricardo Freitas; Alípio Jorge ; Vítor Amorim; Nuno Moniz ; Ana C R Paiva ; Paulo J Azevedo ;
PUBLISHED: 2020, SOURCE: IDEAL (2), VOLUME: 12490 LNCS, PAGES: 516-523
1443
TITLE: Serious Pervasive Games
AUTHORS: António Coelho ; Rui Rodrigues ; Rui Nóbrega; Jacob, J ; Leonel Morgado ; Pedro Cardoso; Maria van Zeller ; Liliana Santos; António Augusto de Sousa ;
PUBLISHED: 2020, SOURCE: Frontiers Comput. Sci., VOLUME: 2, PAGES: 30
1444
TITLE: Simulating a Three-Lane Roundabout Using SUMO
AUTHORS: Leite, B; Azevedo, P; Leixo, R; Rossetti, RJF ;
PUBLISHED: 2020, SOURCE: 3rd European-Alliance-for-Innovation (EAI) International Conference on Intelligent Transport Systems (INTSYS) in INTELLIGENT TRANSPORT SYSTEMS, VOLUME: 310, PAGES: 18-31
1445
TITLE: Simulation of Gamification Elements to Promote Carpooling in a Closed Community
AUTHORS: Bruno Miguel Pinto; Rosaldo J F Rossetti ;
PUBLISHED: 2020, SOURCE: ISC2, PAGES: 1-7
1446
TITLE: Skeptic: Automatic, Justified and Privacy-Preserving Password Composition Policy Selection
AUTHORS: Saul A Johnson; João F Ferreira; Alexandra Mendes ; Julien Cordry;
PUBLISHED: 2020, SOURCE: AsiaCCS, PAGES: 101-115
1447
TITLE: SmartBugs. a framework to analyze solidity smart contracts
AUTHORS: João F Ferreira ; Pedro Cruz; Thomas Durieux; Rui Abreu ;
PUBLISHED: 2020, SOURCE: Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering
1448
TITLE: SmartBugs: A Framework to Analyze Solidity Smart Contracts
AUTHORS: Ferreira, JF; Cruz, P; Durieux, T; Abreu, R ;
PUBLISHED: 2020, SOURCE: 35th IEEE/ACM International Conference on Automated Software Engineering (ASE) in 2020 35TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2020), PAGES: 1349-1352
1449
TITLE: SmartGC: a software architecture for garbage collection in smart cities
AUTHORS: Ramalho, MS; Rossetti, RJF ; Cacho, N; Souza, A;
PUBLISHED: 2020, SOURCE: INTERNATIONAL JOURNAL OF BIO-INSPIRED COMPUTATION, VOLUME: 16, ISSUE: 2, PAGES: 79-93
1450
TITLE: Soft Rotation Equivariant Convolutional Neural Networks
AUTHORS: Castro, E ; Jose Costa Pereira ; Cardoso, JS ;
PUBLISHED: 2020, SOURCE: International Joint Conference on Neural Networks (IJCNN) held as part of the IEEE World Congress on Computational Intelligence (IEEE WCCI) in 2020 INTERNATIONAL JOINT CONFERENCE ON NEURAL NETWORKS (IJCNN), PAGES: 1-8
1451
TITLE: Software Operational Profile vs. Test Profile: Towards a Better Software Testing Strategy
AUTHORS: Luiz Cavamura Júnior; Ricardo Morimoto; Sandra C P F Fabbri; Ana C R Paiva ; VINCENZI, AURI M. R. ;
PUBLISHED: 2020, SOURCE: J. Softw. Eng. Res. Dev., VOLUME: 8, PAGES: 5
1452
TITLE: Software operational profile: Investigating specific applicabilities
AUTHORS: Luiz Cavamura; Sandra Fabbri; VINCENZI, AURI M. R. ;
PUBLISHED: 2020, SOURCE: 23rd Iberoamerican Conference on Software Engineering Cibse 2020
1453
TITLE: Source-to-source compilation targeting OpenMP-based automatic parallelization of C applications
AUTHORS: Arabnejad, H; Bispo, J ; Cardoso, JMP ; Barbosa, JG ;
PUBLISHED: 2020, SOURCE: JOURNAL OF SUPERCOMPUTING, VOLUME: 76, ISSUE: 9, PAGES: 6753-6785
1454
TITLE: Spatiotemporal Phenomena Summarization through Static Visual Narratives
AUTHORS: Marques, D; de Carvalho, AV ; Rodrigues, R ; Carneiro, E;
PUBLISHED: 2020, SOURCE: 24th International Conference Information Visualisation (IV) in 2020 24TH INTERNATIONAL CONFERENCE INFORMATION VISUALISATION (IV 2020), VOLUME: 2020-September, PAGES: 467-472
1455
TITLE: SPELLing out energy leaks: Aiding developers locate energy inefficient code
AUTHORS: Pereira, R ; Carçao, T; Couto, M ; Cunha, J ; Fernandes, JP ; Saraiva, J ;
PUBLISHED: 2020, SOURCE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 161, PAGES: 110463
1456
TITLE: State-Machine Replication for Planet-Scale Systems
AUTHORS: Enes, V ; Baquero, C ; Rezende, TF; Gotsman, A; Perrin, M; Sutra, P;
PUBLISHED: 2020, SOURCE: 15th European Conference on Computer Systems (EuroSys) in PROCEEDINGS OF THE FIFTEENTH EUROPEAN CONFERENCE ON COMPUTER SYSTEMS (EUROSYS'20), PAGES: 24:1-24:15
1457
TITLE: State-of-the-Art Approaches for Meta-Knowledge Assertion in the Web of Data
AUTHORS: Sen, S; Malta, MC ; Dutta, B; Dutta, A;
PUBLISHED: 2020, SOURCE: IETE TECHNICAL REVIEW, VOLUME: 38, ISSUE: 6, PAGES: 672-709
1458
TITLE: Stress among Portuguese Medical Students: the EuStress Solution
AUTHORS: Silva, E ; Aguiar, J; Reis, LP ; Sá, JOE; Gonçalves, J ; Carvalho, V;
PUBLISHED: 2020, SOURCE: JOURNAL OF MEDICAL SYSTEMS, VOLUME: 44, ISSUE: 2, PAGES: 45
1459
TITLE: Studying How Health Literacy Influences Attention during Online Information Seeking
AUTHORS: Lopes, CT ; Ramos, E;
PUBLISHED: 2020, SOURCE: 5th ACM SIGIR Conference on Human Information Interaction and Retrieval (CHIIR) in CHIIR'20: PROCEEDINGS OF THE 2020 CONFERENCE ON HUMAN INFORMATION INTERACTION AND RETRIEVAL, PAGES: 283-291
1460

Results per Page: 20.
Page 73 of 233. Total results: 4655.