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

54 Team Members
Filters -> Year: 2025
1061
TÍTULO: Diagnosing Software Faults Using Multiverse Analysis
AUTORES: Prantik Chatterjee; Abhijit Chatterjee; José Campos ; Rui Abreu ; Subhajit Roy;
PUBLICAÇÃO: 2020, FONTE: 29th International Joint Conference on Artificial Intelligence, IJCAI 2020 in Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, IJCAI 2020 [scheduled for July 2020, Yokohama, Japan, postponed due to the Corona pandemic]., VOLUME: 2021-January, PÁGINAS: 1629-1635
INDEXADO EM: Scopus DBLP CrossRef: 2
1062
TÍTULO: DINASORE: A Dynamic Intelligent Reconfiguration Tool for Cyber-Physical Production Systems PDF
AUTORES: Eliseu Moura Pereira ; João Pedro Correia dos Reis; Gil Gonçalves ;
PUBLICAÇÃO: 2020, FONTE: 1st Eclipse Research International Conference on Security, Artificial Intelligence and Modeling for the Next Generation Internet of Things, SAM IoT 2020 in Proceedings of the 1st Eclipse Research International Conference on Security, Artificial Intelligence and Modeling for the next generation Internet of Things, Virtual Event, September 17th - to - 18th, 2020., VOLUME: 2739, PÁGINAS: 63-71
INDEXADO EM: Scopus DBLP
1063
TÍTULO: Discovering locations and habits from human mobility data  Full Text
AUTORES: Andrade, T ; Cancela, B ; Gama, J ;
PUBLICAÇÃO: 2020, FONTE: ANNALS OF TELECOMMUNICATIONS, VOLUME: 75, NÚMERO: 9-10, PÁGINAS: 505-521
INDEXADO EM: Scopus WOS DBLP CrossRef: 18
1064
TÍTULO: Drill-Down Dashboard for Chairing of Online Master Programs in Engineering
AUTORES: Anabela Costa e Silva; Leonel Morgado ; António Coelho ;
PUBLICAÇÃO: 2020, FONTE: 2nd International Conference on Technology and Innovation in Learning, Teaching and Education, TECH-EDU 2020 in Technology and Innovation in Learning, Teaching and Education - Second International Conference, TECH-EDU 2020, Vila Real, Portugal, December 2-4, 2020, Proceedings, 3, VOLUME: 1384, PÁGINAS: 203-209
INDEXADO EM: Scopus DBLP CrossRef Handle
1065
TÍTULO: ECIR 2020 workshops: assessing the impact of going online
AUTORES: Sérgio Nunes ; Suzanne Little; Sumit Bhatia; Ludovico Boratto; Guillaume Cabanac; Ricardo Campos ; Francisco M Couto; Stefano Faralli; Ingo Frommholz; Adam Jatowt; Alípio Jorge ; Mirko Marras; Philipp Mayr; Giovanni Stilo;
PUBLICAÇÃO: 2020, FONTE: SIGIR Forum, VOLUME: 54, NÚMERO: 1, PÁGINAS: 7:1-7:11
INDEXADO EM: DBLP
1066
TÍTULO: Editorial: Special issue on Simulation in Transportation
AUTORES: Harrison, G; Bivona, E; Rossetti, R ;
PUBLICAÇÃO: 2020, FONTE: JOURNAL OF SIMULATION, VOLUME: 14, NÚMERO: 4, PÁGINAS: 239-241
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
1067
TÍTULO: Emotional Contagion Modeled Through the Empathy Quotient: an Epidemiological Analogy Towards Social Sustainability
AUTORES: Filipa Ivars Silva; Rosaldo J F Rossetti ;
PUBLICAÇÃO: 2020, FONTE: 2020 IEEE International Smart Cities Conference, ISC2 2020 in IEEE International Smart Cities Conference, ISC2 2020, Piscataway, NJ, USA, September 28 - October 1, 2020, PÁGINAS: 1-8
INDEXADO EM: Scopus DBLP CrossRef: 1
1068
TÍTULO: Empirical review of automated analysis tools on 47, 587 Ethereum smart contracts PDF
AUTORES: Thomas Durieux; João F Ferreira; Rui Abreu ; Pedro Cruz;
PUBLICAÇÃO: 2020, FONTE: ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June - 19 July, 2020, PÁGINAS: 530-541
INDEXADO EM: DBLP arXiv
1069
TÍTULO: Empirical Review of Automated Analysis Tools on 47,587 Ethereum Smart Contracts PDF
AUTORES: Durieux, T; Ferreira, JF; Abreu, R ; Cruz, P;
PUBLICAÇÃO: 2020, FONTE: 42nd ACM/IEEE International Conference on Software Engineering - Companion Proceedings (ICSE-Companion) in 2020 ACM/IEEE 42ND INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE 2020), PÁGINAS: 530-541
INDEXADO EM: Scopus WOS arXiv CrossRef: 30
1070
TÍTULO: Empirical Study of Restarted and Flaky Builds on Travis CI PDF
AUTORES: Thomas Durieux; Claire Le Goues; Michael Hilton; Rui Abreu ;
PUBLICAÇÃO: 2020, FONTE: 17th IEEE/ACM International Conference on Mining Software Repositories, MSR 2020, co-located with the 42nd International Conference on Software Engineering. ICSE 2020 in CoRR, VOLUME: abs/2003.11772, PÁGINAS: 254-264
INDEXADO EM: Scopus DBLP arXiv CrossRef
1071
TÍTULO: Evaluating Animated Transitions between Contiguous Visualizations for Streaming Big Data
AUTORES: Pereira, T; Moreira, J; Mendes, D ; Goncalves, D;
PUBLICAÇÃO: 2020, FONTE: IEEE Visualization Conference (VIS) in 2020 IEEE VISUALIZATION CONFERENCE - SHORT PAPERS (VIS 2020), PÁGINAS: 161-165
INDEXADO EM: WOS DBLP CrossRef: 3
1072
TÍTULO: Evaluating the Accuracy of Password Strength Meters using Off-The-Shelf Guessing Attacks
AUTORES: David Pereira; João F Ferreira ; Alexandra Mendes ;
PUBLICAÇÃO: 2020, FONTE: 31st IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2020 in 2020 IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Coimbra, Portugal, October 12-15, 2020, PÁGINAS: 237-242
INDEXADO EM: Scopus DBLP CrossRef: 2
1073
TÍTULO: Evaluating the quality of an online course in information literacy applied to engineering students
AUTORES: Oliveira Ramos, Teresa ; Morais, C ; Ribeiro, C ;
PUBLICAÇÃO: 2020, FONTE: Handbook of Research on Determining the Reliability of Online Assessment and Distance Learning, PÁGINAS: 79-117
INDEXADO EM: Scopus CrossRef Unpaywall
1074
TÍTULO: EvoSuite at the SBST 2020 Tool Competition
AUTORES: Panichella, A; Campos, J ; Fraser, G;
PUBLICAÇÃO: 2020, FONTE: 42nd IEEE/ACM International Conference on Software Engineering Workshops, ICSEW 2020 in Proceedings - 2020 IEEE/ACM 42nd International Conference on Software Engineering Workshops, ICSEW 2020, PÁGINAS: 549-552
INDEXADO EM: Scopus CrossRef: 3
1075
TÍTULO: Examining Temporal Trends and Design Goals of Digital Music Instruments for Education in NIME: A Proposed Taxonomy
AUTORES: Margarida Pessoa; Cláudio Parauta; Pedro Luís; Isabela Almeida; Gilberto Bernardes ;
PUBLICAÇÃO: 2020
INDEXADO EM: Handle
1076
TÍTULO: Executing ARMv8 Loop Traces on Reconfigurable Accelerator via Binary Translation Framework
AUTORES: Paulino, N ; Ferreira, JC ; Bispo, J ; Cardoso, JMP ;
PUBLICAÇÃO: 2020, FONTE: 30th International Conference on Field-Programmable Logic and Applications (FPL) in 2020 30TH INTERNATIONAL CONFERENCE ON FIELD-PROGRAMMABLE LOGIC AND APPLICATIONS (FPL), PÁGINAS: 367-367
INDEXADO EM: Scopus WOS DBLP CrossRef
1077
TÍTULO: Expelliarmus: Semantic-centric virtual machine image management in IaaS Clouds  Full Text
AUTORES: Saurabh, N; Benedict, S; Barbosa, JG ; Prodan, R;
PUBLICAÇÃO: 2020, FONTE: JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, VOLUME: 146, PÁGINAS: 107-121
INDEXADO EM: Scopus WOS DBLP CrossRef
1078
TÍTULO: Experiences on Teaching Alloy with an Automated Assessment Platform
AUTORES: Nuno Macedo ; Alcino Cunha ; José Pereira ; Renato Carvalho; Ricardo Silva; Ana C R Paiva ; Miguel Sozinho Ramalho; Daniel Castro Silva;
PUBLICAÇÃO: 2020, FONTE: 7th International Conference on Rigorous State-Based Methods, ABZ 2020 in Rigorous State-Based Methods - 7th International Conference, ABZ 2020, Ulm, Germany, May 27-29, 2020, Proceedings, VOLUME: 12071, PÁGINAS: 61-77
INDEXADO EM: Scopus DBLP CrossRef: 7
1079
TÍTULO: Experimenting with Liveness in Cloud Infrastructure Management
AUTORES: Lourenco, P; Dias, JP ; Aguiar, A ; Ferreira, HS ; André Restivo ;
PUBLICAÇÃO: 2020, FONTE: 14th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE) in EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING, VOLUME: 1172, PÁGINAS: 58-82
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
1080
TÍTULO: Exploration of FPGA-Based Hardware Designs for QR Decomposition for Solving Stiff ODE Numerical Methods Using the HARP Hybrid Architecture  Full Text
AUTORES: de Souza, CAO; Bispo, J ; Cardoso, JMP ; Diniz, PC ; Marques, E;
PUBLICAÇÃO: 2020, FONTE: ELECTRONICS, VOLUME: 9, NÚMERO: 5, PÁGINAS: 843
INDEXADO EM: Scopus WOS CrossRef: 1

Results per Page: 20.
Página 54 de 213. Total de resultados: 4260.