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

536 Team Members
Filters -> Year: 2026
10001
TITLE: Mode directed path finding
AUTHORS: Ong, IM; Dutra, ID ; Page, D; Costa, VS ;
PUBLISHED: 2005, SOURCE: MACHINE LEARNING: ECML 2005, PROCEEDINGS, VOLUME: 3720, PAGES: 673-681
INDEXED IN: Scopus WOS DBLP CrossRef: 15
10002
TITLE: Modelação expedita de ambientes virtuais urbanos para utilização em dispositivos móveis
AUTHORS: Maximino Bessa; António Coelho; João P Moura; Fernando N Ferreira; José B Cruz; António A de Sousa ; Alan Chalmers;
PUBLISHED: 2005
INDEXED IN: Handle
10003
TITLE: Modeling and Testing Hierarchical GUIs
AUTHORS: Ana C R Paiva ; Nikolai Tillmann; João C P Faria ; Raul F A M Vidal;
PUBLISHED: 2005, SOURCE: Abstract State Machines, PAGES: 329-344
INDEXED IN: DBLP Handle
10004
TITLE: Modelling urban scenes for LBMS  Full Text
AUTHORS: António Fernando F Coelho ; António Augusto de Sousa ; Fernando Nunes Ferreira;
PUBLISHED: 2005, SOURCE: Web3D, PAGES: 37-46
INDEXED IN: Scopus DBLP CrossRef: 2 Handle
10005
TITLE: Monitoring the quality of meta-data in web portals using statistics, visualization and data mining
AUTHORS: Soares, C ; Jorge, AM ; Domingues, MA;
PUBLISHED: 2005, SOURCE: 12th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 3808, PAGES: 371-382
INDEXED IN: Scopus WOS DBLP CrossRef: 1
10006
TITLE: Multidimensional service-oriented ontology mapping
AUTHORS: Silva, N ; Rocha, J ;
PUBLISHED: 2005, SOURCE: International Journal of Web Engineering and Technology, VOLUME: 2, ISSUE: 1, PAGES: 50-80
INDEXED IN: Scopus CrossRef: 2
10007
TITLE: New challenges in computer science education  Full Text
AUTHORS: Cardoso, JMP ;
PUBLISHED: 2005, SOURCE: ITiCSE 2005: 10th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education in Proceedings of the 10th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, VOLUME: 37, ISSUE: 3, PAGES: 203-207
INDEXED IN: Scopus DBLP CrossRef: 1
10008
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: 28
10009
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
10010
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
10011
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
INDEXED IN: WOS CrossRef
10012
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
INDEXED IN: Scopus WOS DBLP CrossRef: 3
10013
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: 12
10015
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
10016
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
10017
TITLE: Point-free program calculation
AUTHORS: Alcino Cunha ;
PUBLISHED: 2005
INDEXED IN: DBLP
10018
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
10019
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
10020
TITLE: Preface
AUTHORS: Zhiming Liu; Luís Soares Barbosa ;
PUBLISHED: 2005, SOURCE: FACS, PAGES: 1-2
INDEXED IN: DBLP

Results per Page: 20.
Page 501 of 532. Total results: 10637.