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

43 Team Members
Filters -> Year: 2025
901
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
902
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
903
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
904
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
905
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
906
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
907
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
908
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
909
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
910
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
911
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
912
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
913
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
914
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
915
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
916
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
917
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
918
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
919
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
920
TÍTULO: Using Soft Attention Mechanisms to Classify Heart Sounds  Full Text
AUTORES: Jorge Oliveira ; Marcelo Nogueira ; Cleber Ramos; Francesco Renna ; Carlos Ferreira ; Miguel Coimbra ;
PUBLICAÇÃO: 2019, FONTE: 41st Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC) in 2019 41ST ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE AND BIOLOGY SOCIETY (EMBC), PÁGINAS: 6669-6672
INDEXADO EM: Scopus WOS DBLP CrossRef: 2

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