Departamento de Ciências dos Computadores (DCC)
Department of Computer Science

Universidade do Porto (UP) :: Faculdade de Ciências (FCUP)

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

43 Team Members
Filters -> Year: 2025
901
TÍTULO: Secure Provisioning for Achieving End-to-End Secure Communications
AUTORES: Patricia R Sousa ; Joao S Resende ; Rolando Martins ; Luis Antunes ;
PUBLICAÇÃO: 2019, FONTE: 18th International Conference on Ad-Hoc Networks and Wireless (AdHoc-Now) in AD-HOC, MOBILE, AND WIRELESS NETWORKS (ADHOC-NOW 2019), VOLUME: 11803, PÁGINAS: 498-507
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
902
TÍTULO: Security and Fairness in IoT Based e-Health System: A Case Study of Mobile Edge-Clouds
AUTORES: Francis N Nwebonyi; Rolando Martins ; Manuel E Correia ;
PUBLICAÇÃO: 2019, FONTE: 15th International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob) in 2019 INTERNATIONAL CONFERENCE ON WIRELESS AND MOBILE COMPUTING, NETWORKING AND COMMUNICATIONS (WIMOB), VOLUME: 2019-October, PÁGINAS: 318-323
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
903
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
904
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
905
TÍTULO: Some Applications of the Formalization of the Pumping Lemma for Context-Free Languages PDF
AUTORES: Ramos, MVM; Almeida, JCB ; Moreira, N ; de Queiroz, RJGB;
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 arXiv CrossRef
906
TÍTULO: Source Separation of the Second Heart Sound Using Gaussian Mixture Models
AUTORES: Francesco Renna ; Miguel T Coimbra ;
PUBLICAÇÃO: 2019, FONTE: 2019 Computing in Cardiology, CinC 2019 in 46th Computing in Cardiology, CinC 2019, Singapore, September 8-11, 2019, VOLUME: 2019-September, PÁGINAS: 1-4
INDEXADO EM: Scopus DBLP CrossRef: 2
907
TÍTULO: Taming Hierarchical Connectors
AUTORES: José Proença ; Alexandre Madeira ;
PUBLICAÇÃO: 2019, FONTE: 8th International Conference on Fundamentals of Software Engineering, FSEN 2019 in Fundamentals of Software Engineering - 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers, VOLUME: 11761, PÁGINAS: 186-193
INDEXADO EM: Scopus DBLP CrossRef: 5
908
TÍTULO: Temporal network alignment via GoT-WAVE  Full Text
AUTORES: David Aparicio ; Pedro Ribeiro ; Milenkovic, Tijana ; Fernando Silva ;
PUBLICAÇÃO: 2019, FONTE: BIOINFORMATICS, VOLUME: 35, NÚMERO: 18, PÁGINAS: 3527-3529
INDEXADO EM: Scopus WOS DBLP CrossRef: 22
909
TÍTULO: TENSORCAST: forecasting and mining with coupled tensors  Full Text
AUTORES: Miguel Araujo ; Pedro Ribeiro ; Hyun Ah Song; Christos Faloutsos;
PUBLICAÇÃO: 2019, FONTE: KNOWLEDGE AND INFORMATION SYSTEMS, VOLUME: 59, NÚMERO: 3, PÁGINAS: 497-522
INDEXADO EM: Scopus WOS DBLP CrossRef: 6
910
TÍTULO: The CURE for Class Imbalance
AUTORES: Colin Bellinger; Paula Branco ; Luís Torgo ;
PUBLICAÇÃO: 2019, FONTE: Discovery Science - 22nd International Conference, DS 2019, Split, Croatia, October 28-30, 2019, Proceedings, VOLUME: 11828, PÁGINAS: 3-17
INDEXADO EM: DBLP
911
TÍTULO: The CURE for Class Imbalance
AUTORES: Bellinger, C; Branco, P ; Torgo, L ;
PUBLICAÇÃO: 2019, FONTE: 22nd International Conference on Discovery Science, DS 2019 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 11828 LNAI, PÁGINAS: 3-17
INDEXADO EM: Scopus CrossRef: 2
912
TÍTULO: The Last Mile: High-Assurance and High-Speed Cryptographic Implementations PDF
AUTORES: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe ; Benjamin Grégoire; Adrien Koutsos; Vincent Laporte; Tiago Oliveira; Pierre Yves Strub;
PUBLICAÇÃO: 2019, FONTE: CoRR, VOLUME: abs/1904.04606
INDEXADO EM: DBLP arXiv
913
TÍTULO: The search of conditional outliers
AUTORES: Eduarda Portel; Rita P Ribeire ; Joao Gama ;
PUBLICAÇÃO: 2019, FONTE: INTELLIGENT DATA ANALYSIS, VOLUME: 23, NÚMERO: 1, PÁGINAS: 23-39
INDEXADO EM: Scopus WOS DBLP CrossRef: 5
914
TÍTULO: Towards Automatic and Robust Particle Tracking in Microrheology Studies
AUTORES: Castro, M; Araújo, RJ ; Campo Deaño, L ; Oliveira, HP ;
PUBLICAÇÃO: 2019, FONTE: 9th Iberian Conference on Pattern Recognition and Image Analysis, IbPRIA 2019 in PATTERN RECOGNITION AND IMAGE ANALYSIS, IBPRIA 2019, PT II, VOLUME: 11868, PÁGINAS: 508-519
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
915
TÍTULO: TRUSTFS: An SGX-enabled Stackable File System Framework
AUTORES: Tania Esteves ; Ricardo Macedo ; Alberto Faria ; Bernardo Portela ; Joao Paulo ; Jose Pereira ; Danny Harnik;
PUBLICAÇÃO: 2019, FONTE: 38th International Symposium on Reliable Distributed Systems (SRDS) in 2019 38TH INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS WORKSHOPS (SRDSW 2019), PÁGINAS: 25-30
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
916
TÍTULO: Type Inference for Rank 2 Gradual Intersection Types
AUTORES: Ângelo, Pedro ; Mário Florido ;
PUBLICAÇÃO: 2019, FONTE: 20th International Symposium on Trends in Functional Programming, TFP 2019 in Trends in Functional Programming - 20th International Symposium, TFP 2019, Vancouver, BC, Canada, June 12-14, 2019, Revised Selected Papers, VOLUME: 12053, PÁGINAS: 84-120
INDEXADO EM: Scopus DBLP CrossRef: 2
917
TÍTULO: Unsupervised Neural Network for Homography Estimation in Capsule Endoscopy Frames
AUTORES: Gomes, S; Valerio, MT; Salgado, M; Oliveira, HP ; Cunha, A ;
PUBLICAÇÃO: 2019, FONTE: International Conference on ENTERprise Information Systems (CENTERIS) / International Conference on Project MANagement (ProjMAN) / International Conference on Health and Social Care Information Systems and Technologies (HCist) in CENTERIS2019--INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS/PROJMAN2019--INTERNATIONAL CONFERENCE ON PROJECT MANAGEMENT/HCIST2019--INTERNATIONAL CONFERENCE ON HEALTH AND SOCIAL CARE INFORMATION SYSTEMS AND TECHNOLOGIES, VOLUME: 164, PÁGINAS: 602-609
INDEXADO EM: Scopus WOS DBLP CrossRef: 11
918
TÍTULO: Using Grover's search quantum algorithm to solve Boolean satisfiability problems, part 2
AUTORES: Diogo Fernandes; Carla Silva ; Inês Dutra ;
PUBLICAÇÃO: 2019, FONTE: ACM Crossroads, VOLUME: 26, NÚMERO: 2, PÁGINAS: 68-71
INDEXADO EM: DBLP CrossRef
919
TÍTULO: Using Grover's search quantum algorithm to solve Boolean satisfiability problems: Part I
AUTORES: Diogo Fernandes; Inês Dutra ;
PUBLICAÇÃO: 2019, FONTE: ACM Crossroads, VOLUME: 26, NÚMERO: 1, PÁGINAS: 64-66
INDEXADO EM: DBLP
920
TÍTULO: Using HandSpy to Study Writing in Real Time: a Comparison between Low- and High-Quality Texts in Grade 2
AUTORES: Rui A Alves ; José Paulo Leal ; Teresa Limpo;
PUBLICAÇÃO: 2019, FONTE: Studies in Writing, VOLUME: 38, PÁGINAS: 50-70
INDEXADO EM: Scopus CrossRef: 8

Results per Page: 20.
Página 46 de 137. Total de resultados: 2727.