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

University of Porto (UP) :: Faculty of Engineering (FEUP)

Publications Actions
Publications at Authenticus Institutional Profile

An Authenticus institution (group) is an organization which consists of a set of researchers (institutional/group team). The set of researchers depends on the organizational structure of the institution per year and can be set at the institution profile, under ‘Researchers’ interface. Based on the institutional team we produce listings of publications, statistics and institutional reports. 

Publications displayed at an Authenticus institutional profile depend on two parameters:

  • Researchers team associated with the institution per year. 
  • Publications source type. 

We define 3 types of publication sources:

  • Validated by team members - includes all publications validated by team members. Requires the definition of the institutional team. 
  • All published by team members - includes all publications validated by the institution team members plus all not-validated (only identified) publications. Requires the definition of the institutional team. 
  • Affiliation Based - includes publications that have the institution/group in the publication affiliation. Does not require institutional team, but at the same time does not guarantee that all publications will be listed. 
External   Internal

Update Citation

No data about last update.
Rules:
 This actions updates publications citations of every team member.
 Only validated by team members publications are included.
 Only the current year team is included in this action.>
 The action is executed in the background, thus the results are NOT immediate.
 This actions can be executed only once a month!

Update PrePrints

No data about last update.
Rules:
 This actions updates all pre print publications of the group/institution.
 Only validated by current year team members publications are included.
 The action is executed in the background, thus the results are NOT immediate.
 This actions can be executed only once a day!

Publications Count: 3940

49 Team Members
Filters -> Year: 2024
2141
TITLE: Validating the coverage of bus schedules: A Machine Learning approach  Full Text
AUTHORS: Joao Mendes Moreira ; Luis Moreira Matias ; Joao Gama ; Jorge Freire de Sousa ;
PUBLISHED: 2015, SOURCE: INFORMATION SCIENCES, VOLUME: 293, PAGES: 299-313
INDEXED IN: Scopus WOS DBLP CrossRef: 39
2142
TITLE: Watch Out for that Tree! A Tutorial on Shortcut Deforestation
AUTHORS: João Paulo Fernandes ; Jácome Cunha ; João Saraiva ; Alberto Pardo;
PUBLISHED: 2015, SOURCE: 6th Central European Functional Programming School, CEFP 2015 in Central European Functional Programming School - 6th Summer School, CEFP 2015, Budapest, Hungary, July 6-10, 2015, Revised Selected Papers, VOLUME: 10094, PAGES: 1-41
INDEXED IN: Scopus DBLP CrossRef
2143
TITLE: Zipper-Based Modular and Deforested Computations
AUTHORS: Pedro Martins ; Joao Paulo Fernandes ; Joao Saraiva ;
PUBLISHED: 2015, SOURCE: 5th Central European Functional Programming School (CEFP) in Central European Functional Programming School, CEFP 2013, VOLUME: 8606, PAGES: 407-427
INDEXED IN: Scopus WOS DBLP CrossRef
2144
TITLE: "Generic Shooter 3000": a realistic first person shooter powered by biofeedback
AUTHORS: Gonçalo Amaral da Silva; Pedro Alves Nogueira; Rui Rodrigues ;
PUBLISHED: 2014, SOURCE: 1st ACM SIGCHI Annual Symposium on Computer-Human Interaction in Play, CHI PLAY 2014 in Proceedings of the first ACM SIGCHI annual symposium on Computer-human interaction in play, Toronto, ON, Canada, October 19 - 22, 2014, PAGES: 371-374
INDEXED IN: Scopus DBLP
2145
TITLE: 1st international workshop on intelligent agents and technologies for socially interconnected systems
AUTHORS: Rocha, AP ; Aldewereld, H; Dignum, V; Oliveira, E ; Vercouter, L;
PUBLISHED: 2014, SOURCE: 1st International Workshop on Intelligent Agents and Technologies for Socially Interconnected Systems, IAT4SIS 2014 in ACM International Conference Proceeding Series, VOLUME: 18-August-2014
INDEXED IN: Scopus
2146
TITLE: A Benchmark-Based Approach for Ranking Root Causes of Performance Problems in Software Development
AUTHORS: Mushtaq Raza ; Joao Pascoal Faria ;
PUBLISHED: 2014, SOURCE: 15th International Conference on Product-Focused Software Process Improvement (PROFES) in PRODUCT-FOCUSED SOFTWARE PROCESS IMPROVEMENT, PROFES 2014, VOLUME: 8892, PAGES: 314-317
INDEXED IN: Scopus WOS DBLP CrossRef
2147
TITLE: A Budget Constrained Scheduling Algorithm for Workflow Applications  Full Text
AUTHORS: Arabnejad, H; Barbosa, JG ;
PUBLISHED: 2014, SOURCE: JOURNAL OF GRID COMPUTING, VOLUME: 12, ISSUE: 4, PAGES: 665-679
INDEXED IN: Scopus WOS DBLP CrossRef: 94
2148
TITLE: A case for adaptive redundancy for HPC resilience
AUTHORS: Hukerikar, S; Diniz, PC ; Lucas, RF;
PUBLISHED: 2014, SOURCE: 19th International Conference on Parallel Processing Workshops, Euro-Par 2013 - BigDataCloud, DIHC, FedICI, HeteroPar, HiBB, LSDVE, MHPC, OMHI, PADABS, PROPER, Resilience, ROME, and UCHPC 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8374 LNCS, PAGES: 690-697
INDEXED IN: Scopus
2149
TITLE: A Clustering-Based Approach for Exploring Sequences of Compiler Optimizations
AUTHORS: Luiz G A Martins; Ricardo Nobre ; Alexandra C B Delbem; Eduardo Marques; Joao M P Cardoso ;
PUBLISHED: 2014, SOURCE: IEEE Congress on Evolutionary Computation (CEC) in 2014 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION (CEC), PAGES: 2436-2443
INDEXED IN: Scopus WOS DBLP CrossRef: 1
2150
TITLE: A data aggregation system for music events
AUTHORS: Simoes, D; Abreu, PH; Silva, DC ;
PUBLISHED: 2014, SOURCE: 2014 World Conference on Information Systems and Technologies, WorldCIST 2014 in Advances in Intelligent Systems and Computing, VOLUME: 276 VOLUME 2, PAGES: 187-198
INDEXED IN: Scopus
2151
TITLE: A data warehouse to support web site automation
AUTHORS: Domingues, MA; Soares, C ; Jorge, AM ; Rezende, SO;
PUBLISHED: 2014, SOURCE: Journal of the Brazilian Computer Society, VOLUME: 20, ISSUE: 1, PAGES: 1-16
INDEXED IN: Scopus DBLP CrossRef: 2
2152
TITLE: A diagnosis-based approach to software comprehension
AUTHORS: Alexandre Perez ; Rui Abreu ;
PUBLISHED: 2014, SOURCE: 22nd International Conference on Program Comprehension, ICPC 2014, Hyderabad, India, June 2-3, 2014, PAGES: 37-47
INDEXED IN: DBLP CrossRef: 16
2153
TITLE: A DSL for specifying run-time adaptations for embedded systems: an application to vehicle stereo navigation  Full Text
AUTHORS: Andre C Santos; Joao M P Cardoso ; Pedro C Diniz ; Diogo R Ferreira; Zlatko Petrov;
PUBLISHED: 2014, SOURCE: JOURNAL OF SUPERCOMPUTING, VOLUME: 70, ISSUE: 3, PAGES: 1218-1248
INDEXED IN: Scopus WOS DBLP CrossRef: 2
2154
TITLE: A dynamic code coverage approach to maximize fault localization efficiency  Full Text
AUTHORS: Alexandre Perez ; Rui Abreu ; Andre Riboira;
PUBLISHED: 2014, SOURCE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 90, ISSUE: 1, PAGES: 18-28
INDEXED IN: Scopus WOS DBLP CrossRef: 20
2155
TITLE: A Framework for a Multimodal Transportation Network: an Agent-Based Model Approach
AUTHORS: Nuno Monteiro; Rosaldo Rossetti ; Pedro Campos ; Zafeiris Kokkinogenis ;
PUBLISHED: 2014, SOURCE: International Scientific Conference on Mobility and Transport in SUSTAINABLE MOBILITY IN METROPOLITAN REGIONS, MOBIL.TUM 2014, VOLUME: 4, PAGES: 213-227
INDEXED IN: Scopus WOS CrossRef: 16
2156
TITLE: A framework to decompose and develop metafeatures PDF
AUTHORS: Pinto, F; Soares, C ; Mendes Moreira, J ;
PUBLISHED: 2014, SOURCE: International Workshop on Meta-Learning and Algorithm Selection, MetaSel 2014 - Co-located with 21st European Conference on Artificial Intelligence, ECAI 2014 in CEUR Workshop Proceedings, VOLUME: 1201, PAGES: 32-36
INDEXED IN: Scopus DBLP
2157
TITLE: A game for robot operation training in Search and Rescue missions
AUTHORS: Goncalves, R; Baptista, R ; Coelho, A ; Matos, A ; de Carvalho, CV; Bedkowski, J; Musialik, P; Ostrowski, I; Majek, K;
PUBLISHED: 2014, SOURCE: 11th International Conference on Remote Engineering and Virtual Instrumentation (REV) in 2014 11TH INTERNATIONAL CONFERENCE ON REMOTE ENGINEERING AND VIRTUAL INSTRUMENTATION (REV), PAGES: 262-267
INDEXED IN: Scopus WOS CrossRef: 3
2158
TITLE: A GUI Modeling DSL for Pattern-Based GUI Testing PARADIGM
AUTHORS: Rodrigo M L M Moreira; Ana C R Paiva ;
PUBLISHED: 2014, SOURCE: 9th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE) in PROCEEDINGS OF THE 9TH INTERNATIONAL CONFERENCE ON EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING (ENASE 2014), PAGES: 126-135
INDEXED IN: Scopus WOS DBLP CrossRef
2160
TITLE: A model for analyzing estimation, productivity, and quality performance in the personal software process
AUTHORS: Raza, M ; Faria, JP ;
PUBLISHED: 2014, SOURCE: 2014 International Conference on Software and Systems Process, ICSSP 2014 in ACM International Conference Proceeding Series, PAGES: 10-19
INDEXED IN: Scopus DBLP CrossRef: 3

Results per Page: 20.
Page 108 of 197. Total results: 3940.