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

49 Team Members
Filters -> Year: 2024
861
TÍTULO: Skeptic: Automatic, Justified and Privacy-Preserving Password Composition Policy Selection
AUTORES: Saul A Johnson; João F Ferreira; Alexandra Mendes ; Julien Cordry;
PUBLICAÇÃO: 2020, FONTE: 15th ACM Asia Conference on Computer and Communications Security, ASIA CCS 2020 in ASIA CCS '20: The 15th ACM Asia Conference on Computer and Communications Security, Taipei, Taiwan, October 5-9, 2020, PÁGINAS: 101-115
INDEXADO EM: Scopus DBLP
862
TÍTULO: SmartBugs. a framework to analyze solidity smart contracts
AUTORES: João F Ferreira; Pedro Cruz; Thomas Durieux; Rui Abreu ;
PUBLICAÇÃO: 2020, FONTE: Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering
INDEXADO EM: CrossRef: 1
863
TÍTULO: SmartBugs: A Framework to Analyze Solidity Smart Contracts
AUTORES: Ferreira, JF; Cruz, P; Durieux, T; Abreu, R ;
PUBLICAÇÃO: 2020, FONTE: 35th IEEE/ACM International Conference on Automated Software Engineering (ASE) in 2020 35TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2020), PÁGINAS: 1349-1352
INDEXADO EM: Scopus WOS DBLP
864
TÍTULO: SmartGC: a software architecture for garbage collection in smart cities
AUTORES: Ramalho, MS; Rossetti, RJF ; Cacho, N; Souza, A;
PUBLICAÇÃO: 2020, FONTE: INTERNATIONAL JOURNAL OF BIO-INSPIRED COMPUTATION, VOLUME: 16, NÚMERO: 2, PÁGINAS: 79-93
INDEXADO EM: Scopus WOS DBLP CrossRef
865
TÍTULO: Software Operational Profile vs. Test Profile: Towards a Better Software Testing Strategy
AUTORES: Luiz Cavamura Júnior; Ricardo Morimoto; Sandra Fabbri; Ana C R Paiva ; Auri Marcelo Rizzo Vincenzi;
PUBLICAÇÃO: 2020, FONTE: J. Softw. Eng. Res. Dev., VOLUME: 8, PÁGINAS: 5
INDEXADO EM: DBLP
866
TÍTULO: Source-to-source compilation targeting OpenMP-based automatic parallelization of C applications  Full Text
AUTORES: Hamid Arabnejad; Joao Bispo ; Joao M P Cardoso ; Jorge G Barbosa ;
PUBLICAÇÃO: 2020, FONTE: JOURNAL OF SUPERCOMPUTING, VOLUME: 76, NÚMERO: 9, PÁGINAS: 6753-6785
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
867
TÍTULO: Spatiotemporal Phenomena Summarization through Static Visual Narratives
AUTORES: Marques, D; de Carvalho, AV ; Rodrigues, R ; Carneiro, E;
PUBLICAÇÃO: 2020, FONTE: 24th International Conference Information Visualisation (IV) in 2020 24TH INTERNATIONAL CONFERENCE INFORMATION VISUALISATION (IV 2020), VOLUME: 2020-September, PÁGINAS: 467-472
INDEXADO EM: Scopus WOS DBLP CrossRef
868
TÍTULO: SPELLing out energy leaks: Aiding developers locate energy inefficient code  Full Text
AUTORES: Rui Pereira ; Tiago Carcao; Marco Couto ; Jacome Cunha ; Joao Paulo Fernandes ; Joao Saraiva ;
PUBLICAÇÃO: 2020, FONTE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 161, PÁGINAS: 110463
INDEXADO EM: Scopus WOS DBLP CrossRef: 11
869
TÍTULO: State-Machine Replication for Planet-Scale Systems
AUTORES: Enes, V ; Baquero, C ; Rezende, TF; Gotsman, A; Perrin, M; Sutra, P;
PUBLICAÇÃO: 2020, FONTE: 15th European Conference on Computer Systems (EuroSys) in PROCEEDINGS OF THE FIFTEENTH EUROPEAN CONFERENCE ON COMPUTER SYSTEMS (EUROSYS'20), PÁGINAS: 24:1-24:15
INDEXADO EM: Scopus WOS DBLP
870
TÍTULO: State-machine replication for planet-scale systems
AUTORES: Vitor Enes; Carlos Baquero ; Tuanir França Rezende; Alexey Gotsman; Matthieu Perrin; Pierre Sutra;
PUBLICAÇÃO: 2020, FONTE: Proceedings of the Fifteenth European Conference on Computer Systems
INDEXADO EM: CrossRef: 1
871
TÍTULO: State-Machine Replication for Planet-Scale Systems (Extended Version)
AUTORES: Vitor Enes ; Carlos Baquero ; Tuanir França Rezende; Alexey Gotsman; Matthieu Perrin; Pierre Sutra;
PUBLICAÇÃO: 2020, FONTE: CoRR, VOLUME: abs/2003.11789
INDEXADO EM: DBLP
872
TÍTULO: State-of-the-Art Approaches for Meta-Knowledge Assertion in the Web of Data  Full Text
AUTORES: Sen, S; Malta, MC ; Dutta, B; Dutta, A;
PUBLICAÇÃO: 2020, FONTE: IETE TECHNICAL REVIEW, VOLUME: 38, NÚMERO: 6, PÁGINAS: 672-709
INDEXADO EM: Scopus WOS CrossRef: 5
873
TÍTULO: Stress among Portuguese Medical Students: the EuStress Solution  Full Text
AUTORES: Silva, E ; Aguiar, J; Reis, LP ; Sa, JOE; Goncalves, J; Carvalho, V;
PUBLICAÇÃO: 2020, FONTE: JOURNAL OF MEDICAL SYSTEMS, VOLUME: 44, NÚMERO: 2, PÁGINAS: 45
INDEXADO EM: Scopus WOS DBLP CrossRef: 10
874
TÍTULO: Studying How Health Literacy Influences Attention during Online Information Seeking
AUTORES: Lopes, CT ; Ramos, E;
PUBLICAÇÃO: 2020, FONTE: 5th ACM SIGIR Conference on Human Information Interaction and Retrieval (CHIIR) in CHIIR'20: PROCEEDINGS OF THE 2020 CONFERENCE ON HUMAN INFORMATION INTERACTION AND RETRIEVAL, PÁGINAS: 283-291
INDEXADO EM: Scopus WOS DBLP CrossRef
875
TÍTULO: Teaching Software Engineering Topics Through Pedagogical Game Design Patterns: An Empirical Study  Full Text
AUTORES: Nuno Flores ; Ana C R Paiva ; Nuno Cruz;
PUBLICAÇÃO: 2020, FONTE: INFORMATION, VOLUME: 11, NÚMERO: 3, PÁGINAS: 153
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
876
TÍTULO: Test case generation based on mutations over user execution traces  Full Text
AUTORES: Ana C R Paiva ; André Restivo ; Sergio Almeida;
PUBLICAÇÃO: 2020, FONTE: SOFTWARE QUALITY JOURNAL, VOLUME: 28, NÚMERO: 3, PÁGINAS: 1173-1186
INDEXADO EM: Scopus WOS DBLP CrossRef: 5
877
TÍTULO: The 4-corner model as a synchromodal and digital twin enabler in the transportation sector
AUTORES: Carvalho, A ; Melo, P; Oliveira, MA ; Barros, R;
PUBLICAÇÃO: 2020, FONTE: 2020 IEEE International Conference on Engineering, Technology and Innovation, ICE/ITMC 2020 in Proceedings - 2020 IEEE International Conference on Engineering, Technology and Innovation, ICE/ITMC 2020
INDEXADO EM: Scopus CrossRef: 8
878
TÍTULO: The ADC API: A Web API for the Programmatic Query of the AIRR Data Commons
AUTORES: Scott Christley; Ademar Aguiar ; George Blanck; Felix Breden; Syed Ahmad Chan Bukhari; Christian E Busse; Jerome Jaglale; Srilakshmy L Harikrishnan; Uri Laserson; Bjoern Peters; Artur Rocha ; Chaim A Schramm; Sarah Taylor; Jason A Vander Heiden; Bojan Zimonja; Corey T Watson; Brian Corrie; Lindsay G Cowell;
PUBLICAÇÃO: 2020, FONTE: Frontiers Big Data, VOLUME: 3, PÁGINAS: 22
INDEXADO EM: DBLP CrossRef: 16
879
TÍTULO: The AgilECo Pattern Language: Physical Environment. Physical Environment
AUTORES: Daniel Pinho; Ademar Aguiar ;
PUBLICAÇÃO: 2020, FONTE: 2020 European Conference on Pattern Languages of Programs, EuroPLoP 2020 in EuroPLoP '20: European Conference on Pattern Languages of Programs 2020, Virtual Event, Germany, 1-4 July, 2020, PÁGINAS: 30:1-30:9
INDEXADO EM: Scopus DBLP CrossRef
880
TÍTULO: THE AUGMENTED REALITY AS A SALES PROMOTION TOOL
AUTORES: Valle, M; Moutinho, N ; Rodrigues, R ;
PUBLICAÇÃO: 2020, FONTE: 8th International Academic Conference on Strategica - Preparing for Tomorrow, Today in STRATEGICA: PREPARING FOR TOMORROW, TODAY, PÁGINAS: 362-372
INDEXADO EM: WOS

Results per Page: 20.
Página 44 de 194. Total de resultados: 3872.