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: 25122
1717 Team MembersFilters -> Year: 2026
8941
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
8942
TITLE: A four-probe salinity sensor optimizedfor long-term autonomous marine deployments
AUTHORS: Baptista, JP; Matos, T ; Lopes, SF; Faria, CL; Magalhaes, VH; Vieira, EMF; Martins, MS ; Goncalves, LM; Brito, FB ;
PUBLISHED: 2019, SOURCE: 2019 OCEANS - Marseille, OCEANS Marseille 2019 in OCEANS 2019 - MARSEILLE, VOLUME: 2019-June
AUTHORS: Baptista, JP; Matos, T ; Lopes, SF; Faria, CL; Magalhaes, VH; Vieira, EMF; Martins, MS ; Goncalves, LM; Brito, FB ;
PUBLISHED: 2019, SOURCE: 2019 OCEANS - Marseille, OCEANS Marseille 2019 in OCEANS 2019 - MARSEILLE, VOLUME: 2019-June
8943
TITLE: A framework for automatic and parameterizable memoization
AUTHORS: Besnard, L; Pinto, P; Lasri, I; Bispo, J ; Rohou, E; Cardoso, JMP ;
PUBLISHED: 2019, SOURCE: SOFTWAREX, VOLUME: 10, PAGES: 100322
AUTHORS: Besnard, L; Pinto, P; Lasri, I; Bispo, J ; Rohou, E; Cardoso, JMP ;
PUBLISHED: 2019, SOURCE: SOFTWAREX, VOLUME: 10, PAGES: 100322
8944
TITLE: A GENERALIZED EDUCATIONAL ROBOT BASED ON MATLAB/ROS/ROBOTIC PLATFORM
AUTHORS: Nuria Rosillo-Guerrero; Nicolás Montés; Nuno Manuel Fonseca Ferreira ;
PUBLISHED: 2019, SOURCE: INTED2019 Proceedings
AUTHORS: Nuria Rosillo-Guerrero; Nicolás Montés; Nuno Manuel Fonseca Ferreira ;
PUBLISHED: 2019, SOURCE: INTED2019 Proceedings
INDEXED IN: 
CrossRef
CrossRef8945
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: FormaliSE@ICSE, PAGES: 75-84
AUTHORS: Cláudio Belo Lourenço; Maria João Frade ; Jorge Sousa Pinto ;
PUBLISHED: 2019, SOURCE: FormaliSE@ICSE, PAGES: 75-84
8946
TITLE: A Generator of User Interface Prototypes for the IVY Workbench
AUTHORS: Araújo, JM; Couto, R ; Campos, JC ;
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: Araújo, JM; Couto, R ; Campos, JC ;
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
8947
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
8948
TITLE: A hardware-independent solution for high-performance simulations of the Maxwell-Bloch system
AUTHORS: Silva, NA ; Ferreira, TD ; Guerreiro, A ;
PUBLISHED: 2019, SOURCE: 4th International Conference on Applications of Optics and Photonics (AOP) in FOURTH INTERNATIONAL CONFERENCE ON APPLICATIONS OF OPTICS AND PHOTONICS, VOLUME: 11207
AUTHORS: Silva, NA ; Ferreira, TD ; Guerreiro, A ;
PUBLISHED: 2019, SOURCE: 4th International Conference on Applications of Optics and Photonics (AOP) in FOURTH INTERNATIONAL CONFERENCE ON APPLICATIONS OF OPTICS AND PHOTONICS, VOLUME: 11207
8949
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
WOS8950
TITLE: A Human Centred Hybrid MAS and Meta-Heuristics Based System for Simultaneously Supporting Scheduling and Plant Layout Adjustment
AUTHORS: Alves, F; Varela, MLR ; Rocha, AMAC ; Pereira, AI ; Leitao, P ;
PUBLISHED: 2019, SOURCE: FME TRANSACTIONS, VOLUME: 47, ISSUE: 4, PAGES: 699-710
AUTHORS: Alves, F; Varela, MLR ; Rocha, AMAC ; Pereira, AI ; Leitao, P ;
PUBLISHED: 2019, SOURCE: FME TRANSACTIONS, VOLUME: 47, ISSUE: 4, PAGES: 699-710
8951
TITLE: A Kernel Principal Component Regressor for LPV System Identification
AUTHORS: Paulo Lopes dos Santos ; Azevedo P A Perdicoulis ;
PUBLISHED: 2019, SOURCE: 3rd International-Federation-of-Automatic-Control (IFAC) Workshop on Linear Parameter Varying Systems (LPVS) in IFAC PAPERSONLINE, VOLUME: 52, ISSUE: 28, PAGES: 7-12
AUTHORS: Paulo Lopes dos Santos ; Azevedo P A Perdicoulis ;
PUBLISHED: 2019, SOURCE: 3rd International-Federation-of-Automatic-Control (IFAC) Workshop on Linear Parameter Varying Systems (LPVS) in IFAC PAPERSONLINE, VOLUME: 52, ISSUE: 28, PAGES: 7-12
8952
TITLE: A Lightweight Dynamic Monitoring of Operational Indicators for a Rapid Strategical Awareness
AUTHORS: Leitao, P ; Rodrigues, N; Ferreira, A; Pagani, A; Petrali, P; Barbosa, J ;
PUBLISHED: 2019, SOURCE: IEEE International Conference on Industrial Cyber Physical Systems (ICPS) in 2019 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL CYBER PHYSICAL SYSTEMS (ICPS 2019), PAGES: 121-126
AUTHORS: Leitao, P ; Rodrigues, N; Ferreira, A; Pagani, A; Petrali, P; Barbosa, J ;
PUBLISHED: 2019, SOURCE: IEEE International Conference on Industrial Cyber Physical Systems (ICPS) in 2019 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL CYBER PHYSICAL SYSTEMS (ICPS 2019), PAGES: 121-126
8953
TITLE: A Line Follower Educational Mobile Robot Performance Robustness Increase Using a Competition as Benchmark
AUTHORS: Jose Goncalves ; Vitor H Pinto ; Paulo Costa ;
PUBLISHED: 2019, SOURCE: 6th International Conference on Control, Decision and Information Technologies (CoDIT) in 2019 6TH INTERNATIONAL CONFERENCE ON CONTROL, DECISION AND INFORMATION TECHNOLOGIES (CODIT 2019), PAGES: 934-939
AUTHORS: Jose Goncalves ; Vitor H Pinto ; Paulo Costa ;
PUBLISHED: 2019, SOURCE: 6th International Conference on Control, Decision and Information Technologies (CoDIT) in 2019 6TH INTERNATIONAL CONFERENCE ON CONTROL, DECISION AND INFORMATION TECHNOLOGIES (CODIT 2019), PAGES: 934-939
8954
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
8955
TITLE: A location-based and contextualized mobile services approach to providing information and services in the tourism industry Full Text
AUTHORS: Carvalho, A; Morais, EP; Cunha, CR ;
PUBLISHED: 2019, SOURCE: IBIMA Business Review, VOLUME: 2019
AUTHORS: Carvalho, A; Morais, EP; Cunha, CR ;
PUBLISHED: 2019, SOURCE: IBIMA Business Review, VOLUME: 2019
INDEXED IN: 
Scopus 
Handle
Scopus Handle8956
TITLE: A Location-Based and Contextualized Mobile Services Approach To Providing Information and Services in the Tourism Industry Full Text
AUTHORS: António CARVALHO; Elisabete Paulo MORAIS; Carlos R CUNHA ;
PUBLISHED: 2019, SOURCE: IBIMA Business Review, PAGES: 1-10
AUTHORS: António CARVALHO; Elisabete Paulo MORAIS; Carlos R CUNHA ;
PUBLISHED: 2019, SOURCE: IBIMA Business Review, PAGES: 1-10
INDEXED IN: CrossRef
CrossRef8957
TITLE: A Lock-Free Coalescing-Capable Mechanism for Memory Management
AUTHORS: Leite, R ; Rocha, R ;
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: Leite, R ; Rocha, R ;
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
8958
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
8959
TITLE: A Machine Learning Based Quality of Service Estimator for Aerial Wireless Networks
AUTHORS: Almeida, EN ; Fernandes, K; Andrade, F; Silva, P; Campos, R ; Ricardo, M ;
PUBLISHED: 2019, SOURCE: 15th International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob) in 2019 INTERNATIONAL CONFERENCE ON WIRELESS AND MOBILE COMPUTING, NETWORKING AND COMMUNICATIONS (WIMOB), VOLUME: 2019-October, PAGES: 1-6
AUTHORS: Almeida, EN ; Fernandes, K; Andrade, F; Silva, P; Campos, R ; Ricardo, M ;
PUBLISHED: 2019, SOURCE: 15th International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob) in 2019 INTERNATIONAL CONFERENCE ON WIRELESS AND MOBILE COMPUTING, NETWORKING AND COMMUNICATIONS (WIMOB), VOLUME: 2019-October, PAGES: 1-6
8960
TITLE: A Machine-Checked Proof of Security for AWS Key Management Service
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
