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: 8434

531 Team Members
Filters -> Year: 2024
7841
TITLE: On applying or-parallelism and tabling to logic programs
AUTHORS: Rocha, R ; Silva, F ; Costa, VS ;
PUBLISHED: 2005, SOURCE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 5, ISSUE: 1-2, PAGES: 161-205
INDEXED IN: Scopus WOS DBLP CrossRef: 27
7842
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
INDEXED IN: Scopus WOS DBLP CrossRef: 9
7843
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
INDEXED IN: Scopus WOS DBLP CrossRef: 3
7844
TITLE: On refinement of software architectures  Full Text
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
INDEXED IN: Scopus WOS DBLP CrossRef: 3
7845
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
INDEXED IN: Scopus WOS DBLP CrossRef: 11
7846
TITLE: On the Automatic Construction of Indistinguishable Operations
AUTHORS: Manuel Barbosa ; Dan Page;
PUBLISHED: 2005, SOURCE: IACR Cryptology ePrint Archive, VOLUME: 2005, PAGES: 174
INDEXED IN: DBLP
7847
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
INDEXED IN: WOS CrossRef: 2
7848
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
INDEXED IN: Scopus
7849
TITLE: Point-free program calculation
AUTHORS: Alcino Cunha ;
PUBLISHED: 2005
INDEXED IN: DBLP
7850
TITLE: Point-free program transformation  Full Text
AUTHORS: Cunha, A ; Pinto, JS ;
PUBLISHED: 2005, SOURCE: FUNDAMENTA INFORMATICAE, VOLUME: 66, ISSUE: 4, PAGES: 315-352
INDEXED IN: Scopus WOS DBLP
7851
TITLE: Predicting relative performance of classifiers from samples
AUTHORS: Leite, R; Brazdil, P ;
PUBLISHED: 2005, SOURCE: ICML 2005: 22nd International Conference on Machine Learning in ICML 2005 - Proceedings of the 22nd International Conference on Machine Learning, VOLUME: 119, PAGES: 497-504
INDEXED IN: Scopus DBLP CrossRef: 33
7852
TITLE: Probabilistic first-order theory revision from examples
AUTHORS: Paes, A; Revoredo, K; Zaverucha, G; Costa, VS ;
PUBLISHED: 2005, SOURCE: 15th International Conference on Inductive Logic Programming, ILP 2005 in Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science), VOLUME: 3625, PAGES: 295-311
INDEXED IN: Scopus DBLP CrossRef: 7
7853
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
7854
TITLE: Protein sequence pattern mining with constraints  Full Text
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
7855
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
7856
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
7857
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, CCGrid 2005 in 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
7858
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: 12
7859
TITLE: Reverse Engineering of Framework Design using a Meta-Patterns-based Approach
AUTHORS: Nuno Flores ; Ademar Aguiar ;
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
7860
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

Results per Page: 20.
Page 393 of 422. Total results: 8434.