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: 18004
1699 Team MembersFilters -> Year: 2024
6041
TITLE: Simplifying the Algorithm Selection Using Reduction of Rankings of Classification Algorithms
AUTHORS: Salisu Mamman Abdulrahman; Pavel Brazdil ; Wan Mohd Nazmee Wan Zainon; Alhassan Adamu;
PUBLISHED: 2019, SOURCE: 8th International Conference on Software and Computer Applications (ICSCA) in 2019 8TH INTERNATIONAL CONFERENCE ON SOFTWARE AND COMPUTER APPLICATIONS (ICSCA 2019), VOLUME: Part F147956, PAGES: 140-148
AUTHORS: Salisu Mamman Abdulrahman; Pavel Brazdil ; Wan Mohd Nazmee Wan Zainon; Alhassan Adamu;
PUBLISHED: 2019, SOURCE: 8th International Conference on Software and Computer Applications (ICSCA) in 2019 8TH INTERNATIONAL CONFERENCE ON SOFTWARE AND COMPUTER APPLICATIONS (ICSCA 2019), VOLUME: Part F147956, PAGES: 140-148
6042
TITLE: Simplifying the Analysis of Software Design Variants with a Colorful Alloy
AUTHORS: Chong Liu ; Nuno Macedo ; Alcino Cunha ;
PUBLISHED: 2019, SOURCE: 5th International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2019 in Dependable Software Engineering. Theories, Tools, and Applications - 5th International Symposium, SETTA 2019, Shanghai, China, November 27-29, 2019, Proceedings, VOLUME: 11951, PAGES: 38-55
AUTHORS: Chong Liu ; Nuno Macedo ; Alcino Cunha ;
PUBLISHED: 2019, SOURCE: 5th International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2019 in Dependable Software Engineering. Theories, Tools, and Applications - 5th International Symposium, SETTA 2019, Shanghai, China, November 27-29, 2019, Proceedings, VOLUME: 11951, PAGES: 38-55
6043
TITLE: Simulating N-body systems for alternative theories of gravity using solvers from nonlocal optics
AUTHORS: Tiago D Ferreira ; Nuno A Silva ; Bertolami, O ; Gomes, C ; Ariel Guerreiro ;
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: Tiago D Ferreira ; Nuno A Silva ; Bertolami, O ; Gomes, C ; Ariel Guerreiro ;
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
6044
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
6045
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
6046
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 CrossRef6047
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
6048
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
6049
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
6050
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
6051
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
6052
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
6053
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
6054
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
6055
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
6056
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
6057
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
DBLP6058
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
6059
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
6060
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
