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: 8136
531 Team MembersFilters -> Year: 2024
6341
TITLE: Collective intelligence on dynamic manufacturing scheduling optimization
AUTHORS: Ana Madureira ; Ivo Pereira ; Nelson Sousa;
PUBLISHED: 2010, SOURCE: 2010 IEEE 5th International Conference on Bio-Inspired Computing: Theories and Applications, BIC-TA 2010 in Fifth International Conference on Bio-Inspired Computing: Theories and Applications, BIC-TA 2010, University of Hunan, Liverpool Hope University, Liverpool, United Kingdom / Changsha, China, September 8-10 and September 23-26, 2010, PAGES: 1693-1697
AUTHORS: Ana Madureira ; Ivo Pereira ; Nelson Sousa;
PUBLISHED: 2010, SOURCE: 2010 IEEE 5th International Conference on Bio-Inspired Computing: Theories and Applications, BIC-TA 2010 in Fifth International Conference on Bio-Inspired Computing: Theories and Applications, BIC-TA 2010, University of Hunan, Liverpool Hope University, Liverpool, United Kingdom / Changsha, China, September 8-10 and September 23-26, 2010, PAGES: 1693-1697
6342
TITLE: Compact Lists for Tabled Evaluation
AUTHORS: Joao Raimundo; Ricardo Rocha ;
PUBLISHED: 2010, SOURCE: 12th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PROCEEDINGS, VOLUME: 5937, PAGES: 249-263
AUTHORS: Joao Raimundo; Ricardo Rocha ;
PUBLISHED: 2010, SOURCE: 12th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PROCEEDINGS, VOLUME: 5937, PAGES: 249-263
6343
TITLE: COMPARISON OF INTERNET USAGE HABITS IN TWO GENERATIONS OF HIGHER EDUCATION STUDENTS A Case Study
AUTHORS: Rosalina Babo; Carla Teixeira Lopes ; Ana Claudia Rodrigues; Mario Pinto; Ricardo Queiros ; Paulo Coelho de Oliveira;
PUBLISHED: 2010, SOURCE: 2nd International Conference on Computer Supported Education in CSEDU 2010: PROCEEDINGS OF THE 2ND INTERNATIONAL CONFERENCE ON COMPUTER SUPPORTED EDUCATION, VOL 1, VOLUME: 1, PAGES: 415-418
AUTHORS: Rosalina Babo; Carla Teixeira Lopes ; Ana Claudia Rodrigues; Mario Pinto; Ricardo Queiros ; Paulo Coelho de Oliveira;
PUBLISHED: 2010, SOURCE: 2nd International Conference on Computer Supported Education in CSEDU 2010: PROCEEDINGS OF THE 2ND INTERNATIONAL CONFERENCE ON COMPUTER SUPPORTED EDUCATION, VOL 1, VOLUME: 1, PAGES: 415-418
INDEXED IN: 
Scopus 
WOS 
DBLP
Scopus WOS DBLP6344
TITLE: Compiling for Reconfigurable Computing: A Survey. A survey Full Text
AUTHORS: Joao M P Cardoso ; Pedro C Diniz ; Markus Weinhardt;
PUBLISHED: 2010, SOURCE: ACM COMPUTING SURVEYS, VOLUME: 42, ISSUE: 4, PAGES: 1-65
AUTHORS: Joao M P Cardoso ; Pedro C Diniz ; Markus Weinhardt;
PUBLISHED: 2010, SOURCE: ACM COMPUTING SURVEYS, VOLUME: 42, ISSUE: 4, PAGES: 1-65
6345
TITLE: Confirmatory Factorial Analysis of TEOSQp Full Text
AUTHORS: Fernandes, HM ; Jose Jacinto B Branco Vasconcelos Raposo ;
PUBLISHED: 2010, SOURCE: PSICOLOGIA-REFLEXAO E CRITICA, VOLUME: 23, ISSUE: 1, PAGES: 92-101
AUTHORS: Fernandes, HM ; Jose Jacinto B Branco Vasconcelos Raposo ;
PUBLISHED: 2010, SOURCE: PSICOLOGIA-REFLEXAO E CRITICA, VOLUME: 23, ISSUE: 1, PAGES: 92-101
6346
TITLE: Confirmatory Factorial Analysis of the Brazilian Version of the Competitive State Anxiety Inventory-2 (CSAI-2)
AUTHORS: Eduarda Maria Coelho ; Jose Vasconcelos Raposo ; Alvaro Cielo Mahl;
PUBLISHED: 2010, SOURCE: SPANISH JOURNAL OF PSYCHOLOGY, VOLUME: 13, ISSUE: 1, PAGES: 453-460
AUTHORS: Eduarda Maria Coelho ; Jose Vasconcelos Raposo ; Alvaro Cielo Mahl;
PUBLISHED: 2010, SOURCE: SPANISH JOURNAL OF PSYCHOLOGY, VOLUME: 13, ISSUE: 1, PAGES: 453-460
6347
TITLE: Constrains associated to e-business evolution
AUTHORS: Morais, EP; Pires, JA; Goncalves, R ;
PUBLISHED: 2010, SOURCE: E-Business Issues, Challenges and Opportunities for SMEs: Driving Competitiveness, PAGES: 335-349
AUTHORS: Morais, EP; Pires, JA; Goncalves, R ;
PUBLISHED: 2010, SOURCE: E-Business Issues, Challenges and Opportunities for SMEs: Driving Competitiveness, PAGES: 335-349
6348
TITLE: Contact center: information systems design Full Text
AUTHORS: Rui Rijo; João Varajão; Ramiro Gonçalves ;
PUBLISHED: 2010, SOURCE: J Intell Manuf - Journal of Intelligent Manufacturing, VOLUME: 23, ISSUE: 3, PAGES: 497-515
AUTHORS: Rui Rijo; João Varajão; Ramiro Gonçalves ;
PUBLISHED: 2010, SOURCE: J Intell Manuf - Journal of Intelligent Manufacturing, VOLUME: 23, ISSUE: 3, PAGES: 497-515
6349
TITLE: Context effect on query formulation and subjective relevance in health searches
AUTHORS: Teixeira Lopes, C ; Ribeiro, C ;
PUBLISHED: 2010, SOURCE: 3rd Information Interaction in Context Symposium, IIiX'10 in IIiX 2010 - Proceedings of the 2010 Information Interaction in Context Symposium, PAGES: 205-214
AUTHORS: Teixeira Lopes, C ; Ribeiro, C ;
PUBLISHED: 2010, SOURCE: 3rd Information Interaction in Context Symposium, IIiX'10 in IIiX 2010 - Proceedings of the 2010 Information Interaction in Context Symposium, PAGES: 205-214
6350
TITLE: Contextualized Ubiquity: A new opportunity for rendering business information and services PDF
AUTHORS: Carlos R Cunha ; Emanuel Peres ; Raul Morais ; Maximino Bessa ; Manuel Cabral Reis ;
PUBLISHED: 2010, SOURCE: J. Theor. Appl. Electron. Commer. Res., VOLUME: 5, ISSUE: 3, PAGES: 55-64
AUTHORS: Carlos R Cunha ; Emanuel Peres ; Raul Morais ; Maximino Bessa ; Manuel Cabral Reis ;
PUBLISHED: 2010, SOURCE: J. Theor. Appl. Electron. Commer. Res., VOLUME: 5, ISSUE: 3, PAGES: 55-64
6351
TITLE: Contract-Based Slicing
AUTHORS: Daniela da Cruz; Pedro Rangel Henriques ; Jorge Sousa Pinto ;
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: Daniela da Cruz; Pedro Rangel Henriques ; Jorge Sousa Pinto ;
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
6352
TITLE: Contract-based slicing helps on safety reuse
AUTHORS: Areias, S; Da Cruz, D; Pinto, JS ;
PUBLISHED: 2010, SOURCE: 18th IEEE International Conference on Program Comprehension, ICPC 2010 in IEEE International Conference on Program Comprehension, PAGES: 62-63
AUTHORS: Areias, S; Da Cruz, D; Pinto, JS ;
PUBLISHED: 2010, SOURCE: 18th IEEE International Conference on Program Comprehension, ICPC 2010 in IEEE International Conference on Program Comprehension, PAGES: 62-63
6353
TITLE: Core patterns of object-oriented meta-architectures
AUTHORS: Hugo Sereno Ferreira ; Filipe Figueiredo Correia ; Joseph W. Yoder; Ademar Aguiar ;
PUBLISHED: 2010, SOURCE: 17th Conference on Pattern Languages of Programs, PLoP 2010 in 17th Conference on Pattern Languages of Programs, PLoP '10, Reno/Tahoe, NV, USA, October 17-21, 2010, PAGES: 2:1-2:9
AUTHORS: Hugo Sereno Ferreira ; Filipe Figueiredo Correia ; Joseph W. Yoder; Ademar Aguiar ;
PUBLISHED: 2010, SOURCE: 17th Conference on Pattern Languages of Programs, PLoP 2010 in 17th Conference on Pattern Languages of Programs, PLoP '10, Reno/Tahoe, NV, USA, October 17-21, 2010, PAGES: 2:1-2:9
6354
TITLE: Correcting routing information through GPS data processing
AUTHORS: Tiago R M Freitas; António Coelho ; Rosaldo J F Rossetti ;
PUBLISHED: 2010, SOURCE: 13th International IEEE Conference on Intelligent Transportation Systems, ITSC 2010 in 13th International IEEE Conference on Intelligent Transportation Systems, Funchal, Madeira, Portugal, 19-22 September 2010, PAGES: 706-711
AUTHORS: Tiago R M Freitas; António Coelho ; Rosaldo J F Rossetti ;
PUBLISHED: 2010, SOURCE: 13th International IEEE Conference on Intelligent Transportation Systems, ITSC 2010 in 13th International IEEE Conference on Intelligent Transportation Systems, Funchal, Madeira, Portugal, 19-22 September 2010, PAGES: 706-711
6355
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
6356
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 WOS6357
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
6358
TITLE: Data Model for Procedural Modelling from Textual Descriptions
AUTHORS: Roberto Rodrigues; Antonio Coelho ; Luis Paulo Reis ;
PUBLISHED: 2010, SOURCE: 2010 IEEE World Congress on Computational Intelligence in 2010 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION (CEC), PAGES: 1-8
AUTHORS: Roberto Rodrigues; Antonio Coelho ; Luis Paulo Reis ;
PUBLISHED: 2010, SOURCE: 2010 IEEE World Congress on Computational Intelligence in 2010 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION (CEC), PAGES: 1-8
6359
TITLE: Deductive verification of cryptographic software Full Text
AUTHORS: Almeida, JB ; Barbosa, M ; Pinto, JS ; Vieira, B;
PUBLISHED: 2010, SOURCE: Innovations in Systems and Software Engineering, VOLUME: 6, ISSUE: 3, PAGES: 203-218
AUTHORS: Almeida, JB ; Barbosa, M ; Pinto, JS ; Vieira, B;
PUBLISHED: 2010, SOURCE: Innovations in Systems and Software Engineering, VOLUME: 6, ISSUE: 3, PAGES: 203-218
6360
TITLE: Dependability in Aggregation by Averaging PDF
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 
arXiv
DBLP arXiv