Department of Computer Science (DCC)
Departamento de Ciências dos Computadores
AuthID: I-000-0JZ
Publications Actions
Publications at Authenticus Institutional Profile
An Authenticus institution (group) is an organization which consists of a set of researchers (institutional/group team). The set of researchers depends on the organizational structure of the institution per year and can be set at the institution profile, under ‘Researchers’ interface. Based on the institutional team we produce listings of publications, statistics and institutional reports.
Publications displayed at an Authenticus institutional profile depend on two parameters:
- Researchers team associated with the institution per year.
- Publications source type.
We define 3 types of publication sources:
- Validated by team members - includes all publications validated by team members. Requires the definition of the institutional team.
- All published by team members - includes all publications validated by the institution team members plus all not-validated (only identified) publications. Requires the definition of the institutional team.
- Affiliation Based - includes publications that have the institution/group in the publication affiliation. Does not require institutional team, but at the same time does not guarantee that all publications will be listed.
External
Internal
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!
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!
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!
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 MembersFilters -> Year: 2025
1761
TITLE: Forgetting mechanisms for scalable collaborative filtering
AUTHORS: Vinagre, J ; Jorge, AM ;
PUBLISHED: 2012, SOURCE: Journal of the Brazilian Computer Society, VOLUME: 18, ISSUE: 4, PAGES: 271-282
AUTHORS: Vinagre, J ; Jorge, AM ;
PUBLISHED: 2012, SOURCE: Journal of the Brazilian Computer Society, VOLUME: 18, ISSUE: 4, PAGES: 271-282
1762
TITLE: Formal analysis of policies in wireless sensor network applications
AUTHORS: Patrignani, M; Matthys, N; Proenca, J ; Hughes, D; Clarke, D;
PUBLISHED: 2012, SOURCE: 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, PAGES: 15-21
AUTHORS: Patrignani, M; Matthys, N; Proenca, J ; Hughes, D; Clarke, D;
PUBLISHED: 2012, SOURCE: 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, PAGES: 15-21
1763
TITLE: Formal Power Series and the Invertibility of Finite Linear Transducers
AUTHORS: Ivone Amorim ; António Machiavelo ; Rogério Reis ;
PUBLISHED: 2012, SOURCE: Fourth Workshop on Non-Classical Models for Automata and Applications - NCMA 2012, Fribourg, Switzerland, August 23-24, 2012. Proceedings, VOLUME: 290, PAGES: 33-48
AUTHORS: Ivone Amorim ; António Machiavelo ; Rogério Reis ;
PUBLISHED: 2012, SOURCE: Fourth Workshop on Non-Classical Models for Automata and Applications - NCMA 2012, Fribourg, Switzerland, August 23-24, 2012. Proceedings, VOLUME: 290, PAGES: 33-48
INDEXED IN: 
DBLP
DBLP1764
TITLE: Full proof cryptography. verifiable compilation of efficient zero-knowledge protocols
AUTHORS: José Bacelar Almeida; Manuel Barbosa ; Endre Bangerter; Gilles Barthe; Stephan Krenn; Santiago Zanella Béguelin;
PUBLISHED: 2012, SOURCE: Proceedings of the 2012 ACM conference on Computer and communications security - CCS '12
AUTHORS: José Bacelar Almeida; Manuel Barbosa ; Endre Bangerter; Gilles Barthe; Stephan Krenn; Santiago Zanella Béguelin;
PUBLISHED: 2012, SOURCE: Proceedings of the 2012 ACM conference on Computer and communications security - CCS '12
1765
TITLE: Full Proof Cryptography: Verifiable Compilation of Efficient Zero-Knowledge Protocols
AUTHORS: José Bacelar Almeida ; Manuel Barbosa ; Endre Bangerter; Gilles Barthe ; Stephan Krenn; Santiago Zanella Béguelin;
PUBLISHED: 2012, SOURCE: IACR Cryptology ePrint Archive, VOLUME: 2012, PAGES: 258
AUTHORS: José Bacelar Almeida ; Manuel Barbosa ; Endre Bangerter; Gilles Barthe ; Stephan Krenn; Santiago Zanella Béguelin;
PUBLISHED: 2012, SOURCE: IACR Cryptology ePrint Archive, VOLUME: 2012, PAGES: 258
INDEXED IN: DBLP
DBLP1766
TITLE: Full proof cryptography: Verifiable compilation of efficient zero-knowledge protocols Full Text
AUTHORS: Almeida, JB ; Barbosa, M ; Bangerter, E; Barthe, G ; Krenn, S; Beguelin, SZ;
PUBLISHED: 2012, SOURCE: 2012 ACM Conference on Computer and Communications Security, CCS 2012 in Proceedings of the ACM Conference on Computer and Communications Security, PAGES: 488-500
AUTHORS: Almeida, JB ; Barbosa, M ; Bangerter, E; Barthe, G ; Krenn, S; Beguelin, SZ;
PUBLISHED: 2012, SOURCE: 2012 ACM Conference on Computer and Communications Security, CCS 2012 in Proceedings of the ACM Conference on Computer and Communications Security, PAGES: 488-500
INDEXED IN: 
Scopus DBLP
Scopus DBLP1767
TITLE: Gene clusters as intersections of powers of paths
AUTHORS: Vítor Santos Costa ; Simone Dantas; David Sankoff; Ximing Xu;
PUBLISHED: 2012, SOURCE: J. Braz. Comp. Soc., VOLUME: 18, ISSUE: 2, PAGES: 129-136
AUTHORS: Vítor Santos Costa ; Simone Dantas; David Sankoff; Ximing Xu;
PUBLISHED: 2012, SOURCE: J. Braz. Comp. Soc., VOLUME: 18, ISSUE: 2, PAGES: 129-136
1768
TITLE: Generically extending anonymization algorithms to deal with successive queries
AUTHORS: Barbosa, M ; Pinto, A; Gomes, B;
PUBLISHED: 2012, SOURCE: 21st ACM International Conference on Information and Knowledge Management, CIKM 2012 in ACM International Conference Proceeding Series, PAGES: 1362-1371
AUTHORS: Barbosa, M ; Pinto, A; Gomes, B;
PUBLISHED: 2012, SOURCE: 21st ACM International Conference on Information and Knowledge Management, CIKM 2012 in ACM International Conference Proceeding Series, PAGES: 1362-1371
1769
TITLE: 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
AUTHORS: Ricardo Campos ; Gaël Dias; Alípio Jorge ; Celia Nunes ;
PUBLISHED: 2012, SOURCE: 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, PAGES: 2035-2039
AUTHORS: Ricardo Campos ; Gaël Dias; Alípio Jorge ; Celia Nunes ;
PUBLISHED: 2012, SOURCE: 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, PAGES: 2035-2039
1770
TITLE: Hand-Geometry Based Recognition System A Non Restricted Acquisition Approach
AUTHORS: Helder Matos; Helder P Oliveira ; Filipe Magalhaes;
PUBLISHED: 2012, SOURCE: 9th International Conference on Image Analysis and Recognition (ICIAR) in IMAGE ANALYSIS AND RECOGNITION, PT II, VOLUME: 7325, ISSUE: PART 2, PAGES: 38-45
AUTHORS: Helder Matos; Helder P Oliveira ; Filipe Magalhaes;
PUBLISHED: 2012, SOURCE: 9th International Conference on Image Analysis and Recognition (ICIAR) in IMAGE ANALYSIS AND RECOGNITION, PT II, VOLUME: 7325, ISSUE: PART 2, PAGES: 38-45
1771
TITLE: HandSpy - a system to manage experiments on cognitive processes in writing
AUTHORS: Carlos Monteiro; José Paulo Leal ;
PUBLISHED: 2012, SOURCE: 1st Symposium on Languages, Applications and Technologies, SLATE 2012, Braga, Portugal, June 21-22, 2012, VOLUME: 21, PAGES: 123-132
AUTHORS: Carlos Monteiro; José Paulo Leal ;
PUBLISHED: 2012, SOURCE: 1st Symposium on Languages, Applications and Technologies, SLATE 2012, Braga, Portugal, June 21-22, 2012, VOLUME: 21, PAGES: 123-132
INDEXED IN: DBLP
DBLP1772
TITLE: HCAC: Semi-supervised hierarchical clustering using confidence-based active learning
AUTHORS: Nogueira, BM; Jorge, AM ; Rezende, SO;
PUBLISHED: 2012, SOURCE: 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, PAGES: 139-153
AUTHORS: Nogueira, BM; Jorge, AM ; Rezende, SO;
PUBLISHED: 2012, SOURCE: 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, PAGES: 139-153
1773
TITLE: Heartbeat Classification Using Morphological and Dynamic Features of ECG Signals
AUTHORS: Can Ye; Vijaya V K V Kumar; Miguel Tavares Coimbra ;
PUBLISHED: 2012, SOURCE: IEEE TRANSACTIONS ON BIOMEDICAL ENGINEERING, VOLUME: 59, ISSUE: 10, PAGES: 2930-2941
AUTHORS: Can Ye; Vijaya V K V Kumar; Miguel Tavares Coimbra ;
PUBLISHED: 2012, SOURCE: IEEE TRANSACTIONS ON BIOMEDICAL ENGINEERING, VOLUME: 59, ISSUE: 10, PAGES: 2930-2941
1774
TITLE: Heuristic search for the stacking problem Full Text
AUTHORS: Rui Jorge Rei; Joao Pedro Pedroso ;
PUBLISHED: 2012, SOURCE: INTERNATIONAL TRANSACTIONS IN OPERATIONAL RESEARCH, VOLUME: 19, ISSUE: 3, PAGES: 379-395
AUTHORS: Rui Jorge Rei; Joao Pedro Pedroso ;
PUBLISHED: 2012, SOURCE: INTERNATIONAL TRANSACTIONS IN OPERATIONAL RESEARCH, VOLUME: 19, ISSUE: 3, PAGES: 379-395
1775
TITLE: Hierarchical confidence-based active clustering Full Text
AUTHORS: Nogueira, BM; Jorge, AM ; Rezende, SO;
PUBLISHED: 2012, SOURCE: 27th Annual ACM Symposium on Applied Computing, SAC 2012 in Proceedings of the ACM Symposium on Applied Computing, PAGES: 216-217
AUTHORS: Nogueira, BM; Jorge, AM ; Rezende, SO;
PUBLISHED: 2012, SOURCE: 27th Annual ACM Symposium on Applied Computing, SAC 2012 in Proceedings of the ACM Symposium on Applied Computing, PAGES: 216-217
1776
TITLE: Identifying adverse drug events by relational learning
AUTHORS: Page, D; Costa, VS ; Natarajan, S; Barnard, A; Peissig, P; Caldwell, M;
PUBLISHED: 2012, SOURCE: 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, PAGES: 1599-1605
AUTHORS: Page, D; Costa, VS ; Natarajan, S; Barnard, A; Peissig, P; Caldwell, M;
PUBLISHED: 2012, SOURCE: 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, PAGES: 1599-1605
INDEXED IN: Scopus DBLP
Scopus DBLP1777
TITLE: Implementation and Application of Automata - 17th International Conference, CIAA 2012, Porto, Portugal, July 17-20, 2012. Proceedings
AUTHORS: Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2012, SOURCE: CIAA, VOLUME: 7381
AUTHORS: Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2012, SOURCE: CIAA, VOLUME: 7381
INDEXED IN: DBLP
DBLP1778
TITLE: Implementation of a control architecture for networked vehicle systems
AUTHORS: Pinto, J ; Calado, P; Braga, J; Dias, P ; Martins, R; Marques, E ; Sousa, JB ;
PUBLISHED: 2012, SOURCE: 3rd IFAC Workshop on Navigation, Guidance and Control of Underwater Vehicles, NGCUV 2012 in IFAC Proceedings Volumes (IFAC-PapersOnline), VOLUME: 3, ISSUE: PART 1, PAGES: 100-105
AUTHORS: Pinto, J ; Calado, P; Braga, J; Dias, P ; Martins, R; Marques, E ; Sousa, JB ;
PUBLISHED: 2012, SOURCE: 3rd IFAC Workshop on Navigation, Guidance and Control of Underwater Vehicles, NGCUV 2012 in IFAC Proceedings Volumes (IFAC-PapersOnline), VOLUME: 3, ISSUE: PART 1, PAGES: 100-105
1779
TITLE: In-Vehicle Virtual Traffic Lights
AUTHORS: Cristina Olaverri Monreal; Pedro Gomes; Michelle Krueger Silveria; Michel Ferreira ;
PUBLISHED: 2012, SOURCE: 7th Iberian Conference on Information Systems and Technologies (CISTI) in SISTEMAS Y TECNOLOGIAS DE INFORMACION, VOLS 1 AND 2, PAGES: 415-420
AUTHORS: Cristina Olaverri Monreal; Pedro Gomes; Michelle Krueger Silveria; Michel Ferreira ;
PUBLISHED: 2012, SOURCE: 7th Iberian Conference on Information Systems and Technologies (CISTI) in SISTEMAS Y TECNOLOGIAS DE INFORMACION, VOLS 1 AND 2, PAGES: 415-420
INDEXED IN: Scopus 
WOS
Scopus WOS1780
TITLE: In-Vehicle Virtual Traffic Lights
AUTHORS: Cristina Olaverri Monreal; Pedro Gomes; Michelle Krueger Silveria; Michel Ferreira ;
PUBLISHED: 2012, SOURCE: 7th Iberian Conference on Information Systems and Technologies (CISTI) in 7TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI 2012)
AUTHORS: Cristina Olaverri Monreal; Pedro Gomes; Michelle Krueger Silveria; Michel Ferreira ;
PUBLISHED: 2012, SOURCE: 7th Iberian Conference on Information Systems and Technologies (CISTI) in 7TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI 2012)
INDEXED IN: WOS
WOS