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: 3835
49 Team MembersFilters -> Year: 2024
2661
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
2662
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
2663
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
2664
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
WOS2665
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
2666
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
DBLP2667
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
2668
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
2669
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
2670
TITLE: The learning design in education today: Putting pedagogical content knowledge into practice
AUTHORS: Azevedo, I; Mota, D ; De Carvalho, CV; Carrapatoso, E ; Reis, LP ;
PUBLISHED: 2012, SOURCE: 4th International Conference on Computer Supported Education, CSEDU 2012 in CSEDU 2012 - Proceedings of the 4th International Conference on Computer Supported Education, VOLUME: 1, PAGES: 344-347
AUTHORS: Azevedo, I; Mota, D ; De Carvalho, CV; Carrapatoso, E ; Reis, LP ;
PUBLISHED: 2012, SOURCE: 4th International Conference on Computer Supported Education, CSEDU 2012 in CSEDU 2012 - Proceedings of the 4th International Conference on Computer Supported Education, VOLUME: 1, PAGES: 344-347
INDEXED IN: 
Scopus DBLP
Scopus DBLP2671
TITLE: Topological inference through mobile devices
AUTHORS: Marco Antero Paiva; Marcelo Petry ; Rosaldo J F Rossetti ;
PUBLISHED: 2012, SOURCE: 27th Annual ACM Symposium on Applied Computing, SAC 2012 in Proceedings of the ACM Symposium on Applied Computing, SAC 2012, Riva, Trento, Italy, March 26-30, 2012, PAGES: 574-575
AUTHORS: Marco Antero Paiva; Marcelo Petry ; Rosaldo J F Rossetti ;
PUBLISHED: 2012, SOURCE: 27th Annual ACM Symposium on Applied Computing, SAC 2012 in Proceedings of the ACM Symposium on Applied Computing, SAC 2012, Riva, Trento, Italy, March 26-30, 2012, PAGES: 574-575
2672
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
2673
TITLE: Towards a framework to evaluate and improve the quality of implementation of CMMI® practices
AUTHORS: Lopes Margarido, I; Pascoal Faria, J ; Moreira Vidal, R; Vieira, M ;
PUBLISHED: 2012, SOURCE: 13th International Conference on Product-Focused Software Process Improvement, PROFES 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7343 LNCS, PAGES: 361-365
AUTHORS: Lopes Margarido, I; Pascoal Faria, J ; Moreira Vidal, R; Vieira, M ;
PUBLISHED: 2012, SOURCE: 13th International Conference on Product-Focused Software Process Improvement, PROFES 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7343 LNCS, PAGES: 361-365
2674
TITLE: TOWARDS A SERIOUS GAMES EVACUATION SIMULATOR
AUTHORS: Ribeiro, J; Almeida, JE; Rossetti, RJF ; Coelho, A ; Coelho, AL;
PUBLISHED: 2012, SOURCE: 26th European Conference on Modelling and Simulation (ECMS 2012) in PROCEEDINGS 26TH EUROPEAN CONFERENCE ON MODELLING AND SIMULATION ECMS 2012, PAGES: 697-702
AUTHORS: Ribeiro, J; Almeida, JE; Rossetti, RJF ; Coelho, A ; Coelho, AL;
PUBLISHED: 2012, SOURCE: 26th European Conference on Modelling and Simulation (ECMS 2012) in PROCEEDINGS 26TH EUROPEAN CONFERENCE ON MODELLING AND SIMULATION ECMS 2012, PAGES: 697-702
2675
TITLE: Towards an Autonomous and Intelligent Airline Operations Control
AUTHORS: Antonio J M Castro ; Ana Paula Rocha ; Eugenio Oliveira ;
PUBLISHED: 2012, SOURCE: 15th International IEEE Conference on Intelligent Transportation Systems (ITSC) in 2012 15TH INTERNATIONAL IEEE CONFERENCE ON INTELLIGENT TRANSPORTATION SYSTEMS (ITSC), PAGES: 1429-1434
AUTHORS: Antonio J M Castro ; Ana Paula Rocha ; Eugenio Oliveira ;
PUBLISHED: 2012, SOURCE: 15th International IEEE Conference on Intelligent Transportation Systems (ITSC) in 2012 15TH INTERNATIONAL IEEE CONFERENCE ON INTELLIGENT TRANSPORTATION SYSTEMS (ITSC), PAGES: 1429-1434
2676
TITLE: Towards an evaluation of bidirectional model-driven spreadsheets
AUTHORS: Cunha, J ; Fernandes, JP ; Mendes, J ; Saraiva, J ;
PUBLISHED: 2012, SOURCE: 2012 1st International Workshop on User Evaluation for Software Engineering Researchers, USER 2012 in 2012 1st International Workshop on User Evaluation for Software Engineering Researchers, USER 2012 - Proceedings, PAGES: 25-28
AUTHORS: Cunha, J ; Fernandes, JP ; Mendes, J ; Saraiva, J ;
PUBLISHED: 2012, SOURCE: 2012 1st International Workshop on User Evaluation for Software Engineering Researchers, USER 2012 in 2012 1st International Workshop on User Evaluation for Software Engineering Researchers, USER 2012 - Proceedings, PAGES: 25-28
2677
TITLE: Towards Location-based Augmented Reality games
AUTHORS: Jacob, J ; da Silva, H; Coelho, A ; Rodrigues, R ;
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: 318-319
AUTHORS: Jacob, J ; da Silva, H; Coelho, A ; Rodrigues, R ;
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: 318-319
2678
TITLE: TOWARDS THE IMPLEMENTATION OF A HANDBALL PLAYER AGENT FRAMEWORK
AUTHORS: Jacob, J ; Rosaldo J F Rossetti ; Antonio Coelho ; Rui Rodrigues ;
PUBLISHED: 2012, SOURCE: 24th European Modeling and Simulation Symposium (EMSS) in 24TH EUROPEAN MODELING AND SIMULATION SYMPOSIUM (EMSS 2012), PAGES: 204-209
AUTHORS: Jacob, J ; Rosaldo J F Rossetti ; Antonio Coelho ; Rui Rodrigues ;
PUBLISHED: 2012, SOURCE: 24th European Modeling and Simulation Symposium (EMSS) in 24TH EUROPEAN MODELING AND SIMULATION SYMPOSIUM (EMSS 2012), PAGES: 204-209
INDEXED IN: Scopus WOS
Scopus WOS2679
TITLE: Trust and Normative Control in Multi-agent Systems: An Empirical Study
AUTHORS: Joana Urbano ; Henrique Lopes Cardoso ; Ana Paula Rocha ; Eugenio Oliveira ;
PUBLISHED: 2012, SOURCE: 10th International Conference on Practical Applications of Agents and Multi-Agent Systems in HIGHLIGHTS ON PRACTICAL APPLICATIONS OF AGENTS AND MULTI-AGENT SYSTEMS, VOLUME: 156, PAGES: 207-214
AUTHORS: Joana Urbano ; Henrique Lopes Cardoso ; Ana Paula Rocha ; Eugenio Oliveira ;
PUBLISHED: 2012, SOURCE: 10th International Conference on Practical Applications of Agents and Multi-Agent Systems in HIGHLIGHTS ON PRACTICAL APPLICATIONS OF AGENTS AND MULTI-AGENT SYSTEMS, VOLUME: 156, PAGES: 207-214
2680
TITLE: TwitterEcho. a distributed focused crawler to support open research with twitter data
AUTHORS: Matko Boanjak; Eduardo Oliveira ; José Martins; Eduarda Mendes Rodrigues; Luís Sarmento;
PUBLISHED: 2012, SOURCE: Proceedings of the 21st international conference companion on World Wide Web - WWW '12 Companion
AUTHORS: Matko Boanjak; Eduardo Oliveira ; José Martins; Eduarda Mendes Rodrigues; Luís Sarmento;
PUBLISHED: 2012, SOURCE: Proceedings of the 21st international conference companion on World Wide Web - WWW '12 Companion
INDEXED IN: 
CrossRef
CrossRef