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: 20117

1707 Team Members
Filters -> Year: 2025
7181
TÍTULO: Formal Methods – The Next 30 Years. Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings
AUTORES: Maurice H ter Beek; Annabelle McIver; José N Oliveira ;
PUBLICAÇÃO: 2019, FONTE: Lecture Notes in Computer Science
INDEXADO EM: CrossRef Openlibrary
7182
TÍTULO: Formal security analysis of LoRaWAN  Full Text
AUTORES: Eldefrawy, M; Butun, I; Pereira, N ; Gidlund, M;
PUBLICAÇÃO: 2019, FONTE: COMPUTER NETWORKS, VOLUME: 148, PÁGINAS: 328-339
INDEXADO EM: Scopus WOS CrossRef: 90
7183
TÍTULO: Formal techniques in the safety analysis of software components of a new dialysis machine  Full Text
AUTORES: Michael D Harrison; Leo Freitas; Michael Drinnan; Jose C Campos ; Paolo Masci ; Costanzo di Maria; Michael Whitaker;
PUBLICAÇÃO: 2019, FONTE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 175, PÁGINAS: 17-34
INDEXADO EM: Scopus WOS DBLP CrossRef: 19
7184
TÍTULO: Formal Verification of Interactive Computing Systems: Opportunities, Challenges PDF
AUTORES: José Creissac Campos ; Michael D Harrison;
PUBLICAÇÃO: 2019, FONTE: 2019 Joint HCI Engineering - Methods and Tools for Advanced Interactive Systems and Integration of Multiple Stakeholder Viewpoints, HCI Engineering 2019 in Joint Proceedings HCI Engineering 2019 - Methods and Tools for Advanced Interactive Systems and Integration of Multiple Stakeholder Viewpoints co-located with 11th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2019), Valencia, Spain, June 18, 2019., VOLUME: 2503, PÁGINAS: 69-75
INDEXADO EM: Scopus DBLP
7185
TÍTULO: Fostering Professional Competencies in Engineering Undergraduates with EPS@ISEP
AUTORES: Malheiro, B ; Guedes, P ; Silva, ME ; Ferreira, P ;
PUBLICAÇÃO: 2019, FONTE: EDUCATION SCIENCES, VOLUME: 9, NÚMERO: 2, PÁGINAS: 119
INDEXADO EM: Scopus WOS CrossRef: 18
7186
TÍTULO: From problem structuring to optimization: A multi-methodological framework to assist the planning of medical training  Full Text
AUTORES: Cardoso Grilo, T; Monteiro, M; Oliveira, MD; Amorim Lopes, M ; Barbosa Povoa, A ;
PUBLICAÇÃO: 2019, FONTE: EUROPEAN JOURNAL OF OPERATIONAL RESEARCH, VOLUME: 273, NÚMERO: 2, PÁGINAS: 662-683
INDEXADO EM: Scopus WOS CrossRef: 9
7187
TÍTULO: From Requirements to Automated Acceptance Tests of Interactive Apps: An Integrated Model-based Testing Approach
AUTORES: Daniel Maciel; Ana C R Paiva ; Alberto Rodrigues da Silva ;
PUBLICAÇÃO: 2019, FONTE: 14th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE) in PROCEEDINGS OF THE 14TH INTERNATIONAL CONFERENCE ON EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING (ENASE), PÁGINAS: 265-272
INDEXADO EM: Scopus WOS DBLP CrossRef: 8
7188
TÍTULO: Full-body motion assessment: Concurrent validation of two body tracking depth sensors versus a gold standard system during gait
AUTORES: Maria do Carmo Vilas Boas ; Hugo Miguel P Pereira Choupina; Ana Patricia Rocha; Jose Maria Fernandes ; Joao Paulo S Silva Cunha ;
PUBLICAÇÃO: 2019, FONTE: JOURNAL OF BIOMECHANICS, VOLUME: 87, PÁGINAS: 189-196
INDEXADO EM: Scopus WOS CrossRef: 45
7189
TÍTULO: Full-Duplex Jamming for Enhanced Hidden-Key Secrecy
AUTORES: Dryer, Z; Nickerl, A; Gomes, MAC; Vilela, JP ; Harrison, WK;
PUBLICAÇÃO: 2019, FONTE: IEEE International Conference on Communications (ICC) in ICC 2019 - 2019 IEEE INTERNATIONAL CONFERENCE ON COMMUNICATIONS (ICC), VOLUME: 2019-May
INDEXADO EM: Scopus WOS CrossRef: 4
7190
TÍTULO: FUNCTIONAL METAMATERIALS FOR OPTICAL SENSING OF HYDROGEN
AUTORES: Guerreiro, A ; Apolinario, A ; Lopes, A; Hierro Rodriguez, A; Aguilar, G ; Baptista, JM ; Silva, NA ; Frazao, O ; Quiterio, P; Jorge, P ; Rodrigues, P; Moraes, SS ; Silva, S ; Ferreira, TD ; Santos, JL ; Araujo, JP ;
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 Unpaywall
7191
TÍTULO: Future Perspectives of the Optical Clearing Method
AUTORES: Luís Manuel Couto Oliveira ; Valery Victorovich Tuchin;
PUBLICAÇÃO: 2019, FONTE: SpringerBriefs in Physics, VOLUME: Part F995, PÁGINAS: 163-172
INDEXADO EM: Scopus
7192
TÍTULO: Gait stride-to-stride variability and foot clearance pattern analysis in Idiopathic Parkinson's Disease and Vascular Parkinsonism
AUTORES: Ferreira, Flora ; Gago, MF; Bicho, E ; Carvalho, C; Mollaei, N; Rodrigues, L; Sousa, N ; Rodrigues, PP ; Ferreira, C ; Gama, J ;
PUBLICAÇÃO: 2019, FONTE: JOURNAL OF BIOMECHANICS, VOLUME: 92, PÁGINAS: 98-104
INDEXADO EM: Scopus WOS CrossRef: 25 Handle
7193
TÍTULO: Gamificação de uma plataforma social académica numa universidade de ensino a distância
AUTORES: Fernando Saraiva; Lina Morgado; Vitor Rocio ;
PUBLICAÇÃO: 2019
INDEXADO EM: Handle
7194
TÍTULO: GarmNet: Improving Global with Local Perception for Robotic Laundry Folding
AUTORES: Daniel Fernandes Gomes; Shan Luo; Luís F Teixeira ;
PUBLICAÇÃO: 2019, FONTE: Towards Autonomous Robotic Systems - 20th Annual Conference, TAROS 2019, London, UK, July 3-5, 2019, Proceedings, Part II, VOLUME: 11650, PÁGINAS: 49-61
INDEXADO EM: Scopus DBLP CrossRef: 1
7195
TÍTULO: Gasification of Crude Glycerol after Salt Removal  Full Text
AUTORES: Ana Almeida; Rosa Pilao ; Albina Ribeiro; Elisa Ramalho ; Carlos Pinho;
PUBLICAÇÃO: 2019, FONTE: ENERGY & FUELS, VOLUME: 33, NÚMERO: 10, PÁGINAS: 9942-9948
INDEXADO EM: Scopus WOS CrossRef: 9
7196
TÍTULO: Generalising KAT to Verify Weighted Computations  Full Text
AUTORES: Leonardo Gomes ; Alexandre Madeira ; Luís Soares Barbosa ;
PUBLICAÇÃO: 2019, FONTE: SCIENTIFIC ANNALS OF COMPUTER SCIENCE, VOLUME: 29, NÚMERO: 2, PÁGINAS: 141-184
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
7197
TÍTULO: Generating a Binary Symmetric Channel for Wiretap Codes
AUTORES: Harrison, WK; Fernandes, T; Gomes, MAC; Vilela, JP ;
PUBLICAÇÃO: 2019, FONTE: IEEE TRANSACTIONS ON INFORMATION FORENSICS AND SECURITY, VOLUME: 14, NÚMERO: 8, PÁGINAS: 2128-2138
INDEXADO EM: Scopus WOS CrossRef: 13
7198
TÍTULO: Generation Expansion Planning Based on Positive Net Present Value
AUTORES: Martinez, SD ; Collado, JV ;
PUBLICAÇÃO: 2019, FONTE: 16th International Conference on the European Energy Market (EEM) in 2019 16TH INTERNATIONAL CONFERENCE ON THE EUROPEAN ENERGY MARKET (EEM), VOLUME: 2019-September
INDEXADO EM: Scopus WOS CrossRef: 1
7199
TÍTULO: Genetic algorithm applied to remove noise in DICOM images
AUTORES: Saraiva, AA ; de Oliveira, MS; Oliveira, PBD ; Pires, EJS ; Ferreira, NMF ; Valente, A ;
PUBLICAÇÃO: 2019, FONTE: JOURNAL OF INFORMATION & OPTIMIZATION SCIENCES, VOLUME: 40, NÚMERO: 7, PÁGINAS: 1543-1558
INDEXADO EM: WOS CrossRef: 2
7200
TÍTULO: Genetic Algorithms for Portfolio Optimization with Weighted Sum Approach
AUTORES: Faia, R; Pinto, T ; Vale, Z ; Corchado, JM; Soares, J; Lezama, F;
PUBLICAÇÃO: 2019, FONTE: 8th IEEE Symposium Series on Computational Intelligence, SSCI 2018 in Proceedings of the 2018 IEEE Symposium Series on Computational Intelligence, SSCI 2018, PÁGINAS: 1823-1829
INDEXADO EM: Scopus CrossRef: 7

Results per Page: 20.
Página 360 de 1006. Total de resultados: 20117.