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: 8103
531 Team MembersFilters -> Year: 2024
6301
TITLE: Bringing class diagrams to life Full Text
AUTHORS: Barbosa, LS ; Meng, S;
PUBLISHED: 2010, SOURCE: Innovations in Systems and Software Engineering, VOLUME: 6, ISSUE: 1, PAGES: 91-98
AUTHORS: Barbosa, LS ; Meng, S;
PUBLISHED: 2010, SOURCE: Innovations in Systems and Software Engineering, VOLUME: 6, ISSUE: 1, PAGES: 91-98
6302
TITLE: Case-based Reasoning for Self-Optimizing Behavior Full Text
AUTHORS: Pereira, I ; Madureira, A ;
PUBLISHED: 2010, SOURCE: IEEE International Conference on Systems, Man and Cybernetics in IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS (SMC 2010), PAGES: 4236-4243
AUTHORS: Pereira, I ; Madureira, A ;
PUBLISHED: 2010, SOURCE: IEEE International Conference on Systems, Man and Cybernetics in IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS (SMC 2010), PAGES: 4236-4243
6303
TITLE: Certification of open-source software: A role for formal methods?
AUTHORS: Luis S Barbosa ; Antonio Cerone; Alexander K Petrenko; Siraj A Shaikh;
PUBLISHED: 2010, SOURCE: COMPUTER SYSTEMS SCIENCE AND ENGINEERING, VOLUME: 25, ISSUE: 4, PAGES: 273-281
AUTHORS: Luis S Barbosa ; Antonio Cerone; Alexander K Petrenko; Siraj A Shaikh;
PUBLISHED: 2010, SOURCE: COMPUTER SYSTEMS SCIENCE AND ENGINEERING, VOLUME: 25, ISSUE: 4, PAGES: 273-281
INDEXED IN: 
Scopus 
WOS 
DBLP
Scopus WOS DBLP6304
TITLE: Change Detection with Kalman Filter and CUSUM
AUTHORS: Milton Severo ; João Gama ;
PUBLISHED: 2010, SOURCE: Ubiquitous Knowledge Discovery - Challenges, Techniques, Applications, VOLUME: 6202, PAGES: 148-162
AUTHORS: Milton Severo ; João Gama ;
PUBLISHED: 2010, SOURCE: Ubiquitous Knowledge Discovery - Challenges, Techniques, Applications, VOLUME: 6202, PAGES: 148-162
6305
TITLE: Chess Revision: Acquiring the Rules of Chess Variants through FOL Theory Revision from Examples Full Text
AUTHORS: Stephen Muggleton; Aline Paes; Vitor Santos Costa ; Gerson Zaverucha;
PUBLISHED: 2010, SOURCE: 19th International Conference on Inductive Logic Programming in INDUCTIVE LOGIC PROGRAMMING, VOLUME: 5989, PAGES: 123-130
AUTHORS: Stephen Muggleton; Aline Paes; Vitor Santos Costa ; Gerson Zaverucha;
PUBLISHED: 2010, SOURCE: 19th International Conference on Inductive Logic Programming in INDUCTIVE LOGIC PROGRAMMING, VOLUME: 5989, PAGES: 123-130
6306
TITLE: Clustering data streams with weightless neural networks PDF
AUTHORS: Cardoso, DO; Lima, PMV; De Gregorio, M; Gama, J ; Franca, FMG;
PUBLISHED: 2010, SOURCE: ESANN 2011 proceedings, 19th European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning, PAGES: 201-206
AUTHORS: Cardoso, DO; Lima, PMV; De Gregorio, M; Gama, J ; Franca, FMG;
PUBLISHED: 2010, SOURCE: ESANN 2011 proceedings, 19th European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning, PAGES: 201-206
INDEXED IN: Scopus DBLP
Scopus DBLP6307
TITLE: Clustering from Data Streams
AUTHORS: Thomas R Shultz; Scott E Fahlman; Susan Craw; Periklis Andritsos; Panayiotis Tsaparas; Ricardo Silva; Chris Drummond; Charles X Ling; Victor S Sheng; Chris Drummond; Pier Luca Lanzi; João Gama ; Paul P Wiegand; Prithviraj Sen; Galileo Namata; Mustafa Bilgic; Lise Getoor; Jun He; Sanjay Jain; Frank Stephan; ...More
PUBLISHED: 2010, SOURCE: Encyclopedia of Machine Learning, PAGES: 180-183
AUTHORS: Thomas R Shultz; Scott E Fahlman; Susan Craw; Periklis Andritsos; Panayiotis Tsaparas; Ricardo Silva; Chris Drummond; Charles X Ling; Victor S Sheng; Chris Drummond; Pier Luca Lanzi; João Gama ; Paul P Wiegand; Prithviraj Sen; Galileo Namata; Mustafa Bilgic; Lise Getoor; Jun He; Sanjay Jain; Frank Stephan; ...More
PUBLISHED: 2010, SOURCE: Encyclopedia of Machine Learning, PAGES: 180-183
6308
TITLE: Clustering Time Series of Sea Levels: Extreme Value Approach Full Text
AUTHORS: Manuel G Scotto ; Andres M Alonso; Susana M Barbosa ;
PUBLISHED: 2010, SOURCE: JOURNAL OF WATERWAY PORT COASTAL AND OCEAN ENGINEERING-ASCE, VOLUME: 136, ISSUE: 4, PAGES: 215-225
AUTHORS: Manuel G Scotto ; Andres M Alonso; Susana M Barbosa ;
PUBLISHED: 2010, SOURCE: JOURNAL OF WATERWAY PORT COASTAL AND OCEAN ENGINEERING-ASCE, VOLUME: 136, ISSUE: 4, PAGES: 215-225
6309
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
6310
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
6311
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 DBLP6312
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
6313
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
6314
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
6315
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
6316
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
6317
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
6318
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
6319
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
6320
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
