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: 10655
535 Team MembersFilters -> Year: 2026
3681
TITLE: A CIDADE COMO ESPAÇO DE APRENDIZAGEM: EDUCAÇÃO E MOBILIDADE NA FORMAÇÃO DOCENTE
AUTHORS: Simone Lucena; Eliane Schlemmer ; Eucidio Pimenta Arruda;
PUBLISHED: 2019, SOURCE: Revista Tempos e Espaços em Educação, VOLUME: 11, ISSUE: 01, PAGES: 11-24
AUTHORS: Simone Lucena; Eliane Schlemmer ; Eucidio Pimenta Arruda;
PUBLISHED: 2019, SOURCE: Revista Tempos e Espaços em Educação, VOLUME: 11, ISSUE: 01, PAGES: 11-24
3682
TITLE: A classification scheme for analyses of messages exchanged in online health forums Full Text
AUTHORS: Carla Teixeira Lopes ; Barbara Guimaraes Da Silva;
PUBLISHED: 2019, SOURCE: ISIC Information Behaviour Conference in INFORMATION RESEARCH-AN INTERNATIONAL ELECTRONIC JOURNAL, VOLUME: 24, ISSUE: 1
AUTHORS: Carla Teixeira Lopes ; Barbara Guimaraes Da Silva;
PUBLISHED: 2019, SOURCE: ISIC Information Behaviour Conference in INFORMATION RESEARCH-AN INTERNATIONAL ELECTRONIC JOURNAL, VOLUME: 24, ISSUE: 1
INDEXED IN: 
WOS
WOS3683
TITLE: A clinical risk matrix for obstructive sleep apnea using Bayesian network approaches
AUTHORS: Daniela Ferreira Santos ; Pedro Pereira Rodrigues ;
PUBLISHED: 2019, SOURCE: Int. J. Data Sci. Anal., VOLUME: 8, ISSUE: 4, PAGES: 339-349
AUTHORS: Daniela Ferreira Santos ; Pedro Pereira Rodrigues ;
PUBLISHED: 2019, SOURCE: Int. J. Data Sci. Anal., VOLUME: 8, ISSUE: 4, PAGES: 339-349
INDEXED IN: 
Scopus 
DBLP
Scopus DBLP3684
TITLE: A Data Visualization Approach for Intersection Analysis using AIS Data
AUTHORS: Ricardo Cardoso Pereira ; Pedro Henriques Abreu ; Evgheni Polisciuc; Penousal Machado ;
PUBLISHED: 2019, SOURCE: Proceedings of the 14th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications, VISIGRAPP 2019, Volume 3: IVAPP, Prague, Czech Republic, February 25-27, 2019., PAGES: 208-215
AUTHORS: Ricardo Cardoso Pereira ; Pedro Henriques Abreu ; Evgheni Polisciuc; Penousal Machado ;
PUBLISHED: 2019, SOURCE: Proceedings of the 14th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications, VISIGRAPP 2019, Volume 3: IVAPP, Prague, Czech Republic, February 25-27, 2019., PAGES: 208-215
INDEXED IN: DBLP
DBLP3685
TITLE: A Data Visualization Approach for Intersection Analysis using AIS Data
AUTHORS: Pereira, R ; Abreu, P ; Polisciuc, E; Machado, P ;
PUBLISHED: 2019, SOURCE: 10th International Conference on Information Visualization Theory and Applications, IVAPP 2019 - Part of the 14th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications, VISIGRAPP 2019 in PROCEEDINGS OF THE 14TH INTERNATIONAL JOINT CONFERENCE ON COMPUTER VISION, IMAGING AND COMPUTER GRAPHICS THEORY AND APPLICATIONS - VOL 3: IVAPP, PAGES: 208-215
AUTHORS: Pereira, R ; Abreu, P ; Polisciuc, E; Machado, P ;
PUBLISHED: 2019, SOURCE: 10th International Conference on Information Visualization Theory and Applications, IVAPP 2019 - Part of the 14th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications, VISIGRAPP 2019 in PROCEEDINGS OF THE 14TH INTERNATIONAL JOINT CONFERENCE ON COMPUTER VISION, IMAGING AND COMPUTER GRAPHICS THEORY AND APPLICATIONS - VOL 3: IVAPP, PAGES: 208-215
3686
TITLE: A decision support system for TV self-promotion Scheduling
AUTHORS: Fontes, DBMM ; Pereira, PA; Fontes, FACC ;
PUBLISHED: 2019, SOURCE: International Journal of Advanced Trends in Computer Science and Engineering, VOLUME: 8, ISSUE: 2, PAGES: 134-140
AUTHORS: Fontes, DBMM ; Pereira, PA; Fontes, FACC ;
PUBLISHED: 2019, SOURCE: International Journal of Advanced Trends in Computer Science and Engineering, VOLUME: 8, ISSUE: 2, PAGES: 134-140
3687
TITLE: A Domain Model for Transparency in Portuguese Cooperatives. The Governance Structure and Accountability Dimensions
AUTHORS: Mariana Curado Malta ; Deolinda Aparício Meira; Ana Maria Bandeira; Melanie Santos;
PUBLISHED: 2019, SOURCE: Modernization and Accountability in the Social Economy Sector - Advances in Finance, Accounting, and Economics, PAGES: 43-56
AUTHORS: Mariana Curado Malta ; Deolinda Aparício Meira; Ana Maria Bandeira; Melanie Santos;
PUBLISHED: 2019, SOURCE: Modernization and Accountability in the Social Economy Sector - Advances in Finance, Accounting, and Economics, PAGES: 43-56
INDEXED IN: 
CrossRef
CrossRef3688
TITLE: A dynamic selection of dispatching rules based on the kano model satisfaction scheduling tool
AUTHORS: Ferreirinha L.; Baptista S.; Pereira A.; Santos A.; Bastos J. ; Madureira A. ; Varela M. ;
PUBLISHED: 2019, SOURCE: Lecture Notes in Electrical Engineering, VOLUME: 505, PAGES: 339-346
AUTHORS: Ferreirinha L.; Baptista S.; Pereira A.; Santos A.; Bastos J. ; Madureira A. ; Varela M. ;
PUBLISHED: 2019, SOURCE: Lecture Notes in Electrical Engineering, VOLUME: 505, PAGES: 339-346
3689
TITLE: A evolução da ciência em Portugal (1987-2016)
AUTHORS: Elizabeth Sousa Vieira ; João Mesquita; Jorge Miguel Barros da Silva ; Raquel Vasconcelos; Joana Torres; Sylwia Bugla ; Fernando Silva; Ester A Serrao; Nuno Ferrand ;
PUBLISHED: 2019
AUTHORS: Elizabeth Sousa Vieira ; João Mesquita; Jorge Miguel Barros da Silva ; Raquel Vasconcelos; Joana Torres; Sylwia Bugla ; Fernando Silva; Ester A Serrao; Nuno Ferrand ;
PUBLISHED: 2019
INDEXED IN: 
Openlibrary
Openlibrary3690
TITLE: A fit of CD4(+) T cell immune response to an infection by lymphocytic choriomeningitis virus
AUTHORS: Atefeh Afsar; Filipe Martins ; Bruno M P M Oliveira ; Alberto A Pinto ;
PUBLISHED: 2019, SOURCE: MATHEMATICAL BIOSCIENCES AND ENGINEERING, VOLUME: 16, ISSUE: 6, PAGES: 7009-7021
AUTHORS: Atefeh Afsar; Filipe Martins ; Bruno M P M Oliveira ; Alberto A Pinto ;
PUBLISHED: 2019, SOURCE: MATHEMATICAL BIOSCIENCES AND ENGINEERING, VOLUME: 16, ISSUE: 6, PAGES: 7009-7021
3691
TITLE: A framework for automatic and parameterizable memoization
AUTHORS: Loic Besnard; Pedro Pinto; Imane Lasri; Joao Bispo ; Erven Rohou; Joao M P Cardoso ;
PUBLISHED: 2019, SOURCE: SOFTWAREX, VOLUME: 10, PAGES: 100322
AUTHORS: Loic Besnard; Pedro Pinto; Imane Lasri; Joao Bispo ; Erven Rohou; Joao M P Cardoso ;
PUBLISHED: 2019, SOURCE: SOFTWAREX, VOLUME: 10, PAGES: 100322
3692
TITLE: A generalized program verification workflow based on loop elimination and SA form
AUTHORS: Cláudio Belo Lourenço; Maria João Frade ; Jorge Sousa Pinto ;
PUBLISHED: 2019, SOURCE: 7th IEEE/ACM International Workshop on Formal Methods in Software Engineering, FormaliSE 2019 in Proceedings of the 7th International Workshop on Formal Methods in Software Engineering, FormaliSE@ICSE 2019, Montreal, QC, Canada, May 27, 2019., PAGES: 75-84
AUTHORS: Cláudio Belo Lourenço; Maria João Frade ; Jorge Sousa Pinto ;
PUBLISHED: 2019, SOURCE: 7th IEEE/ACM International Workshop on Formal Methods in Software Engineering, FormaliSE 2019 in Proceedings of the 7th International Workshop on Formal Methods in Software Engineering, FormaliSE@ICSE 2019, Montreal, QC, Canada, May 27, 2019., PAGES: 75-84
3693
TITLE: A Generator of User Interface Prototypes for the IVY Workbench
AUTHORS: Joao Miguel Araujo; Rui Couto ; Jose Creissac Campos ;
PUBLISHED: 2019, SOURCE: International Conference on Graphics and Interaction (ICGI) in PROCEEDINGS OF THE 2019 INTERNATIONAL CONFERENCE ON GRAPHICS AND INTERACTION (ICGI 2019), PAGES: 32-39
AUTHORS: Joao Miguel Araujo; Rui Couto ; Jose Creissac Campos ;
PUBLISHED: 2019, SOURCE: International Conference on Graphics and Interaction (ICGI) in PROCEEDINGS OF THE 2019 INTERNATIONAL CONFERENCE ON GRAPHICS AND INTERACTION (ICGI 2019), PAGES: 32-39
3694
TITLE: A GENETIC ALGORITHM FOR A MULTI-PRODUCT DISTRIBUTION PROBLEM
AUTHORS: Cretu, B; Fontes, DBMM ; Homayouni, SM ;
PUBLISHED: 2019, SOURCE: INTERNATIONAL JOURNAL FOR QUALITY RESEARCH, VOLUME: 13, ISSUE: 4, PAGES: 901-914
AUTHORS: Cretu, B; Fontes, DBMM ; Homayouni, SM ;
PUBLISHED: 2019, SOURCE: INTERNATIONAL JOURNAL FOR QUALITY RESEARCH, VOLUME: 13, ISSUE: 4, PAGES: 901-914
3695
TITLE: A Hierarchically-Labeled Portuguese Hate Speech Dataset
AUTHORS: Paula Fortuna; Joao R Rocha da Silva ; Juan Soler Company; Leo Wanner; Sergio Nunes ;
PUBLISHED: 2019, SOURCE: 3rd Workshop on Abusive Language Online in THIRD WORKSHOP ON ABUSIVE LANGUAGE ONLINE, PAGES: 94-104
AUTHORS: Paula Fortuna; Joao R Rocha da Silva ; Juan Soler Company; Leo Wanner; Sergio Nunes ;
PUBLISHED: 2019, SOURCE: 3rd Workshop on Abusive Language Online in THIRD WORKSHOP ON ABUSIVE LANGUAGE ONLINE, PAGES: 94-104
INDEXED IN: WOS
WOS3696
TITLE: A Local Electricity Market Model for DSO Flexibility Trading
AUTHORS: Faia, R; Pinto, T ; Vale, Z ; Corchado, JM;
PUBLISHED: 2019, SOURCE: 16th International Conference on the European Energy Market, EEM 2019 in International Conference on the European Energy Market, EEM, VOLUME: 2019-September
AUTHORS: Faia, R; Pinto, T ; Vale, Z ; Corchado, JM;
PUBLISHED: 2019, SOURCE: 16th International Conference on the European Energy Market, EEM 2019 in International Conference on the European Energy Market, EEM, VOLUME: 2019-September
3697
TITLE: A Lock-Free Coalescing-Capable Mechanism for Memory Management
AUTHORS: Ricardo Leite ; Ricardo Rocha ;
PUBLISHED: 2019, SOURCE: 18th ACM SIGPLAN International Symposium on Memory Management (ISMM) in PROCEEDINGS OF THE 2019 ACM SIGPLAN INTERNATIONAL SYMPOSIUM ON MEMORY MANAGEMENT (ISMM '19), PAGES: 79-88
AUTHORS: Ricardo Leite ; Ricardo Rocha ;
PUBLISHED: 2019, SOURCE: 18th ACM SIGPLAN International Symposium on Memory Management (ISMM) in PROCEEDINGS OF THE 2019 ACM SIGPLAN INTERNATIONAL SYMPOSIUM ON MEMORY MANAGEMENT (ISMM '19), PAGES: 79-88
3698
TITLE: A Low-Cost System to Estimate Leaf Area Index Combining Stereo Images and Normalized Difference Vegetation Index
AUTHORS: Mendes, JM ; Filipe, VM ; dos Santos, FN ; dos Santos, RM ;
PUBLISHED: 2019, SOURCE: 19th EPIA Conference on Artificial Intelligence, EPIA 2019 in PROGRESS IN ARTIFICIAL INTELLIGENCE, EPIA 2019, PT I, VOLUME: 11804, PAGES: 236-247
AUTHORS: Mendes, JM ; Filipe, VM ; dos Santos, FN ; dos Santos, RM ;
PUBLISHED: 2019, SOURCE: 19th EPIA Conference on Artificial Intelligence, EPIA 2019 in PROGRESS IN ARTIFICIAL INTELLIGENCE, EPIA 2019, PT I, VOLUME: 11804, PAGES: 236-247
3699
TITLE: A Machine-Checked Proof of Security for AWS Key Management Service Full Text
AUTHORS: Almeida, JB ; Barbosa, M ; Barthe, G ; Campagna, M; Cohen, E; Gregoire, B; Pereira, V; Portela, B ; Strub, PY; Tasiran, S;
PUBLISHED: 2019, SOURCE: ACM SIGSAC Conference on Computer and Communications Security (CCS) in PROCEEDINGS OF THE 2019 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY (CCS'19), PAGES: 63-78
AUTHORS: Almeida, JB ; Barbosa, M ; Barthe, G ; Campagna, M; Cohen, E; Gregoire, B; Pereira, V; Portela, B ; Strub, PY; Tasiran, S;
PUBLISHED: 2019, SOURCE: ACM SIGSAC Conference on Computer and Communications Security (CCS) in PROCEEDINGS OF THE 2019 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY (CCS'19), PAGES: 63-78
3700
TITLE: A MCDA MODEL FOR OLIVE OIL SUPPLIER SELECTION USING MACBETH
AUTHORS: Teresa Pereira ; Elisabete Dias; Dalila B M M Fontes ;
PUBLISHED: 2019, SOURCE: INTERNATIONAL JOURNAL FOR QUALITY RESEARCH, VOLUME: 13, ISSUE: 4, PAGES: 849-862
AUTHORS: Teresa Pereira ; Elisabete Dias; Dalila B M M Fontes ;
PUBLISHED: 2019, SOURCE: INTERNATIONAL JOURNAL FOR QUALITY RESEARCH, VOLUME: 13, ISSUE: 4, PAGES: 849-862
