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
1721
TÍTULO: Automatic amortised analysis of dynamic memory allocation for lazy functional programs
AUTORES: Simoes, H; Vasconcelos, P ; Florido, M ; Jost, S; Hammond, Kevin;
PUBLICAÇÃO: 2012, FONTE: 17th ACM SIGPLAN International Conference on Functional Programming, ICFP 2012 in Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP, PÁGINAS: 165-176
INDEXADO EM: Scopus
1722
TÍTULO: Automatic Clustering Assessment through a Social Tagging System
AUTORES: Elisabete Cunha; Alvaro Figueira ;
PUBLICAÇÃO: 2012, FONTE: 15th IEEE International Conference on Computational Science and Engineering (CSE) / 10th IEEE/IFIP International Conference on Embedded and Ubiquitous Computing (EUC) in 15TH IEEE INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE AND ENGINEERING (CSE 2012) / 10TH IEEE/IFIP INTERNATIONAL CONFERENCE ON EMBEDDED AND UBIQUITOUS COMPUTING (EUC 2012), PÁGINAS: 74-81
INDEXADO EM: Scopus WOS DBLP CrossRef
1723
TÍTULO: Bidirectional data transformation by calculation
AUTORES: Hugo Pacheco ;
PUBLICAÇÃO: 2012
INDEXADO EM: DBLP Handle
1724
TÍTULO: Bidirectional Transformation of Model-Driven Spreadsheets
AUTORES: Jácome Cunha ; João Paulo Fernandes ; Jorge Mendes ; Hugo Pacheco ; João Saraiva ;
PUBLICAÇÃO: 2012, FONTE: 5th International Conference on Theory and Practice of Model Transformations, ICMT 2012 in Theory and Practice of Model Transformations - 5th International Conference, ICMT 2012, Prague, Czech Republic, May 28-29, 2012. Proceedings, VOLUME: 7307, PÁGINAS: 105-120
INDEXADO EM: Scopus DBLP CrossRef: 16 Handle
1725
TÍTULO: Bridging between programming exercises formats with BabeLO
AUTORES: José P Leal ; Ricardo Queirós;
PUBLICAÇÃO: 2012, FONTE: ACM International Collegiate Programming Contest (ICPC) World Final Competitive Learning Institute Symposium, 5th
INDEXADO EM: Handle
1726
TÍTULO: Certifying execution time
AUTORES: Rodrigues, V ; Pedroso, JP ; Florido, M ; De Sousa, SM ;
PUBLICAÇÃO: 2012, FONTE: 2nd International Workshop on Foundational and Practical Aspects of Resource Analysis, FOPARA 2011 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7177 LNCS, PÁGINAS: 108-125
INDEXADO EM: Scopus DBLP CrossRef: 1
1727
TÍTULO: Classifying news stories with a constrained learning strategy to estimate the direction of a market index PDF  Full Text
AUTORES: Drury, B; Torgo, L ; Almeida, JJ ;
PUBLICAÇÃO: 2012, FONTE: International Journal of Computer Science and Applications, VOLUME: 9, NÚMERO: 1, PÁGINAS: 1-22
INDEXADO EM: Scopus DBLP
1728
TÍTULO: Combining General Multi-class and Specific Two-class Classifiers for Improved Customized ECG Heartbeat Classification
AUTORES: Can Ye; Vijaya V K V Kumar; Miguel Tavares Coimbra ;
PUBLICAÇÃO: 2012, FONTE: 21st International Conference on Pattern Recognition (ICPR) in 2012 21ST INTERNATIONAL CONFERENCE ON PATTERN RECOGNITION (ICPR 2012), PÁGINAS: 2428-2431
INDEXADO EM: Scopus WOS DBLP
1729
TÍTULO: Combining usage and content in an online music recommendation system for music in the long-tail
AUTORES: Domingues, MA; Gouyon, F ; Jorge, AM ; Leal, JP ; Vinagre, J ; Lemos, L; Sordo, M;
PUBLICAÇÃO: 2012, FONTE: 21st Annual Conference on World Wide Web, WWW'12 in WWW'12 - Proceedings of the 21st Annual Conference on World Wide Web Companion, PÁGINAS: 925-929
INDEXADO EM: Scopus DBLP CrossRef: 9
1730
TÍTULO: Comparing state-of-the-art regression methods for long term travel time prediction  Full Text
AUTORES: Joao Mendes Moreira ; Alipio Mario Jorge ; Jorge Freire de Sousa ; Carlos Soares ;
PUBLICAÇÃO: 2012, FONTE: INTELLIGENT DATA ANALYSIS, VOLUME: 16, NÚMERO: 3, PÁGINAS: 427-449
INDEXADO EM: Scopus WOS DBLP CrossRef: 43
1731
TÍTULO: Comparison of co-authorship networks across scientific fields using motifs
AUTORES: Sarvenaz Choobdar ; Pedro Ribeiro ; Sylwia Bugla ; Fernando Silva ;
PUBLICAÇÃO: 2012, FONTE: IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining in 2012 IEEE/ACM INTERNATIONAL CONFERENCE ON ADVANCES IN SOCIAL NETWORKS ANALYSIS AND MINING (ASONAM), PÁGINAS: 147-152
INDEXADO EM: WOS DBLP CrossRef: 24
1732
TÍTULO: Computing Semantic Relatedness using DBPedia
AUTORES: José Paulo Leal ; Vânia Rodrigues; Ricardo Queirós ;
PUBLICAÇÃO: 2012, FONTE: 1st Symposium on Languages, Applications and Technologies, SLATE 2012, Braga, Portugal, June 21-22, 2012, VOLUME: 21, PÁGINAS: 133-147
INDEXADO EM: Scopus DBLP Handle
1733
TÍTULO: Conceptual clustering of multi-relational data
AUTORES: Fonseca, NA ; Santos Costa, V ; Camacho, R ;
PUBLICAÇÃO: 2012, FONTE: 21st International Conference on InductiveLogic Programming, ILP 2011 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7207 LNAI, PÁGINAS: 145-159
INDEXADO EM: Scopus DBLP CrossRef: 4
1734
TÍTULO: Conditional Renyi Entropies
AUTORES: Andreia Teixeira ; Armando Matos ; Luis Antunes ;
PUBLICAÇÃO: 2012, FONTE: IEEE TRANSACTIONS ON INFORMATION THEORY, VOLUME: 58, NÚMERO: 7, PÁGINAS: 4273-4277
INDEXADO EM: Scopus WOS DBLP CrossRef: 59
1735
TÍTULO: Creating News Context From a Folksonomy of Web Clipping
AUTORES: Jose Devezas ; Henrique Alves; Alvaro Figueira ;
PUBLICAÇÃO: 2012, FONTE: International MultiConference of Engineers and Computer Scientists (IMECS 2012) in INTERNATIONAL MULTICONFERENCE OF ENGINEERS AND COMPUTER SCIENTISTS, IMECS 2012, VOL I, VOLUME: 1, PÁGINAS: 446-451
INDEXADO EM: Scopus WOS
1736
TÍTULO: D-Confidence: An active learning strategy to reduce label disclosure complexity in the presence of imbalanced class distributions
AUTORES: Escudeiro, NF ; Jorge, AM ;
PUBLICAÇÃO: 2012, FONTE: Journal of the Brazilian Computer Society, VOLUME: 18, NÚMERO: 4, PÁGINAS: 311-330
INDEXADO EM: Scopus DBLP CrossRef: 2
1737
TÍTULO: Deciding KAT and Hoare Logic with Derivatives  Full Text
AUTORES: Ricardo Almeida; Sabine Broda ; Nelma Moreira ;
PUBLICAÇÃO: 2012, FONTE: 3rd International Symposium on Games, Automata, Logics and Formal Verification, G and ALF 2012 in Proceedings Third International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2012, Napoli, Italy, September 6-8, 2012., VOLUME: 96, PÁGINAS: 127-140
INDEXADO EM: Scopus DBLP CrossRef: 4
1738
TÍTULO: Deciding regular expressions (in-)equivalence in Coq
AUTORES: Moreira, N ; Pereira, D ; Melo De Sousa, S ;
PUBLICAÇÃO: 2012, FONTE: 13th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7560 LNCS, PÁGINAS: 98-113
INDEXADO EM: Scopus DBLP CrossRef: 7
1739
TÍTULO: Delegatable Homomorphic Encryption with Applications to Secure Outsourcing of Computation
AUTORES: Manuel Barbosa ; Pooya Farshim;
PUBLICAÇÃO: 2012, FONTE: 12th Cryptographers' Track - RSA Conference in TOPICS IN CRYPTOLOGY - CT-RSA 2012, VOLUME: 7178, PÁGINAS: 296-312
INDEXADO EM: Scopus WOS DBLP CrossRef: 40
1740
TÍTULO: Delta Lenses over Inductive Types
AUTORES: Hugo Pacheco ; Alcino Cunha ; Zhenjiang Hu;
PUBLICAÇÃO: 2012, FONTE: ECEASST, VOLUME: 49
INDEXADO EM: Scopus DBLP

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