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: 19304
1706 Team MembersFilters -> Year: 2025
7001
TITLE: Simulation under Arbitrary Temporal Logic Constraints PDF Full Text
AUTHORS: Julien Brunel; David Chemouil; Alcino Cunha ; Nuno Macedo ;
PUBLISHED: 2019, SOURCE: 5th Workshop on Formal Integrated Development Environment, F-IDE 2019 in Proceedings Fifth Workshop on Formal Integrated Development Environment, F-IDE@FM 2019, Porto, Portugal, 7th October 2019., VOLUME: 310, PAGES: 63-69
AUTHORS: Julien Brunel; David Chemouil; Alcino Cunha ; Nuno Macedo ;
PUBLISHED: 2019, SOURCE: 5th Workshop on Formal Integrated Development Environment, F-IDE 2019 in Proceedings Fifth Workshop on Formal Integrated Development Environment, F-IDE@FM 2019, Porto, Portugal, 7th October 2019., VOLUME: 310, PAGES: 63-69
7002
TITLE: Simultaneous lotsizing and scheduling considering secondary resources: a general model, literature review and classification Full Text
AUTHORS: Martin Woerbelauer; Herbert Meyr; Bernardo Almada Lobo ;
PUBLISHED: 2019, SOURCE: OR SPECTRUM, VOLUME: 41, ISSUE: 1, PAGES: 1-43
AUTHORS: Martin Woerbelauer; Herbert Meyr; Bernardo Almada Lobo ;
PUBLISHED: 2019, SOURCE: OR SPECTRUM, VOLUME: 41, ISSUE: 1, PAGES: 1-43
7003
TITLE: Simultaneous underwater navigation and mapping
AUTHORS: Gaspar, ARS ; Matos, A ;
PUBLISHED: 2019, SOURCE: U.Porto Journal of Engineering, VOLUME: 5, ISSUE: 2, PAGES: 1-9
AUTHORS: Gaspar, ARS ; Matos, A ;
PUBLISHED: 2019, SOURCE: U.Porto Journal of Engineering, VOLUME: 5, ISSUE: 2, PAGES: 1-9
INDEXED IN: 
Scopus 
CrossRef
Scopus CrossRef7004
TITLE: Size-Density Trajectory in Regenerated Maritime Pine Stands after Fire Full Text
AUTHORS: Enes, T; Lousada, J; Aranha, J; Cerveira, A ; Alegria, C; Fonseca, T;
PUBLISHED: 2019, SOURCE: FORESTS, VOLUME: 10, ISSUE: 12, PAGES: 1057
AUTHORS: Enes, T; Lousada, J; Aranha, J; Cerveira, A ; Alegria, C; Fonseca, T;
PUBLISHED: 2019, SOURCE: FORESTS, VOLUME: 10, ISSUE: 12, PAGES: 1057
7005
TITLE: Skin temperature of the foot: comparing transthyretin Familial Amyloid Polyneuropathy and Diabetic Foot patients Full Text
AUTHORS: Seixas, A ; Vilas Boas, MD ; Carvalho, R; Coelho, T; Ammer, K; Vilas Boas, JP; Joaquim Mendes ; Cunha, JPS ; Ricardo Vardasca ;
PUBLISHED: 2019, SOURCE: COMPUTER METHODS IN BIOMECHANICS AND BIOMEDICAL ENGINEERING-IMAGING AND VISUALIZATION, VOLUME: 7, ISSUE: 5-6, PAGES: 504-511
AUTHORS: Seixas, A ; Vilas Boas, MD ; Carvalho, R; Coelho, T; Ammer, K; Vilas Boas, JP; Joaquim Mendes ; Cunha, JPS ; Ricardo Vardasca ;
PUBLISHED: 2019, SOURCE: COMPUTER METHODS IN BIOMECHANICS AND BIOMEDICAL ENGINEERING-IMAGING AND VISUALIZATION, VOLUME: 7, ISSUE: 5-6, PAGES: 504-511
7006
TITLE: SMALL BOWEL MUCOSA SEGMENTATION FOR FRAME CHARACTERIZATION IN VIDEOS OF ENDOSCOPIC CAPSULES
AUTHORS: Gil Pinheiro; Paulo Coelho; Mariana Mourao; Maria Salgado; Helder P Oliveira ; Antonio Cunha ;
PUBLISHED: 2019, SOURCE: 16th IEEE International Symposium on Biomedical Imaging (ISBI) in 2019 IEEE 16TH INTERNATIONAL SYMPOSIUM ON BIOMEDICAL IMAGING (ISBI 2019), VOLUME: 2019-April, PAGES: 83-86
AUTHORS: Gil Pinheiro; Paulo Coelho; Mariana Mourao; Maria Salgado; Helder P Oliveira ; Antonio Cunha ;
PUBLISHED: 2019, SOURCE: 16th IEEE International Symposium on Biomedical Imaging (ISBI) in 2019 IEEE 16TH INTERNATIONAL SYMPOSIUM ON BIOMEDICAL IMAGING (ISBI 2019), VOLUME: 2019-April, PAGES: 83-86
7007
TITLE: Smart and Hybrid Balancing System: Design, Modeling, and Experimental Demonstration
AUTHORS: de Castro, R; Pinto, C; Barreras, JV; Araujo, RE ; Howey, DA;
PUBLISHED: 2019, SOURCE: 15th IEEE Vehicle Power and Propulsion Conference (VPPC) in IEEE TRANSACTIONS ON VEHICULAR TECHNOLOGY, VOLUME: 68, ISSUE: 12, PAGES: 11449-11461
AUTHORS: de Castro, R; Pinto, C; Barreras, JV; Araujo, RE ; Howey, DA;
PUBLISHED: 2019, SOURCE: 15th IEEE Vehicle Power and Propulsion Conference (VPPC) in IEEE TRANSACTIONS ON VEHICULAR TECHNOLOGY, VOLUME: 68, ISSUE: 12, PAGES: 11449-11461
7008
TITLE: Smart Coach - A Recommendation System for Young Football Athletes
AUTHORS: Paulo Matos; João Rocha; Ramiro Gonçalves ; Ana de Almeida; Filipe Santos; David Abreu; Constantino Martins;
PUBLISHED: 2019, SOURCE: 10th International Symposium on Ambient Intelligence, ISAmI 2019 in Ambient Intelligence - Software and Applications -,10th International Symposium on Ambient Intelligence, ISAmI 2019, Ávila, Spain, 26-28 June 2019., VOLUME: 1006, PAGES: 171-178
AUTHORS: Paulo Matos; João Rocha; Ramiro Gonçalves ; Ana de Almeida; Filipe Santos; David Abreu; Constantino Martins;
PUBLISHED: 2019, SOURCE: 10th International Symposium on Ambient Intelligence, ISAmI 2019 in Ambient Intelligence - Software and Applications -,10th International Symposium on Ambient Intelligence, ISAmI 2019, Ávila, Spain, 26-28 June 2019., VOLUME: 1006, PAGES: 171-178
7009
TITLE: Smart Transformers - Enabling Power-Frequency Regulation Services for Hybrid AC/DC Networks
AUTHORS: Justino Rodrigues ; Carlos Moreira ; Joao Pecas Lopes ;
PUBLISHED: 2019, SOURCE: IEEE Milan PowerTech Conference in 2019 IEEE MILAN POWERTECH
AUTHORS: Justino Rodrigues ; Carlos Moreira ; Joao Pecas Lopes ;
PUBLISHED: 2019, SOURCE: IEEE Milan PowerTech Conference in 2019 IEEE MILAN POWERTECH
7010
TITLE: SMErobotics Smart Robots for Flexible Manufacturing Full Text
AUTHORS: Perzylo, A; Rickert, M; Kahl, B; Somani, N; Lehmann, C; Kuss, A; Profanter, S; Beck, AB; Haage, M; Hansen, MR; Roa Garzon, M; Sornmo, O; Gestegard Robertz, S; Thomas, U; Veiga, G ; Topp, EA; Kessler, I; Danzer, M;
PUBLISHED: 2019, SOURCE: IEEE ROBOTICS & AUTOMATION MAGAZINE, VOLUME: 26, ISSUE: 1, PAGES: 78-90
AUTHORS: Perzylo, A; Rickert, M; Kahl, B; Somani, N; Lehmann, C; Kuss, A; Profanter, S; Beck, AB; Haage, M; Hansen, MR; Roa Garzon, M; Sornmo, O; Gestegard Robertz, S; Thomas, U; Veiga, G ; Topp, EA; Kessler, I; Danzer, M;
PUBLISHED: 2019, SOURCE: IEEE ROBOTICS & AUTOMATION MAGAZINE, VOLUME: 26, ISSUE: 1, PAGES: 78-90
7011
TITLE: Social and Financial Inclusion through Nonbanking Institutions: A Model for Rural Romania
AUTHORS: Xiao Guang Yue ; Yong Cao; Nelson Duarte ; Xue Feng Shao; Otilia Manta;
PUBLISHED: 2019, SOURCE: JOURNAL OF RISK AND FINANCIAL MANAGEMENT, VOLUME: 12, ISSUE: 4, PAGES: 166
AUTHORS: Xiao Guang Yue ; Yong Cao; Nelson Duarte ; Xue Feng Shao; Otilia Manta;
PUBLISHED: 2019, SOURCE: JOURNAL OF RISK AND FINANCIAL MANAGEMENT, VOLUME: 12, ISSUE: 4, PAGES: 166
7012
TITLE: SOCIAL ENGAGEMENT AND MOTIVATION IN A MOOC ON SCHOOL LIBRARIES
AUTHORS: Bastos, G; Cabral, P; Rocio, V ;
PUBLISHED: 2019, SOURCE: 12th Annual International Conference of Education, Research and Innovation (ICERI) in 12TH INTERNATIONAL CONFERENCE OF EDUCATION, RESEARCH AND INNOVATION (ICERI2019), PAGES: 6690-6695
AUTHORS: Bastos, G; Cabral, P; Rocio, V ;
PUBLISHED: 2019, SOURCE: 12th Annual International Conference of Education, Research and Innovation (ICERI) in 12TH INTERNATIONAL CONFERENCE OF EDUCATION, RESEARCH AND INNOVATION (ICERI2019), PAGES: 6690-6695
INDEXED IN: 
WOS 
Handle
WOS Handle7013
TITLE: Social Network Security Risks and Vulnerabilities in Corporate Environments
AUTHORS: Fernando Almeida ; José Pinheiro; Vítor Oliveira;
PUBLISHED: 2019, SOURCE: International Journal of Applied Management Sciences and Engineering, VOLUME: 6, ISSUE: 1, PAGES: 14-28
AUTHORS: Fernando Almeida ; José Pinheiro; Vítor Oliveira;
PUBLISHED: 2019, SOURCE: International Journal of Applied Management Sciences and Engineering, VOLUME: 6, ISSUE: 1, PAGES: 14-28
7014
TITLE: Software Modules and Communication to Support Real-Time Remote Control and Monitoring of Unmanned Vehicles
AUTHORS: João Ramos; David Safadinho; Roberto Ribeiro; Patrício Domingues; João Barroso ; António Pereira;
PUBLISHED: 2019, SOURCE: World Conference on Information Systems and Technologies, WorldCIST 2019 in New Knowledge in Information Systems and Technologies - Volume 2, World Conference on Information Systems and Technologies, WorldCIST 2019, Galicia, Spain, 16-19 April, VOLUME: 931, PAGES: 45-55
AUTHORS: João Ramos; David Safadinho; Roberto Ribeiro; Patrício Domingues; João Barroso ; António Pereira;
PUBLISHED: 2019, SOURCE: World Conference on Information Systems and Technologies, WorldCIST 2019 in New Knowledge in Information Systems and Technologies - Volume 2, World Conference on Information Systems and Technologies, WorldCIST 2019, Galicia, Spain, 16-19 April, VOLUME: 931, PAGES: 45-55
7015
TITLE: SoK: Computer-Aided Cryptography
AUTHORS: Manuel Barbosa ; Gilles Barthe ; Karthikeyan Bhargavan; Bruno Blanchet; Cas Cremers; Kevin Liao; Bryan Parno;
PUBLISHED: 2019, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2019, PAGES: 1393
AUTHORS: Manuel Barbosa ; Gilles Barthe ; Karthikeyan Bhargavan; Bruno Blanchet; Cas Cremers; Kevin Liao; Bryan Parno;
PUBLISHED: 2019, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2019, PAGES: 1393
INDEXED IN: 
DBLP
DBLP7016
TITLE: Solar Dehydrator An EPS@ISEP 2019 Project. An EPS@ISEP 2019 Project
AUTHORS: Dániel Szabó; Jorge Justo ; Manuel F Silva ; Paulo Ferreira ; Pedro Guedes ; Elisa Gillet; Ignacio Vallés; João Pereira; Marie Keppens; Pascal Krommendijk; Abel J Duarte; Benedita Malheiro ; Cristina Ribeiro;
PUBLISHED: 2019, SOURCE: 7th International Conference on Technological Ecosystems for Enhancing Multiculturality (TEEM) in TEEM'19: SEVENTH INTERNATIONAL CONFERENCE ON TECHNOLOGICAL ECOSYSTEMS FOR ENHANCING MULTICULTURALITY, PAGES: 486-493
AUTHORS: Dániel Szabó; Jorge Justo ; Manuel F Silva ; Paulo Ferreira ; Pedro Guedes ; Elisa Gillet; Ignacio Vallés; João Pereira; Marie Keppens; Pascal Krommendijk; Abel J Duarte; Benedita Malheiro ; Cristina Ribeiro;
PUBLISHED: 2019, SOURCE: 7th International Conference on Technological Ecosystems for Enhancing Multiculturality (TEEM) in TEEM'19: SEVENTH INTERNATIONAL CONFERENCE ON TECHNOLOGICAL ECOSYSTEMS FOR ENHANCING MULTICULTURALITY, PAGES: 486-493
7017
TITLE: Solving a large multi-product production-routing problem with delivery time windows
AUTHORS: Fabio Neves Moreira ; Bernardo Almada Lobo ; Jean Francois Cordeau; Luis Guimaraes ; Raf Jans;
PUBLISHED: 2019, SOURCE: OMEGA-INTERNATIONAL JOURNAL OF MANAGEMENT SCIENCE, VOLUME: 86, PAGES: 154-172
AUTHORS: Fabio Neves Moreira ; Bernardo Almada Lobo ; Jean Francois Cordeau; Luis Guimaraes ; Raf Jans;
PUBLISHED: 2019, SOURCE: OMEGA-INTERNATIONAL JOURNAL OF MANAGEMENT SCIENCE, VOLUME: 86, PAGES: 154-172
7018
TITLE: Some Applications of the Formalization of the Pumping Lemma for Context-Free Languages
AUTHORS: Marcus V M Ramos; Jose Carlos B Bacelar Almeida ; Nelma Moreira ; Ruy J G B de Queiroz;
PUBLISHED: 2019, SOURCE: 13th Workshop on Logical and Semantic Frameworks with Applications (LSFA) in ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 344, PAGES: 151-167
AUTHORS: Marcus V M Ramos; Jose Carlos B Bacelar Almeida ; Nelma Moreira ; Ruy J G B de Queiroz;
PUBLISHED: 2019, SOURCE: 13th Workshop on Logical and Semantic Frameworks with Applications (LSFA) in ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 344, PAGES: 151-167
7019
TITLE: Source Separation of the Second Heart Sound Using Gaussian Mixture Models
AUTHORS: Francesco Renna ; Miguel T Coimbra ;
PUBLISHED: 2019, SOURCE: 2019 Computing in Cardiology, CinC 2019 in 46th Computing in Cardiology, CinC 2019, Singapore, September 8-11, 2019, VOLUME: 2019-September, PAGES: 1-4
AUTHORS: Francesco Renna ; Miguel T Coimbra ;
PUBLISHED: 2019, SOURCE: 2019 Computing in Cardiology, CinC 2019 in 46th Computing in Cardiology, CinC 2019, Singapore, September 8-11, 2019, VOLUME: 2019-September, PAGES: 1-4
7020
TITLE: SpaMHMM: Sparse Mixture of Hidden Markov Models for Graph Connected Entities
AUTHORS: Diogo Perues ; Jaime S Cardoso ;
PUBLISHED: 2019, SOURCE: International Joint Conference on Neural Networks (IJCNN) in 2019 INTERNATIONAL JOINT CONFERENCE ON NEURAL NETWORKS (IJCNN), VOLUME: 2019-July
AUTHORS: Diogo Perues ; Jaime S Cardoso ;
PUBLISHED: 2019, SOURCE: International Joint Conference on Neural Networks (IJCNN) in 2019 INTERNATIONAL JOINT CONFERENCE ON NEURAL NETWORKS (IJCNN), VOLUME: 2019-July
