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: 8106
531 Team MembersFilters -> Year: 2024
3121
TITLE: Table space designs for implicit and explicit concurrent tabled evaluation
AUTHORS: Miguel Areias ; Ricardo Rocha ;
PUBLISHED: 2018, SOURCE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 18, ISSUE: 5-6, PAGES: 950-992
AUTHORS: Miguel Areias ; Ricardo Rocha ;
PUBLISHED: 2018, SOURCE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 18, ISSUE: 5-6, PAGES: 950-992
3122
TITLE: Teaching How to Program using Automated Assessment and Functional Glossy Games (Experience Report)
AUTHORS: Almeida, JB ; Cunha, A ; Macedo, N ; Pacheco, H ; Proenca, J ;
PUBLISHED: 2018, SOURCE: 23rd ACM SIGPLAN International Conference on Functional Programming (ICFP) in PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES, VOLUME: 2, ISSUE: ICFP, PAGES: 82:1-82:17
AUTHORS: Almeida, JB ; Cunha, A ; Macedo, N ; Pacheco, H ; Proenca, J ;
PUBLISHED: 2018, SOURCE: 23rd ACM SIGPLAN International Conference on Functional Programming (ICFP) in PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES, VOLUME: 2, ISSUE: ICFP, PAGES: 82:1-82:17
3123
TITLE: Technical Communications of the 33rd International Conference on Logic Programming, ICLP 2017, August 28 to September 1, 2017, Melbourne, Australia
AUTHORS: Ricardo Rocha ; Tran Cao Son; Christopher Mears; Neda Saeedloei;
PUBLISHED: 2018, SOURCE: ICLP (Technical Communications), VOLUME: 58
AUTHORS: Ricardo Rocha ; Tran Cao Son; Christopher Mears; Neda Saeedloei;
PUBLISHED: 2018, SOURCE: ICLP (Technical Communications), VOLUME: 58
INDEXED IN: 
DBLP
DBLP3124
TITLE: Technologies Applied to Remote Supervision of Exercise in Peripheral Arterial Disease: A Literature Review
AUTHORS: Paulino, D ; Reis, A ; Barroso, J ; Paredes, H ;
PUBLISHED: 2018, SOURCE: 12th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2018 Held as Part of HCI International 2018 in UNIVERSAL ACCESS IN HUMAN-COMPUTER INTERACTION: VIRTUAL, AUGMENTED, AND INTELLIGENT ENVIRONMENTS, VOLUME: 10908, PAGES: 320-329
AUTHORS: Paulino, D ; Reis, A ; Barroso, J ; Paredes, H ;
PUBLISHED: 2018, SOURCE: 12th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2018 Held as Part of HCI International 2018 in UNIVERSAL ACCESS IN HUMAN-COMPUTER INTERACTION: VIRTUAL, AUGMENTED, AND INTELLIGENT ENVIRONMENTS, VOLUME: 10908, PAGES: 320-329
3125
TITLE: Technology usage as a way to increase safety and security in different geographies
AUTHORS: Manuel Au Yong Oliveira ; Fernando Moreira ; Jose Martins ; Frederico Branco ; Ramiro Goncalves ;
PUBLISHED: 2018, SOURCE: 13th Iberian Conference on Information Systems and Technologies (CISTI) in 2018 13TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI), VOLUME: 2018-June, PAGES: 1-7
AUTHORS: Manuel Au Yong Oliveira ; Fernando Moreira ; Jose Martins ; Frederico Branco ; Ramiro Goncalves ;
PUBLISHED: 2018, SOURCE: 13th Iberian Conference on Information Systems and Technologies (CISTI) in 2018 13TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI), VOLUME: 2018-June, PAGES: 1-7
3126
TITLE: Telepresence Robots in the Classroom: The State-of-the-Art and a Proposal for a Telepresence Service for Higher Education
AUTHORS: Arsénio Reis ; Márcio G Martins; Paulo Martins ; José Sousa; João Barroso ;
PUBLISHED: 2018, SOURCE: 1st International Conference on Technology and Innovation in Learning, Teaching and Education, TECH-EDU 2018 in Technology and Innovation in Learning, Teaching and Education - First International Conference, TECH-EDU 2018, Thessaloniki, Greece, June 20-22, 2018, Revised Selected Papers, VOLUME: 993, PAGES: 539-550
AUTHORS: Arsénio Reis ; Márcio G Martins; Paulo Martins ; José Sousa; João Barroso ;
PUBLISHED: 2018, SOURCE: 1st International Conference on Technology and Innovation in Learning, Teaching and Education, TECH-EDU 2018 in Technology and Innovation in Learning, Teaching and Education - First International Conference, TECH-EDU 2018, Thessaloniki, Greece, June 20-22, 2018, Revised Selected Papers, VOLUME: 993, PAGES: 539-550
3127
TITLE: TensorCast: Forecasting Time-Evolving Networks with Contextual Information
AUTHORS: Miguel Araujo ; Pedro Manuel Pinto Ribeiro ; Christos Faloutsos;
PUBLISHED: 2018, SOURCE: Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, July 13-19, 2018, Stockholm, Sweden., PAGES: 5199-5203
AUTHORS: Miguel Araujo ; Pedro Manuel Pinto Ribeiro ; Christos Faloutsos;
PUBLISHED: 2018, SOURCE: Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, July 13-19, 2018, Stockholm, Sweden., PAGES: 5199-5203
INDEXED IN: DBLP
DBLP3128
TITLE: TensorCast: Forecasting time-evolving networks with contextual information
AUTHORS: Miguel Araújo; Pedro Ribeiro ; Christos Faloutsos;
PUBLISHED: 2018, SOURCE: IJCAI International Joint Conference on Artificial Intelligence, VOLUME: 2018-July, PAGES: 5199-5203
AUTHORS: Miguel Araújo; Pedro Ribeiro ; Christos Faloutsos;
PUBLISHED: 2018, SOURCE: IJCAI International Joint Conference on Artificial Intelligence, VOLUME: 2018-July, PAGES: 5199-5203
3129
TITLE: Test Patterns for IoT
AUTHORS: Pedro Martins Pontes; Bruno Lima ; Joao Pascoal Faria ;
PUBLISHED: 2018, SOURCE: 9th ACM SIGSOFT International Workshop on Automating TEST Case Design, Selection, and Evaluation (A-TEST) in PROCEEDINGS OF THE 9TH ACM SIGSOFT INTERNATIONAL WORKSHOP ON AUTOMATING TEST CASE DESIGN, SELECTION, AND EVALUATION (A-TEST '18), PAGES: 63-66
AUTHORS: Pedro Martins Pontes; Bruno Lima ; Joao Pascoal Faria ;
PUBLISHED: 2018, SOURCE: 9th ACM SIGSOFT International Workshop on Automating TEST Case Design, Selection, and Evaluation (A-TEST) in PROCEEDINGS OF THE 9TH ACM SIGSOFT INTERNATIONAL WORKSHOP ON AUTOMATING TEST CASE DESIGN, SELECTION, AND EVALUATION (A-TEST '18), PAGES: 63-66
3130
TITLE: Testbed implementation and evaluation of interleaved and scrambled coding for physical-layer security Full Text
AUTHORS: Martins, C; Fernandes, T; Gomes, M; Vilela, J ;
PUBLISHED: 2018, SOURCE: 87th IEEE Vehicular Technology Conference, VTC Spring 2018 in IEEE Vehicular Technology Conference, VOLUME: 2018-June, PAGES: 1-6
AUTHORS: Martins, C; Fernandes, T; Gomes, M; Vilela, J ;
PUBLISHED: 2018, SOURCE: 87th IEEE Vehicular Technology Conference, VTC Spring 2018 in IEEE Vehicular Technology Conference, VOLUME: 2018-June, PAGES: 1-6
3131
TITLE: The 3rd workshop on middleware for edge clouds & cloudlets (MECC 2018), colocated with ACM/IFIP/USENIX middleware 2018, December 10-14th 2018 - Rennes, France
AUTHORS: Rolando Martins ; Paulino, H; Veiga, L;
PUBLISHED: 2018, SOURCE: 3rd Workshop on Middleware for Edge Clouds and Cloudlets, MECC 2018, colocated with ACM/IFIP/USENIX Middleware 2018 in MECC 2018 - Proceedings of the 2018 3rd Workshop on Middleware for Edge Clouds and Cloudlets, Part of Middleware 2018
AUTHORS: Rolando Martins ; Paulino, H; Veiga, L;
PUBLISHED: 2018, SOURCE: 3rd Workshop on Middleware for Edge Clouds and Cloudlets, MECC 2018, colocated with ACM/IFIP/USENIX Middleware 2018 in MECC 2018 - Proceedings of the 2018 3rd Workshop on Middleware for Edge Clouds and Cloudlets, Part of Middleware 2018
INDEXED IN: 
Scopus
Scopus3132
TITLE: The Arrowhead Framework applied to Energy Management
AUTHORS: Rocha, R; Albano, M; Ferreira, LL ; Relvas, F; Matos, L;
PUBLISHED: 2018, SOURCE: 14th IEEE International Workshop on Factory Communication Systems (WFCS) in 2018 14TH IEEE INTERNATIONAL WORKSHOP ON FACTORY COMMUNICATION SYSTEMS (WFCS 2018)
AUTHORS: Rocha, R; Albano, M; Ferreira, LL ; Relvas, F; Matos, L;
PUBLISHED: 2018, SOURCE: 14th IEEE International Workshop on Factory Communication Systems (WFCS) in 2018 14TH IEEE INTERNATIONAL WORKSHOP ON FACTORY COMMUNICATION SYSTEMS (WFCS 2018)
INDEXED IN: 
WOS
WOS3133
TITLE: The Arrowhead Framework applied to energy management
AUTHORS: Rocha, R; Albano, M; Ferreira, LL ; Relvas, F; Matos, L;
PUBLISHED: 2018, SOURCE: 14th IEEE International Workshop on Factory Communication Systems, WFCS 2018 in IEEE International Workshop on Factory Communication Systems - Proceedings, WFCS, VOLUME: 2018-June, PAGES: 1-10
AUTHORS: Rocha, R; Albano, M; Ferreira, LL ; Relvas, F; Matos, L;
PUBLISHED: 2018, SOURCE: 14th IEEE International Workshop on Factory Communication Systems, WFCS 2018 in IEEE International Workshop on Factory Communication Systems - Proceedings, WFCS, VOLUME: 2018-June, PAGES: 1-10
3134
TITLE: The Design for All Paradigm in the Development of Applications to Support Older Adults: A Review. A Review
AUTHORS: BASTARDO, Rute ; Pavao, J ; Ana Isabel Martins ; Queiros, A; Rocha, NP;
PUBLISHED: 2018, SOURCE: 8th International Conference on Software Development and Technologies for Enhancing Accessibility and Fighting Info-Exclusion (DSAI)a in PROCEEDINGS OF THE 8TH INTERNATIONAL CONFERENCE ON SOFTWARE DEVELOPMENT AND TECHNOLOGIES FOR ENHANCING ACCESSIBILITY AND FIGHTING INFO-EXCLUSION (DSAI 2018), PAGES: 337-343
AUTHORS: BASTARDO, Rute ; Pavao, J ; Ana Isabel Martins ; Queiros, A; Rocha, NP;
PUBLISHED: 2018, SOURCE: 8th International Conference on Software Development and Technologies for Enhancing Accessibility and Fighting Info-Exclusion (DSAI)a in PROCEEDINGS OF THE 8TH INTERNATIONAL CONFERENCE ON SOFTWARE DEVELOPMENT AND TECHNOLOGIES FOR ENHANCING ACCESSIBILITY AND FIGHTING INFO-EXCLUSION (DSAI 2018), PAGES: 337-343
3135
TITLE: The effect of temporal aggregation on the estimation accuracy of ARMA models Full Text
AUTHORS: Paulo Teles ; Paulo S A Sousa ;
PUBLISHED: 2018, SOURCE: COMMUNICATIONS IN STATISTICS-SIMULATION AND COMPUTATION, VOLUME: 47, ISSUE: 10, PAGES: 2865-2885
AUTHORS: Paulo Teles ; Paulo S A Sousa ;
PUBLISHED: 2018, SOURCE: COMMUNICATIONS IN STATISTICS-SIMULATION AND COMPUTATION, VOLUME: 47, ISSUE: 10, PAGES: 2865-2885
3136
TITLE: The effects of body position on Reflexive Motor Acts and the sense of presence in virtual environments Full Text
AUTHORS: Maximino Bessa ; Miguel Melo ; Augusto de Sousa, AA ; Jose Vasconcelos Raposo ;
PUBLISHED: 2018, SOURCE: COMPUTERS & GRAPHICS-UK, VOLUME: 71, PAGES: 35-41
AUTHORS: Maximino Bessa ; Miguel Melo ; Augusto de Sousa, AA ; Jose Vasconcelos Raposo ;
PUBLISHED: 2018, SOURCE: COMPUTERS & GRAPHICS-UK, VOLUME: 71, PAGES: 35-41
3137
TITLE: The effects of death and post-mortem cold ischemia on human tissue transcriptomes
AUTHORS: Pedro G Ferreira ; Manuel Munoz Aguirre; Ferran Reverter; Caio P S Sa Godinho; Abel Sousa; Alicia Amadoz; Reza Sodaei; Marta R Hidalgo; Dmitri Pervouchine; Jose Carbonell Caballero; Ramil Nurtdinov; Alessandra Breschi; Raziel Amador; Patricia Oliveira; Cankut Cubuk; Joao Curado; Francois Aguet; Carla Oliveira; Joaquin Dopazo; Michael Sammeth; ...More
PUBLISHED: 2018, SOURCE: NATURE COMMUNICATIONS, VOLUME: 9, ISSUE: 1
AUTHORS: Pedro G Ferreira ; Manuel Munoz Aguirre; Ferran Reverter; Caio P S Sa Godinho; Abel Sousa; Alicia Amadoz; Reza Sodaei; Marta R Hidalgo; Dmitri Pervouchine; Jose Carbonell Caballero; Ramil Nurtdinov; Alessandra Breschi; Raziel Amador; Patricia Oliveira; Cankut Cubuk; Joao Curado; Francois Aguet; Carla Oliveira; Joaquin Dopazo; Michael Sammeth; ...More
PUBLISHED: 2018, SOURCE: NATURE COMMUNICATIONS, VOLUME: 9, ISSUE: 1
3138
TITLE: The electrum analyzer: model checking relational first-order temporal specifications
AUTHORS: Julien Brunel; David Chemouil; Alcino Cunha ; Nuno Macedo ;
PUBLISHED: 2018, SOURCE: 33rd IEEE/ACM International Conference on Automated Software Engineering, ASE 2018 in Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, ASE 2018, Montpellier, France, September 3-7, 2018, PAGES: 884-887
AUTHORS: Julien Brunel; David Chemouil; Alcino Cunha ; Nuno Macedo ;
PUBLISHED: 2018, SOURCE: 33rd IEEE/ACM International Conference on Automated Software Engineering, ASE 2018 in Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, ASE 2018, Montpellier, France, September 3-7, 2018, PAGES: 884-887
3139
TITLE: The impact of e-commerce on the success of microenterprise retail sector of the Pinhal Interior Norte sub-region of Portugal
AUTHORS: Maria Carvalho; Henrique S Mamede ;
PUBLISHED: 2018, 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 2018 in CENTERIS 2018 - International Conference on ENTERprise Information Systems / ProjMAN 2018 - International Conference on Project MANagement / HCist 2018 - International Conference on Health and Social Care Information Systems and Technologies 2018, Lisbon, Portugal, VOLUME: 138, PAGES: 571-579
AUTHORS: Maria Carvalho; Henrique S Mamede ;
PUBLISHED: 2018, 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 2018 in CENTERIS 2018 - International Conference on ENTERprise Information Systems / ProjMAN 2018 - International Conference on Project MANagement / HCist 2018 - International Conference on Health and Social Care Information Systems and Technologies 2018, Lisbon, Portugal, VOLUME: 138, PAGES: 571-579
3140
TITLE: The influence of document characteristics on the quality of health web documents
AUTHORS: Melinda Oroszlanyova; Carla Teixeira Lopes ; Sergio Nunes ; Cristina Ribeiro ;
PUBLISHED: 2018, SOURCE: 13th Iberian Conference on Information Systems and Technologies (CISTI) in 2018 13TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI), VOLUME: 2018-June, PAGES: 1-7
AUTHORS: Melinda Oroszlanyova; Carla Teixeira Lopes ; Sergio Nunes ; Cristina Ribeiro ;
PUBLISHED: 2018, SOURCE: 13th Iberian Conference on Information Systems and Technologies (CISTI) in 2018 13TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI), VOLUME: 2018-June, PAGES: 1-7
