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: 10702
536 Team MembersFilters -> Year: 2026
8701
TITLE: Contract-Based Slicing
AUTHORS: da Cruz, D; Henriques, PR ; Pinto, JS ;
PUBLISHED: 2010, SOURCE: 4th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION, AND VALIDATION, PT I, VOLUME: 6415, ISSUE: PART 1, PAGES: 106-120
AUTHORS: da Cruz, D; Henriques, PR ; Pinto, JS ;
PUBLISHED: 2010, SOURCE: 4th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION, AND VALIDATION, PT I, VOLUME: 6415, ISSUE: PART 1, PAGES: 106-120
8702
TITLE: Contract-Based Slicing Helps on Safety Reuse Full Text
AUTHORS: Sergio Areias; Daniela Carneiro da Cruz; Jorge Sousa Pinto ;
PUBLISHED: 2010, SOURCE: ICPC, PAGES: 62-63
AUTHORS: Sergio Areias; Daniela Carneiro da Cruz; Jorge Sousa Pinto ;
PUBLISHED: 2010, SOURCE: ICPC, PAGES: 62-63
8703
TITLE: Core patterns of object-oriented meta-architectures
AUTHORS: Hugo Sereno Ferreira ; Filipe Figueiredo Correia ; Joseph W Yoder; Ademar Aguiar ;
PUBLISHED: 2010, SOURCE: PLoP, PAGES: 2:1-2:9
AUTHORS: Hugo Sereno Ferreira ; Filipe Figueiredo Correia ; Joseph W Yoder; Ademar Aguiar ;
PUBLISHED: 2010, SOURCE: PLoP, PAGES: 2:1-2:9
8704
TITLE: Corporate m-learning: Two case studies
AUTHORS: Amarolinda Zanela Saccol; Eliane Schlemmer ; Jorge L V Barbosa; Nicolau Reinhard;
PUBLISHED: 2010, SOURCE: Proceedings of the IADIS International Conference Mobile Learning 2010, PAGES: 230-234
AUTHORS: Amarolinda Zanela Saccol; Eliane Schlemmer ; Jorge L V Barbosa; Nicolau Reinhard;
PUBLISHED: 2010, SOURCE: Proceedings of the IADIS International Conference Mobile Learning 2010, PAGES: 230-234
INDEXED IN: 
Scopus
Scopus8705
TITLE: Correcting routing information through GPS data processing
AUTHORS: Tiago R M Freitas; António Coelho ; Rosaldo J F Rossetti ;
PUBLISHED: 2010, SOURCE: ITSC, PAGES: 706-711
AUTHORS: Tiago R M Freitas; António Coelho ; Rosaldo J F Rossetti ;
PUBLISHED: 2010, SOURCE: ITSC, PAGES: 706-711
8706
TITLE: Cross-Correlation and Sine-Fitting Techniques for High-Resolution Ultrasonic Ranging
AUTHORS: Ricardo Queiros ; Francisco Correa Alegria ; Pedro Silva Girao ; Antonio Cruz Serra ;
PUBLISHED: 2010, SOURCE: IEEE TRANSACTIONS ON INSTRUMENTATION AND MEASUREMENT, VOLUME: 59, ISSUE: 12, PAGES: 3227-3236
AUTHORS: Ricardo Queiros ; Francisco Correa Alegria ; Pedro Silva Girao ; Antonio Cruz Serra ;
PUBLISHED: 2010, SOURCE: IEEE TRANSACTIONS ON INSTRUMENTATION AND MEASUREMENT, VOLUME: 59, ISSUE: 12, PAGES: 3227-3236
8707
TITLE: CSCW and Information Systems Planning
AUTHORS: Jose Cabral; Hugo Paredes ; Joao Varajao ; Benjamin Fonseca ; Ramiro Goncalves ; Joao Goncalves;
PUBLISHED: 2010, SOURCE: 14th International-Business-Information-Management-Association Conference in BUSINESS TRANSFORMATION THROUGH INNOVATION AND KNOWLEDGE MANAGEMENT: AN ACADEMIC PERSPECTIVE, VOLS 3 AND 4, VOLUME: 4, PAGES: 2748-2754
AUTHORS: Jose Cabral; Hugo Paredes ; Joao Varajao ; Benjamin Fonseca ; Ramiro Goncalves ; Joao Goncalves;
PUBLISHED: 2010, SOURCE: 14th International-Business-Information-Management-Association Conference in BUSINESS TRANSFORMATION THROUGH INNOVATION AND KNOWLEDGE MANAGEMENT: AN ACADEMIC PERSPECTIVE, VOLS 3 AND 4, VOLUME: 4, PAGES: 2748-2754
INDEXED IN: Scopus 
WOS
Scopus WOS8708
TITLE: Customer Relationship Management Systems - Reasons Why Many Municipalities Do Not Have Them
AUTHORS: Jorge Duque; Joao Varajao ; Vitor Filipe ; Maria Manuela Cruz Cunha ;
PUBLISHED: 2010, SOURCE: International Conference on ENTERprize Information Systems in ENTERPRISE INFORMATION SYSTEMS PT I, VOLUME: 109, ISSUE: PART 1, PAGES: 131-137
AUTHORS: Jorge Duque; Joao Varajao ; Vitor Filipe ; Maria Manuela Cruz Cunha ;
PUBLISHED: 2010, SOURCE: International Conference on ENTERprize Information Systems in ENTERPRISE INFORMATION SYSTEMS PT I, VOLUME: 109, ISSUE: PART 1, PAGES: 131-137
8709
TITLE: Data Mining for Business Applications
AUTHORS: Carlos Soares ; Rayid Ghani;
PUBLISHED: 2010, VOLUME: 218
AUTHORS: Carlos Soares ; Rayid Ghani;
PUBLISHED: 2010, VOLUME: 218
INDEXED IN: 
DBLP
DBLP8710
TITLE: Data Mining for Business Applications: Introduction Full Text
AUTHORS: Carlos Soares ; Rayid Ghani;
PUBLISHED: 2010, SOURCE: Data Mining for Business Applications, VOLUME: 218, PAGES: 1-14
AUTHORS: Carlos Soares ; Rayid Ghani;
PUBLISHED: 2010, SOURCE: Data Mining for Business Applications, VOLUME: 218, PAGES: 1-14
8711
TITLE: Data Model for Procedural Modelling from Textual Descriptions
AUTHORS: Rodrigues, R; Coelho, A ; Reis, LP ;
PUBLISHED: 2010, SOURCE: 2010 IEEE World Congress on Computational Intelligence in 2010 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION (CEC), PAGES: 1-8
AUTHORS: Rodrigues, R; Coelho, A ; Reis, LP ;
PUBLISHED: 2010, SOURCE: 2010 IEEE World Congress on Computational Intelligence in 2010 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION (CEC), PAGES: 1-8
8712
TITLE: Data Stream Mining Algorithms for Building Decision Models in a Computer Role-Playing Game Simulation
AUTHORS: Rosane Maria Maffei Vallim; André Carlos Ponce de Leon Ferreira de Carvalho; João Gama ;
PUBLISHED: 2010, SOURCE: SBGames, PAGES: 108-116
AUTHORS: Rosane Maria Maffei Vallim; André Carlos Ponce de Leon Ferreira de Carvalho; João Gama ;
PUBLISHED: 2010, SOURCE: SBGames, PAGES: 108-116
8713
TITLE: Decision Making Based on Quality-of-Information a Clinical Guideline for Chronic Obstructive Pulmonary Disease Scenario
AUTHORS: Lima, L ; Paulo Novais ; Costa, R ; Cruz, JB; Neves, J ;
PUBLISHED: 2010, SOURCE: 7th International Symposium on Distributed Computing and Artificial Intelligence in DISTRIBUTED COMPUTING AND ARTIFICIAL INTELLIGENCE, VOLUME: 79, PAGES: 417-424
AUTHORS: Lima, L ; Paulo Novais ; Costa, R ; Cruz, JB; Neves, J ;
PUBLISHED: 2010, SOURCE: 7th International Symposium on Distributed Computing and Artificial Intelligence in DISTRIBUTED COMPUTING AND ARTIFICIAL INTELLIGENCE, VOLUME: 79, PAGES: 417-424
8714
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
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
8715
TITLE: Dependability in Aggregation by Averaging
AUTHORS: Paulo Jesus ; Carlos Baquero ; Paulo Sérgio Almeida ;
PUBLISHED: 2010, SOURCE: CoRR, VOLUME: abs/1011.6596
AUTHORS: Paulo Jesus ; Carlos Baquero ; Paulo Sérgio Almeida ;
PUBLISHED: 2010, SOURCE: CoRR, VOLUME: abs/1011.6596
INDEXED IN: DBLP
DBLP8716
TITLE: Deployment and evaluation of a usage based collaborative filtering recommendation system with blacklists
AUTHORS: Luís Lemos; Alípio M Jorge ; José P Leal;
PUBLISHED: 2010
AUTHORS: Luís Lemos; Alípio M Jorge ; José P Leal;
PUBLISHED: 2010
INDEXED IN: 
Handle
Handle8717
TITLE: Design an extensible metadata editor based on RDF
AUTHORS: José P Leal ; Ricardo Queirós ;
PUBLISHED: 2010
AUTHORS: José P Leal ; Ricardo Queirós ;
PUBLISHED: 2010
INDEXED IN: Handle
Handle8718
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
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
Scopus8719
TITLE: Determining the Best Classification Algorithm with Recourse to Sampling and Metalearning
AUTHORS: Pavel Brazdil ; Rui Leite;
PUBLISHED: 2010, SOURCE: Advances in Machine Learning I, VOLUME: 262, PAGES: 173-188
AUTHORS: Pavel Brazdil ; Rui Leite;
PUBLISHED: 2010, SOURCE: Advances in Machine Learning I, VOLUME: 262, PAGES: 173-188
8720
TITLE: Developing information services for the social solidarity institutions
AUTHORS: Queiros, A ; De Carvalho, SCS; Pavao, JA ; Da Rocha, NFP ;
PUBLISHED: 2010, SOURCE: IADIS International Conference e-Health 2010, EH, Part of the IADIS Multi Conference on Computer Science and Information Systems 2010, MCCSIS 2010 in Proceedings of the IADIS International Conference e-Health 2010, EH, Part of the IADIS Multi Conference on Computer Science and Information Systems 2010, MCCSIS 2010, PAGES: 299-302
AUTHORS: Queiros, A ; De Carvalho, SCS; Pavao, JA ; Da Rocha, NFP ;
PUBLISHED: 2010, SOURCE: IADIS International Conference e-Health 2010, EH, Part of the IADIS Multi Conference on Computer Science and Information Systems 2010, MCCSIS 2010 in Proceedings of the IADIS International Conference e-Health 2010, EH, Part of the IADIS Multi Conference on Computer Science and Information Systems 2010, MCCSIS 2010, PAGES: 299-302
INDEXED IN: Scopus
Scopus