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
1761
TÍTULO: Forgetting mechanisms for scalable collaborative filtering
AUTORES: Vinagre, J ; Jorge, AM ;
PUBLICAÇÃO: 2012, FONTE: Journal of the Brazilian Computer Society, VOLUME: 18, NÚMERO: 4, PÁGINAS: 271-282
INDEXADO EM: Scopus DBLP CrossRef: 27
1762
TÍTULO: Formal analysis of policies in wireless sensor network applications
AUTORES: Patrignani, M; Matthys, N; Proenca, J ; Hughes, D; Clarke, D;
PUBLICAÇÃO: 2012, FONTE: 2012 3rd International Workshop on Software Engineering for Sensor Network Applications, SESENA 2012 in 2012 3rd International Workshop on Software Engineering for Sensor Network Applications, SESENA 2012 - Proceedings, PÁGINAS: 15-21
INDEXADO EM: Scopus DBLP CrossRef: 3
1763
TÍTULO: Formal Power Series and the Invertibility of Finite Linear Transducers
AUTORES: Ivone Amorim ; António Machiavelo ; Rogério Reis ;
PUBLICAÇÃO: 2012, FONTE: Fourth Workshop on Non-Classical Models for Automata and Applications - NCMA 2012, Fribourg, Switzerland, August 23-24, 2012. Proceedings, VOLUME: 290, PÁGINAS: 33-48
INDEXADO EM: DBLP
1764
TÍTULO: Full proof cryptography. verifiable compilation of efficient zero-knowledge protocols
AUTORES: José Bacelar Almeida; Manuel Barbosa ; Endre Bangerter; Gilles Barthe; Stephan Krenn; Santiago Zanella Béguelin;
PUBLICAÇÃO: 2012, FONTE: Proceedings of the 2012 ACM conference on Computer and communications security - CCS '12
INDEXADO EM: CrossRef: 13
1765
TÍTULO: Full Proof Cryptography: Verifiable Compilation of Efficient Zero-Knowledge Protocols
AUTORES: José Bacelar Almeida ; Manuel Barbosa ; Endre Bangerter; Gilles Barthe ; Stephan Krenn; Santiago Zanella Béguelin;
PUBLICAÇÃO: 2012, FONTE: IACR Cryptology ePrint Archive, VOLUME: 2012, PÁGINAS: 258
INDEXADO EM: DBLP
1766
TÍTULO: Full proof cryptography: Verifiable compilation of efficient zero-knowledge protocols  Full Text
AUTORES: Almeida, JB ; Barbosa, M ; Bangerter, E; Barthe, G ; Krenn, S; Beguelin, SZ;
PUBLICAÇÃO: 2012, FONTE: 2012 ACM Conference on Computer and Communications Security, CCS 2012 in Proceedings of the ACM Conference on Computer and Communications Security, PÁGINAS: 488-500
INDEXADO EM: Scopus DBLP
1767
TÍTULO: Gene clusters as intersections of powers of paths
AUTORES: Vítor Santos Costa ; Simone Dantas; David Sankoff; Ximing Xu;
PUBLICAÇÃO: 2012, FONTE: J. Braz. Comp. Soc., VOLUME: 18, NÚMERO: 2, PÁGINAS: 129-136
INDEXADO EM: DBLP CrossRef: 2
1768
TÍTULO: Generically extending anonymization algorithms to deal with successive queries
AUTORES: Barbosa, M ; Pinto, A; Gomes, B;
PUBLICAÇÃO: 2012, FONTE: 21st ACM International Conference on Information and Knowledge Management, CIKM 2012 in ACM International Conference Proceeding Series, PÁGINAS: 1362-1371
INDEXADO EM: Scopus DBLP CrossRef: 4
1769
TÍTULO: GTE: a distributional second-order co-occurrence approach to improve the identification of top relevant dates in web snippets. a distributional second-order co-occurrence approach to improve the identification of top relevant dates in web snippets
AUTORES: Ricardo Campos ; Gaël Dias; Alípio Jorge ; Celia Nunes ;
PUBLICAÇÃO: 2012, FONTE: 21st ACM International Conference on Information and Knowledge Management, CIKM 2012 in 21st ACM International Conference on Information and Knowledge Management, CIKM'12, Maui, HI, USA, October 29 - November 02, 2012, PÁGINAS: 2035-2039
INDEXADO EM: Scopus DBLP CrossRef: 11
1770
TÍTULO: Hand-Geometry Based Recognition System A Non Restricted Acquisition Approach
AUTORES: Helder Matos; Helder P Oliveira ; Filipe Magalhaes;
PUBLICAÇÃO: 2012, FONTE: 9th International Conference on Image Analysis and Recognition (ICIAR) in IMAGE ANALYSIS AND RECOGNITION, PT II, VOLUME: 7325, NÚMERO: PART 2, PÁGINAS: 38-45
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
1771
TÍTULO: HandSpy - a system to manage experiments on cognitive processes in writing
AUTORES: Carlos Monteiro; José Paulo Leal ;
PUBLICAÇÃO: 2012, FONTE: 1st Symposium on Languages, Applications and Technologies, SLATE 2012, Braga, Portugal, June 21-22, 2012, VOLUME: 21, PÁGINAS: 123-132
INDEXADO EM: DBLP
1772
TÍTULO: HCAC: Semi-supervised hierarchical clustering using confidence-based active learning
AUTORES: Nogueira, BM; Jorge, AM ; Rezende, SO;
PUBLICAÇÃO: 2012, FONTE: 15th International Conference on Discovery Science, DS 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7569 LNAI, PÁGINAS: 139-153
INDEXADO EM: Scopus DBLP CrossRef: 3
1773
TÍTULO: Heartbeat Classification Using Morphological and Dynamic Features of ECG Signals
AUTORES: Can Ye; Vijaya V K V Kumar; Miguel Tavares Coimbra ;
PUBLICAÇÃO: 2012, FONTE: IEEE TRANSACTIONS ON BIOMEDICAL ENGINEERING, VOLUME: 59, NÚMERO: 10, PÁGINAS: 2930-2941
INDEXADO EM: Scopus WOS DBLP CrossRef: 359
1774
TÍTULO: Heuristic search for the stacking problem  Full Text
AUTORES: Rui Jorge Rei; Joao Pedro Pedroso ;
PUBLICAÇÃO: 2012, FONTE: INTERNATIONAL TRANSACTIONS IN OPERATIONAL RESEARCH, VOLUME: 19, NÚMERO: 3, PÁGINAS: 379-395
INDEXADO EM: Scopus WOS DBLP CrossRef: 18
1775
TÍTULO: Hierarchical confidence-based active clustering  Full Text
AUTORES: Nogueira, BM; Jorge, AM ; Rezende, SO;
PUBLICAÇÃO: 2012, FONTE: 27th Annual ACM Symposium on Applied Computing, SAC 2012 in Proceedings of the ACM Symposium on Applied Computing, PÁGINAS: 216-217
INDEXADO EM: Scopus DBLP CrossRef: 9
1776
TÍTULO: Identifying adverse drug events by relational learning
AUTORES: Page, D; Costa, VS ; Natarajan, S; Barnard, A; Peissig, P; Caldwell, M;
PUBLICAÇÃO: 2012, FONTE: 26th AAAI Conference on Artificial Intelligence and the 24th Innovative Applications of Artificial Intelligence Conference, AAAI-12 / IAAI-12 in Proceedings of the National Conference on Artificial Intelligence, VOLUME: 2, PÁGINAS: 1599-1605
INDEXADO EM: Scopus DBLP
1778
TÍTULO: Implementation of a control architecture for networked vehicle systems
AUTORES: Pinto, J ; Calado, P; Braga, J; Dias, P ; Martins, R; Marques, E ; Sousa, JB ;
PUBLICAÇÃO: 2012, FONTE: 3rd IFAC Workshop on Navigation, Guidance and Control of Underwater Vehicles, NGCUV 2012 in IFAC Proceedings Volumes (IFAC-PapersOnline), VOLUME: 3, NÚMERO: PART 1, PÁGINAS: 100-105
INDEXADO EM: Scopus CrossRef: 23
1779
TÍTULO: In-Vehicle Virtual Traffic Lights
AUTORES: Cristina Olaverri Monreal; Pedro Gomes; Michelle Krueger Silveria; Michel Ferreira ;
PUBLICAÇÃO: 2012, FONTE: 7th Iberian Conference on Information Systems and Technologies (CISTI) in SISTEMAS Y TECNOLOGIAS DE INFORMACION, VOLS 1 AND 2, PÁGINAS: 415-420
INDEXADO EM: Scopus WOS
1780
TÍTULO: In-Vehicle Virtual Traffic Lights
AUTORES: Cristina Olaverri Monreal; Pedro Gomes; Michelle Krueger Silveria; Michel Ferreira ;
PUBLICAÇÃO: 2012, FONTE: 7th Iberian Conference on Information Systems and Technologies (CISTI) in 7TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI 2012)
INDEXADO EM: WOS

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