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: 3943
49 Team MembersFilters -> Year: 2024
2741
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
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
2742
TITLE: SIARD Archive Browser
AUTHORS: Rahman, AU; David, G ; Ribeiro, C ;
PUBLISHED: 2012, SOURCE: 2nd International Conference on Theory and Practice of Digital Libraries, TPDL 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7489 LNCS, PAGES: 496-499
AUTHORS: Rahman, AU; David, G ; Ribeiro, C ;
PUBLISHED: 2012, SOURCE: 2nd International Conference on Theory and Practice of Digital Libraries, TPDL 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7489 LNCS, PAGES: 496-499
2743
TITLE: Simulation and Performance Assessment of Poker Agents
AUTHORS: Luís Filipe Teófilo ; Rosaldo Rossetti ; Luís Paulo Reis ; Henrique Lopes Cardoso ; Pedro Alves Nogueira ;
PUBLISHED: 2012, SOURCE: 13th International Workshop on Multi-Agent-Based Simulation, MABS 2012 in Multi-Agent-Based Simulation XIII - International Workshop, MABS 2012, Valencia, Spain, June 4-8, 2012, Revised Selected Papers, VOLUME: 7838, PAGES: 69-84
AUTHORS: Luís Filipe Teófilo ; Rosaldo Rossetti ; Luís Paulo Reis ; Henrique Lopes Cardoso ; Pedro Alves Nogueira ;
PUBLISHED: 2012, SOURCE: 13th International Workshop on Multi-Agent-Based Simulation, MABS 2012 in Multi-Agent-Based Simulation XIII - International Workshop, MABS 2012, Valencia, Spain, June 4-8, 2012, Revised Selected Papers, VOLUME: 7838, PAGES: 69-84
2744
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
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
CrossRef2745
TITLE: Sketch express: A sketching interface for facial animation Full Text
AUTHORS: Jose Carlos Miranda; Xenxo Alvarez; Joao Orvalho; Diego Gutierrez; Augusto Sousa, AA ; Veronica Orvalho ;
PUBLISHED: 2012, SOURCE: COMPUTERS & GRAPHICS-UK, VOLUME: 36, ISSUE: 6, PAGES: 585-595
AUTHORS: Jose Carlos Miranda; Xenxo Alvarez; Joao Orvalho; Diego Gutierrez; Augusto Sousa, AA ; Veronica Orvalho ;
PUBLISHED: 2012, SOURCE: COMPUTERS & GRAPHICS-UK, VOLUME: 36, ISSUE: 6, PAGES: 585-595
2746
TITLE: SmellSheet Detective: A Tool for Detecting Bad Smells in Spreadsheets
AUTHORS: Jacome Cunha ; Joao Paulo Fernandes ; Pedro Martins ; Jorge Mendes ; Joao Saraiva ;
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: Jacome Cunha ; Joao Paulo Fernandes ; Pedro Martins ; Jorge Mendes ; Joao Saraiva ;
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
2747
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
2748
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
2749
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 CrossRef2750
TITLE: Specification-driven unit test generation for java generic classes
AUTHORS: Rebello De Andrade, F; Faria, JP ; Lopes, A ; Paiva, ACR ;
PUBLISHED: 2012, SOURCE: 9th International Conference on Integrated Formal Methods, IFM 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7321 LNCS, PAGES: 296-311
AUTHORS: Rebello De Andrade, F; Faria, JP ; Lopes, A ; Paiva, ACR ;
PUBLISHED: 2012, SOURCE: 9th International Conference on Integrated Formal Methods, IFM 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7321 LNCS, PAGES: 296-311
2751
TITLE: Specifying Compiler Strategies for FPGA-based Systems
AUTHORS: Joao M P Cardoso ; Joao Teixeira; Jose C Alves ; Ricardo Nobre ; Pedro C Diniz ; Jose G F Coutinho; Wayne Luk;
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: Joao M P Cardoso ; Joao Teixeira; Jose C Alves ; Ricardo Nobre ; Pedro C Diniz ; Jose G F Coutinho; Wayne Luk;
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
2752
TITLE: Specifying UML Protocol State Machines in Alloy
AUTHORS: Ana Gabriela Garis; Ana C R Paiva ; Alcino Cunha ; Daniel Riesco;
PUBLISHED: 2012, SOURCE: 9th International Conference on Integrated Formal Methods, IFM 2012 in Integrated Formal Methods - 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings, VOLUME: 7321, PAGES: 312-326
AUTHORS: Ana Gabriela Garis; Ana C R Paiva ; Alcino Cunha ; Daniel Riesco;
PUBLISHED: 2012, SOURCE: 9th International Conference on Integrated Formal Methods, IFM 2012 in Integrated Formal Methods - 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings, VOLUME: 7321, PAGES: 312-326
2753
TITLE: Spectra: Robust Estimation of Distribution Functions in Networks
AUTHORS: Miguel Borges; Paulo Jesus ; Carlos Baquero ; Paulo Sérgio Almeida ;
PUBLISHED: 2012, SOURCE: 12th IFIP International Conference on Distributed Applications and Interoperable Systems, DAIS 2012 in Distributed Applications and Interoperable Systems - 12th IFIP WG 6.1 International Conference, DAIS 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings, VOLUME: 7272, PAGES: 96-103
AUTHORS: Miguel Borges; Paulo Jesus ; Carlos Baquero ; Paulo Sérgio Almeida ;
PUBLISHED: 2012, SOURCE: 12th IFIP International Conference on Distributed Applications and Interoperable Systems, DAIS 2012 in Distributed Applications and Interoperable Systems - 12th IFIP WG 6.1 International Conference, DAIS 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings, VOLUME: 7272, PAGES: 96-103
2754
TITLE: State of the art on methodologies for the development of a metadata application profile
AUTHORS: Curado Malta, M ; Baptista, AA ;
PUBLISHED: 2012, SOURCE: 6th Research Conference on Metadata and Semantics Research, MTSR 2012 in Communications in Computer and Information Science, VOLUME: 343 CCIS, PAGES: 61-73
AUTHORS: Curado Malta, M ; Baptista, AA ;
PUBLISHED: 2012, SOURCE: 6th Research Conference on Metadata and Semantics Research, MTSR 2012 in Communications in Computer and Information Science, VOLUME: 343 CCIS, PAGES: 61-73
INDEXED IN: Scopus CrossRef
Scopus CrossRef2755
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
INDEXED IN: 
WOS
WOS2756
TITLE: Stopping ongoing broadcasts in large MANETs
AUTHORS: Rui Lima ; Carlos Baquero ; Hugo Miranda ;
PUBLISHED: 2012, SOURCE: 1st European Workshop on AppRoaches to MObiquitous Resilience, ARMOR '12 in Proceedings of the 1st European Workshop on AppRoaches to MObiquitous Resilience, ARMOR '12, Sibiu, Romania, May 8-11, 2012, PAGES: 4:1-4:5
AUTHORS: Rui Lima ; Carlos Baquero ; Hugo Miranda ;
PUBLISHED: 2012, SOURCE: 1st European Workshop on AppRoaches to MObiquitous Resilience, ARMOR '12 in Proceedings of the 1st European Workshop on AppRoaches to MObiquitous Resilience, ARMOR '12, Sibiu, Romania, May 8-11, 2012, PAGES: 4:1-4:5
2757
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
DBLP2758
TITLE: Studying a personality coreference network in a news stories photo collection
AUTHORS: Devezas, J ; Coelho, F; Nunes, S ; Ribeiro, C ;
PUBLISHED: 2012, SOURCE: 34th European Conference on Information Retrieval, ECIR 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7224 LNCS, PAGES: 485-488
AUTHORS: Devezas, J ; Coelho, F; Nunes, S ; Ribeiro, C ;
PUBLISHED: 2012, SOURCE: 34th European Conference on Information Retrieval, ECIR 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7224 LNCS, PAGES: 485-488
2759
TITLE: Test Generation from UML Sequence Diagrams
AUTHORS: Joao Pascoal Faria ; Ana C R Paiva ; Zhuanli L Yang;
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: Joao Pascoal Faria ; Ana C R Paiva ; Zhuanli L Yang;
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
2760
TITLE: Text categorization using an ensemble classifier based on a mean co-association matrix
AUTHORS: Moreira Matias, L ; Mendes Moreira, J ; Gama, J ; Brazdil, P ;
PUBLISHED: 2012, SOURCE: 8th International Conference on Machine Learning and Data Mining in Pattern Recognition, MLDM 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7376 LNAI, PAGES: 525-539
AUTHORS: Moreira Matias, L ; Mendes Moreira, J ; Gama, J ; Brazdil, P ;
PUBLISHED: 2012, SOURCE: 8th International Conference on Machine Learning and Data Mining in Pattern Recognition, MLDM 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7376 LNAI, PAGES: 525-539
