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
1721
TITLE: Automatic amortised analysis of dynamic memory allocation for lazy functional programs
AUTHORS: Simoes, H; Vasconcelos, P ; Florido, M ; Jost, S; Hammond, Kevin;
PUBLISHED: 2012, SOURCE: 17th ACM SIGPLAN International Conference on Functional Programming, ICFP 2012 in Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP, PAGES: 165-176
AUTHORS: Simoes, H; Vasconcelos, P ; Florido, M ; Jost, S; Hammond, Kevin;
PUBLISHED: 2012, SOURCE: 17th ACM SIGPLAN International Conference on Functional Programming, ICFP 2012 in Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP, PAGES: 165-176
INDEXED IN: 
Scopus
Scopus1722
TITLE: Automatic Clustering Assessment through a Social Tagging System
AUTHORS: Elisabete Cunha; Alvaro Figueira ;
PUBLISHED: 2012, SOURCE: 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), PAGES: 74-81
AUTHORS: Elisabete Cunha; Alvaro Figueira ;
PUBLISHED: 2012, SOURCE: 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), PAGES: 74-81
1723
TITLE: Bidirectional data transformation by calculation
AUTHORS: Hugo Pacheco ;
PUBLISHED: 2012
AUTHORS: Hugo Pacheco ;
PUBLISHED: 2012
INDEXED IN: 
DBLP 
Handle
DBLP Handle1724
TITLE: Bidirectional Transformation of Model-Driven Spreadsheets
AUTHORS: Jácome Cunha ; João Paulo Fernandes ; Jorge Mendes ; Hugo Pacheco ; João Saraiva ;
PUBLISHED: 2012, SOURCE: 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, PAGES: 105-120
AUTHORS: Jácome Cunha ; João Paulo Fernandes ; Jorge Mendes ; Hugo Pacheco ; João Saraiva ;
PUBLISHED: 2012, SOURCE: 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, PAGES: 105-120
1725
TITLE: Bridging between programming exercises formats with BabeLO
AUTHORS: José P Leal ; Ricardo Queirós;
PUBLISHED: 2012, SOURCE: ACM International Collegiate Programming Contest (ICPC) World Final Competitive Learning Institute Symposium, 5th
AUTHORS: José P Leal ; Ricardo Queirós;
PUBLISHED: 2012, SOURCE: ACM International Collegiate Programming Contest (ICPC) World Final Competitive Learning Institute Symposium, 5th
INDEXED IN: Handle
Handle1726
TITLE: Certifying execution time
AUTHORS: Rodrigues, V ; Pedroso, JP ; Florido, M ; De Sousa, SM ;
PUBLISHED: 2012, SOURCE: 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, PAGES: 108-125
AUTHORS: Rodrigues, V ; Pedroso, JP ; Florido, M ; De Sousa, SM ;
PUBLISHED: 2012, SOURCE: 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, PAGES: 108-125
1727
TITLE: Classifying news stories with a constrained learning strategy to estimate the direction of a market index PDF Full Text
AUTHORS: Drury, B; Torgo, L ; Almeida, JJ ;
PUBLISHED: 2012, SOURCE: International Journal of Computer Science and Applications, VOLUME: 9, ISSUE: 1, PAGES: 1-22
AUTHORS: Drury, B; Torgo, L ; Almeida, JJ ;
PUBLISHED: 2012, SOURCE: International Journal of Computer Science and Applications, VOLUME: 9, ISSUE: 1, PAGES: 1-22
INDEXED IN: Scopus DBLP
Scopus DBLP1728
TITLE: Combining General Multi-class and Specific Two-class Classifiers for Improved Customized ECG Heartbeat Classification
AUTHORS: Can Ye; Vijaya V K V Kumar; Miguel Tavares Coimbra ;
PUBLISHED: 2012, SOURCE: 21st International Conference on Pattern Recognition (ICPR) in 2012 21ST INTERNATIONAL CONFERENCE ON PATTERN RECOGNITION (ICPR 2012), PAGES: 2428-2431
AUTHORS: Can Ye; Vijaya V K V Kumar; Miguel Tavares Coimbra ;
PUBLISHED: 2012, SOURCE: 21st International Conference on Pattern Recognition (ICPR) in 2012 21ST INTERNATIONAL CONFERENCE ON PATTERN RECOGNITION (ICPR 2012), PAGES: 2428-2431
INDEXED IN: Scopus 
WOS DBLP
Scopus WOS DBLP1729
TITLE: Combining usage and content in an online music recommendation system for music in the long-tail
AUTHORS: Domingues, MA; Gouyon, F ; Jorge, AM ; Leal, JP ; Vinagre, J ; Lemos, L; Sordo, M;
PUBLISHED: 2012, SOURCE: 21st Annual Conference on World Wide Web, WWW'12 in WWW'12 - Proceedings of the 21st Annual Conference on World Wide Web Companion, PAGES: 925-929
AUTHORS: Domingues, MA; Gouyon, F ; Jorge, AM ; Leal, JP ; Vinagre, J ; Lemos, L; Sordo, M;
PUBLISHED: 2012, SOURCE: 21st Annual Conference on World Wide Web, WWW'12 in WWW'12 - Proceedings of the 21st Annual Conference on World Wide Web Companion, PAGES: 925-929
1730
TITLE: Comparing state-of-the-art regression methods for long term travel time prediction Full Text
AUTHORS: Joao Mendes Moreira ; Alipio Mario Jorge ; Jorge Freire de Sousa ; Carlos Soares ;
PUBLISHED: 2012, SOURCE: INTELLIGENT DATA ANALYSIS, VOLUME: 16, ISSUE: 3, PAGES: 427-449
AUTHORS: Joao Mendes Moreira ; Alipio Mario Jorge ; Jorge Freire de Sousa ; Carlos Soares ;
PUBLISHED: 2012, SOURCE: INTELLIGENT DATA ANALYSIS, VOLUME: 16, ISSUE: 3, PAGES: 427-449
1731
TITLE: Comparison of co-authorship networks across scientific fields using motifs
AUTHORS: Sarvenaz Choobdar ; Pedro Ribeiro ; Sylwia Bugla ; Fernando Silva ;
PUBLISHED: 2012, SOURCE: 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), PAGES: 147-152
AUTHORS: Sarvenaz Choobdar ; Pedro Ribeiro ; Sylwia Bugla ; Fernando Silva ;
PUBLISHED: 2012, SOURCE: 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), PAGES: 147-152
1732
TITLE: Computing Semantic Relatedness using DBPedia
AUTHORS: José Paulo Leal ; Vânia Rodrigues; Ricardo Queirós ;
PUBLISHED: 2012, SOURCE: 1st Symposium on Languages, Applications and Technologies, SLATE 2012, Braga, Portugal, June 21-22, 2012, VOLUME: 21, PAGES: 133-147
AUTHORS: José Paulo Leal ; Vânia Rodrigues; Ricardo Queirós ;
PUBLISHED: 2012, SOURCE: 1st Symposium on Languages, Applications and Technologies, SLATE 2012, Braga, Portugal, June 21-22, 2012, VOLUME: 21, PAGES: 133-147
INDEXED IN: Scopus DBLP Handle
Scopus DBLP Handle1733
TITLE: Conceptual clustering of multi-relational data
AUTHORS: Fonseca, NA ; Santos Costa, V ; Camacho, R ;
PUBLISHED: 2012, SOURCE: 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, PAGES: 145-159
AUTHORS: Fonseca, NA ; Santos Costa, V ; Camacho, R ;
PUBLISHED: 2012, SOURCE: 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, PAGES: 145-159
1734
TITLE: Conditional Renyi Entropies
AUTHORS: Andreia Teixeira ; Armando Matos ; Luis Antunes ;
PUBLISHED: 2012, SOURCE: IEEE TRANSACTIONS ON INFORMATION THEORY, VOLUME: 58, ISSUE: 7, PAGES: 4273-4277
AUTHORS: Andreia Teixeira ; Armando Matos ; Luis Antunes ;
PUBLISHED: 2012, SOURCE: IEEE TRANSACTIONS ON INFORMATION THEORY, VOLUME: 58, ISSUE: 7, PAGES: 4273-4277
1735
TITLE: Creating News Context From a Folksonomy of Web Clipping
AUTHORS: Jose Devezas ; Henrique Alves; Alvaro Figueira ;
PUBLISHED: 2012, SOURCE: International MultiConference of Engineers and Computer Scientists (IMECS 2012) in INTERNATIONAL MULTICONFERENCE OF ENGINEERS AND COMPUTER SCIENTISTS, IMECS 2012, VOL I, VOLUME: 1, PAGES: 446-451
AUTHORS: Jose Devezas ; Henrique Alves; Alvaro Figueira ;
PUBLISHED: 2012, SOURCE: International MultiConference of Engineers and Computer Scientists (IMECS 2012) in INTERNATIONAL MULTICONFERENCE OF ENGINEERS AND COMPUTER SCIENTISTS, IMECS 2012, VOL I, VOLUME: 1, PAGES: 446-451
INDEXED IN: Scopus WOS
Scopus WOS1736
TITLE: D-Confidence: An active learning strategy to reduce label disclosure complexity in the presence of imbalanced class distributions
AUTHORS: Escudeiro, NF ; Jorge, AM ;
PUBLISHED: 2012, SOURCE: Journal of the Brazilian Computer Society, VOLUME: 18, ISSUE: 4, PAGES: 311-330
AUTHORS: Escudeiro, NF ; Jorge, AM ;
PUBLISHED: 2012, SOURCE: Journal of the Brazilian Computer Society, VOLUME: 18, ISSUE: 4, PAGES: 311-330
1737
TITLE: Deciding KAT and Hoare Logic with Derivatives Full Text
AUTHORS: Ricardo Almeida; Sabine Broda ; Nelma Moreira ;
PUBLISHED: 2012, SOURCE: 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, PAGES: 127-140
AUTHORS: Ricardo Almeida; Sabine Broda ; Nelma Moreira ;
PUBLISHED: 2012, SOURCE: 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, PAGES: 127-140
1738
TITLE: Deciding regular expressions (in-)equivalence in Coq
AUTHORS: Moreira, N ; Pereira, D ; Melo De Sousa, S ;
PUBLISHED: 2012, SOURCE: 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, PAGES: 98-113
AUTHORS: Moreira, N ; Pereira, D ; Melo De Sousa, S ;
PUBLISHED: 2012, SOURCE: 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, PAGES: 98-113
1739
TITLE: Delegatable Homomorphic Encryption with Applications to Secure Outsourcing of Computation
AUTHORS: Manuel Barbosa ; Pooya Farshim;
PUBLISHED: 2012, SOURCE: 12th Cryptographers' Track - RSA Conference in TOPICS IN CRYPTOLOGY - CT-RSA 2012, VOLUME: 7178, PAGES: 296-312
AUTHORS: Manuel Barbosa ; Pooya Farshim;
PUBLISHED: 2012, SOURCE: 12th Cryptographers' Track - RSA Conference in TOPICS IN CRYPTOLOGY - CT-RSA 2012, VOLUME: 7178, PAGES: 296-312
1740
TITLE: Delta Lenses over Inductive Types
AUTHORS: Hugo Pacheco ; Alcino Cunha ; Zhenjiang Hu;
PUBLISHED: 2012, SOURCE: ECEASST, VOLUME: 49
AUTHORS: Hugo Pacheco ; Alcino Cunha ; Zhenjiang Hu;
PUBLISHED: 2012, SOURCE: ECEASST, VOLUME: 49
INDEXED IN: Scopus DBLP
Scopus DBLP