Inesc Technology and Science (INESC TEC)
Inesc Tecnologia e Ciência
AuthID: I-000-1SJ
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: 18402
1699 Team MembersFilters -> Year: 2024
6621
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
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
Scopus DBLP6622
TITLE: A Sliding Mode-Based Predictive Strategy for Irrigation Canal Pools
AUTHORS: Josenalde Oliveira ; Tatiana M Pinho ; Joao Coelho ; José Boaventura-Cunha; Paulo Moura Oliveira ;
PUBLISHED: 2018
AUTHORS: Josenalde Oliveira ; Tatiana M Pinho ; Joao Coelho ; José Boaventura-Cunha; Paulo Moura Oliveira ;
PUBLISHED: 2018
INDEXED IN: 
CrossRef
CrossRef6623
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
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
CrossRef6624
TITLE: A Study in Pairwise Clustering for Bi-dimensional Irregular Strip Packing Using the Dotted Board Model
AUTHORS: Sato, AK; Bauab, GES; Martins, TD; Tsuzuki, MDG; Gomes, AM ;
PUBLISHED: 2018, SOURCE: 16th IFAC Symposium on Information Control Problems in Manufacturing (INCOM) in IFAC PAPERSONLINE, VOLUME: 51, ISSUE: 11, PAGES: 284-289
AUTHORS: Sato, AK; Bauab, GES; Martins, TD; Tsuzuki, MDG; Gomes, AM ;
PUBLISHED: 2018, SOURCE: 16th IFAC Symposium on Information Control Problems in Manufacturing (INCOM) in IFAC PAPERSONLINE, VOLUME: 51, ISSUE: 11, PAGES: 284-289
6625
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
6626
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
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
Scopus DBLP6627
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
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
Scopus DBLP6628
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
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
6629
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
AUTHORS: Paula Fortuna; Sergio Nunes ;
PUBLISHED: 2018, SOURCE: ACM COMPUTING SURVEYS, VOLUME: 51, ISSUE: 4, PAGES: 85:1-85:30
6630
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
AUTHORS: Guillermina Cledou ; Elsa Estevez; Luis Soares Barbosa ;
PUBLISHED: 2018, SOURCE: GOVERNMENT INFORMATION QUARTERLY, VOLUME: 35, ISSUE: 1, PAGES: 61-76
6631
TITLE: A technological platform for the creation and evaluation of psycho-technical tests
AUTHORS: Fernando Almeida ; Daniela Castelo;
PUBLISHED: 2018, SOURCE: Global Journal of Computer Sciences: Theory and Research, VOLUME: 8, ISSUE: 1, PAGES: 53-61
AUTHORS: Fernando Almeida ; Daniela Castelo;
PUBLISHED: 2018, SOURCE: Global Journal of Computer Sciences: Theory and Research, VOLUME: 8, ISSUE: 1, PAGES: 53-61
6632
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
6633
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
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
6634
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
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
6635
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
6636
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
6637
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
6638
TITLE: A two-phase MILP approach to integrate order, customer and manufacturer characteristics into Dynamic Manufacturing Network formation and operational planning Full Text
AUTHORS: Senay Sadic; Jorge Pinho de Sousa ; Jose Antonio Crispim ;
PUBLISHED: 2018, SOURCE: EXPERT SYSTEMS WITH APPLICATIONS, VOLUME: 96, PAGES: 462-478
AUTHORS: Senay Sadic; Jorge Pinho de Sousa ; Jose Antonio Crispim ;
PUBLISHED: 2018, SOURCE: EXPERT SYSTEMS WITH APPLICATIONS, VOLUME: 96, PAGES: 462-478
6639
TITLE: A Uniform Performance Index for Ordinal Classification with Imbalanced Classes
AUTHORS: Silva, W ; Pinto, JR ; Cardoso, JS ;
PUBLISHED: 2018, SOURCE: 2018 International Joint Conference on Neural Networks, IJCNN 2018 in 2018 INTERNATIONAL JOINT CONFERENCE ON NEURAL NETWORKS (IJCNN), VOLUME: 2018-July, PAGES: 1-8
AUTHORS: Silva, W ; Pinto, JR ; Cardoso, JS ;
PUBLISHED: 2018, SOURCE: 2018 International Joint Conference on Neural Networks, IJCNN 2018 in 2018 INTERNATIONAL JOINT CONFERENCE ON NEURAL NETWORKS (IJCNN), VOLUME: 2018-July, PAGES: 1-8
6640
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
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
DBLP