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: 10653
536 Team MembersFilters -> Year: 2026
7221
TITLE: A Portable and Efficient Implementation of Coinductive Logic Programming
AUTHORS: Paulo Moura ;
PUBLISHED: 2013, SOURCE: 15th International Symposium on Practical Aspects of Declarative Languages, PADL 2013 in Practical Aspects of Declarative Languages - 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013. Proceedings, VOLUME: 7752, PAGES: 77-92
AUTHORS: Paulo Moura ;
PUBLISHED: 2013, SOURCE: 15th International Symposium on Practical Aspects of Declarative Languages, PADL 2013 in Practical Aspects of Declarative Languages - 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013. Proceedings, VOLUME: 7752, PAGES: 77-92
7222
TITLE: A Potpourri of authentication mechanisms The mobile device way
AUTHORS: Rui A Martins; Alexandre B Augusto ; Manuel E Correia ;
PUBLISHED: 2013, SOURCE: 8th Iberian Conference on Information Systems and Technologies (CISTI) in PROCEEDINGS OF THE 2013 8TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI 2013)
AUTHORS: Rui A Martins; Alexandre B Augusto ; Manuel E Correia ;
PUBLISHED: 2013, SOURCE: 8th Iberian Conference on Information Systems and Technologies (CISTI) in PROCEEDINGS OF THE 2013 8TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI 2013)
INDEXED IN: 
Scopus 
WOS
Scopus WOS7223
TITLE: A preliminary investigation into predictive models for adverse drug events
AUTHORS: Davis, J; Costa, VS ; Peissig, P; Caldwell, M; Page, D;
PUBLISHED: 2013, SOURCE: 2013 AAAI Workshop in AAAI Workshop - Technical Report, VOLUME: WS-13-09, PAGES: 8-13
AUTHORS: Davis, J; Costa, VS ; Peissig, P; Caldwell, M; Page, D;
PUBLISHED: 2013, SOURCE: 2013 AAAI Workshop in AAAI Workshop - Technical Report, VOLUME: WS-13-09, PAGES: 8-13
INDEXED IN: Scopus
Scopus7224
TITLE: A projected gradient dynamical system modelling the dynamics of bargaining Full Text
AUTHORS: Pinheiro, D; Pinto, AA ; Xanthopoulos, SZ; Yannacopoulos, AN;
PUBLISHED: 2013, SOURCE: JOURNAL OF DIFFERENCE EQUATIONS AND APPLICATIONS, VOLUME: 19, ISSUE: 1, PAGES: 59-95
AUTHORS: Pinheiro, D; Pinto, AA ; Xanthopoulos, SZ; Yannacopoulos, AN;
PUBLISHED: 2013, SOURCE: JOURNAL OF DIFFERENCE EQUATIONS AND APPLICATIONS, VOLUME: 19, ISSUE: 1, PAGES: 59-95
7225
TITLE: A Secure and Dynamic Mobile Identity Wallet Authorization Architecture Based on a XMPP Messaging Infrastructure
AUTHORS: Augusto, AB ; Correia, ME ;
PUBLISHED: 2013, SOURCE: Conference on XML, Applications, and Associated Technologies (XATA) in INNOVATIONS IN XML APPLICATIONS AND METADATA MANAGEMENT: ADVANCING TECHNOLOGIES, PAGES: 21-37
AUTHORS: Augusto, AB ; Correia, ME ;
PUBLISHED: 2013, SOURCE: Conference on XML, Applications, and Associated Technologies (XATA) in INNOVATIONS IN XML APPLICATIONS AND METADATA MANAGEMENT: ADVANCING TECHNOLOGIES, PAGES: 21-37
7226
TITLE: A secure RBAC mobile agent access control model for Healthcare Institutions
AUTHORS: Santos Pereira, C ; Augusto, AB ; Cruz Correia, R ; Correia, ME ;
PUBLISHED: 2013, SOURCE: 26th IEEE International Symposium on Computer-Based Medical Systems (CBMS) in 2013 IEEE 26TH INTERNATIONAL SYMPOSIUM ON COMPUTER-BASED MEDICAL SYSTEMS (CBMS), PAGES: 349-354
AUTHORS: Santos Pereira, C ; Augusto, AB ; Cruz Correia, R ; Correia, ME ;
PUBLISHED: 2013, SOURCE: 26th IEEE International Symposium on Computer-Based Medical Systems (CBMS) in 2013 IEEE 26TH INTERNATIONAL SYMPOSIUM ON COMPUTER-BASED MEDICAL SYSTEMS (CBMS), PAGES: 349-354
7227
TITLE: A Secure RBAC Mobile Agent Model for Healthcare Institutions - Preliminary Study
AUTHORS: Cátia Santos Pereira ; Alexandre B Augusto; Ricardo João Cruz Correia ; Manuel Eduardo Correia ;
PUBLISHED: 2013, SOURCE: ITBAM, VOLUME: 8060 LNCS, PAGES: 108-111
AUTHORS: Cátia Santos Pereira ; Alexandre B Augusto; Ricardo João Cruz Correia ; Manuel Eduardo Correia ;
PUBLISHED: 2013, SOURCE: ITBAM, VOLUME: 8060 LNCS, PAGES: 108-111
7228
TITLE: A Sensor Based Approach to Outdoor Illumination Estimation for Augmented Reality Applications on Mobile Devices
AUTHORS: João Barreira; Luís Magalhães; Maximino Bessa ;
PUBLISHED: 2013, SOURCE: Eurographics (Posters), PAGES: 3-4
AUTHORS: João Barreira; Luís Magalhães; Maximino Bessa ;
PUBLISHED: 2013, SOURCE: Eurographics (Posters), PAGES: 3-4
INDEXED IN: 
DBLP
DBLP7229
TITLE: A social gamification framework for a K-6 learning platform Full Text
AUTHORS: Jorge Simões ; Rebeca Díaz Redondo; Ana Fernández Vilas;
PUBLISHED: 2013, SOURCE: Computers in Human Behavior, VOLUME: 29, ISSUE: 2, PAGES: 345-353
AUTHORS: Jorge Simões ; Rebeca Díaz Redondo; Ana Fernández Vilas;
PUBLISHED: 2013, SOURCE: Computers in Human Behavior, VOLUME: 29, ISSUE: 2, PAGES: 345-353
7230
TITLE: A Specification Patterns System for Discrete Event Systems Analysis Full Text
AUTHORS: Jose Creissac Campos ; Jose Machado ;
PUBLISHED: 2013, SOURCE: INTERNATIONAL JOURNAL OF ADVANCED ROBOTIC SYSTEMS, VOLUME: 10, PAGES: 1
AUTHORS: Jose Creissac Campos ; Jose Machado ;
PUBLISHED: 2013, SOURCE: INTERNATIONAL JOURNAL OF ADVANCED ROBOTIC SYSTEMS, VOLUME: 10, PAGES: 1
7231
TITLE: A Spherical Gaussian Framework for Bayesian Monte Carlo Rendering of Glossy Surfaces Full Text
AUTHORS: Ricardo Marques; Christian Bouville; Mickael Ribardiere; Luis Paulo Santos ; Kadi Bouatouch;
PUBLISHED: 2013, SOURCE: IEEE TRANSACTIONS ON VISUALIZATION AND COMPUTER GRAPHICS, VOLUME: 19, ISSUE: 10, PAGES: 1619-1632
AUTHORS: Ricardo Marques; Christian Bouville; Mickael Ribardiere; Luis Paulo Santos ; Kadi Bouatouch;
PUBLISHED: 2013, SOURCE: IEEE TRANSACTIONS ON VISUALIZATION AND COMPUTER GRAPHICS, VOLUME: 19, ISSUE: 10, PAGES: 1619-1632
7232
TITLE: A Successful Change from TNN to TNNLS and a Very Successful Year Full Text
AUTHORS: Charles Anderson; Ahmad Taher Azar; Giorgio Battistelli; Eduardo Bayro Corrochano; Cristiano Cervellera; David Elizondo; Maurizio Filippone; Giorgio Gnecco; Xiaolin L Hu; Tingwen W Huang; Weifeng F Liu; Wenlian L Lu; Ana Maria Madureira ; Igor Skrjanc; Thomas Villmann; Jonathan Wu; Shengli L Xie; Dong Xu; Derong R Liu;
PUBLISHED: 2013, SOURCE: IEEE TRANSACTIONS ON NEURAL NETWORKS AND LEARNING SYSTEMS, VOLUME: 24, ISSUE: 1, PAGES: 1-7
AUTHORS: Charles Anderson; Ahmad Taher Azar; Giorgio Battistelli; Eduardo Bayro Corrochano; Cristiano Cervellera; David Elizondo; Maurizio Filippone; Giorgio Gnecco; Xiaolin L Hu; Tingwen W Huang; Weifeng F Liu; Wenlian L Lu; Ana Maria Madureira ; Igor Skrjanc; Thomas Villmann; Jonathan Wu; Shengli L Xie; Dong Xu; Derong R Liu;
PUBLISHED: 2013, SOURCE: IEEE TRANSACTIONS ON NEURAL NETWORKS AND LEARNING SYSTEMS, VOLUME: 24, ISSUE: 1, PAGES: 1-7
INDEXED IN: WOS
WOS7233
TITLE: A testing and certification methodology for an Ambient-Assisted Living ecosystem
AUTHORS: João Pascoal Faria ; Bruno Lima ; Tiago Boldt Sousa ; Angelo Martins ;
PUBLISHED: 2013, SOURCE: Healthcom, PAGES: 585-589
AUTHORS: João Pascoal Faria ; Bruno Lima ; Tiago Boldt Sousa ; Angelo Martins ;
PUBLISHED: 2013, SOURCE: Healthcom, PAGES: 585-589
7234
TITLE: A User-Centered Interface for Scheduling Problem Definition
AUTHORS: Piairo, J; Madureira, A ; Pereira, JP; Pereira, I ;
PUBLISHED: 2013, SOURCE: World Conference on Information Systems and Technologies (WorldCIST) in ADVANCES IN INFORMATION SYSTEMS AND TECHNOLOGIES, VOLUME: 206, PAGES: 1063-1073
AUTHORS: Piairo, J; Madureira, A ; Pereira, JP; Pereira, I ;
PUBLISHED: 2013, SOURCE: World Conference on Information Systems and Technologies (WorldCIST) in ADVANCES IN INFORMATION SYSTEMS AND TECHNOLOGIES, VOLUME: 206, PAGES: 1063-1073
7235
TITLE: A Web & Mobile City Maintenance Reporting Solution
AUTHORS: Jorge Santos; Fátima Rodrigues; Lino Oliveira ;
PUBLISHED: 2013, SOURCE: Procedia Technology, VOLUME: 9, PAGES: 226-235
AUTHORS: Jorge Santos; Fátima Rodrigues; Lino Oliveira ;
PUBLISHED: 2013, SOURCE: Procedia Technology, VOLUME: 9, PAGES: 226-235
7236
TITLE: AAL information based services and care integration
AUTHORS: Queiros, A; Carvalho, S; Pavao, J ; Da Rocha, NP ;
PUBLISHED: 2013, SOURCE: International Conference on Health Informatics, HEALTHINF 2013 in HEALTHINF 2013 - Proceedings of the International Conference on Health Informatics, PAGES: 403-406
AUTHORS: Queiros, A; Carvalho, S; Pavao, J ; Da Rocha, NP ;
PUBLISHED: 2013, SOURCE: International Conference on Health Informatics, HEALTHINF 2013 in HEALTHINF 2013 - Proceedings of the International Conference on Health Informatics, PAGES: 403-406
INDEXED IN: Scopus
Scopus7237
TITLE: Abrupt Ending of 802.11 AP Connections
AUTHORS: Massa, D; Marla, R ;
PUBLISHED: 2013, SOURCE: 18th IEEE Symposium on Computers and Communications (ISCC) in 2013 IEEE SYMPOSIUM ON COMPUTERS AND COMMUNICATIONS (ISCC), PAGES: 348-353
AUTHORS: Massa, D; Marla, R ;
PUBLISHED: 2013, SOURCE: 18th IEEE Symposium on Computers and Communications (ISCC) in 2013 IEEE SYMPOSIUM ON COMPUTERS AND COMMUNICATIONS (ISCC), PAGES: 348-353
7238
TITLE: Accurate DTM generation in sand beaches using mobile mapping Full Text
AUTHORS: Madeira, S ; Goncalves, J ; Bastos, L ;
PUBLISHED: 2013, SOURCE: JOURNAL OF COASTAL CONSERVATION, VOLUME: 17, ISSUE: 3, PAGES: 579-588
AUTHORS: Madeira, S ; Goncalves, J ; Bastos, L ;
PUBLISHED: 2013, SOURCE: JOURNAL OF COASTAL CONSERVATION, VOLUME: 17, ISSUE: 3, PAGES: 579-588
7239
TITLE: Active Selection of Training Instances for a Random forest Meta-Learner
AUTHORS: Sousa, AFM; Prudêncio, RBC; Soares, C ; Ludermir, TB;
PUBLISHED: 2013, SOURCE: International Joint Conference on Neural Networks (IJCNN) in 2013 INTERNATIONAL JOINT CONFERENCE ON NEURAL NETWORKS (IJCNN), PAGES: 1-7
AUTHORS: Sousa, AFM; Prudêncio, RBC; Soares, C ; Ludermir, TB;
PUBLISHED: 2013, SOURCE: International Joint Conference on Neural Networks (IJCNN) in 2013 INTERNATIONAL JOINT CONFERENCE ON NEURAL NETWORKS (IJCNN), PAGES: 1-7
7240
TITLE: Adaptation and validation of flexible and rigid control subscales of eating behavior [Adaptação e validação das sub-escalas de controlo flexível e rígido do comportamento alimentar]
AUTHORS: Rui Poínhos ; Rowcliffe, P; Marques, AR; Viana, V ; Oliveira, BMPM ; Flora Correia ;
PUBLISHED: 2013, SOURCE: Revista de Alimentacao Humana, VOLUME: 19, ISSUE: 3, PAGES: 82-92
AUTHORS: Rui Poínhos ; Rowcliffe, P; Marques, AR; Viana, V ; Oliveira, BMPM ; Flora Correia ;
PUBLISHED: 2013, SOURCE: Revista de Alimentacao Humana, VOLUME: 19, ISSUE: 3, PAGES: 82-92
INDEXED IN: Scopus
Scopus