CS: Computer Science
CS: Computer Science

Inesc Technology and Science (INESC TEC)

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

Update Citation

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!

Update PrePrints

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!

Publications Count: 8280

531 Team Members
Filters -> Year: 2024
2821
TITLE: A Reactive and Model-based Approach for Developing Internet-of-Things Systems
AUTHORS: Joao Pedro Dias ; Joao Pascoal Faria ; Hugo Sereno Ferreira ;
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
INDEXED IN: Scopus WOS DBLP CrossRef: 14
2822
TITLE: A Research Agenda on Quantum Algoritmics
AUTHORS: Luis S Barbosa ; Alexandre Madeira ;
PUBLISHED: 2018, SOURCE: ERCIM NEWS, VOLUME: 2018, ISSUE: 113, PAGES: 44-45
INDEXED IN: WOS DBLP
2823
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
INDEXED IN: Scopus WOS DBLP CrossRef: 1
2824
TITLE: A Semantics for Hybrid Iteration
AUTHORS: Sergey Goncharov; Julian Jakob; Renato Neves ;
PUBLISHED: 2018, SOURCE: 29th International Conference on Concurrency Theory, CONCUR 2018 in 29th International Conference on Concurrency Theory, CONCUR 2018, September 4-7, 2018, Beijing, China, VOLUME: 118, PAGES: 22:1-22:17
INDEXED IN: Scopus DBLP
2825
TITLE: A Semantics for Hybrid Iteration PDF
AUTHORS: Sergey Goncharov; Julian Jakob; Renato Neves ;
PUBLISHED: 2018, SOURCE: CoRR, VOLUME: abs/1807.01053
INDEXED IN: DBLP arXiv
2826
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, PAGES: 185-196
INDEXED IN: CrossRef
2827
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
INDEXED IN: Scopus CrossRef: 12
2828
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: Artificial Intelligence Research and Development - Current Challenges, New Trends and Applications, CCIA 2018, 21st International Conference of the Catalan Association for Artificial Intelligence, Alt Empordà, Catalonia, Spain, 8-10th October 2018, VOLUME: 308, PAGES: 156-165
INDEXED IN: Scopus DBLP
2829
TITLE: A Study on Natural 3D Shape Manipulation in VR
AUTHORS: Eduardo Cordeiro; Franca Giannini; Marina Monti; Daniel Mendes ; Alfredo Ferreira;
PUBLISHED: 2018, SOURCE: Italian Chapter Conference 2018 - Smart Tools and Apps in computer Graphics, STAG 2018, Brescia, Italy, October 18-19, 2018, PAGES: 35-43
INDEXED IN: Scopus DBLP
2830
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: 10th International Conference on Soft Computing and Pattern Recognition, SoCPaR 2018 in Proceedings of the Tenth International Conference on Soft Computing and Pattern Recognition, SoCPaR 2018, Porto, Portugal, December 13-15, 2018, VOLUME: 942, PAGES: 308-317
INDEXED IN: Scopus DBLP CrossRef: 4
2831
TITLE: A Survey on Automatic Detection of Hate Speech in Text  Full Text
AUTHORS: Paula Fortuna; Sergio Nunes ;
PUBLISHED: 2018, SOURCE: ACM COMPUTING SURVEYS, VOLUME: 51, ISSUE: 4, PAGES: 85:1-85:30
INDEXED IN: Scopus WOS DBLP CrossRef: 169
2832
TITLE: A taxonomy for planning and designing smart mobility services
AUTHORS: Guillermina Cledou ; Elsa Estevez; Luis Soares Barbosa ;
PUBLISHED: 2018, SOURCE: GOVERNMENT INFORMATION QUARTERLY, VOLUME: 35, ISSUE: 1, PAGES: 61-76
INDEXED IN: WOS DBLP CrossRef: 41
2833
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
INDEXED IN: Scopus WOS DBLP CrossRef: 1
2834
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: 6th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2018 in Model-Driven Engineering and Software Development - 6th International Conference, MODELSWARD 2018, Funchal, Madeira, Portugal, January 22-24, 2018, Revised Selected Papers, VOLUME: 991, PAGES: 455-474
INDEXED IN: Scopus DBLP CrossRef: 4
2835
TITLE: A Text Feature Based Automatic Keyword Extraction Method for Single Documents
AUTHORS: Ricardo Campos ; Vitor Mangaravite ; Arian Pasquali ; Alipio Mario Jorge ; Celia Nunes ; Adam Jatowt;
PUBLISHED: 2018, SOURCE: 40th European Conference on Information Retrieval Research (ECIR) in ADVANCES IN INFORMATION RETRIEVAL (ECIR 2018), VOLUME: 10772, PAGES: 684-691
INDEXED IN: Scopus WOS DBLP CrossRef: 61
2836
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
INDEXED IN: Scopus CrossRef: 20
2837
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
INDEXED IN: Scopus WOS DBLP CrossRef: 1
2838
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
INDEXED IN: Scopus WOS DBLP CrossRef: 38
2839
TITLE: A Unifying Framework for Type Inhabitation
AUTHORS: Sandra Alves ; Sabine Broda ;
PUBLISHED: 2018, SOURCE: 3rd International Conference on Formal Structures for Computation and Deduction, FSCD 2018, July 9-12, 2018, Oxford, UK, VOLUME: 108, PAGES: 5:1-5:16
INDEXED IN: DBLP
2840
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
INDEXED IN: CrossRef

Results per Page: 20.
Page 142 of 414. Total results: 8280.