Inesc Tecnologia e Ciência (INESC TEC)
Inesc Technology and Science

Publications Actions
Publicações no Perfil Institucional do Authenticus

Uma Instituição (Grupo) no Authenticus é uma organização que engloba um conjunto de Investigadores (equipa da Instituição ou do Grupo). O conjunto de Investigadores depende da estrutura organizacional da instituição em cada ano e pode ser definido no perfil da Instituição, na secção “Investigadores”. Com base na equipa definida, o Authenticus produz listas de publicações, estatísticas e relatórios institucionais.

As publicações listadas no perfil da Instituição no Authenticus dependem de dois parâmetros:

  • Investigadores associados à equipa da Instituição em cada ano.
  • Origem das Publicações.

As publicações associadas à Instituição podem ter três origens:

  • Publicações validadas pelos membros da equipa - Inclui todas as publicações validadas pelos membros da equipa; é necessário que a equipa da Instituição esteja definida.
  • Todas as Publicadas pelos membros da equipa - Inclui todas as anteriores mais aquelas em que um dos autores foi identificado com um membro da equipa, ainda que não tenha sido validada; é necessário que a equipa da Instituição esteja definida.
  • Com Base na Afiliação - inclui todas as publicações que têm a Instituição ou o Grupo mencionado na afiliação; não é necessário que a equipa da Instituição esteja definida mas, por outro lado, não é garantido que todas as publicações da Instituição sejam listadas.
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: 18102

1699 Team Members
Filters -> Year: 2024
6101
TÍTULO: Simplifying the Analysis of Software Design Variants with a Colorful Alloy
AUTORES: Chong Liu ; Nuno Macedo ; Alcino Cunha ;
PUBLICAÇÃO: 2019, FONTE: 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, PÁGINAS: 38-55
INDEXADO EM: Scopus DBLP CrossRef: 1
6102
TÍTULO: Simulação-Otimização: porque e como combiná-las?
AUTORES: Gonçalo Figueira ;
PUBLICAÇÃO: 2019, FONTE: Pesquisa Operacional para o Desenvolvimento, VOLUME: 11, NÚMERO: 1, PÁGINAS: 1-5
INDEXADO EM: CrossRef
6103
TÍTULO: Simulating N-body systems for alternative theories of gravity using solvers from nonlocal optics
AUTORES: Tiago D Ferreira ; Nuno A Silva ; Bertolami, O ; Gomes, C ; Ariel Guerreiro ;
PUBLICAÇÃO: 2019, FONTE: 4th International Conference on Applications of Optics and Photonics (AOP) in FOURTH INTERNATIONAL CONFERENCE ON APPLICATIONS OF OPTICS AND PHOTONICS, VOLUME: 11207
INDEXADO EM: Scopus WOS CrossRef: 3
6104
TÍTULO: Simulation under Arbitrary Temporal Logic Constraints PDF  Full Text
AUTORES: Julien Brunel; David Chemouil; Alcino Cunha ; Nuno Macedo ;
PUBLICAÇÃO: 2019, FONTE: 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, PÁGINAS: 63-69
INDEXADO EM: Scopus DBLP arXiv CrossRef: 2
6105
TÍTULO: Simultaneous lotsizing and scheduling considering secondary resources: a general model, literature review and classification  Full Text
AUTORES: Martin Woerbelauer; Herbert Meyr; Bernardo Almada Lobo ;
PUBLICAÇÃO: 2019, FONTE: OR SPECTRUM, VOLUME: 41, NÚMERO: 1, PÁGINAS: 1-43
INDEXADO EM: Scopus WOS CrossRef: 2
6106
TÍTULO: Simultaneous underwater navigation and mapping
AUTORES: Gaspar, ARS ; Matos, A ;
PUBLICAÇÃO: 2019, FONTE: U.Porto Journal of Engineering, VOLUME: 5, NÚMERO: 2, PÁGINAS: 1-9
INDEXADO EM: Scopus CrossRef
6107
TÍTULO: Size-Density Trajectory in Regenerated Maritime Pine Stands after Fire  Full Text
AUTORES: Enes, T; Lousada, J; Aranha, J; Cerveira, A ; Alegria, C; Fonseca, T;
PUBLICAÇÃO: 2019, FONTE: FORESTS, VOLUME: 10, NÚMERO: 12, PÁGINAS: 1057
INDEXADO EM: Scopus WOS CrossRef Handle
6108
TÍTULO: Skin temperature of the foot: comparing transthyretin Familial Amyloid Polyneuropathy and Diabetic Foot patients  Full Text
AUTORES: Seixas, A ; Vilas Boas, MD ; Carvalho, R; Coelho, T; Ammer, K; Vilas Boas, JP; Joaquim Mendes ; Cunha, JPS ; Ricardo Vardasca ;
PUBLICAÇÃO: 2019, FONTE: COMPUTER METHODS IN BIOMECHANICS AND BIOMEDICAL ENGINEERING-IMAGING AND VISUALIZATION, VOLUME: 7, NÚMERO: 5-6, PÁGINAS: 504-511
INDEXADO EM: Scopus WOS DBLP CrossRef
6109
TÍTULO: SMALL BOWEL MUCOSA SEGMENTATION FOR FRAME CHARACTERIZATION IN VIDEOS OF ENDOSCOPIC CAPSULES
AUTORES: Gil Pinheiro; Paulo Coelho; Mariana Mourao; Maria Salgado; Helder P Oliveira ; Antonio Cunha ;
PUBLICAÇÃO: 2019, FONTE: 16th IEEE International Symposium on Biomedical Imaging (ISBI) in 2019 IEEE 16TH INTERNATIONAL SYMPOSIUM ON BIOMEDICAL IMAGING (ISBI 2019), VOLUME: 2019-April, PÁGINAS: 83-86
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
6110
TÍTULO: Smart and Hybrid Balancing System: Design, Modeling, and Experimental Demonstration
AUTORES: de Castro, R; Pinto, C; Barreras, JV; Araujo, RE ; Howey, DA;
PUBLICAÇÃO: 2019, FONTE: 15th IEEE Vehicle Power and Propulsion Conference (VPPC) in IEEE TRANSACTIONS ON VEHICULAR TECHNOLOGY, VOLUME: 68, NÚMERO: 12, PÁGINAS: 11449-11461
INDEXADO EM: Scopus WOS DBLP CrossRef
6111
TÍTULO: Smart Coach - A Recommendation System for Young Football Athletes
AUTORES: Paulo Matos; João Rocha; Ramiro Gonçalves ; Ana de Almeida; Filipe Santos; David Abreu; Constantino Martins;
PUBLICAÇÃO: 2019, FONTE: 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, PÁGINAS: 171-178
INDEXADO EM: Scopus DBLP CrossRef: 5
6112
TÍTULO: Smart Transformers - Enabling Power-Frequency Regulation Services for Hybrid AC/DC Networks
AUTORES: Justino Rodrigues ; Carlos Moreira ; Joao Pecas Lopes ;
PUBLICAÇÃO: 2019, FONTE: IEEE Milan PowerTech Conference in 2019 IEEE MILAN POWERTECH
INDEXADO EM: Scopus WOS CrossRef: 1
6113
TÍTULO: SMErobotics Smart Robots for Flexible Manufacturing  Full Text
AUTORES: 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;
PUBLICAÇÃO: 2019, FONTE: IEEE ROBOTICS & AUTOMATION MAGAZINE, VOLUME: 26, NÚMERO: 1, PÁGINAS: 78-90
INDEXADO EM: Scopus WOS DBLP CrossRef: 33
6114
TÍTULO: Social and Financial Inclusion through Nonbanking Institutions: A Model for Rural Romania
AUTORES: Xiao Guang Yue ; Yong Cao; Nelson Duarte ; Xue Feng Shao; Otilia Manta;
PUBLICAÇÃO: 2019, FONTE: JOURNAL OF RISK AND FINANCIAL MANAGEMENT, VOLUME: 12, NÚMERO: 4, PÁGINAS: 166
INDEXADO EM: WOS CrossRef: 9
6115
TÍTULO: Social Network Security Risks and Vulnerabilities in Corporate Environments
AUTORES: Fernando Almeida ; José Pinheiro; Vítor Oliveira;
PUBLICAÇÃO: 2019, FONTE: International Journal of Applied Management Sciences and Engineering, VOLUME: 6, NÚMERO: 1, PÁGINAS: 14-28
INDEXADO EM: CrossRef: 1
6116
TÍTULO: Software Modules and Communication to Support Real-Time Remote Control and Monitoring of Unmanned Vehicles
AUTORES: João Ramos; David Safadinho; Roberto Ribeiro; Patrício Domingues; João Barroso ; António Pereira;
PUBLICAÇÃO: 2019, FONTE: 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, PÁGINAS: 45-55
INDEXADO EM: Scopus DBLP CrossRef: 1
6117
TÍTULO: SoK: Computer-Aided Cryptography
AUTORES: Manuel Barbosa ; Gilles Barthe ; Karthikeyan Bhargavan; Bruno Blanchet; Cas Cremers; Kevin Liao; Bryan Parno;
PUBLICAÇÃO: 2019, FONTE: IACR Cryptol. ePrint Arch., VOLUME: 2019, PÁGINAS: 1393
INDEXADO EM: DBLP
6118
TÍTULO: Solar Dehydrator An EPS@ISEP 2019 Project. An EPS@ISEP 2019 Project
AUTORES: 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;
PUBLICAÇÃO: 2019, FONTE: 7th International Conference on Technological Ecosystems for Enhancing Multiculturality (TEEM) in TEEM'19: SEVENTH INTERNATIONAL CONFERENCE ON TECHNOLOGICAL ECOSYSTEMS FOR ENHANCING MULTICULTURALITY, PÁGINAS: 486-493
INDEXADO EM: Scopus WOS DBLP CrossRef Handle
6119
TÍTULO: Solving a large multi-product production-routing problem with delivery time windows
AUTORES: Fabio Neves Moreira ; Bernardo Almada Lobo ; Jean Francois Cordeau; Luis Guimaraes ; Raf Jans;
PUBLICAÇÃO: 2019, FONTE: OMEGA-INTERNATIONAL JOURNAL OF MANAGEMENT SCIENCE, VOLUME: 86, PÁGINAS: 154-172
INDEXADO EM: Scopus WOS CrossRef: 63
6120
TÍTULO: Some Applications of the Formalization of the Pumping Lemma for Context-Free Languages
AUTORES: Marcus V M Ramos; Jose Carlos B Bacelar Almeida ; Nelma Moreira ; Ruy J G B de Queiroz;
PUBLICAÇÃO: 2019, FONTE: 13th Workshop on Logical and Semantic Frameworks with Applications (LSFA) in ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 344, PÁGINAS: 151-167
INDEXADO EM: Scopus WOS DBLP CrossRef

Results per Page: 20.
Página 306 de 906. Total de resultados: 18102.