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
2481
TITLE: Memoized zipper-based attribute grammars and their higher order extension Full Text
AUTHORS: Joao Paulo Fernandes ; Pedro Martins; Alberto Pardo; Joao Saraiva ; Marcos Viera;
PUBLISHED: 2019, SOURCE: 20th Brazilian Symposium on Programing Languages (SBLP) in SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 173, PAGES: 71-94
AUTHORS: Joao Paulo Fernandes ; Pedro Martins; Alberto Pardo; Joao Saraiva ; Marcos Viera;
PUBLISHED: 2019, SOURCE: 20th Brazilian Symposium on Programing Languages (SBLP) in SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 173, PAGES: 71-94
2482
TITLE: Memory Reclamation Methods for Lock-Free Hash Tries Full Text
AUTHORS: Pedro Moreno ; Miguel Areias ; Ricardo Rocha ;
PUBLISHED: 2019, SOURCE: 31st International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD) in 2019 31ST INTERNATIONAL SYMPOSIUM ON COMPUTER ARCHITECTURE AND HIGH PERFORMANCE COMPUTING (SBAC-PAD 2019), VOLUME: 2019-October, PAGES: 188-195
AUTHORS: Pedro Moreno ; Miguel Areias ; Ricardo Rocha ;
PUBLISHED: 2019, SOURCE: 31st International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD) in 2019 31ST INTERNATIONAL SYMPOSIUM ON COMPUTER ARCHITECTURE AND HIGH PERFORMANCE COMPUTING (SBAC-PAD 2019), VOLUME: 2019-October, PAGES: 188-195
2483
TITLE: Message from the a- Most 2019 chairs
AUTHORS: Hierons, R; Núñez, M; Pretschner, A; Gargantini, A; Faria, JP ; Wang, S;
PUBLISHED: 2019, SOURCE: 12th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2019 in Proceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2019
AUTHORS: Hierons, R; Núñez, M; Pretschner, A; Gargantini, A; Faria, JP ; Wang, S;
PUBLISHED: 2019, SOURCE: 12th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2019 in Proceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2019
INDEXED IN: 
Scopus 
CrossRef
Scopus CrossRef2484
TITLE: Message from the symposium general chair and program chairs
AUTHORS: Shibata, Y; Cardoso, JMP ; Takamaeda Yamazaki, S;
PUBLISHED: 2019, SOURCE: 10th International Symposium on Highly-Efficient Accelerators and Reconfigurable Technologies, HEART 2019 in ACM International Conference Proceeding Series
AUTHORS: Shibata, Y; Cardoso, JMP ; Takamaeda Yamazaki, S;
PUBLISHED: 2019, SOURCE: 10th International Symposium on Highly-Efficient Accelerators and Reconfigurable Technologies, HEART 2019 in ACM International Conference Proceeding Series
INDEXED IN: Scopus
Scopus2485
TITLE: Mineração de dados auxiliando na descoberta das causas da evasão escolar: Um Mapeamento Sistemático da Literatura Full Text
AUTHORS: Leonardo Torres Marques; Angélica Félix De Castro; Bruno Torres Marques; Jesaias Carvalho Pereira Silva; Paulo Gabriel Gadelha Queiroz ;
PUBLISHED: 2019, SOURCE: RENOTE, VOLUME: 17, ISSUE: 3, PAGES: 194-203
AUTHORS: Leonardo Torres Marques; Angélica Félix De Castro; Bruno Torres Marques; Jesaias Carvalho Pereira Silva; Paulo Gabriel Gadelha Queiroz ;
PUBLISHED: 2019, SOURCE: RENOTE, VOLUME: 17, ISSUE: 3, PAGES: 194-203
INDEXED IN: CrossRef
CrossRef2486
TITLE: Minha: Large-Scale Distributed Systems Testing Made Practical
AUTHORS: Nuno Machado ; Francisco Maia ; Francisco Neves ; Fábio Coelho ; José Pereira ;
PUBLISHED: 2019, SOURCE: 23rd International Conference on Principles of Distributed Systems, OPODIS 2019 in 23rd International Conference on Principles of Distributed Systems, OPODIS 2019, December 17-19, 2019, Neuchâtel, Switzerland., VOLUME: 153, PAGES: 11:1-11:17
AUTHORS: Nuno Machado ; Francisco Maia ; Francisco Neves ; Fábio Coelho ; José Pereira ;
PUBLISHED: 2019, SOURCE: 23rd International Conference on Principles of Distributed Systems, OPODIS 2019 in 23rd International Conference on Principles of Distributed Systems, OPODIS 2019, December 17-19, 2019, Neuchâtel, Switzerland., VOLUME: 153, PAGES: 11:1-11:17
INDEXED IN: Scopus 
DBLP
Scopus DBLP2487
TITLE: Mining Frequent Distributions in Time Series
AUTHORS: Coutinho, JC; Moreira, JM ; de Sa, CR;
PUBLISHED: 2019, SOURCE: 20th International Conference on Intelligent Data Engineering and Automated Learning (IDEAL) in INTELLIGENT DATA ENGINEERING AND AUTOMATED LEARNING (IDEAL 2019), PT II, VOLUME: 11872, PAGES: 271-279
AUTHORS: Coutinho, JC; Moreira, JM ; de Sa, CR;
PUBLISHED: 2019, SOURCE: 20th International Conference on Intelligent Data Engineering and Automated Learning (IDEAL) in INTELLIGENT DATA ENGINEERING AND AUTOMATED LEARNING (IDEAL 2019), PT II, VOLUME: 11872, PAGES: 271-279
2488
TITLE: Mobile Applications and Their Use in Language Learning
AUTHORS: Cátia Silva; David Melo; Filipe Barros; Joana Conceição; Ramiro Gonçalves ; Manuel Au Yong Oliveira ;
PUBLISHED: 2019, SOURCE: World Conference on Information Systems and Technologies, WorldCIST 2019 in New Knowledge in Information Systems and Technologies - Volume 3, VOLUME: 932, PAGES: 452-462
AUTHORS: Cátia Silva; David Melo; Filipe Barros; Joana Conceição; Ramiro Gonçalves ; Manuel Au Yong Oliveira ;
PUBLISHED: 2019, SOURCE: World Conference on Information Systems and Technologies, WorldCIST 2019 in New Knowledge in Information Systems and Technologies - Volume 3, VOLUME: 932, PAGES: 452-462
2489
TITLE: Model Driven Automatic Code Generation: An Evolutionary Approach to Disruptive Innovation Benefits
AUTHORS: Joao Penha-Lopes; Manuel Au-Yong-Oliveira ; Ramiro Gonçalves ;
PUBLISHED: 2019, SOURCE: Advances in Intelligent Systems and Computing - Trends and Applications in Software Engineering, PAGES: 234-249
AUTHORS: Joao Penha-Lopes; Manuel Au-Yong-Oliveira ; Ramiro Gonçalves ;
PUBLISHED: 2019, SOURCE: Advances in Intelligent Systems and Computing - Trends and Applications in Software Engineering, PAGES: 234-249
INDEXED IN: CrossRef
CrossRef2490
TITLE: Model-Based Testing of Post-WIMP Interactions Using Object Oriented Petri-Nets
AUTHORS: Alexandre Canny; David Navarre; José Creissac Campos ; Philippe A Palanque;
PUBLISHED: 2019, SOURCE: 3rd World Congress on Formal Methods, FM 2019 in Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I, VOLUME: 12232, PAGES: 486-502
AUTHORS: Alexandre Canny; David Navarre; José Creissac Campos ; Philippe A Palanque;
PUBLISHED: 2019, SOURCE: 3rd World Congress on Formal Methods, FM 2019 in Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I, VOLUME: 12232, PAGES: 486-502
2491
TITLE: Modeling of video projectors in OpenGL for implementing a spatial augmented reality teaching system for assembly operations
AUTHORS: Carlos M Costa ; Germano Veiga ; Armando Sousa ; Luis Rocha ; Augusto Sousa, AA ; Rui Rodrigues ; Ulrike Thomas;
PUBLISHED: 2019, SOURCE: 19th IEEE International Conference on Autonomous Robot Systems and Competitions (ICARSC) in 2019 19TH IEEE INTERNATIONAL CONFERENCE ON AUTONOMOUS ROBOT SYSTEMS AND COMPETITIONS (ICARSC 2019), PAGES: 84-91
AUTHORS: Carlos M Costa ; Germano Veiga ; Armando Sousa ; Luis Rocha ; Augusto Sousa, AA ; Rui Rodrigues ; Ulrike Thomas;
PUBLISHED: 2019, SOURCE: 19th IEEE International Conference on Autonomous Robot Systems and Competitions (ICARSC) in 2019 19TH IEEE INTERNATIONAL CONFERENCE ON AUTONOMOUS ROBOT SYSTEMS AND COMPETITIONS (ICARSC 2019), PAGES: 84-91
2492
TITLE: Modeling Supply Chain Network: A Need to Incorporate Financial Considerations
AUTHORS: Borges, A; Fontes, DBMM ; Gonçalves, JF;
PUBLISHED: 2019, SOURCE: 19th Congress of APDIO, Portuguese Association of Operational Research, IO 2018 in Springer Proceedings in Mathematics and Statistics, VOLUME: 278, PAGES: 57-72
AUTHORS: Borges, A; Fontes, DBMM ; Gonçalves, JF;
PUBLISHED: 2019, SOURCE: 19th Congress of APDIO, Portuguese Association of Operational Research, IO 2018 in Springer Proceedings in Mathematics and Statistics, VOLUME: 278, PAGES: 57-72
2493
TITLE: Modelling Overdispersion with Integer-Valued Moving Average Processes
AUTHORS: Silva, ME ; SILVA, ISABEL ; Torres, C ;
PUBLISHED: 2019, SOURCE: 14th Workshop on Stochastic Models, Statistics and their Applications, SMSA 2019 in Springer Proceedings in Mathematics and Statistics, VOLUME: 294, PAGES: 291-303
AUTHORS: Silva, ME ; SILVA, ISABEL ; Torres, C ;
PUBLISHED: 2019, SOURCE: 14th Workshop on Stochastic Models, Statistics and their Applications, SMSA 2019 in Springer Proceedings in Mathematics and Statistics, VOLUME: 294, PAGES: 291-303
2494
TITLE: Modelling Preferential Sampling in time
AUTHORS: Monteiro, Andreia ; Menezes, R ; Silva, ME ;
PUBLISHED: 2019, SOURCE: Boletin de Estadistica e Investigacion Operativa, VOLUME: 35, ISSUE: 3, PAGES: 180-196
AUTHORS: Monteiro, Andreia ; Menezes, R ; Silva, ME ;
PUBLISHED: 2019, SOURCE: Boletin de Estadistica e Investigacion Operativa, VOLUME: 35, ISSUE: 3, PAGES: 180-196
INDEXED IN: Scopus
Scopus2495
TITLE: Mothers’ eating style’s influence on their feeding practices and on their children’s appetite traits
AUTHORS: Victor Viana ; Paulo Almeida; Micaela Guardiano; Diana Silva; Bruno Oliveira ; António Guerra;
PUBLISHED: 2019, SOURCE: The Psychologist: Practice & Research Journal, VOLUME: 2, ISSUE: 1
AUTHORS: Victor Viana ; Paulo Almeida; Micaela Guardiano; Diana Silva; Bruno Oliveira ; António Guerra;
PUBLISHED: 2019, SOURCE: The Psychologist: Practice & Research Journal, VOLUME: 2, ISSUE: 1
INDEXED IN: CrossRef 
Handle
CrossRef Handle2496
TITLE: MQTT flow signatures for the Internet of Things
AUTHORS: Leal, R; Santos, L; Vieira, L; Goncalves, R ; Rabadao, C ;
PUBLISHED: 2019, SOURCE: 14th Iberian Conference on Information Systems and Technologies (CISTI) in 2019 14TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI), VOLUME: 2019-June
AUTHORS: Leal, R; Santos, L; Vieira, L; Goncalves, R ; Rabadao, C ;
PUBLISHED: 2019, SOURCE: 14th Iberian Conference on Information Systems and Technologies (CISTI) in 2019 14TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI), VOLUME: 2019-June
2497
TITLE: Multi-agent Systems Society for Power and Energy Systems Simulation
AUTHORS: Santos, Gabriel; Pinto, Tiago ; Vale, Zita;
PUBLISHED: 2019, SOURCE: 19th International Workshop on Multi-Agent-Based Simulation (MABS) in MULTI-AGENT-BASED SIMULATION XIX, VOLUME: 11463, PAGES: 126-137
AUTHORS: Santos, Gabriel; Pinto, Tiago ; Vale, Zita;
PUBLISHED: 2019, SOURCE: 19th International Workshop on Multi-Agent-Based Simulation (MABS) in MULTI-AGENT-BASED SIMULATION XIX, VOLUME: 11463, PAGES: 126-137
2498
TITLE: Multi-Agent-Based CBR Recommender System for Intelligent Energy Management in Buildings
AUTHORS: Pinto, T ; Faia, R; Navarro Caceres, M; Santos, G; Corchado, JM; Vale, Z;
PUBLISHED: 2019, SOURCE: IEEE SYSTEMS JOURNAL, VOLUME: 13, ISSUE: 1, PAGES: 1084-1095
AUTHORS: Pinto, T ; Faia, R; Navarro Caceres, M; Santos, G; Corchado, JM; Vale, Z;
PUBLISHED: 2019, SOURCE: IEEE SYSTEMS JOURNAL, VOLUME: 13, ISSUE: 1, PAGES: 1084-1095
2499
TITLE: Multi-dimensional lock-free arrays for multithreaded mode-directed tabling in Prolog. Multi-Dimensional Lock-Free Arrays for Multithreaded Mode-Directed Tabling in Prolog Full Text
AUTHORS: Areias, M ; Rocha, R ;
PUBLISHED: 2019, SOURCE: 10th International Symposium on High-Level Parallel Programming and Applications (HLPP) in CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, VOLUME: 31, ISSUE: 5
AUTHORS: Areias, M ; Rocha, R ;
PUBLISHED: 2019, SOURCE: 10th International Symposium on High-Level Parallel Programming and Applications (HLPP) in CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, VOLUME: 31, ISSUE: 5
2500
TITLE: MULTIMEDIA TECHNOLOGIES AS STRATEGY FOR ENHANCING LEARNING FOR STUDENTS WITH INTELLECTUAL DISABILITIES
AUTHORS: Rocha, T; Nunes, R; Bessa, M; Paredes, H ; Barroso, J; Martins, P ;
PUBLISHED: 2019, SOURCE: 12th Annual International Conference of Education, Research and Innovation (ICERI) in 12TH INTERNATIONAL CONFERENCE OF EDUCATION, RESEARCH AND INNOVATION (ICERI2019), PAGES: 8612-8618
AUTHORS: Rocha, T; Nunes, R; Bessa, M; Paredes, H ; Barroso, J; Martins, P ;
PUBLISHED: 2019, SOURCE: 12th Annual International Conference of Education, Research and Innovation (ICERI) in 12TH INTERNATIONAL CONFERENCE OF EDUCATION, RESEARCH AND INNOVATION (ICERI2019), PAGES: 8612-8618
INDEXED IN: 
WOS
WOS