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: 4669

62 Team Members
Filters -> Year: 2026
3421
TITLE: Resiliency-aware Scheduling for reconfigurable VLIW processors
AUTHORS: Abramson, J; Diniz, PC ;
PUBLISHED: 2012, SOURCE: 2012 International Conference on Reconfigurable Computing and FPGAs, ReConFig 2012 in 2012 International Conference on Reconfigurable Computing and FPGAs, ReConFig 2012
INDEXED IN: Scopus
3422
TITLE: Resiliency-aware scheduling: Resource allocation for hardened computation on configurable devices
AUTHORS: Abramson, J; Diniz, PC ;
PUBLISHED: 2012, SOURCE: 2012 International Conference on Field-Programmable Technology, FPT 2012 in FPT 2012 - 2012 International Conference on Field-Programmable Technology, PAGES: 129-134
INDEXED IN: Scopus
3423
TITLE: Resource-Efficient Designs using an Aspect-Oriented Approach
AUTHORS: Coutinho, JGF; Bhattacharya, S; Luk, W; Constantinides, GA; Cardoso, JMP ; Carvalho, T ; Diniz, PC ; Petrov, Z;
PUBLISHED: 2012, SOURCE: 15th IEEE International Conference on Computational Science and Engineering (CSE) / 10th IEEE/IFIP International Conference on Embedded and Ubiquitous Computing (EUC) in 15TH IEEE INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE AND ENGINEERING (CSE 2012) / 10TH IEEE/IFIP INTERNATIONAL CONFERENCE ON EMBEDDED AND UBIQUITOUS COMPUTING (EUC 2012), PAGES: 399-406
INDEXED IN: Scopus WOS DBLP CrossRef: 2
3424
TITLE: Roles as Modular Units of Composition
AUTHORS: Fernando Sérgio Barbosa; Ademar Aguiar ;
PUBLISHED: 2012, SOURCE: ENASE, PAGES: 13-22
INDEXED IN: Scopus DBLP Handle
3425
TITLE: Self-Healing on the Cloud: State-of-the-art and Future Challenges
AUTHORS: Nuno Cardoso ; Rui Abreu ;
PUBLISHED: 2012, SOURCE: 8th International Conference on the Quality of Information and Communications Technology (QUATIC) in 2012 EIGHTH INTERNATIONAL CONFERENCE ON THE QUALITY OF INFORMATION AND COMMUNICATIONS TECHNOLOGY (QUATIC 2012), PAGES: 279-284
INDEXED IN: Scopus WOS DBLP CrossRef: 1
3426
TITLE: Semi-automated Application Profile Generation for Research Data Assets
AUTHORS: da Silva, JR ; Ribeiro, C ; Lopes, JC ;
PUBLISHED: 2012, SOURCE: 6th Research Conference on Metadata and Semantics Research in METADATA AND SEMANTICS RESEARCH, VOLUME: 343, PAGES: 98-+
INDEXED IN: Scopus WOS DBLP CrossRef: 2
3427
TITLE: Semi-supervised learning: Predicting activities in Android environment
AUTHORS: Lopes, A; Mendes Moreira, J ; Gama, J ;
PUBLISHED: 2012, SOURCE: Workshop on Ubiquitous Data Mining, UDM 2012 - In Conjunction with the 20th European Conference on Artificial Intelligence, ECAI 2012 in CEUR Workshop Proceedings, VOLUME: 960, PAGES: 38-42
INDEXED IN: Scopus
3428
TITLE: Serious game in security: A solution for security trainees
AUTHORS: Oliveira, V; Coelho, A ; Guimaraes, R; Rebelo, C;
PUBLISHED: 2012, SOURCE: 4th International Conference on Games and Virtual Worlds for Serious Applications (VS-GAMES) in 4TH INTERNATIONAL CONFERENCE ON GAMES AND VIRTUAL WORLDS FOR SERIOUS APPLICATIONS (VS-GAMES'12), VOLUME: 15, PAGES: 274-282
INDEXED IN: WOS DBLP CrossRef: 6
3429
TITLE: SIARD Archive Browser
AUTHORS: Arif Ur Rahman; Gabriel David ; Cristina Ribeiro ;
PUBLISHED: 2012, SOURCE: TPDL, VOLUME: 7489 LNCS, PAGES: 496-499
INDEXED IN: Scopus DBLP CrossRef: 3
3430
TITLE: Simulation and Performance Assessment of Poker Agents
AUTHORS: Luís Filipe Teófilo ; Rosaldo J F Rossetti ; Luís Paulo Reis ; Henrique Lopes Cardoso ; Pedro Alves Nogueira ;
PUBLISHED: 2012, SOURCE: MABS, VOLUME: 7838 LNAI, PAGES: 69-84
INDEXED IN: Scopus DBLP CrossRef: 2 Handle
3431
TITLE: Sistema Inteligente para Auxílio na Seleção e Execução de Tarefas num Jogo Social
AUTHORS: Luís Paulo Reis ; Romina Neves; Pedro Abreu ; Brígida Mónica Faria ;
PUBLISHED: 2012, SOURCE: COMPUTER - Computer Science and Engineering, VOLUME: 2, ISSUE: 4, PAGES: 74-81
INDEXED IN: CrossRef
3432
TITLE: Sketch express: A sketching interface for facial animation  Full Text
AUTHORS: Miranda, JC; Alvarez, X; Orvalho, J; Gutierrez, D; Sousa, AA ; Orvalho, V ;
PUBLISHED: 2012, SOURCE: COMPUTERS & GRAPHICS-UK, VOLUME: 36, ISSUE: 6, PAGES: 585-595
INDEXED IN: Scopus WOS DBLP CrossRef: 15
3433
TITLE: Slead: Low-Memory, Steady Distributed Systems Slicing
AUTHORS: Francisco Maia ; Miguel Matos ; Etienne Rivière; Rui Oliveira ;
PUBLISHED: 2012, SOURCE: DAIS, VOLUME: 7272 LNCS, PAGES: 1-15
INDEXED IN: Scopus DBLP CrossRef: 6
3434
TITLE: SmellSheet Detective: A Tool for Detecting Bad Smells in Spreadsheets
AUTHORS: Cunha, J ; Fernandes, JP ; Martins, P ; Mendes, J ; Saraiva, J ;
PUBLISHED: 2012, SOURCE: IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) Co-Located with the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS) in 2012 IEEE SYMPOSIUM ON VISUAL LANGUAGES AND HUMAN-CENTRIC COMPUTING (VL/HCC), PAGES: 243-244
INDEXED IN: Scopus WOS DBLP CrossRef: 28
3435
TITLE: Social and solidarity economy web information systems: State of the art. State of the Art
AUTHORS: Malta, MC ; Baptista, AA ;
PUBLISHED: 2012, SOURCE: Social E-Enterprise: Value Creation through ICT, PAGES: 1-16
INDEXED IN: Scopus CrossRef: 1 Handle
3436
TITLE: Software agents: Can we trust them?
AUTHORS: Oliveira, E ;
PUBLISHED: 2012, SOURCE: IEEE 16th International Conference on Intelligent Engineering Systems, INES 2012 in INES 2012 - IEEE 16th International Conference on Intelligent Engineering Systems, Proceedings, PAGES: 15-20
INDEXED IN: Scopus CrossRef: 3
3437
TITLE: Special session on 'programming paradigms for reconfigurable multi-core embedded systems'
AUTHORS: Gohringer, D; Diniz, P ;
PUBLISHED: 2012, SOURCE: 2012 International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation, IC-SAMOS 2012 in Proceedings - 2012 International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation, IC-SAMOS 2012, PAGES: 227
INDEXED IN: Scopus CrossRef
3438
TITLE: Specification-Driven Unit Test Generation for Java Generic Classes
AUTHORS: Francisco Rebello de Andrade; João Pascoal Faria ; Antónia Lopes ; Ana C R Paiva ;
PUBLISHED: 2012, SOURCE: IFM, VOLUME: 7321 LNCS, PAGES: 296-311
INDEXED IN: Scopus DBLP CrossRef: 5
3439
TITLE: Specifying Compiler Strategies for FPGA-based Systems
AUTHORS: Cardoso, JMP ; Teixeira, J; Alves, JC ; Nobre, R ; Diniz, PC ; Coutinho, JGF; Luk, W;
PUBLISHED: 2012, SOURCE: 20th IEEE International Symposium on Field-Programmable Custom Computing Machines (FCCM) in 2012 IEEE 20TH ANNUAL INTERNATIONAL SYMPOSIUM ON FIELD-PROGRAMMABLE CUSTOM COMPUTING MACHINES (FCCM), PAGES: 192-199
INDEXED IN: Scopus WOS DBLP CrossRef: 11
3440
TITLE: Specifying UML Protocol State Machines in Alloy
AUTHORS: Ana Gabriela Garis; Ana C R Paiva ; Alcino Cunha ; Daniel Riesco;
PUBLISHED: 2012, SOURCE: IFM, VOLUME: 7321 LNCS, PAGES: 312-326
INDEXED IN: Scopus DBLP CrossRef: 7

Results per Page: 20.
Page 172 of 234. Total results: 4669.