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
1581
TÍTULO: Batched Evaluation of Linear Tabled Logic Programs  Full Text
AUTORES: Miguel Areias ; Ricardo Rocha ;
PUBLICAÇÃO: 2013, FONTE: COMPUTER SCIENCE AND INFORMATION SYSTEMS, VOLUME: 10, NÚMERO: 4, PÁGINAS: 1775-1797
INDEXADO EM: Scopus WOS DBLP CrossRef
1582
TÍTULO: BigYAP: Exo-compilation meets UDI
AUTORES: Vitor Santos Costa ; David Vaz;
PUBLICAÇÃO: 2013, FONTE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 13, NÚMERO: 4-5, PÁGINAS: 799-813
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
1583
TÍTULO: Binary recommender systems: Introduction, an application and outlook. introduction, an application and outlook
AUTORES: Jorge, AM ;
PUBLICAÇÃO: 2013, FONTE: 6th International C* Conference on Computer Science and Software Engineering, C3S2E 2013 in ACM International Conference Proceeding Series, PÁGINAS: 1-2
INDEXADO EM: Scopus DBLP CrossRef
1584
TÍTULO: Cardiovascular Variability and Nociception/Anti-Nociception Balance During Anesthesia
AUTORES: Ana Castro ; Pedro Amorim; Miguel T Coimbra ;
PUBLICAÇÃO: 2013, FONTE: 26th IEEE International Symposium on Computer-Based Medical Systems (CBMS) in 2013 IEEE 26TH INTERNATIONAL SYMPOSIUM ON COMPUTER-BASED MEDICAL SYSTEMS (CBMS), PÁGINAS: 245-250
INDEXADO EM: Scopus WOS DBLP CrossRef
1585
TÍTULO: Certified computer-aided cryptography: Efficient provably secure machine code from high-level implementations. efficient provably secure machine code from high-level implementations  Full Text
AUTORES: Almeida, JB ; Barbosa, M ; Barthe, G ; Dupressoir, F;
PUBLICAÇÃO: 2013, FONTE: 2013 ACM SIGSAC Conference on Computer and Communications Security, CCS 2013 in Proceedings of the ACM Conference on Computer and Communications Security, PÁGINAS: 1217-1229
INDEXADO EM: Scopus DBLP CrossRef: 28
1586
TÍTULO: Certified computer-aided cryptography: efficient provably secure machine code from high-level implementations
AUTORES: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe ; François Dupressoir;
PUBLICAÇÃO: 2013, FONTE: IACR Cryptology ePrint Archive, VOLUME: 2013, PÁGINAS: 316
INDEXADO EM: DBLP
1587
TÍTULO: Classifying heart sounds using multiresolution time series motifs: an exploratory study. an exploratory study
AUTORES: Elsa Ferreira Gomes ; Alípio Mário Jorge ; Paulo J Azevedo ;
PUBLICAÇÃO: 2013, FONTE: 6th International C* Conference on Computer Science and Software Engineering, C3S2E 2013 in International C* Conference on Computer Science & Software Engineering, C3S2E13, Porto, Portugal - July 10 - 12, 2013, PÁGINAS: 23-30
INDEXADO EM: Scopus DBLP CrossRef: 13 Handle
1588
TÍTULO: Classifying heart sounds: Approaches to the PASCAL challenge
AUTORES: Gomes, EF ; Bentley, PJ; Coimbra, M ; Pereira, E; Deng, Y;
PUBLICAÇÃO: 2013, FONTE: International Conference on Health Informatics, HEALTHINF 2013 in HEALTHINF 2013 - Proceedings of the International Conference on Health Informatics, PÁGINAS: 337-340
INDEXADO EM: Scopus DBLP
1589
TÍTULO: Clustering and Classifying Text Documents - A Revisit to Tagging Integration Methods
AUTORES: Elisabete Cunha; Álvaro Figueira ; Óscar Mealha ;
PUBLICAÇÃO: 2013, FONTE: 5th International Conference on Knowledge Discovery and Information Retrieval, KDIR 2013 and the 5th International Conference on Knowledge Management and Information Sharing, KMIS 2013 in KDIR/KMIS 2013 - Proceedings of the International Conference on Knowledge Discovery and Information Retrieval and the International Conference on Knowledge Management and Information Sharing, Vilamoura, Algarve, Portugal, 19 - 22 September, 2013, PÁGINAS: 160-168
INDEXADO EM: Scopus DBLP CrossRef
1590
TÍTULO: Clustering Documents Using Tagging Communities and Semantic Proximity
AUTORES: Elisabete Cunha; Alvaro Figueira ; Oscar Mealha ;
PUBLICAÇÃO: 2013, FONTE: 8th Iberian Conference on Information Systems and Technologies (CISTI) in PROCEEDINGS OF THE 2013 8TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI 2013)
INDEXADO EM: Scopus WOS
1591
TÍTULO: Collision-free jamming for enhanced wireless secrecy
AUTORES: Vilela, JP ; Barros, J ;
PUBLICAÇÃO: 2013, FONTE: 2013 IEEE 14th International Symposium on a World of Wireless, Mobile and Multimedia Networks, WoWMoM 2013 in 2013 IEEE 14th International Symposium on a World of Wireless, Mobile and Multimedia Networks, WoWMoM 2013
INDEXADO EM: Scopus CrossRef: 7
1592
TÍTULO: Combining a Tablet and an Electronic Stethoscope to Create a New Interaction Paradigm for Teaching Cardiac Auscultation
AUTORES: Pereira, D; Gomes, P; Mota, E; Costa, E; Cruz Correia, R ; Coimbra, M ;
PUBLICAÇÃO: 2013, FONTE: 15th International Conference on Human-Computer Interaction, HCI International 2013 in Communications in Computer and Information Science, VOLUME: 374, NÚMERO: PART II, PÁGINAS: 206-209
INDEXADO EM: Scopus DBLP CrossRef: 2
1593
TÍTULO: Combining usage and content in an online recommendation system for music in the Long Tail
AUTORES: Marcos Aurélio Domingues; Fabien Gouyon; Alípio Mário Jorge ; José Paulo Leal ; João Vinagre ; Luís Lemos; Mohamed Sordo;
PUBLICAÇÃO: 2013, FONTE: IJMIR, VOLUME: 2, NÚMERO: 1, PÁGINAS: 3-13
INDEXADO EM: Scopus DBLP CrossRef: 35
1594
TÍTULO: Community Detection by Local Influence
AUTORES: Nuno Cravino; Alvaro Figueira ;
PUBLICAÇÃO: 2013, FONTE: World Conference on Information Systems and Technologies (WorldCIST) in ADVANCES IN INFORMATION SYSTEMS AND TECHNOLOGIES, VOLUME: 206, PÁGINAS: 193-200
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
1595
TÍTULO: Comparing relational and non-relational algorithms for clustering propositional data  Full Text
AUTORES: Motta, R; Nogueira, BM; Jorge, AM ; De Andrade Lopes, A; Rezende, SO; De Oliveira, MCF;
PUBLICAÇÃO: 2013, FONTE: 28th Annual ACM Symposium on Applied Computing, SAC 2013 in Proceedings of the ACM Symposium on Applied Computing, PÁGINAS: 150-155
INDEXADO EM: Scopus DBLP CrossRef: 3
1596
TÍTULO: Composing Least-change Lenses
AUTORES: Nuno Macedo ; Hugo Pacheco ; Alcino Cunha ; José Nuno Oliveira ;
PUBLICAÇÃO: 2013, FONTE: ECEASST, VOLUME: 57
INDEXADO EM: Scopus DBLP
1597
TÍTULO: Compressive Classification
AUTORES: Reboredo, H; Renna, F ; Calderbank, R; Rodrigues, MRD ;
PUBLICAÇÃO: 2013, FONTE: IEEE International Symposium on Information Theory (ISIT) in 2013 IEEE INTERNATIONAL SYMPOSIUM ON INFORMATION THEORY PROCEEDINGS (ISIT), PÁGINAS: 674-+
INDEXADO EM: Scopus WOS CrossRef: 19
1598
TÍTULO: COMPRESSIVE SENSING FOR INCOHERENT IMAGING SYSTEMS WITH OPTICAL CONSTRAINTS
AUTORES: Francesco Renna ; Miguel R D Rodrigues ; Minhua H Chen; Robert Calderbank; Lawrence Carin;
PUBLICAÇÃO: 2013, FONTE: IEEE International Conference on Acoustics, Speech, and Signal Processing (ICASSP) in 2013 IEEE INTERNATIONAL CONFERENCE ON ACOUSTICS, SPEECH AND SIGNAL PROCESSING (ICASSP), PÁGINAS: 5484-5488
INDEXADO EM: Scopus WOS CrossRef: 1
1599
TÍTULO: CPEB1 coordinates alternative 3 ' -UTR formation with translational regulation  Full Text
AUTORES: Felice Alessio Bava; Carolina Eliscovich; Pedro G Ferreira ; Belen Minana; Claudia Ben Dov; Roderic Guigo; Juan Valcarcel; Raul Mendez;
PUBLICAÇÃO: 2013, FONTE: NATURE, VOLUME: 495, NÚMERO: 7439, PÁGINAS: 121-125
INDEXADO EM: Scopus WOS CrossRef: 140
1600
TÍTULO: Creating and analysing a social network built from clips of online news
AUTORES: Figueira, Á ; Devezas, J ; Cravino, N; Revilla, LF;
PUBLICAÇÃO: 2013, FONTE: Information Systems and Technology for Organizations in a Networked Society, PÁGINAS: 67-86
INDEXADO EM: Scopus CrossRef Handle

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