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
1821
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
1822
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
1823
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: 42
1824
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
1825
TÍTULO: Demand-driven clustering in relational domains for predicting adverse drug events
AUTORES: Davis, J; Costa, VS ; Peissig, P; Caldwell, M; Berg, E; Page, D;
PUBLICAÇÃO: 2012, FONTE: 29th International Conference on Machine Learning, ICML 2012 in Proceedings of the 29th International Conference on Machine Learning, ICML 2012, VOLUME: 2, PÁGINAS: 1287-1294
INDEXADO EM: Scopus DBLP
1826
TÍTULO: Denoising and Segmentation of the Second Heart Sound Using Matching Pursuit
AUTORES: Hedayioglu, F; Jafari, MG; Mattos, SS; Plumbley, MD; Coimbra, MT ;
PUBLICAÇÃO: 2012, FONTE: 34th Annual International Conference of the IEEE Engineering-in-Medicine-and-Biology-Society (EMBS) in 2012 ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE AND BIOLOGY SOCIETY (EMBC), PÁGINAS: 3440-3443
INDEXADO EM: Scopus WOS DBLP CrossRef: 7
1827
TÍTULO: Depicting online interactions in learning communities
AUTORES: André Silva; Álvaro Figueira ;
PUBLICAÇÃO: 2012, FONTE: 2012 IEEE Global Engineering Education Conference, EDUCON 2012 in Proceedings of the IEEE Global Engineering Education Conference, EDUCON 2012, Marrakech, Morocco, April 17-20, 2012, PÁGINAS: 1-8
INDEXADO EM: Scopus DBLP CrossRef: 4
1829
TÍTULO: Descriptional Complexity of Formal Systems - 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012. Proceedings
AUTORES: Martin Kutrib; Nelma Moreira ; Rogério Reis ;
PUBLICAÇÃO: 2012, FONTE: 14th International Workshop on Descriptional Complexity of Formal Systems, DCFS 2012 in DCFS, VOLUME: 7386
INDEXADO EM: Scopus DBLP CrossRef
1830
TÍTULO: Detecting abnormal patterns in call graphs based on the aggregation of relevant vertex measures
AUTORES: Alves, R; Ferreira, P ; Ribeiro, J ; Belo, O ;
PUBLICAÇÃO: 2012, FONTE: 12th Industrial Conference on Advances in Data Mining, ICDM 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7377 LNAI, PÁGINAS: 92-102
INDEXADO EM: Scopus DBLP CrossRef: 1
1831
TÍTULO: Disambiguating Implicit Temporal Queries by Clustering Top Relevant Dates in Web Snippets
AUTORES: Ricardo Campos ; Alipio Mario Jorge ; Gael Dias; Celia Nunes ;
PUBLICAÇÃO: 2012, FONTE: 11th IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology (WI-IAT) in 2012 IEEE/WIC/ACM INTERNATIONAL CONFERENCE ON WEB INTELLIGENCE AND INTELLIGENT AGENT TECHNOLOGY (WI-IAT 2012), VOL 1, PÁGINAS: 1-8
INDEXADO EM: Scopus WOS DBLP CrossRef: 9
1832
TÍTULO: Dreams: a framework for distributed synchronous coordination. a framework for distributed synchronous coordination
AUTORES: José Proença ; Dave Clarke; Erik P de Vink; Farhad Arbab;
PUBLICAÇÃO: 2012, FONTE: 27th Annual ACM Symposium on Applied Computing, SAC 2012 in Proceedings of the ACM Symposium on Applied Computing, SAC 2012, Riva, Trento, Italy, March 26-30, 2012, PÁGINAS: 1510-1515
INDEXADO EM: Scopus DBLP CrossRef: 20
1833
TÍTULO: Editorial
AUTORES: Jürgen Dassow; Martin Kutrib; Nelma Moreira ; Rogério Reis ;
PUBLICAÇÃO: 2012, FONTE: Journal of Automata, Languages and Combinatorics, VOLUME: 17, NÚMERO: 2-4, PÁGINAS: 59-60
INDEXADO EM: DBLP
1834
TÍTULO: Empirical Evaluation of a Dynamic and Distributed Taxi-Sharing System
AUTORES: Pedro M d'Orey ; Ricardo Fernandes; Michel Ferreira ;
PUBLICAÇÃO: 2012, FONTE: 15th International IEEE Conference on Intelligent Transportation Systems (ITSC) in 2012 15TH INTERNATIONAL IEEE CONFERENCE ON INTELLIGENT TRANSPORTATION SYSTEMS (ITSC), PÁGINAS: 140-146
INDEXADO EM: Scopus WOS DBLP CrossRef: 50
1835
TÍTULO: Enriching temporal query understanding through date identification: How to tag implicit temporal queries?. how to tag implicit temporal queries?
AUTORES: Campos, R ; Dias, G; Jorge, AM ; Nunes, C ;
PUBLICAÇÃO: 2012, FONTE: 2nd Temporal Web Analytics Workshop, TempWeb 2012 in ACM International Conference Proceeding Series, PÁGINAS: 41-48
INDEXADO EM: Scopus DBLP CrossRef: 8
1836
TÍTULO: Ensemble Approaches for Regression: A Survey. A survey  Full Text
AUTORES: Joao Mendes Moreira ; Carlos Soares ; Alipio Mario Jorge ; Jorge Freire De Sousa ;
PUBLICAÇÃO: 2012, FONTE: ACM COMPUTING SURVEYS, VOLUME: 45, NÚMERO: 1, PÁGINAS: 10
INDEXADO EM: Scopus WOS DBLP CrossRef: 517
1837
TÍTULO: Evaluating Inference Algorithms for the Prolog Factor Language PDF
AUTORES: Tiago Gomes; Vítor Santos Costa ;
PUBLICAÇÃO: 2012, FONTE: 2nd International Workshop on Statistical Relational AI (StaRAI-12), held at the Uncertainty in Artificial Intelligence Conference (UAI 2012), Catalina Island, CA, USA, August 18, 2012
INDEXADO EM: DBLP
1838
TÍTULO: Event Detection in Evolving Networks
AUTORES: Sarvenaz Choobdar ; Pedro Ribeiro ; Fernando Silva ;
PUBLICAÇÃO: 2012, FONTE: 4th International Conference on Computational Aspects of Social Networks (CASoN) in 2012 FOURTH INTERNATIONAL CONFERENCE ON COMPUTATIONAL ASPECTS OF SOCIAL NETWORKS (CASON), PÁGINAS: 26-32
INDEXADO EM: Scopus WOS DBLP CrossRef: 5
1839
TÍTULO: Extracting BI-RADS features from Portuguese clinical texts
AUTORES: Houssam Nassif; Filipe Cunha; Inês C Moreira; Ricardo Cruz Correia ; Eliana Sousa; David Page; Elizabeth S Burnside ; Inês de Castro Dutra ;
PUBLICAÇÃO: 2012, FONTE: 2012 IEEE International Conference on Bioinformatics and Biomedicine, BIBM2012 in 2012 IEEE International Conference on Bioinformatics and Biomedicine, BIBM 2012, Philadelphia, PA, USA, October 4-7, 2012, PÁGINAS: 1-4
INDEXADO EM: Scopus DBLP CrossRef: 6 Handle
1840
TÍTULO: Federated health registers: A literature review
AUTORES: Leite, L; Miranda, A; Esteves, C; Antunes, L ;
PUBLICAÇÃO: 2012, FONTE: HEALTHINF 2012 - Proceedings of the International Conference on Health Informatics in HEALTHINF 2012 - Proceedings of the International Conference on Health Informatics, PÁGINAS: 158-163
INDEXADO EM: Scopus DBLP

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