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: 10649
536 Team MembersFilters -> Year: 2026
10021
TITLE: On applying tabling to inductive logic programming
AUTHORS: Rocha, R ; Fonseca, N ; Costa, VS ;
PUBLISHED: 2005, SOURCE: 16th European Conference on Machine Learning (ECML)/9th European Conference on Principles and Practice of Knowledge Discovery in Databases (PKDD) in MACHINE LEARNING: ECML 2005, PROCEEDINGS, VOLUME: 3720, PAGES: 707-714
AUTHORS: Rocha, R ; Fonseca, N ; Costa, VS ;
PUBLISHED: 2005, SOURCE: 16th European Conference on Machine Learning (ECML)/9th European Conference on Principles and Practice of Knowledge Discovery in Databases (PKDD) in MACHINE LEARNING: ECML 2005, PROCEEDINGS, VOLUME: 3720, PAGES: 707-714
10022
TITLE: On estimations for compiling software to FPGA-based systems Full Text
AUTHORS: Cardoso, JMP ;
PUBLISHED: 2005, SOURCE: 16th IEEE International Conference on Application-Specific Systems, Architecture and Processors in 16th International Conference on Application-Specific Systems, Architecture and Processors, Proceedings, PAGES: 225-230
AUTHORS: Cardoso, JMP ;
PUBLISHED: 2005, SOURCE: 16th IEEE International Conference on Application-Specific Systems, Architecture and Processors in 16th International Conference on Application-Specific Systems, Architecture and Processors, Proceedings, PAGES: 225-230
10023
TITLE: On predicting protein secondary structure from their aminoacid sequences using Inductive Logic Programming
AUTHORS: Alexandre Magalhaes ; Nuno A Fonseca ;
PUBLISHED: 2005, SOURCE: Portuguese Conference on Artificial Intelligence in 2005 PORTUGUESE CONFERENCE ON ARTIFICIAL INTELLIGENCE, PROCEEDINGS, PAGES: 136-139
AUTHORS: Alexandre Magalhaes ; Nuno A Fonseca ;
PUBLISHED: 2005, SOURCE: Portuguese Conference on Artificial Intelligence in 2005 PORTUGUESE CONFERENCE ON ARTIFICIAL INTELLIGENCE, PROCEEDINGS, PAGES: 136-139
INDEXED IN: 
WOS 
CrossRef
WOS CrossRef10024
TITLE: On refinement of software architectures
AUTHORS: Meng, S; Barbosa, LS ; Zhang, NX;
PUBLISHED: 2005, SOURCE: 2nd International Colloquium on Theoretical Aspects of Computing in THEORETICAL ASPECTS OF COMPUTING - ICTAC 2005, VOLUME: 3722, PAGES: 469-484
AUTHORS: Meng, S; Barbosa, LS ; Zhang, NX;
PUBLISHED: 2005, SOURCE: 2nd International Colloquium on Theoretical Aspects of Computing in THEORETICAL ASPECTS OF COMPUTING - ICTAC 2005, VOLUME: 3722, PAGES: 469-484
10025
TITLE: On the automatic construction of indistinguishable operations
AUTHORS: Barbosa, M ; Page, D;
PUBLISHED: 2005, SOURCE: 10th IMA International Conference on Cryptography and Coding in CRYPTOGRAPHY AND CODING, PROCEEDINGS, VOLUME: 3796, PAGES: 233-247
AUTHORS: Barbosa, M ; Page, D;
PUBLISHED: 2005, SOURCE: 10th IMA International Conference on Cryptography and Coding in CRYPTOGRAPHY AND CODING, PROCEEDINGS, VOLUME: 3796, PAGES: 233-247
10026
TITLE: Optimal Trees for General Nonlinear Network Flow Problems: A Dynamic Programming Approach
AUTHORS: Dalila B Fontes ;
PUBLISHED: 2005
AUTHORS: Dalila B Fontes ;
PUBLISHED: 2005
INDEXED IN: 
Handle
Handle10027
TITLE: Partition incremental discretization
AUTHORS: Carlos M. Afonso; Joao Gama ;
PUBLISHED: 2005, SOURCE: Portuguese Conference on Artificial Intelligence in 2005 Portuguese Conference on Artificial Intelligence, Proceedings, PAGES: 168-174
AUTHORS: Carlos M. Afonso; Joao Gama ;
PUBLISHED: 2005, SOURCE: Portuguese Conference on Artificial Intelligence in 2005 Portuguese Conference on Artificial Intelligence, Proceedings, PAGES: 168-174
10028
TITLE: Pipelining sequences of loops: A first example
AUTHORS: Rodrigues, R; Cardoso, JMP ;
PUBLISHED: 2005, SOURCE: International Workshop on Applied Reconfigurable Computing 2005, ARC 2005 in ARC 2005 - International Workshop on Applied Reconfigurable Computing 2005, PAGES: 147-151
AUTHORS: Rodrigues, R; Cardoso, JMP ;
PUBLISHED: 2005, SOURCE: International Workshop on Applied Reconfigurable Computing 2005, ARC 2005 in ARC 2005 - International Workshop on Applied Reconfigurable Computing 2005, PAGES: 147-151
INDEXED IN: 
Scopus
Scopus10029
10030
TITLE: Point-free program transformation
AUTHORS: Cunha, A ; Pinto, JS ;
PUBLISHED: 2005, SOURCE: FUNDAMENTA INFORMATICAE, VOLUME: 66, ISSUE: 4, PAGES: 315-352
AUTHORS: Cunha, A ; Pinto, JS ;
PUBLISHED: 2005, SOURCE: FUNDAMENTA INFORMATICAE, VOLUME: 66, ISSUE: 4, PAGES: 315-352
INDEXED IN: Scopus WOS 
DBLP
Scopus WOS DBLP10031
TITLE: Predicting relative performance of classifiers from samples
AUTHORS: Rui Leite; Pavel Brazdil ;
PUBLISHED: 2005, SOURCE: ICML, PAGES: 497-503
AUTHORS: Rui Leite; Pavel Brazdil ;
PUBLISHED: 2005, SOURCE: ICML, PAGES: 497-503
10032
TITLE: Preface
AUTHORS: Zhiming Liu; Luís Soares Barbosa ;
PUBLISHED: 2005, SOURCE: FACS, PAGES: 1-2
AUTHORS: Zhiming Liu; Luís Soares Barbosa ;
PUBLISHED: 2005, SOURCE: FACS, PAGES: 1-2
INDEXED IN: DBLP
DBLP10033
TITLE: Probabilistic First-Order Theory Revision from Examples
AUTHORS: Aline Paes; Kate Revoredo; Gerson Zaverucha; Vítor Santos Costa ;
PUBLISHED: 2005, SOURCE: ILP, VOLUME: 3625, PAGES: 295-311
AUTHORS: Aline Paes; Kate Revoredo; Gerson Zaverucha; Vítor Santos Costa ;
PUBLISHED: 2005, SOURCE: ILP, VOLUME: 3625, PAGES: 295-311
10034
TITLE: Proposal of multi-agent based model for dynamic scheduling in manufacturing
AUTHORS: Madureira, A ; Santos, J;
PUBLISHED: 2005, SOURCE: WSEAS Transactions on Information Science and Applications, VOLUME: 2, ISSUE: 5, PAGES: 600-605
AUTHORS: Madureira, A ; Santos, J;
PUBLISHED: 2005, SOURCE: WSEAS Transactions on Information Science and Applications, VOLUME: 2, ISSUE: 5, PAGES: 600-605
INDEXED IN: Scopus
Scopus10035
TITLE: Protein sequence classification through relevant sequence mining and Bayes Classifiers
AUTHORS: Ferreira, PG ; Azevedo, PJ ;
PUBLISHED: 2005, SOURCE: 12th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 3808, PAGES: 236-247
AUTHORS: Ferreira, PG ; Azevedo, PJ ;
PUBLISHED: 2005, SOURCE: 12th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 3808, PAGES: 236-247
10036
TITLE: Protein sequence pattern mining with constraints
AUTHORS: Ferreira, PG ; Azevedo, PJ ;
PUBLISHED: 2005, SOURCE: 16th European Conference on Machine Learning (ECML)/9th European Conference on Principles and Practice of Knowledge Discovery in Databases (PKDD) in KNOWLEDGE DISCOVERY IN DATABASES: PKDD 2005, VOLUME: 3721, PAGES: 96-107
AUTHORS: Ferreira, PG ; Azevedo, PJ ;
PUBLISHED: 2005, SOURCE: 16th European Conference on Machine Learning (ECML)/9th European Conference on Principles and Practice of Knowledge Discovery in Databases (PKDD) in KNOWLEDGE DISCOVERY IN DATABASES: PKDD 2005, VOLUME: 3721, PAGES: 96-107
10037
TITLE: Queuing and Routing in a Hierarchical Powerline Communication System
AUTHORS: Filipe de Faria Pacheco ; Luis Miguel Pinho ; Eduardo Tovar ;
PUBLISHED: 2005, SOURCE: 10th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) in ETFA 2005: 10TH IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, VOL 2, PROCEEDINGS, VOLUME: 2 2 OF 2 VOL, PAGES: 59-66
AUTHORS: Filipe de Faria Pacheco ; Luis Miguel Pinho ; Eduardo Tovar ;
PUBLISHED: 2005, SOURCE: 10th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) in ETFA 2005: 10TH IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, VOL 2, PROCEEDINGS, VOLUME: 2 2 OF 2 VOL, PAGES: 59-66
10038
TITLE: Recursion patterns and time-analysis
AUTHORS: Barbosa, A ; Cunha, A ; Pinto, JS ;
PUBLISHED: 2005, SOURCE: ACM SIGPLAN NOTICES, VOLUME: 40, ISSUE: 5, PAGES: 45-54
AUTHORS: Barbosa, A ; Cunha, A ; Pinto, JS ;
PUBLISHED: 2005, SOURCE: ACM SIGPLAN NOTICES, VOLUME: 40, ISSUE: 5, PAGES: 45-54
10039
TITLE: ReGS: User-level reliability in a grid environment
AUTHORS: Sanches, JAL; Vargas, PFK; Dutra, ID ; Costa, VS ; Geyer, CFR;
PUBLISHED: 2005, SOURCE: 2005 IEEE International Symposium on Cluster Computing and the Grid, Vols 1 and 2, VOLUME: 2, PAGES: 718-725
AUTHORS: Sanches, JAL; Vargas, PFK; Dutra, ID ; Costa, VS ; Geyer, CFR;
PUBLISHED: 2005, SOURCE: 2005 IEEE International Symposium on Cluster Computing and the Grid, Vols 1 and 2, VOLUME: 2, PAGES: 718-725
10040
TITLE: Replicated INAR(1) processes Full Text
AUTHORS: SILVA, ISABEL ; Silva, ME ; Isabel Pereira ; Silva, N;
PUBLISHED: 2005, SOURCE: METHODOLOGY AND COMPUTING IN APPLIED PROBABILITY, VOLUME: 7, ISSUE: 4, PAGES: 517-542
AUTHORS: SILVA, ISABEL ; Silva, ME ; Isabel Pereira ; Silva, N;
PUBLISHED: 2005, SOURCE: METHODOLOGY AND COMPUTING IN APPLIED PROBABILITY, VOLUME: 7, ISSUE: 4, PAGES: 517-542
