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

43 Team Members
Filters -> Year: 2025
821
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
822
TÍTULO: Some Applications of the Formalization of the Pumping Lemma for Context-Free Languages
AUTORES: Marcus V M Ramos; Jose Carlos B Bacelar Almeida ; Nelma Moreira ; Ruy J G B de Queiroz;
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 CrossRef
823
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
824
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: 3
825
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: 20
826
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
827
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
828
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
829
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
830
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
831
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
832
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
833
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: 1
834
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
835
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
836
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
837
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
838
TÍTULO: Virtual M-Mode for Echocardiography: A New Approach for the Segmentation of the Anterior Mitral Leaflet
AUTORES: Malik Saad Sultan; Nelson Martins; Eva Costa; Diana Veiga; Manuel Joao Ferreira; Sandra Mattos; Miguel Tavares Coimbra ;
PUBLICAÇÃO: 2019, FONTE: IEEE JOURNAL OF BIOMEDICAL AND HEALTH INFORMATICS, VOLUME: 23, NÚMERO: 1, PÁGINAS: 305-313
INDEXADO EM: WOS DBLP CrossRef: 5
839
TÍTULO: Visual Interpretation of Regression Error
AUTORES: Inês Areosa; Luís Torgo ;
PUBLICAÇÃO: 2019, FONTE: 19th EPIA Conference on Artificial Intelligence, EPIA 2019 in Progress in Artificial Intelligence, 19th EPIA Conference on Artificial Intelligence, EPIA 2019, Vila Real, Portugal, September 3-6, 2019, Proceedings, Part II., VOLUME: 11805, PÁGINAS: 473-485
INDEXADO EM: Scopus DBLP CrossRef: 3
840
TÍTULO: VitalResponder®: Wearable wireless platform for vitals and body-area environment monitoring of first response teams
AUTORES: Cunha, JPS ; Rodrigues, S; Dias, D ; Brandão, P ; Aguiar, A ; Oliveira, I; Fernandes, JM ; Maia, C; Tedim, AR; Barros, A; Azuaje, O; Soares, E; De La Torre, F;
PUBLICAÇÃO: 2019, FONTE: Wearable Technologies and Wireless Body Sensor Networks for Healthcare, PÁGINAS: 387-416
INDEXADO EM: Scopus CrossRef

Results per Page: 20.
Página 42 de 133. Total de resultados: 2644.