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: 10648
536 Team MembersFilters -> Year: 2026
4401
TITLE: A Provable Security Treatment of Isolated Execution Environments and Applications to Secure Computation
AUTHORS: Bernardo Portela ;
PUBLISHED: 2018
AUTHORS: Bernardo Portela ;
PUBLISHED: 2018
INDEXED IN: 
DBLP
DBLP4402
TITLE: A Reactive and Model-based Approach for Developing Internet-of-Things Systems
AUTHORS: Dias, JP ; Faria, JP ; Ferreira, HS ;
PUBLISHED: 2018, SOURCE: 11th International Conference on the Quality of Information and Communications Technology (QUATIC) in 2018 11TH INTERNATIONAL CONFERENCE ON THE QUALITY OF INFORMATION AND COMMUNICATIONS TECHNOLOGY (QUATIC), PAGES: 276-281
AUTHORS: Dias, JP ; Faria, JP ; Ferreira, HS ;
PUBLISHED: 2018, SOURCE: 11th International Conference on the Quality of Information and Communications Technology (QUATIC) in 2018 11TH INTERNATIONAL CONFERENCE ON THE QUALITY OF INFORMATION AND COMMUNICATIONS TECHNOLOGY (QUATIC), PAGES: 276-281
4403
TITLE: A Research Agenda on Quantum Algoritmics
AUTHORS: Barbosa, LS ; Madeira, A ;
PUBLISHED: 2018, SOURCE: ERCIM NEWS, VOLUME: 2018, ISSUE: 113, PAGES: 44-45
AUTHORS: Barbosa, LS ; Madeira, A ;
PUBLISHED: 2018, SOURCE: ERCIM NEWS, VOLUME: 2018, ISSUE: 113, PAGES: 44-45
INDEXED IN: 
WOS DBLP
WOS DBLP4404
TITLE: A roadmap to evaluate the usage of telepresence robots in elderly care centers
AUTHORS: Arsenio Reis ; Rui Xavier; Catarina Macedo; Telmo Costa; Vitor Rodrigues ; Joao Barroso ;
PUBLISHED: 2018, SOURCE: 2ND INTERNATIONAL CONFERENCE ON TECHNOLOGY AND INNOVATION IN SPORTS, HEALTH AND WELLBEING in PROCEEDINGS OF THE 2018 2ND INTERNATIONAL CONFERENCE ON TECHNOLOGY AND INNOVATION IN SPORTS, HEALTH AND WELLBEING (TISHW), PAGES: 1-6
AUTHORS: Arsenio Reis ; Rui Xavier; Catarina Macedo; Telmo Costa; Vitor Rodrigues ; Joao Barroso ;
PUBLISHED: 2018, SOURCE: 2ND INTERNATIONAL CONFERENCE ON TECHNOLOGY AND INNOVATION IN SPORTS, HEALTH AND WELLBEING in PROCEEDINGS OF THE 2018 2ND INTERNATIONAL CONFERENCE ON TECHNOLOGY AND INNOVATION IN SPORTS, HEALTH AND WELLBEING (TISHW), PAGES: 1-6
4405
TITLE: A Semantics for Hybrid Iteration
AUTHORS: Sergey Goncharov; Julian Jakob; Renato Neves ;
PUBLISHED: 2018, SOURCE: CONCUR, VOLUME: 118, PAGES: 22:1-22:17
AUTHORS: Sergey Goncharov; Julian Jakob; Renato Neves ;
PUBLISHED: 2018, SOURCE: CONCUR, VOLUME: 118, PAGES: 22:1-22:17
INDEXED IN: 
Scopus DBLP
Scopus DBLP4406
TITLE: A Software Tool to Evaluate Performance in a Higher Education Institution
AUTHORS: Arsénio Reis ; Hugo Paredes ; Jorge Borges; Carlos Rodrigues; João Barroso ;
PUBLISHED: 2018, SOURCE: Research on e-Learning and ICT in Education: Technological, Pedagogical and Instructional Perspectives, PAGES: 185-196
AUTHORS: Arsénio Reis ; Hugo Paredes ; Jorge Borges; Carlos Rodrigues; João Barroso ;
PUBLISHED: 2018, SOURCE: Research on e-Learning and ICT in Education: Technological, Pedagogical and Instructional Perspectives, PAGES: 185-196
INDEXED IN: Scopus 
CrossRef
Scopus CrossRef4407
TITLE: A study of the publications of educational robotics: A systematic review of literature
AUTHORS: Bezerra J.; De Lima R.; Queiroz P. ;
PUBLISHED: 2018, SOURCE: IEEE Latin America Transactions, VOLUME: 16, ISSUE: 4, PAGES: 1193-1199
AUTHORS: Bezerra J.; De Lima R.; Queiroz P. ;
PUBLISHED: 2018, SOURCE: IEEE Latin America Transactions, VOLUME: 16, ISSUE: 4, PAGES: 1193-1199
4408
TITLE: A Study on Contextual Influences on Automatic Playlist Continuation
AUTHORS: Anna Gatzioura; Miquel Sànchez Marrè; Alípio Mário Jorge ;
PUBLISHED: 2018, SOURCE: CCIA, VOLUME: 308, PAGES: 156-165
AUTHORS: Anna Gatzioura; Miquel Sànchez Marrè; Alípio Mário Jorge ;
PUBLISHED: 2018, SOURCE: CCIA, VOLUME: 308, PAGES: 156-165
4409
TITLE: A Study on Natural 3D Shape Manipulation in VR
AUTHORS: Eduardo Cordeiro; Franca Giannini; Marina Monti; Daniel Mendes ; Alfredo Ferreira;
PUBLISHED: 2018, SOURCE: STAG, PAGES: 35-43
AUTHORS: Eduardo Cordeiro; Franca Giannini; Marina Monti; Daniel Mendes ; Alfredo Ferreira;
PUBLISHED: 2018, SOURCE: STAG, PAGES: 35-43
INDEXED IN: Scopus DBLP
Scopus DBLP4410
TITLE: A Survey of Blockchain Frameworks and Applications
AUTHORS: Bruno Tavares ; Filipe Figueiredo Correia ; André Restivo ; João Pascoal Faria ; Ademar Aguiar ;
PUBLISHED: 2018, SOURCE: SoCPaR, VOLUME: 942, PAGES: 308-317
AUTHORS: Bruno Tavares ; Filipe Figueiredo Correia ; André Restivo ; João Pascoal Faria ; Ademar Aguiar ;
PUBLISHED: 2018, SOURCE: SoCPaR, VOLUME: 942, PAGES: 308-317
4411
TITLE: A Survey on Automatic Detection of Hate Speech in Text Full Text
AUTHORS: Fortuna, P; Nunes, S ;
PUBLISHED: 2018, SOURCE: ACM COMPUTING SURVEYS, VOLUME: 51, ISSUE: 4, PAGES: 85:1-85:30
AUTHORS: Fortuna, P; Nunes, S ;
PUBLISHED: 2018, SOURCE: ACM COMPUTING SURVEYS, VOLUME: 51, ISSUE: 4, PAGES: 85:1-85:30
4412
TITLE: A taxonomy for planning and designing smart mobility services
AUTHORS: Cledou, G ; Estevez, E; Barbosa, LS ;
PUBLISHED: 2018, SOURCE: GOVERNMENT INFORMATION QUARTERLY, VOLUME: 35, ISSUE: 1, PAGES: 61-76
AUTHORS: Cledou, G ; Estevez, E; Barbosa, LS ;
PUBLISHED: 2018, SOURCE: GOVERNMENT INFORMATION QUARTERLY, VOLUME: 35, ISSUE: 1, PAGES: 61-76
4413
TITLE: A Technological Proposal Using Virtual Worlds to Support Entrepreneurship Education for Primary School Children
AUTHORS: Pereira, A; Martins, P ; Morgado, L ; Fonseca, B ; Esteves, M ;
PUBLISHED: 2018, SOURCE: 20th International Conference on Interactive Collaborative Learning (ICL) in TEACHING AND LEARNING IN A DIGITAL WORLD, VOL 1, VOLUME: 715, PAGES: 70-77
AUTHORS: Pereira, A; Martins, P ; Morgado, L ; Fonseca, B ; Esteves, M ;
PUBLISHED: 2018, SOURCE: 20th International Conference on Interactive Collaborative Learning (ICL) in TEACHING AND LEARNING IN A DIGITAL WORLD, VOL 1, VOLUME: 715, PAGES: 70-77
4414
TITLE: A Test Specification Language for Information Systems Based on Data Entities, Use Cases and State Machines
AUTHORS: Alberto Rodrigues da Silva ; Ana C R Paiva ; Valter Emanuel R da Silva;
PUBLISHED: 2018, SOURCE: MODELSWARD (Revised Selected Papers), VOLUME: 991, PAGES: 455-474
AUTHORS: Alberto Rodrigues da Silva ; Ana C R Paiva ; Valter Emanuel R da Silva;
PUBLISHED: 2018, SOURCE: MODELSWARD (Revised Selected Papers), VOLUME: 991, PAGES: 455-474
4415
TITLE: A Text Feature Based Automatic Keyword Extraction Method for Single Documents
AUTHORS: Campos, R ; Mangaravite, V ; Pasquali, A ; Jorge, AM ; Nunes, C ; Jatowt, A;
PUBLISHED: 2018, SOURCE: 40th European Conference on Information Retrieval Research (ECIR) in ADVANCES IN INFORMATION RETRIEVAL (ECIR 2018), VOLUME: 10772, PAGES: 684-691
AUTHORS: Campos, R ; Mangaravite, V ; Pasquali, A ; Jorge, AM ; Nunes, C ; Jatowt, A;
PUBLISHED: 2018, SOURCE: 40th European Conference on Information Retrieval Research (ECIR) in ADVANCES IN INFORMATION RETRIEVAL (ECIR 2018), VOLUME: 10772, PAGES: 684-691
4416
TITLE: A theoretical analysis of digital marketing adoption by startups
AUTHORS: Teixeira, S; Martins, J ; Branco, F ; Gonçalves, R ; Au Yong Oliveira, M ; Moreira, F ;
PUBLISHED: 2018, SOURCE: 6th International Conference on Software Process Improvement, CIMPS 2017 in Advances in Intelligent Systems and Computing, VOLUME: 688, PAGES: 94-105
AUTHORS: Teixeira, S; Martins, J ; Branco, F ; Gonçalves, R ; Au Yong Oliveira, M ; Moreira, F ;
PUBLISHED: 2018, SOURCE: 6th International Conference on Software Process Improvement, CIMPS 2017 in Advances in Intelligent Systems and Computing, VOLUME: 688, PAGES: 94-105
4417
TITLE: A Three-Step Data-Mining Analysis of Top-Ranked Higher Education Institutions' Communication on Facebook
AUTHORS: Alvaro Figueira ;
PUBLISHED: 2018, SOURCE: 6th International Conference on Technological Ecosystems for Enhancing Multiculturality (TEEM) in SIXTH INTERNATIONAL CONFERENCE ON TECHNOLOGICAL ECOSYSTEMS FOR ENHANCING MULTICULTURALITY (TEEM'18), PAGES: 923-929
AUTHORS: Alvaro Figueira ;
PUBLISHED: 2018, SOURCE: 6th International Conference on Technological Ecosystems for Enhancing Multiculturality (TEEM) in SIXTH INTERNATIONAL CONFERENCE ON TECHNOLOGICAL ECOSYSTEMS FOR ENHANCING MULTICULTURALITY (TEEM'18), PAGES: 923-929
4418
TITLE: A tool to test and validate algorithms for the resource-constrained project scheduling problem Full Text
AUTHORS: Mario Vanhoucke; Jose Coelho ;
PUBLISHED: 2018, SOURCE: COMPUTERS & INDUSTRIAL ENGINEERING, VOLUME: 118, PAGES: 251-265
AUTHORS: Mario Vanhoucke; Jose Coelho ;
PUBLISHED: 2018, SOURCE: COMPUTERS & INDUSTRIAL ENGINEERING, VOLUME: 118, PAGES: 251-265
4419
TITLE: A Unifying Framework for Type Inhabitation
AUTHORS: Sandra Alves ; Sabine Broda ;
PUBLISHED: 2018, SOURCE: FSCD, VOLUME: 108, PAGES: 5:1-5:16
AUTHORS: Sandra Alves ; Sabine Broda ;
PUBLISHED: 2018, SOURCE: FSCD, VOLUME: 108, PAGES: 5:1-5:16
INDEXED IN: Scopus DBLP
Scopus DBLP4420
TITLE: Acceptance-Sampling Plans for Reducing the Risk Associated with Chemical Compounds
AUTHORS: Fernanda Figueiredo ; Adelaide Figueiredo ; Ivette I Gomes;
PUBLISHED: 2018, SOURCE: Contributions to Statistics - Recent Studies on Risk Analysis and Statistical Modeling, PAGES: 99-111
AUTHORS: Fernanda Figueiredo ; Adelaide Figueiredo ; Ivette I Gomes;
PUBLISHED: 2018, SOURCE: Contributions to Statistics - Recent Studies on Risk Analysis and Statistical Modeling, PAGES: 99-111
