CS: Computer Science
CS: Computer Science

Inesc Technology and Science (INESC TEC)

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

Update Citation

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!

Update PrePrints

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!

Publications Count: 10641

536 Team Members
Filters -> Year: 2026
10021
TITLE: Point-free program calculation
AUTHORS: Alcino Cunha ;
PUBLISHED: 2005
INDEXED IN: DBLP
10022
TITLE: Point-free program transformation
AUTHORS: Cunha, A ; Pinto, JS ;
PUBLISHED: 2005, SOURCE: FUNDAMENTA INFORMATICAE, VOLUME: 66, ISSUE: 4, PAGES: 315-352
INDEXED IN: Scopus WOS DBLP
10023
TITLE: Predicting relative performance of classifiers from samples
AUTHORS: Rui Leite; Pavel Brazdil ;
PUBLISHED: 2005, SOURCE: ICML, PAGES: 497-503
INDEXED IN: Scopus DBLP CrossRef: 41
10024
TITLE: Preface
AUTHORS: Zhiming Liu; Luís Soares Barbosa ;
PUBLISHED: 2005, SOURCE: FACS, PAGES: 1-2
INDEXED IN: DBLP
10025
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
INDEXED IN: Scopus DBLP CrossRef: 7
10026
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
INDEXED IN: Scopus
10027
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
INDEXED IN: Scopus WOS DBLP CrossRef: 18
10028
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
INDEXED IN: Scopus WOS DBLP CrossRef: 12
10029
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
INDEXED IN: Scopus WOS CrossRef: 7
10030
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
INDEXED IN: Scopus WOS DBLP CrossRef: 1
10031
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
INDEXED IN: Scopus WOS DBLP CrossRef
10032
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
INDEXED IN: Scopus WOS CrossRef: 14
10033
TITLE: Reverse Engineering of Framework Design using a Meta-Patterns-based Approach
AUTHORS: Flores, N ; Aguiar, A ;
PUBLISHED: 2005, SOURCE: 3rd IEEE/ACS International Conference on Computer Systems and Applications (AICCSA-05) in 3RD ACS/IEEE INTERNATIONAL CONFERENCE ON COMPUTER SYSTEMS AND APPLICATIONS, 2005, VOLUME: 2005, PAGES: 941-946
INDEXED IN: Scopus WOS DBLP CrossRef
10034
TITLE: Rigidity of hyperbolic sets on surfaces  Full Text
AUTHORS: Pinto, AA ; Rand, DA;
PUBLISHED: 2005, SOURCE: JOURNAL OF THE LONDON MATHEMATICAL SOCIETY-SECOND SERIES, VOLUME: 71, ISSUE: 2, PAGES: 481-502
INDEXED IN: Scopus WOS CrossRef: 7
10035
TITLE: Selective component-based rendering
AUTHORS: Debattista, K; Sundstedt, V; Santos, LP ; Chalmers, A;
PUBLISHED: 2005, SOURCE: GRAPHITE 2005 - 3rd International Conference on Computer Graphics and Interactive Techniques in Australasia and Southeast Asia in Proceedings - GRAPHITE 2005 - 3rd International Conference on Computer Graphics and Interactive Techniques in Australasia and Southeast Asia, PAGES: 13-22
INDEXED IN: Scopus CrossRef: 10
10036
TITLE: Selective rendering quality for an efficient navigational aid in virtual urban environments on mobile platforms
AUTHORS: Maximino Bessa ; António Coelho ; Alan Chalmers;
PUBLISHED: 2005, SOURCE: MUM, VOLUME: 154, PAGES: 109-113
INDEXED IN: Scopus DBLP CrossRef Handle
10037
TITLE: Semi-automatic ontology bridging
AUTHORS: Silva, N ; Rocha, J ;
PUBLISHED: 2005, SOURCE: International Conference on Information and Knowledge Engineering in IKE '05: Proceedings of the 2005 International Conference on Information and Knowledge Engineering, PAGES: 192-198
INDEXED IN: Scopus WOS
10038
TITLE: Service-oriented semi-automatic ontology mapping bridging
AUTHORS: Silva, N ; Rocha, J ;
PUBLISHED: 2005, SOURCE: ENGINEERING INTELLIGENT SYSTEMS FOR ELECTRICAL ENGINEERING AND COMMUNICATIONS, VOLUME: 13, ISSUE: 4, PAGES: 253-258
INDEXED IN: Scopus WOS
10040
TITLE: Slicing Functional Programs by Calculation
AUTHORS: Nuno F Rodrigues ; Luís Soares Barbosa ;
PUBLISHED: 2005, SOURCE: Beyond Program Slicing, VOLUME: 5451
INDEXED IN: Scopus DBLP

Results per Page: 20.
Page 502 of 533. Total results: 10641.