CS: Computer Science
CS: Computer Science
AuthID: I-000-B2B
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: 10705
536 Team MembersFilters -> Year: 2026
5661
TITLE: A proof of concept of an augmented reality system for nuss surgery
AUTHORS: Ferreira, A; Morais, P ; Queirós, S; Veloso, F; Rodrigues, NF ; Correira Pinto, J; Vilaça, JL;
PUBLISHED: 2016, SOURCE: 5th Eccomas Thematic Conference on Computational Vision and Medical Image Processing, VipIMAGE 2015 in Computational Vision and Medical Image Processing V - Proceedings of 5th Eccomas Thematic Conference on Computational Vision and Medical Image Processing, VipIMAGE 2015, PAGES: 227-232
AUTHORS: Ferreira, A; Morais, P ; Queirós, S; Veloso, F; Rodrigues, NF ; Correira Pinto, J; Vilaça, JL;
PUBLISHED: 2016, SOURCE: 5th Eccomas Thematic Conference on Computational Vision and Medical Image Processing, VipIMAGE 2015 in Computational Vision and Medical Image Processing V - Proceedings of 5th Eccomas Thematic Conference on Computational Vision and Medical Image Processing, VipIMAGE 2015, PAGES: 227-232
INDEXED IN: 
Scopus
Scopus5662
TITLE: A Quadratic Approach to the Maximum EdgeWeight Clique Problem
AUTHORS: Dalila B Fontes ;
PUBLISHED: 2016
AUTHORS: Dalila B Fontes ;
PUBLISHED: 2016
INDEXED IN: 
Handle
Handle5663
TITLE: A repeated strategy for dumping
AUTHORS: Martins, J ; Banik, N; Pinto, AA ;
PUBLISHED: 2016, SOURCE: 18th International Conference on Difference Equations and Applications, ICDEA 2012 in Springer Proceedings in Mathematics and Statistics, VOLUME: 180, PAGES: 145-153
AUTHORS: Martins, J ; Banik, N; Pinto, AA ;
PUBLISHED: 2016, SOURCE: 18th International Conference on Difference Equations and Applications, ICDEA 2012 in Springer Proceedings in Mathematics and Statistics, VOLUME: 180, PAGES: 145-153
5664
TITLE: A Requirements-to-Implementation Mapping Tool for Requirements Traceability Full Text
AUTHORS: Jorge Esparteiro Garcia ; Ana C R Paiva ;
PUBLISHED: 2016, SOURCE: J. Softw., VOLUME: 11, ISSUE: 2, PAGES: 193-200
AUTHORS: Jorge Esparteiro Garcia ; Ana C R Paiva ;
PUBLISHED: 2016, SOURCE: J. Softw., VOLUME: 11, ISSUE: 2, PAGES: 193-200
5665
TITLE: A safe-by-design programming language for wireless sensor networks Full Text
AUTHORS: Lopes, L ; Martins, F ;
PUBLISHED: 2016, SOURCE: JOURNAL OF SYSTEMS ARCHITECTURE, VOLUME: 63, PAGES: 16-32
AUTHORS: Lopes, L ; Martins, F ;
PUBLISHED: 2016, SOURCE: JOURNAL OF SYSTEMS ARCHITECTURE, VOLUME: 63, PAGES: 16-32
5666
TITLE: A Self-organisation Model for Mobile Robots in Large Structure Assembly Using Multi-agent Systems
AUTHORS: Spartak Ljasenko; Niels Lohse; Laura Justham; Ivo Pereira ; Michael R Jackson;
PUBLISHED: 2016, SOURCE: Service Orientation in Holonic and Multi-Agent Manufacturing - Proceedings of SOHOMA 2016, Lisbon, Portugal, October 6-7, 2016, VOLUME: 694, PAGES: 83-91
AUTHORS: Spartak Ljasenko; Niels Lohse; Laura Justham; Ivo Pereira ; Michael R Jackson;
PUBLISHED: 2016, SOURCE: Service Orientation in Holonic and Multi-Agent Manufacturing - Proceedings of SOHOMA 2016, Lisbon, Portugal, October 6-7, 2016, VOLUME: 694, PAGES: 83-91
INDEXED IN: 
DBLP
DBLP5667
TITLE: A Single-Assignment Translation for Annotated Programs
AUTHORS: Cláudio Belo Lourenço ; Maria João Frade ; Jorge Sousa Pinto ;
PUBLISHED: 2016, SOURCE: CoRR, VOLUME: abs/1601.00584
AUTHORS: Cláudio Belo Lourenço ; Maria João Frade ; Jorge Sousa Pinto ;
PUBLISHED: 2016, SOURCE: CoRR, VOLUME: abs/1601.00584
INDEXED IN: DBLP
DBLP5668
TITLE: A Special-Purpose Language for Implementing Pipelined FPGA-Based Accelerators
AUTHORS: Cristiano B de Oliveira; Ricardo Menotti; Joao M P Cardoso ; Eduardo Marques;
PUBLISHED: 2016, SOURCE: Forum on Specification and Design Languages (FDL) in LANGUAGES, DESIGN METHODS, AND TOOLS FOR ELECTRONIC SYSTEM DESIGN, VOLUME: 385, PAGES: 75-99
AUTHORS: Cristiano B de Oliveira; Ricardo Menotti; Joao M P Cardoso ; Eduardo Marques;
PUBLISHED: 2016, SOURCE: Forum on Specification and Design Languages (FDL) in LANGUAGES, DESIGN METHODS, AND TOOLS FOR ELECTRONIC SYSTEM DESIGN, VOLUME: 385, PAGES: 75-99
INDEXED IN: 
WOS
WOS5669
TITLE: A Speech-to-Text Interface for MammoClass
AUTHORS: Roche, RS; Ferreira, P ; Dutra, I ; Correia, R ; Salvini, R; Burnside, E;
PUBLISHED: 2016, SOURCE: 29th IEEE International Symposium on Computer-Based Medical Systems (CBMS) in 2016 IEEE 29TH INTERNATIONAL SYMPOSIUM ON COMPUTER-BASED MEDICAL SYSTEMS (CBMS), VOLUME: 2016-August, PAGES: 1-6
AUTHORS: Roche, RS; Ferreira, P ; Dutra, I ; Correia, R ; Salvini, R; Burnside, E;
PUBLISHED: 2016, SOURCE: 29th IEEE International Symposium on Computer-Based Medical Systems (CBMS) in 2016 IEEE 29TH INTERNATIONAL SYMPOSIUM ON COMPUTER-BASED MEDICAL SYSTEMS (CBMS), VOLUME: 2016-August, PAGES: 1-6
5670
TITLE: A Subgraph-Based Ranking System for Professional Tennis Players
AUTHORS: Aparício, D ; Ribeiro, P ; Silva, F ;
PUBLISHED: 2016, SOURCE: 6th International Workshop on Complex Networks (CompleNet) in COMPLEX NETWORKS VII, VOLUME: 644, PAGES: 159-171
AUTHORS: Aparício, D ; Ribeiro, P ; Silva, F ;
PUBLISHED: 2016, SOURCE: 6th International Workshop on Complex Networks (CompleNet) in COMPLEX NETWORKS VII, VOLUME: 644, PAGES: 159-171
5671
TITLE: A Survey of Predictive Modeling on Im balanced Domains Full Text
AUTHORS: Branco, P ; Torgo, L ; Ribeiro, RP ;
PUBLISHED: 2016, SOURCE: ACM COMPUTING SURVEYS, VOLUME: 49, ISSUE: 2, PAGES: 31:1-31:50
AUTHORS: Branco, P ; Torgo, L ; Ribeiro, RP ;
PUBLISHED: 2016, SOURCE: ACM COMPUTING SURVEYS, VOLUME: 49, ISSUE: 2, PAGES: 31:1-31:50
5672
TITLE: A survey on game backend services
AUTHORS: de Queirós, RAP ;
PUBLISHED: 2016, SOURCE: Gamification-Based E-Learning Strategies for Computer Programming Education, PAGES: 1-13
AUTHORS: de Queirós, RAP ;
PUBLISHED: 2016, SOURCE: Gamification-Based E-Learning Strategies for Computer Programming Education, PAGES: 1-13
5673
TITLE: A Teaching Model Using Social Network Sites
AUTHORS: Santos, V; Montargil, F ; Martins, J ; Goncalves, R ;
PUBLISHED: 2016, SOURCE: 15th European Conference on E-Learning (ECEL) in PROCEEDINGS OF THE 15TH EUROPEAN CONFERENCE ON E-LEARNING (ECEL 2016), VOLUME: 2016-January, PAGES: 631-639
AUTHORS: Santos, V; Montargil, F ; Martins, J ; Goncalves, R ;
PUBLISHED: 2016, SOURCE: 15th European Conference on E-Learning (ECEL) in PROCEEDINGS OF THE 15TH EUROPEAN CONFERENCE ON E-LEARNING (ECEL 2016), VOLUME: 2016-January, PAGES: 631-639
INDEXED IN: Scopus WOS Handle
Scopus WOS Handle5674
TITLE: A telemedicine application using WebRTC
AUTHORS: Antunes, M ; Silva, C ; Barranca, J;
PUBLISHED: 2016, SOURCE: International Conference on ENTERprise Information Systems / International Conference on Project MANagement / International Conference on Health and Social Care Information Systems and Technologies (CENTERIS/ProjMAN/HCist) in INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS/INTERNATIONAL CONFERENCE ON PROJECT MANAGEMENT/INTERNATIONAL CONFERENCE ON HEALTH AND SOCIAL CARE INFORMATION SYSTEMS AND TECHNOLOGIES, CENTERIS/PROJMAN / HCIST 2016, VOLUME: 100, PAGES: 414-420
AUTHORS: Antunes, M ; Silva, C ; Barranca, J;
PUBLISHED: 2016, SOURCE: International Conference on ENTERprise Information Systems / International Conference on Project MANagement / International Conference on Health and Social Care Information Systems and Technologies (CENTERIS/ProjMAN/HCist) in INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS/INTERNATIONAL CONFERENCE ON PROJECT MANAGEMENT/INTERNATIONAL CONFERENCE ON HEALTH AND SOCIAL CARE INFORMATION SYSTEMS AND TECHNOLOGIES, CENTERIS/PROJMAN / HCIST 2016, VOLUME: 100, PAGES: 414-420
5675
TITLE: A Tool-Chain for High-Assurance Cryptographic Software
AUTHORS: Almeida, J ; Barbosa, M ; Pacheco, H ; Pereira, V;
PUBLISHED: 2016, SOURCE: ERCIM NEWS, VOLUME: 2016, ISSUE: 106, PAGES: 14-15
AUTHORS: Almeida, J ; Barbosa, M ; Pacheco, H ; Pereira, V;
PUBLISHED: 2016, SOURCE: ERCIM NEWS, VOLUME: 2016, ISSUE: 106, PAGES: 14-15
INDEXED IN: WOS DBLP
WOS DBLP5676
TITLE: A toolset for conformance testing against UML sequence diagrams based on event-driven colored Petri nets Full Text
AUTHORS: Faria, JP ; Paiva, ACR ;
PUBLISHED: 2016, SOURCE: INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, VOLUME: 18, ISSUE: 3, PAGES: 285-304
AUTHORS: Faria, JP ; Paiva, ACR ;
PUBLISHED: 2016, SOURCE: INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, VOLUME: 18, ISSUE: 3, PAGES: 285-304
5677
TITLE: Accessibility Not on Demand <i>An Impaired Situation</i>
AUTHORS: Silva, JDE; Gonçalves, R ; Pereira, A ;
PUBLISHED: 2016, SOURCE: 11th International Joint Conference on Software Technologies (ICSOFT-EA) in ICSOFT-EA: PROCEEDINGS OF THE 11TH INTERNATIONAL JOINT CONFERENCE ON SOFTWARE TECHNOLOGIES - VOL. 1, VOLUME: 1, PAGES: 272-275
AUTHORS: Silva, JDE; Gonçalves, R ; Pereira, A ;
PUBLISHED: 2016, SOURCE: 11th International Joint Conference on Software Technologies (ICSOFT-EA) in ICSOFT-EA: PROCEEDINGS OF THE 11TH INTERNATIONAL JOINT CONFERENCE ON SOFTWARE TECHNOLOGIES - VOL. 1, VOLUME: 1, PAGES: 272-275
5678
TITLE: Active learning and data manipulation techniques for generating training examples in meta-learning Full Text
AUTHORS: Sousa, AFM; Prudêncio, RBC; Ludermir, TB; Soares, C ;
PUBLISHED: 2016, SOURCE: NEUROCOMPUTING, VOLUME: 194, PAGES: 45-55
AUTHORS: Sousa, AFM; Prudêncio, RBC; Ludermir, TB; Soares, C ;
PUBLISHED: 2016, SOURCE: NEUROCOMPUTING, VOLUME: 194, PAGES: 45-55
5679
TITLE: Adaptation and Validation of the Igroup Presence Questionnaire (IPQ) in a Portuguese Sample Full Text
AUTHORS: Vasconcelos Raposo, J ; Bessa, M ; Melo, M ; Barbosa, L ; Rodrigues, R ; Teixeira, CM; Cabral, L; Sousa, AA ;
PUBLISHED: 2016, SOURCE: PRESENCE-VIRTUAL AND AUGMENTED REALITY, VOLUME: 25, ISSUE: 3, PAGES: 191-203
AUTHORS: Vasconcelos Raposo, J ; Bessa, M ; Melo, M ; Barbosa, L ; Rodrigues, R ; Teixeira, CM; Cabral, L; Sousa, AA ;
PUBLISHED: 2016, SOURCE: PRESENCE-VIRTUAL AND AUGMENTED REALITY, VOLUME: 25, ISSUE: 3, PAGES: 191-203
