Department of Computer Science (DCC)
Departamento de Ciências dos Computadores

University of Porto (UP) :: Faculty of Sciences (FCUP)

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

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: 2849

46 Team Members
Filters -> Year: 2026
2161
TITLE: Ainda o totobola: o singular caso dos 5
AUTHORS: António Machiavelo ; Rogério Reis ;
PUBLISHED: 2010
INDEXED IN: Handle
2162
TITLE: An Accurate and Interpretable Model for BCCT.core
AUTHORS: Oliveira, HP ; Magalhaes, A; Cardoso, MJ ; Cardoso, JS ;
PUBLISHED: 2010, SOURCE: 32nd Annual International Conference of the IEEE Engineering-in-Medicine-and-Biology-Society (EMBC 10) in 2010 ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE AND BIOLOGY SOCIETY (EMBC), PAGES: 6158-6161
INDEXED IN: Scopus WOS CrossRef: 8 Handle
2163
TITLE: An Efficient Implementation of Linear Tabling Based on Dynamic Reordering of Alternatives
AUTHORS: Miguel Areias ; Rocha, R ;
PUBLISHED: 2010, SOURCE: 12th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PROCEEDINGS, VOLUME: 5937, PAGES: 279-+
INDEXED IN: Scopus WOS DBLP CrossRef: 1
2164
TITLE: An integrated system for submission, assessment, feedback and publication of online digital portfolios
AUTHORS: Figueira, A ; Felix, C ; Ferreira, C;
PUBLISHED: 2010, SOURCE: 8th IASTED International Conference on Web-Based Education, WBE 2010 in Proceedings of the 8th IASTED International Conference on Web-Based Education, WBE 2010, PAGES: 108-113
INDEXED IN: Scopus CrossRef: 1
2165
TITLE: Arrhythmia Detection and Classification using Morphological and Dynamic Features of ECG Signals
AUTHORS: Ye, C; Coimbra, MT ; Kumar, BVKV;
PUBLISHED: 2010, SOURCE: 32nd Annual International Conference of the IEEE Engineering-in-Medicine-and-Biology-Society (EMBC 10) in 2010 ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE AND BIOLOGY SOCIETY (EMBC), PAGES: 1918-1921
INDEXED IN: Scopus WOS CrossRef
2166
TITLE: Assessment of Disagreement: A New Information-Based Approach  Full Text
AUTHORS: Cristina Costa Santos ; Luis Antunes ; Andre Souto ; Joao Bernardes ;
PUBLISHED: 2010, SOURCE: ANNALS OF EPIDEMIOLOGY, VOLUME: 20, ISSUE: 7, PAGES: 555-561
INDEXED IN: Scopus WOS CrossRef: 28
2167
TITLE: Automatic Link Balancing Using Fuzzy Logic Control of Handover Parameter
AUTHORS: d'Orey, PM ; Garcia Lozano, M; Ferreira, M ;
PUBLISHED: 2010, SOURCE: 21st Annual IEEE International Symposium on Personal, Indoor and Mobile Radio Communications (PIMRC) in 2010 IEEE 21ST INTERNATIONAL SYMPOSIUM ON PERSONAL INDOOR AND MOBILE RADIO COMMUNICATIONS (PIMRC), PAGES: 2168-2173
INDEXED IN: Scopus WOS DBLP CrossRef: 4
2168
TITLE: Chess Revision: Acquiring the Rules of Chess Variants through FOL Theory Revision from Examples
AUTHORS: Muggleton, S; Paes, A; Costa, VS ; Zaverucha, G;
PUBLISHED: 2010, SOURCE: 19th International Conference on Inductive Logic Programming in INDUCTIVE LOGIC PROGRAMMING, VOLUME: 5989, PAGES: 123-+
INDEXED IN: Scopus WOS DBLP CrossRef: 7
2169
TITLE: Compact Lists for Tabled Evaluation
AUTHORS: Raimundo, J; Rocha, R ;
PUBLISHED: 2010, SOURCE: 12th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PROCEEDINGS, VOLUME: 5937, PAGES: 249-+
INDEXED IN: Scopus WOS DBLP CrossRef: 1
2170
TITLE: Context-aware disclosure of health sensor data
AUTHORS: Jatinder Singh; Pedro Brandão ; Jean Bacon;
PUBLISHED: 2010, SOURCE: PervasiveHealth, PAGES: 1-4
INDEXED IN: Scopus DBLP CrossRef
2171
TITLE: Data Mining with R: Learning with Case Studies
AUTHORS: Luís Torgo ;
PUBLISHED: 2010
INDEXED IN: DBLP
2172
TITLE: Deductive verification of cryptographic software
AUTHORS: José Bacelar Almeida ; Manuel Barbosa ; Jorge Sousa Pinto ; Bárbara Vieira;
PUBLISHED: 2010, SOURCE: Innov. Syst. Softw. Eng., VOLUME: 6, ISSUE: 3, PAGES: 203-218
INDEXED IN: Scopus DBLP CrossRef
2174
TITLE: Design an extensible metadata editor based on RDF
AUTHORS: José P Leal ; Ricardo Queirós ;
PUBLISHED: 2010
INDEXED IN: Handle
2175
TITLE: Design of an extensible metadata editor based on RDF
AUTHORS: Lea, JP ; Queiros, R ;
PUBLISHED: 2010, SOURCE: 11th European Conference on Knowledge Management, ECKM 2010 in Proceedings of the European Conference on Knowledge Management, ECKM, VOLUME: 2, PAGES: 1219-1222
INDEXED IN: Scopus
2176
TITLE: DIVERT for realistic simulation of heterogeneous vehicular networks
AUTHORS: Ricardo Fernandes; Pedro M d'Orey ; Michel Ferreira ;
PUBLISHED: 2010, SOURCE: MASS, PAGES: 721-726
INDEXED IN: Scopus DBLP CrossRef: 19
2177
TITLE: E-learning frameworks: a survey
AUTHORS: Ricardo Queirós ; José P Leal ;
PUBLISHED: 2010, SOURCE: Proceedings of the 4th International Technology, Education and Development Conference
INDEXED IN: Handle
2178
TITLE: Easy Rigging of Face by Automatic Registration and Transfer of Skinning Parameters
AUTHORS: Dutreve, L; Meyer, A; Orvalho, V ; Bouakaz, S;
PUBLISHED: 2010, SOURCE: International Conference on Computer Vision and Graphics in COMPUTER VISION AND GRAPHICS, PT I, VOLUME: 6374, ISSUE: PART 1, PAGES: 333-+
INDEXED IN: Scopus WOS DBLP CrossRef: 3
2179
TITLE: Efficient Parallel Subgraph Counting Using G-Tries
AUTHORS: Pedro Manuel Pinto Ribeiro ; Fernando M A Silva ; Luís M B Lopes ;
PUBLISHED: 2010, SOURCE: CLUSTER, PAGES: 217-226
INDEXED IN: Scopus DBLP CrossRef: 17
2180
TITLE: Efficient Subgraph Frequency Estimation with G-Tries  Full Text
AUTHORS: Ribeiro, P ; Silva, F ;
PUBLISHED: 2010, SOURCE: 10th Workshop on Algorithms in Bioinformatics in ALGORITHMS IN BIOINFORMATICS, VOLUME: 6293, PAGES: 238-+
INDEXED IN: Scopus WOS DBLP CrossRef: 16

Results per Page: 20.
Page 109 of 143. Total results: 2849.