CS: Computer Science
CS: Computer Science
AuthID: I-000-B2B
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: 10639
536 Team MembersFilters -> Year: 2026
8541
TITLE: Type Checking Cryptography Implementations
AUTHORS: Manuel Barbosa ; Andrew Moss; Dan Page; Nuno F Rodrigues ; Paulo F Silva ;
PUBLISHED: 2011, SOURCE: FSEN, VOLUME: 7141 LNCS, PAGES: 316-334
AUTHORS: Manuel Barbosa ; Andrew Moss; Dan Page; Nuno F Rodrigues ; Paulo F Silva ;
PUBLISHED: 2011, SOURCE: FSEN, VOLUME: 7141 LNCS, PAGES: 316-334
8542
TITLE: Type-Safe Evolution of Spreadsheets
AUTHORS: Cunha, J ; Visser, J; Alves, T; Saraiva, J ;
PUBLISHED: 2011, SOURCE: 14th European Joint Conferences on Theory and Practice of Software in FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, VOLUME: 6603, PAGES: 186-+
AUTHORS: Cunha, J ; Visser, J; Alves, T; Saraiva, J ;
PUBLISHED: 2011, SOURCE: 14th European Joint Conferences on Theory and Practice of Software in FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, VOLUME: 6603, PAGES: 186-+
8543
TITLE: Ubiquitous Knowledge Discovery Introduction
AUTHORS: Gama, J ; May, M;
PUBLISHED: 2011, SOURCE: INTELLIGENT DATA ANALYSIS, VOLUME: 15, ISSUE: 1, PAGES: 1-2
AUTHORS: Gama, J ; May, M;
PUBLISHED: 2011, SOURCE: INTELLIGENT DATA ANALYSIS, VOLUME: 15, ISSUE: 1, PAGES: 1-2
8544
TITLE: Uncertainty on a Bertrand Duopoly with Product Differentiation
AUTHORS: Ferreira, F. A. ; Alberto A Pinto ;
PUBLISHED: 2011, SOURCE: 2nd Conference on Nonlinear Science and Complexity (NSC'08) in NONLINEAR SCIENCE AND COMPLEXITY, PAGES: 389-395
AUTHORS: Ferreira, F. A. ; Alberto A Pinto ;
PUBLISHED: 2011, SOURCE: 2nd Conference on Nonlinear Science and Complexity (NSC'08) in NONLINEAR SCIENCE AND COMPLEXITY, PAGES: 389-395
8545
TITLE: Uncertainty Sampling Methods for Selecting Datasets in Active Meta-Learning
AUTHORS: Prudêncio, RBC; Soares, C ; Ludermir, TB;
PUBLISHED: 2011, SOURCE: International Joint Conference on Neural Networks (IJCNN) in 2011 INTERNATIONAL JOINT CONFERENCE ON NEURAL NETWORKS (IJCNN), PAGES: 1082-1089
AUTHORS: Prudêncio, RBC; Soares, C ; Ludermir, TB;
PUBLISHED: 2011, SOURCE: International Joint Conference on Neural Networks (IJCNN) in 2011 INTERNATIONAL JOINT CONFERENCE ON NEURAL NETWORKS (IJCNN), PAGES: 1082-1089
8546
TITLE: Uncertainty Sampling-Based Active Selection of Datasetoids for Meta-learning
AUTHORS: Prudêncio, RBC; Soares, C ; Ludermir, TB;
PUBLISHED: 2011, SOURCE: 21st International Conference on Artificial Neural Networks, ICANN 2011 in ARTIFICIAL NEURAL NETWORKS AND MACHINE LEARNING - ICANN 2011, PT II, VOLUME: 6792, ISSUE: PART 2, PAGES: 454-+
AUTHORS: Prudêncio, RBC; Soares, C ; Ludermir, TB;
PUBLISHED: 2011, SOURCE: 21st International Conference on Artificial Neural Networks, ICANN 2011 in ARTIFICIAL NEURAL NETWORKS AND MACHINE LEARNING - ICANN 2011, PT II, VOLUME: 6792, ISSUE: PART 2, PAGES: 454-+
8547
TITLE: Uniformly hyperbolic diffeomorphisms in every surfaces Full Text
AUTHORS: Pinto, AA ; Rand, DA;
PUBLISHED: 2011, SOURCE: JOURNAL OF DIFFERENCE EQUATIONS AND APPLICATIONS, VOLUME: 17, ISSUE: 7, PAGES: 1031-1047
AUTHORS: Pinto, AA ; Rand, DA;
PUBLISHED: 2011, SOURCE: JOURNAL OF DIFFERENCE EQUATIONS AND APPLICATIONS, VOLUME: 17, ISSUE: 7, PAGES: 1031-1047
8548
TITLE: Universality in PSI20 fluctuations
AUTHORS: Rui Goncalves ; Helena Ferreira; Alberto A Pinto ;
PUBLISHED: 2011, SOURCE: International Conference on Dynamical Systems and Game Theory in Honor of Mauricio Peixoto and David Rand in DYNAMICS, GAMES AND SCIENCE I, VOLUME: 1, PAGES: 405-420
AUTHORS: Rui Goncalves ; Helena Ferreira; Alberto A Pinto ;
PUBLISHED: 2011, SOURCE: International Conference on Dynamical Systems and Game Theory in Honor of Mauricio Peixoto and David Rand in DYNAMICS, GAMES AND SCIENCE I, VOLUME: 1, PAGES: 405-420
INDEXED IN: 
Scopus 
WOS
Scopus WOS8549
TITLE: Universality in the stock exchange market Full Text
AUTHORS: Goncalves, R ; Ferreira, H ; Pinto, AA ;
PUBLISHED: 2011, SOURCE: JOURNAL OF DIFFERENCE EQUATIONS AND APPLICATIONS, VOLUME: 17, ISSUE: 7, PAGES: 1049-1063
AUTHORS: Goncalves, R ; Ferreira, H ; Pinto, AA ;
PUBLISHED: 2011, SOURCE: JOURNAL OF DIFFERENCE EQUATIONS AND APPLICATIONS, VOLUME: 17, ISSUE: 7, PAGES: 1049-1063
8550
TITLE: UPData - A Data Curation Experiment at U.Porto using DSpace
AUTHORS: João Rocha da Silva ; João Correia Lopes ; Cristina Ribeiro ;
PUBLISHED: 2011, SOURCE: iPRES
AUTHORS: João Rocha da Silva ; João Correia Lopes ; Cristina Ribeiro ;
PUBLISHED: 2011, SOURCE: iPRES
INDEXED IN: 
DBLP
DBLP8551
TITLE: Using GNUsmail to Compare Data Stream Mining Methods for On-line Email Classification
AUTHORS: José M Carmona Cejudo; Manuel Baena García; Rafael Morales Bueno; João Gama ; Albert Bifet;
PUBLISHED: 2011, SOURCE: WAPA, PAGES: 12-18
AUTHORS: José M Carmona Cejudo; Manuel Baena García; Rafael Morales Bueno; João Gama ; Albert Bifet;
PUBLISHED: 2011, SOURCE: WAPA, PAGES: 12-18
INDEXED IN: DBLP
DBLP8552
TITLE: Using k-top Retrieved Web Snippets to Date Temporal Implicit Queries based on Web Content Analysis
AUTHORS: Campos, RNT ;
PUBLISHED: 2011, SOURCE: PROCEEDINGS OF THE 34TH INTERNATIONAL ACM SIGIR CONFERENCE ON RESEARCH AND DEVELOPMENT IN INFORMATION RETRIEVAL (SIGIR'11), PAGES: 1325-1325
AUTHORS: Campos, RNT ;
PUBLISHED: 2011, SOURCE: PROCEEDINGS OF THE 34TH INTERNATIONAL ACM SIGIR CONFERENCE ON RESEARCH AND DEVELOPMENT IN INFORMATION RETRIEVAL (SIGIR'11), PAGES: 1325-1325
8553
TITLE: Using Meta-learning to Recommend Meta-heuristics for the Traveling Salesman Problem
AUTHORS: Jorge Y Kanda; André Carlos Ponce de Leon Ferreira de Carvalho; Eduardo R Hruschka; Carlos Soares ;
PUBLISHED: 2011, SOURCE: ICMLA (1), VOLUME: 1, PAGES: 346-351
AUTHORS: Jorge Y Kanda; André Carlos Ponce de Leon Ferreira de Carvalho; Eduardo R Hruschka; Carlos Soares ;
PUBLISHED: 2011, SOURCE: ICMLA (1), VOLUME: 1, PAGES: 346-351
8554
TITLE: Using the Common Cartridge profile to enhance learning content interoperability
AUTHORS: Ricardo Queirós ; José P Leal ;
PUBLISHED: 2011, SOURCE: Proceedings of the European Conference on E-Learning
AUTHORS: Ricardo Queirós ; José P Leal ;
PUBLISHED: 2011, SOURCE: Proceedings of the European Conference on E-Learning
INDEXED IN: 
Handle
Handle8555
TITLE: Using the Common Cartridge Profile to Enhance Learning Content Interoperability
AUTHORS: Ricardo Queiros ; Jose Paulo Leal ;
PUBLISHED: 2011, SOURCE: 10th European Conference on e-Learning (ECEL) in PROCEEDINGS OF THE 10TH EUROPEAN CONFERENCE ON E-LEARNING, VOLS 1 AND 2, VOLUME: 2, PAGES: 637-645
AUTHORS: Ricardo Queiros ; Jose Paulo Leal ;
PUBLISHED: 2011, SOURCE: 10th European Conference on e-Learning (ECEL) in PROCEEDINGS OF THE 10TH EUROPEAN CONFERENCE ON E-LEARNING, VOLS 1 AND 2, VOLUME: 2, PAGES: 637-645
INDEXED IN: Scopus WOS
Scopus WOS8556
TITLE: Using the H-Index to Estimate Blog Authority
AUTHORS: José Luís Devezas ; Sérgio Nunes ; Cristina Ribeiro ;
PUBLISHED: 2011, SOURCE: ICWSM, PAGES: 470-473
AUTHORS: José Luís Devezas ; Sérgio Nunes ; Cristina Ribeiro ;
PUBLISHED: 2011, SOURCE: ICWSM, PAGES: 470-473
INDEXED IN: Scopus DBLP Handle
Scopus DBLP Handle8557
TITLE: Using the learning tools interoperability framework for LMS integration in service oriented architectures
AUTHORS: José P Leal ; Ricardo Queirós ;
PUBLISHED: 2011, SOURCE: Technology Enhanced Learning TECH-EDUCATION'11
AUTHORS: José P Leal ; Ricardo Queirós ;
PUBLISHED: 2011, SOURCE: Technology Enhanced Learning TECH-EDUCATION'11
INDEXED IN: Handle
Handle8558
TITLE: Variance of bioimpedance analysis measurements with physicalactivity and ingestion of food and water
AUTHORS: M. Garçês; C. Morais; G. Ribeiro; J. Pereira; M. Garcia; P. Rowcliffe; S. Taboada; A. Santos; Flora Correia; Bruno Oliveira ;
PUBLISHED: 2011
AUTHORS: M. Garçês; C. Morais; G. Ribeiro; J. Pereira; M. Garcia; P. Rowcliffe; S. Taboada; A. Santos; Flora Correia; Bruno Oliveira ;
PUBLISHED: 2011
INDEXED IN: Handle
Handle8559
TITLE: Verification conditions for source-level imperative programs
AUTHORS: Maria João Frade ; Jorge Sousa Pinto ;
PUBLISHED: 2011, SOURCE: Comput. Sci. Rev., VOLUME: 5, ISSUE: 3, PAGES: 252-277
AUTHORS: Maria João Frade ; Jorge Sousa Pinto ;
PUBLISHED: 2011, SOURCE: Comput. Sci. Rev., VOLUME: 5, ISSUE: 3, PAGES: 252-277
8560
TITLE: Virtual LEGO Modelling on Multi-Touch Surfaces
AUTHORS: Daniel Mendes ; Alfredo Ferreira ;
PUBLISHED: 2011, SOURCE: 19th International Conference in Central Europe on Computer Graphics, Visualization and Computer Vision in WSCG 2011: FULL PAPERS PROCEEDINGS, PAGES: 73-80
AUTHORS: Daniel Mendes ; Alfredo Ferreira ;
PUBLISHED: 2011, SOURCE: 19th International Conference in Central Europe on Computer Graphics, Visualization and Computer Vision in WSCG 2011: FULL PAPERS PROCEEDINGS, PAGES: 73-80
INDEXED IN: Scopus WOS
Scopus WOS