Department of Informatics Engineering (DEI)
Departamento de Engenharia Informática
AuthID: I-000-0K9
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
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!
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!
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!
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: 4619
61 Team MembersFilters -> Year: 2026
3041
TITLE: Comparing Two Class Composition Approaches
AUTHORS: Barbosa, F; Aguiar, A ;
PUBLISHED: 2013, SOURCE: 8th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE) in EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING, ENASE 2013, VOLUME: 417, PAGES: 94-109
AUTHORS: Barbosa, F; Aguiar, A ;
PUBLISHED: 2013, SOURCE: 8th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE) in EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING, ENASE 2013, VOLUME: 417, PAGES: 94-109
3042
TITLE: Comparison of Low-Cost and Noninvasive Optical Sensors for Cardiovascular Monitoring Full Text
AUTHORS: Tania Pereira ; Tatiana Oliveira; Manuel Cabeleira; Helena Pereira; Vania Almeida ; Joao Cardoso ; Carlos Correia ;
PUBLISHED: 2013, SOURCE: IEEE SENSORS JOURNAL, VOLUME: 13, ISSUE: 5, PAGES: 1434-1441
AUTHORS: Tania Pereira ; Tatiana Oliveira; Manuel Cabeleira; Helena Pereira; Vania Almeida ; Joao Cardoso ; Carlos Correia ;
PUBLISHED: 2013, SOURCE: IEEE SENSORS JOURNAL, VOLUME: 13, ISSUE: 5, PAGES: 1434-1441
3043
TITLE: Compilation and synthesis for embedded reconfigurable systems: An aspect-oriented approach. An Aspect-Oriented Approach
AUTHORS: Cardoso, JMP ; Diniz, PC ; De Figueiredo Coutinho, JG; Petrov, ZM;
PUBLISHED: 2013, SOURCE: Compilation and Synthesis for Embedded Reconfigurable Systems: An Aspect-Oriented Approach, VOLUME: 9781461448945, PAGES: 1-203
AUTHORS: Cardoso, JMP ; Diniz, PC ; De Figueiredo Coutinho, JG; Petrov, ZM;
PUBLISHED: 2013, SOURCE: Compilation and Synthesis for Embedded Reconfigurable Systems: An Aspect-Oriented Approach, VOLUME: 9781461448945, PAGES: 1-203
3044
TITLE: Complexity Metrics for ClassSheet Models
AUTHORS: Cunha, J ; Fernandes, JP ; Mendes, J ; Saraiva, J ;
PUBLISHED: 2013, SOURCE: 13th International Conference on Computational Science and Its Applications (ICCSA) in COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2013, PT II, VOLUME: 7972, ISSUE: PART 2, PAGES: 459-474
AUTHORS: Cunha, J ; Fernandes, JP ; Mendes, J ; Saraiva, J ;
PUBLISHED: 2013, SOURCE: 13th International Conference on Computational Science and Its Applications (ICCSA) in COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2013, PT II, VOLUME: 7972, ISSUE: PART 2, PAGES: 459-474
3045
TITLE: Composing Classes <i>Roles Vs Traits</i>
AUTHORS: Barbosa, F; Aguiar, A ;
PUBLISHED: 2013, SOURCE: 8th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE) in ENASE: PROCEEDINGS OF THE 8TH INTERNATIONAL CONFERENCE ON EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING, PAGES: 63-73
AUTHORS: Barbosa, F; Aguiar, A ;
PUBLISHED: 2013, SOURCE: 8th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE) in ENASE: PROCEEDINGS OF THE 8TH INTERNATIONAL CONFERENCE ON EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING, PAGES: 63-73
3046
TITLE: Composing Least-change Lenses
AUTHORS: Nuno Macedo ; Hugo Pacheco ; Alcino Cunha ; José Nuno Oliveira ;
PUBLISHED: 2013, SOURCE: Electron. Commun. Eur. Assoc. Softw. Sci. Technol., VOLUME: 57
AUTHORS: Nuno Macedo ; Hugo Pacheco ; Alcino Cunha ; José Nuno Oliveira ;
PUBLISHED: 2013, SOURCE: Electron. Commun. Eur. Assoc. Softw. Sci. Technol., VOLUME: 57
INDEXED IN: 
Scopus 
DBLP
Scopus DBLP3047
TITLE: Computer Poker Research at LIACC
AUTHORS: Luís Filipe Teófilo; Luís Paulo Reis ; Henrique Lopes Cardoso ; Dinis Félix; Rui Sêca; João M Ferreira Calado; Pedro Mendes; Nuno Cruz; Vitor Pereira; Nuno Passos;
PUBLISHED: 2013, SOURCE: CoRR, VOLUME: abs/1301.5946
AUTHORS: Luís Filipe Teófilo; Luís Paulo Reis ; Henrique Lopes Cardoso ; Dinis Félix; Rui Sêca; João M Ferreira Calado; Pedro Mendes; Nuno Cruz; Vitor Pereira; Nuno Passos;
PUBLISHED: 2013, SOURCE: CoRR, VOLUME: abs/1301.5946
INDEXED IN: DBLP
DBLP3048
TITLE: Computing Card Probabilities in Texas Hold'em
AUTHORS: Luis Filipe Teofilo ; Luis Paulo Reis ; Henrique Lopes Cardoso ;
PUBLISHED: 2013, SOURCE: 8th Iberian Conference on Information Systems and Technologies (CISTI) in PROCEEDINGS OF THE 2013 8TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI 2013)
AUTHORS: Luis Filipe Teofilo ; Luis Paulo Reis ; Henrique Lopes Cardoso ;
PUBLISHED: 2013, SOURCE: 8th Iberian Conference on Information Systems and Technologies (CISTI) in PROCEEDINGS OF THE 2013 8TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI 2013)
INDEXED IN: Scopus 
WOS
Scopus WOS3049
TITLE: Computing card probabilities in Texas Hold'em
AUTHORS: Luís F Teófilo; Luís P Reis ; Henrique L Cardoso ;
PUBLISHED: 2013
AUTHORS: Luís F Teófilo; Luís P Reis ; Henrique L Cardoso ;
PUBLISHED: 2013
INDEXED IN: 
Handle
Handle3050
TITLE: Conclusions
AUTHORS: Pedro C Diniz ; João M P Cardoso ; José Gabriel de F. Coutinho; Zlatko Petrov;
PUBLISHED: 2013, SOURCE: Compilation and Synthesis for Embedded Reconfigurable Systems, PAGES: 197-200
AUTHORS: Pedro C Diniz ; João M P Cardoso ; José Gabriel de F. Coutinho; Zlatko Petrov;
PUBLISHED: 2013, SOURCE: Compilation and Synthesis for Embedded Reconfigurable Systems, PAGES: 197-200
INDEXED IN: 
CrossRef
CrossRef3051
TITLE: Conclusions
AUTHORS: Diniz, PC ; Cardoso, JMP ; De F. Coutinho, JG; Petrov, Z;
PUBLISHED: 2013, SOURCE: Compilation and Synthesis for Embedded Reconfigurable Systems: An Aspect-Oriented Approach, VOLUME: 9781461448945, PAGES: 197-200
AUTHORS: Diniz, PC ; Cardoso, JMP ; De F. Coutinho, JG; Petrov, Z;
PUBLISHED: 2013, SOURCE: Compilation and Synthesis for Embedded Reconfigurable Systems: An Aspect-Oriented Approach, VOLUME: 9781461448945, PAGES: 197-200
INDEXED IN: Scopus
Scopus3052
TITLE: Construção de Amostras de Dados do Twitter
AUTHORS: Tiago Magalhães; Sérgio Nunes ;
PUBLISHED: 2013
AUTHORS: Tiago Magalhães; Sérgio Nunes ;
PUBLISHED: 2013
INDEXED IN: Handle
Handle3053
TITLE: Context-based health information retrieval Full Text
AUTHORS: Carla Teixeira Lopes ;
PUBLISHED: 2013, SOURCE: SIGIR Forum, VOLUME: 47, ISSUE: 2, PAGES: 141-142
AUTHORS: Carla Teixeira Lopes ;
PUBLISHED: 2013, SOURCE: SIGIR Forum, VOLUME: 47, ISSUE: 2, PAGES: 141-142
INDEXED IN: DBLP CrossRef
DBLP CrossRef3054
TITLE: Controlling a complete hardware synthesis toolchain with LARA aspects
AUTHORS: Cardoso, JMP ; Carvalho, T ; Coutinho, JGF; Nobre, R ; Nane, R; Diniz, PC ; Petrov, Z; Luk, W; Bertels, K;
PUBLISHED: 2013, SOURCE: MICROPROCESSORS AND MICROSYSTEMS, VOLUME: 37, ISSUE: 8, PAGES: 1073-1089
AUTHORS: Cardoso, JMP ; Carvalho, T ; Coutinho, JGF; Nobre, R ; Nane, R; Diniz, PC ; Petrov, Z; Luk, W; Bertels, K;
PUBLISHED: 2013, SOURCE: MICROPROCESSORS AND MICROSYSTEMS, VOLUME: 37, ISSUE: 8, PAGES: 1073-1089
3055
TITLE: Crowd Simulation Modeling Applied to Emergency and Evacuation Simulations using Multi-Agent Systems
AUTHORS: João Emílio Almeida; Rosaldo J F Rossetti ; António Leça Coelho;
PUBLISHED: 2013, SOURCE: CoRR, VOLUME: abs/1303.4692
AUTHORS: João Emílio Almeida; Rosaldo J F Rossetti ; António Leça Coelho;
PUBLISHED: 2013, SOURCE: CoRR, VOLUME: abs/1303.4692
INDEXED IN: DBLP
DBLP3056
TITLE: Cues for Scent Intensification in Debugging
AUTHORS: Perez, A ; Abreu, R ;
PUBLISHED: 2013, SOURCE: IEEE 24th International Symposium on Software Reliability Engineering Workshops (ISSREW) in 2013 IEEE INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING WORKSHOPS (ISSREW), PAGES: 120-125
AUTHORS: Perez, A ; Abreu, R ;
PUBLISHED: 2013, SOURCE: IEEE 24th International Symposium on Software Reliability Engineering Workshops (ISSREW) in 2013 IEEE INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING WORKSHOPS (ISSREW), PAGES: 120-125
3057
TITLE: Data Mining based Methodologies for Cardiac Risk Patterns Identification
AUTHORS: Almeidal, VG ; Borba, J; Pereira, T ; Pereira, HC; Cardoso, J ; Correia, C ;
PUBLISHED: 2013, SOURCE: 4th International Conference on Bioinformatics Models, Methods and Algorithms (BIOINFORMATICS) in BIOINFORMATICS 2013: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON BIOINFORMATICS MODELS, METHODS AND ALGORITHMS, PAGES: 127-133
AUTHORS: Almeidal, VG ; Borba, J; Pereira, T ; Pereira, HC; Cardoso, J ; Correia, C ;
PUBLISHED: 2013, SOURCE: 4th International Conference on Bioinformatics Models, Methods and Algorithms (BIOINFORMATICS) in BIOINFORMATICS 2013: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON BIOINFORMATICS MODELS, METHODS AND ALGORITHMS, PAGES: 127-133
INDEXED IN: Scopus WOS DBLP
Scopus WOS DBLP3058
TITLE: DATAFLASKS: an epidemic dependable key-value substrate
AUTHORS: Maia, F ; Matos, M ; Vilaça, R ; Pereira, J ; Oliveira, R ; Rivière, E;
PUBLISHED: 2013, SOURCE: 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) in 2013 43RD ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS (DSN), PAGES: 1-6
AUTHORS: Maia, F ; Matos, M ; Vilaça, R ; Pereira, J ; Oliveira, R ; Rivière, E;
PUBLISHED: 2013, SOURCE: 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) in 2013 43RD ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS (DSN), PAGES: 1-6
3059
TITLE: Datasets of a panoramic view on Metadata Application Profiles of the last decade
AUTHORS: Mariana C Malta ; Ana A Baptista;
PUBLISHED: 2013
AUTHORS: Mariana C Malta ; Ana A Baptista;
PUBLISHED: 2013
INDEXED IN: Handle
Handle3060
TITLE: Deadline analysis of AUTOSAR OS periodic tasks in the presence of interrupts
AUTHORS: Huang, Y; Ferreira, JF ; He, G; Qin, S; He, J;
PUBLISHED: 2013, SOURCE: 15th International Conference on Formal Engineering Methods, ICFEM 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8144 LNCS, PAGES: 165-181
AUTHORS: Huang, Y; Ferreira, JF ; He, G; Qin, S; He, J;
PUBLISHED: 2013, SOURCE: 15th International Conference on Formal Engineering Methods, ICFEM 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8144 LNCS, PAGES: 165-181
INDEXED IN: Scopus CrossRef
Scopus CrossRef