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
3381
TITLE: Sketch express: A sketching interface for facial animation
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
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
3382
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
AUTHORS: Francisco Maia ; Miguel Matos ; Etienne Rivière; Rui Oliveira ;
PUBLISHED: 2012, SOURCE: DAIS, VOLUME: 7272 LNCS, PAGES: 1-15
3383
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
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
3384
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
AUTHORS: Malta, MC ; Baptista, AA ;
PUBLISHED: 2012, SOURCE: Social E-Enterprise: Value Creation through ICT, PAGES: 1-16
3385
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
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
3386
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
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
Scopus CrossRef3387
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
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
3388
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
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
3389
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
AUTHORS: Ana Gabriela Garis; Ana C R Paiva ; Alcino Cunha ; Daniel Riesco;
PUBLISHED: 2012, SOURCE: IFM, VOLUME: 7321 LNCS, PAGES: 312-326
3390
TITLE: Spectra: Robust Estimation of Distribution Functions in Networks
AUTHORS: Miguel Borges; Paulo Jesus ; Carlos Baquero ; Paulo Sérgio Almeida ;
PUBLISHED: 2012, SOURCE: DAIS, VOLUME: 7272 LNCS, PAGES: 96-103
AUTHORS: Miguel Borges; Paulo Jesus ; Carlos Baquero ; Paulo Sérgio Almeida ;
PUBLISHED: 2012, SOURCE: DAIS, VOLUME: 7272 LNCS, PAGES: 96-103
3391
TITLE: State of the Art on Methodologies for the Development of a Metadata Application Profile
AUTHORS: Malta, MC ; Baptista, AA ;
PUBLISHED: 2012, SOURCE: 6th Research Conference on Metadata and Semantics Research in METADATA AND SEMANTICS RESEARCH, VOLUME: 343, PAGES: 61-73
AUTHORS: Malta, MC ; Baptista, AA ;
PUBLISHED: 2012, SOURCE: 6th Research Conference on Metadata and Semantics Research in METADATA AND SEMANTICS RESEARCH, VOLUME: 343, PAGES: 61-73
3392
TITLE: Stopping ongoing broadcasts in large MANETs
AUTHORS: Rui Lima ; Carlos Baquero ; Hugo Miranda ;
PUBLISHED: 2012, SOURCE: ARMOR, PAGES: 4:1-4:5
AUTHORS: Rui Lima ; Carlos Baquero ; Hugo Miranda ;
PUBLISHED: 2012, SOURCE: ARMOR, PAGES: 4:1-4:5
3393
TITLE: Structured editing of handwritten mathematics
AUTHORS: Alexandra Mendes ;
PUBLISHED: 2012, SOURCE: British Library, EThOS
AUTHORS: Alexandra Mendes ;
PUBLISHED: 2012, SOURCE: British Library, EThOS
INDEXED IN: 
DBLP
DBLP3394
TITLE: Studying a Personality Coreference Network in a News Stories Photo Collection
AUTHORS: José Luís Devezas ; Filipe Coelho; Sérgio Nunes ; Cristina Ribeiro ;
PUBLISHED: 2012, SOURCE: ECIR, VOLUME: 7224 LNCS, PAGES: 485-488
AUTHORS: José Luís Devezas ; Filipe Coelho; Sérgio Nunes ; Cristina Ribeiro ;
PUBLISHED: 2012, SOURCE: ECIR, VOLUME: 7224 LNCS, PAGES: 485-488
3395
TITLE: Task Assignment Algorithms for Two-type Heterogeneous Multiprocessors
AUTHORS: Gurulingesh Raravi; Bjorn Andersson; Konstantinos Bletsas ; Vincent Nelis ;
PUBLISHED: 2012, SOURCE: 24th Euromicro Conference on Real-Time Systems (ECRTS) in PROCEEDINGS OF THE 24TH EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS (ECRTS 2012), PAGES: 34-43
AUTHORS: Gurulingesh Raravi; Bjorn Andersson; Konstantinos Bletsas ; Vincent Nelis ;
PUBLISHED: 2012, SOURCE: 24th Euromicro Conference on Real-Time Systems (ECRTS) in PROCEEDINGS OF THE 24TH EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS (ECRTS 2012), PAGES: 34-43
INDEXED IN: Scopus 
WOS
Scopus WOS3396
TITLE: Test Generation from UML Sequence Diagrams
AUTHORS: Faria, JP ; Paiva, ACR ; Yang, ZL;
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: 245-250
AUTHORS: Faria, JP ; Paiva, ACR ; Yang, ZL;
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: 245-250
3397
TITLE: Text Categorization Using an Ensemble Classifier Based on a Mean Co-association Matrix
AUTHORS: Luís Moreira Matias ; João Mendes Moreira ; João Gama ; Pavel Brazdil ;
PUBLISHED: 2012, SOURCE: MLDM, VOLUME: 7376 LNAI, PAGES: 525-539
AUTHORS: Luís Moreira Matias ; João Mendes Moreira ; João Gama ; Pavel Brazdil ;
PUBLISHED: 2012, SOURCE: MLDM, VOLUME: 7376 LNAI, PAGES: 525-539
3398
TITLE: The Learning Design in Education Today - Putting Pedagogical Content Knowledge into Practice
AUTHORS: Isabel Azevedo; Dulce Mota ; Carlos Vaz de Carvalho; Eurico Carrapatoso ; Luís Paulo Reis ;
PUBLISHED: 2012, SOURCE: CSEDU (1), VOLUME: 1, PAGES: 344-347
AUTHORS: Isabel Azevedo; Dulce Mota ; Carlos Vaz de Carvalho; Eurico Carrapatoso ; Luís Paulo Reis ;
PUBLISHED: 2012, SOURCE: CSEDU (1), VOLUME: 1, PAGES: 344-347
INDEXED IN: Scopus DBLP
Scopus DBLP3399
TITLE: Topological inference through mobile devices
AUTHORS: Marco Antero Paiva; Marcelo R. Petry ; Rosaldo J F Rossetti ;
PUBLISHED: 2012, SOURCE: SAC, PAGES: 574-575
AUTHORS: Marco Antero Paiva; Marcelo R. Petry ; Rosaldo J F Rossetti ;
PUBLISHED: 2012, SOURCE: SAC, PAGES: 574-575
3400
TITLE: Towards a Catalog of Spreadsheet Smells
AUTHORS: Cunha, J ; Fernandes, JP ; Ribeiro, H; Saraiva, J ;
PUBLISHED: 2012, SOURCE: 12th International Conference on Computational Science and Its Applications (ICCSA) in COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2012, PT IV, VOLUME: 7336, ISSUE: PART 4, PAGES: 202-216
AUTHORS: Cunha, J ; Fernandes, JP ; Ribeiro, H; Saraiva, J ;
PUBLISHED: 2012, SOURCE: 12th International Conference on Computational Science and Its Applications (ICCSA) in COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2012, PT IV, VOLUME: 7336, ISSUE: PART 4, PAGES: 202-216
