Departamento de Engenharia Informática (DEI)
Department of Informatics Engineering

Universidade do Porto (UP) :: Faculdade de Engenharia (FEUP)

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

61 Team Members
Filters -> Year: 2026
2021
TÍTULO: Certified Password Quality - A Case Study Using Coq and Linux Pluggable Authentication Modules
AUTORES: João F Ferreira; Saul A Johnson; Alexandra Mendes ; Phillip J Brooke;
PUBLICAÇÃO: 2017, FONTE: IFM, VOLUME: 10510 LNCS, PÁGINAS: 407-421
INDEXADO EM: Scopus DBLP
2022
TÍTULO: Challenges of thermographic image in medical applications
AUTORES: Pereira, T ; Simoes, R;
PUBLICAÇÃO: 2017, FONTE: Thermal Imaging: Types, Advancements and Applications, PÁGINAS: 81-101
INDEXADO EM: Scopus
2023
TÍTULO: Characterizing Geo-located Tweets in Brazilian Megacities
AUTORES: Pereira, J; Pasquali, A; Saleiro, P; Rossetti, R ; Cacho, N;
PUBLICAÇÃO: 2017, FONTE: 2017 INTERNATIONAL SMART CITIES CONFERENCE (ISC2), VOLUME: abs/1709.01981, PÁGINAS: 1-6
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
2024
TÍTULO: ClueKing: Allowing Parents to Customize an Informal Learning Environment for Children
AUTORES: Vanessa Cesario; Valentina Nisi ; Antonio Coelho ;
PUBLICAÇÃO: 2017, FONTE: 6th EAI International Conference on Serious Games, Interaction and Simulation (SGAMES) in SERIOUS GAMES, INTERACTION AND SIMULATION, VOLUME: 176, PÁGINAS: 23-30
INDEXADO EM: Scopus WOS CrossRef: 1
2025
TÍTULO: Co-expression networks between protein encoding mitochondrial genes and all the remaining genes in human tissues
AUTORES: Almeida, J; Ferreira, J; Camacho, R ; Pereira, L;
PUBLICAÇÃO: 2017, FONTE: IEEE International Conference on Bioinformatics and Biomedicine (IEEE BIBM) in 2017 IEEE INTERNATIONAL CONFERENCE ON BIOINFORMATICS AND BIOMEDICINE (BIBM), VOLUME: 2017-January, PÁGINAS: 70-73
INDEXADO EM: Scopus WOS DBLP CrossRef
2026
TÍTULO: Code retargeting for CPU-based platforms
AUTORES: João M.P Cardoso ; José Gabriel F Coutinho; Pedro C Diniz;
PUBLICAÇÃO: 2017, FONTE: Embedded Computing for High Performance, PÁGINAS: 185-225
INDEXADO EM: CrossRef
2027
TÍTULO: Collaborative economy for testing cost reduction on Android ecosystem
AUTORES: Kenyo Abadio Crosara Faria; Eduardo Noronha de Andrade Freitas; VINCENZI, AURI M. R. ;
PUBLICAÇÃO: 2017, FONTE: Proceedings of the 8th ACM SIGSOFT International Workshop on Automated Software Testing, A-TEST@ESEC/SIGSOFT FSE 2017, Paderborn, Germany, September 4-5, 2017, PÁGINAS: 11-18
INDEXADO EM: Scopus DBLP CrossRef: 2
2028
TÍTULO: Combining Ranking with Traditional Methods for Ordinal Class Imbalance
AUTORES: Cruz, R ; Fernandes, K ; Costa, JFP ; Ortiz, MP; Cardoso, JS ;
PUBLICAÇÃO: 2017, FONTE: 14th International Work-Conference on Artificial Neural Networks (IWANN) in ADVANCES IN COMPUTATIONAL INTELLIGENCE, IWANN 2017, PT II, VOLUME: 10306, PÁGINAS: 538-548
INDEXADO EM: Scopus WOS DBLP CrossRef: 8
2029
TÍTULO: Command and Control Systems for Search and Rescue Robots
AUTORES: Shashank Govindaraj; Pierre Letier; Keshav Chintamani; Jeremi Gancet; Mario Nunez Jimenez; Miguel Ángel Esbrí; Pawel Musialik; Janusz Bedkowski; Irune Badiola; Ricardo Gonçalves; António Coelho ; Daniel Serrano; Massimo Tosa; Thomas Pfister; Jose Manuel Sanchez;
PUBLICAÇÃO: 2017, FONTE: Search and Rescue Robotics - From Theory to Practice
INDEXADO EM: CrossRef: 2
2030
TÍTULO: Compact Resettable Counters through Causal Stability
AUTORES: Younes, G ; Almeida, PS ; Baquero, C ;
PUBLICAÇÃO: 2017, FONTE: 3rd International Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC) in PROCEEDINGS OF THE 3RD INTERNATIONAL WORKSHOP ON PRINCIPLES AND PRACTICE OF CONSISTENCY FOR DISTRIBUTED DATA (PAPOC 17), PÁGINAS: 2:1-2:3
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
2031
TÍTULO: Compiler Techniques for Efficient MATLAB to OpenCL Code Generation
AUTORES: Luís Reis ; João Bispo ; João M P Cardoso ;
PUBLICAÇÃO: 2017, FONTE: IWOCL, VOLUME: Part F127755, PÁGINAS: 29:1-29:2
INDEXADO EM: Scopus DBLP CrossRef: 1
2032
TÍTULO: COMPOSITION IN STATE-BASED REPLICATED DATA TYPES
AUTORES: Baquero, C ; Almeida, PS ; Cunha, A ; Ferreira, C ;
PUBLICAÇÃO: 2017, FONTE: BULLETIN OF THE EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE, VOLUME: 123, NÚMERO: 123
INDEXADO EM: WOS DBLP
2033
TÍTULO: Computational Models for Social and Technical Interactions
AUTORES: Gama, J ; Oliveira, E ; Cardoso, HL ;
PUBLICAÇÃO: 2017, FONTE: NEW GENERATION COMPUTING, VOLUME: 35, NÚMERO: 4, PÁGINAS: 307-310
INDEXADO EM: Scopus WOS DBLP CrossRef
2034
2035
TÍTULO: Conformance Checking in Integration Testing of Time-constrained Distributed Systems based on UML Sequence Diagrams
AUTORES: Bruno Lima ; João Pascoal Faria ;
PUBLICAÇÃO: 2017, FONTE: ICSOFT, PÁGINAS: 459-466
INDEXADO EM: Scopus DBLP CrossRef: 4
2036
TÍTULO: Constraining Type II Error: Building Intentionally Biased Classifiers
AUTORES: Cruz, R ; Fernandes, K ; Costa, JFP ; Cardoso, JS ;
PUBLICAÇÃO: 2017, FONTE: 14th International Work-Conference on Artificial Neural Networks (IWANN) in ADVANCES IN COMPUTATIONAL INTELLIGENCE, IWANN 2017, PT II, VOLUME: 10306, PÁGINAS: 549-560
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
2037
TÍTULO: Contextual Covariance Matrix Adaptation Evolutionary Strategies
AUTORES: Abbas Abdolmaleki; Bob Price; Nuno Lau ; Luís Paulo Reis ; Gerhard Neumann;
PUBLICAÇÃO: 2017, FONTE: IJCAI, PÁGINAS: 1378-1385
INDEXADO EM: Scopus DBLP CrossRef: 4
2038
TÍTULO: Controlling the design and development cycle
AUTORES: João M.P Cardoso ; José Gabriel F Coutinho; Pedro C Diniz;
PUBLICAÇÃO: 2017, FONTE: Embedded Computing for High Performance, PÁGINAS: 57-98
INDEXADO EM: CrossRef
2039
TÍTULO: Coordination, Organizations, Institutions, and Norms in Agent Systems XII
AUTORES: Stephen Cranefield; Samhar Mahmoud; Julian Padget; Ana Paula Rocha ;
PUBLICAÇÃO: 2017, FONTE: Lecture Notes in Computer Science
INDEXADO EM: CrossRef: 1

Results per Page: 20.
Página 102 de 232. Total de resultados: 4625.