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: 8279
531 Team MembersFilters -> Year: 2024
6461
TITLE: Assertion-based slicing and slice graphs
AUTHORS: Barros, JB ; Da Cruz, D; Henriques, PR ; Pinto, JS ;
PUBLISHED: 2010, SOURCE: 8th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2010 in Proceedings - Software Engineering and Formal Methods, SEFM 2010, PAGES: 93-102
AUTHORS: Barros, JB ; Da Cruz, D; Henriques, PR ; Pinto, JS ;
PUBLISHED: 2010, SOURCE: 8th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2010 in Proceedings - Software Engineering and Formal Methods, SEFM 2010, PAGES: 93-102
6462
TITLE: Automated endoscopic capsule analysis using a Grid computing environment
AUTHORS: Ilidio C Oliveira ; Luis Alves; Eduardo Dias; David Pacheco; Sergio Lima; Joao Barros; Miguel P Monteiro ; Jorge A Silva ; Jose Maria Fernandes ; Cunha, JPS ; Antonio Sousa Pereira;
PUBLISHED: 2010, SOURCE: 4th Iberian Grid Infrastructure Conference (IBERGRID) in IBERGRID: 4TH IBERIAN GRID INFRASTRUCTURE CONFERENCE PROCEEDINGS, PAGES: 319-330
AUTHORS: Ilidio C Oliveira ; Luis Alves; Eduardo Dias; David Pacheco; Sergio Lima; Joao Barros; Miguel P Monteiro ; Jorge A Silva ; Jose Maria Fernandes ; Cunha, JPS ; Antonio Sousa Pereira;
PUBLISHED: 2010, SOURCE: 4th Iberian Grid Infrastructure Conference (IBERGRID) in IBERGRID: 4TH IBERIAN GRID INFRASTRUCTURE CONFERENCE PROCEEDINGS, PAGES: 319-330
INDEXED IN: 
WOS
WOS6463
TITLE: Automatic identification of drops in images of agitated liquid-liquid dispersion
AUTHORS: Gomes, EF ; Bras, LMR; M. M. M. Ribeiro ;
PUBLISHED: 2010, SOURCE: International Journal of Imaging, VOLUME: 4, ISSUE: 10 A, PAGES: 2-17
AUTHORS: Gomes, EF ; Bras, LMR; M. M. M. Ribeiro ;
PUBLISHED: 2010, SOURCE: International Journal of Imaging, VOLUME: 4, ISSUE: 10 A, PAGES: 2-17
INDEXED IN: 
Scopus
Scopus6464
TITLE: Automatically inferring classsheet models from spreadsheets
AUTHORS: Cunha, J ; Erwig, M; Saraiva, J ;
PUBLISHED: 2010, SOURCE: 2010 IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2010 in Proceedings - 2010 IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2010, PAGES: 93-100
AUTHORS: Cunha, J ; Erwig, M; Saraiva, J ;
PUBLISHED: 2010, SOURCE: 2010 IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2010 in Proceedings - 2010 IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2010, PAGES: 93-100
6465
TITLE: Beam search heuristics for quadratic earliness and tardiness scheduling
AUTHORS: Valente, JMS ;
PUBLISHED: 2010, SOURCE: JOURNAL OF THE OPERATIONAL RESEARCH SOCIETY, VOLUME: 61, ISSUE: 4, PAGES: 620-631
AUTHORS: Valente, JMS ;
PUBLISHED: 2010, SOURCE: JOURNAL OF THE OPERATIONAL RESEARCH SOCIETY, VOLUME: 61, ISSUE: 4, PAGES: 620-631
6466
TITLE: Bipartite Graphs for Monitoring Clusters Transitions
AUTHORS: Marcia Oliveira ; Joao Gama ;
PUBLISHED: 2010, SOURCE: 9th International Symposium on Intelligent Data Analysis in ADVANCES IN INTELLIGENT DATA ANALYSIS IX, PROCEEDINGS, VOLUME: 6065, PAGES: 114-124
AUTHORS: Marcia Oliveira ; Joao Gama ;
PUBLISHED: 2010, SOURCE: 9th International Symposium on Intelligent Data Analysis in ADVANCES IN INTELLIGENT DATA ANALYSIS IX, PROCEEDINGS, VOLUME: 6065, PAGES: 114-124
6467
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
6468
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
6469
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 DBLP6470
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
6471
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
6472
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 DBLP6473
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
6474
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
6475
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
6476
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
6477
TITLE: COMPARISON OF INTERNET USAGE HABITS IN TWO GENERATIONS OF HIGHER EDUCATION STUDENTS A Case Study
AUTHORS: Babo, R; Lopes, CT ; Rodrigues, AC; Pinto, M; Queiros, R ; de Oliveira, PC;
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: Babo, R; Lopes, CT ; Rodrigues, AC; Pinto, M; Queiros, R ; de Oliveira, PC;
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 
Handle
Scopus WOS DBLP Handle6478
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
6479
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
6480
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
