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
9881
TITLE: Selective rendering: Computing only what you see. computing only what you see
AUTHORS: Chalmers, A; Debattista, K; Dos Santos, LP ;
PUBLISHED: 2006, SOURCE: GRAPHITE 2006: 4th International Conference on Computer Graphics and Interactive Techniques in Australasia and Southeast Asia in Proceedings - GRAPHITE 2006: 4th International Conference on Computer Graphics and Interactive Techniques in Australasia and Southeast Asia, PAGES: 9-18
INDEXED IN: Scopus CrossRef: 4
9882
TITLE: Semi-automatic creation and maintenance of web resources with webTopic
AUTHORS: Escudeiro, NF ; Jorge, AM ;
PUBLISHED: 2006, SOURCE: Joint International Workshop on European Web Mining Forum/Workshop on Knowledge Discovery and Ontologies in SEMANTICS, WEB AND MINING, VOLUME: 4289, PAGES: 82-102
INDEXED IN: Scopus WOS DBLP CrossRef: 2
9883
TITLE: Separating sequential equilibrium in a Bayesian international duopoly
AUTHORS: Pinto, AA ; Ferreira, F. A. ; Ferreira, F ;
PUBLISHED: 2006, SOURCE: 2006 IEEE International Conference on Computational Cybernetics, ICCC in 2006 IEEE International Conference on Computational Cybernetics, ICCC
INDEXED IN: Scopus CrossRef
9884
TITLE: Sequence mining on web access logs: A case study
AUTHORS: Soares, C ; de Graaf, E; Kok, JN; Kosters, WA;
PUBLISHED: 2006, SOURCE: 18th Belgium-Netherlands Conference on Artificial Intelligence, BNAIC 2006 in Belgian/Netherlands Artificial Intelligence Conference
INDEXED IN: Scopus
9885
TITLE: Simple and effective classifiers to model biological data
AUTHORS: Salvini, RL; Dutra, IC ; Morelli, VA;
PUBLISHED: 2006, SOURCE: BIOMAT 2005, PAGES: 379-394
INDEXED IN: WOS CrossRef
9886
TITLE: Software agents and decision-making
AUTHORS: Bernardo, MDM ; Palma dos Reis, A ;
PUBLISHED: 2006, SOURCE: 1st Iberian Conference on Information Systems and Technologies in ACTAS DA 1A CONFERENCIA IBERICA DE SISTEMAS E TECNOLOGIAS DE INFORMACAO, VOL II, VOLUME: 2, PAGES: 357-373
INDEXED IN: Scopus WOS
9887
TITLE: Special ILP mega-issue: ILP-2003 and ILP-2004  Full Text
AUTHORS: Camacho, R ; King, R; Srinivasan, A;
PUBLISHED: 2006, SOURCE: MACHINE LEARNING, VOLUME: 64, ISSUE: 1-3, PAGES: 145-147
INDEXED IN: Scopus WOS CrossRef
9888
TITLE: Stackelberg duopoly with demand uncertainty
AUTHORS: Pinto, AA ; Ferreira, F. A. ; Ferreira, F ;
PUBLISHED: 2006, SOURCE: 2006 IEEE International Conference on Computational Cybernetics, ICCC in 2006 IEEE International Conference on Computational Cybernetics, ICCC
INDEXED IN: Scopus CrossRef
9889
TITLE: Stackelberg leadership with demand uncertainty in a differentiated duopoly
AUTHORS: Ferreira, F. A. ; Ferreira, F ; Pinto, A ;
PUBLISHED: 2006, SOURCE: 25th IASTED International Conference on Modelling, Identification and Control in PROCEEDINGS OF THE 25TH IASTED INTERNATIONAL CONFERENCE ON MODELLING, IDENTIFICATION, AND CONTROL, PAGES: 408-410
INDEXED IN: Scopus WOS Handle
9890
TITLE: Static scheduling of dependent parallel tasks on heterogeneous clusters
AUTHORS: Barbosa, J ; Morais, C; Nobrega, R; Monteiro, AP ;
PUBLISHED: 2006, SOURCE: IEEE International Conference on Cluster Computing in 2005 IEEE INTERNATIONAL CONFERENCE ON CLUSTER COMPUTING (CLUSTER), PAGES: 546-553
INDEXED IN: Scopus WOS DBLP CrossRef: 12
9891
TITLE: Strongly Typed Rewriting For Coupled Software Transformation
AUTHORS: Alcino Cunha ; Joost Visser;
PUBLISHED: 2006, SOURCE: RULE@FLoC, VOLUME: 174, ISSUE: 1, PAGES: 17-34
INDEXED IN: Scopus DBLP CrossRef: 15
9892
TITLE: Structural proof theory as rewriting
AUTHORS: Santo, JE ; Frade, MJ ; Pinto, L ;
PUBLISHED: 2006, SOURCE: 17th International Conference on Rewriting Techniques and Applications in TERM REWRITING AND APPLICATIONS, PROCEEDINGS, VOLUME: 4098, PAGES: 197-211
INDEXED IN: Scopus WOS CrossRef: 3
9893
TITLE: Supporting resource-based analysis of task information needs
AUTHORS: Campos, JC ; Doherty, GJ;
PUBLISHED: 2006, SOURCE: 12th International Workshop on Design, Specification and Verification of Interactive Systems in INTERACTIVE SYSTEMS: DESIGN, SPECIFICATION, AND VERIFICATION, VOLUME: 3941, PAGES: 188-200
INDEXED IN: Scopus WOS DBLP CrossRef: 4
9894
TITLE: Symbolic and spatial data analysis: Mining complex data structures
AUTHORS: Brito, P ; Noirhomme Fraiture, M;
PUBLISHED: 2006, SOURCE: INTELLIGENT DATA ANALYSIS, VOLUME: 10, ISSUE: 4, PAGES: 297-300
INDEXED IN: Scopus WOS DBLP
9895
TITLE: The circle and the solenoid
AUTHORS: Pinto, AA ; Sullivan, D;
PUBLISHED: 2006, SOURCE: DISCRETE AND CONTINUOUS DYNAMICAL SYSTEMS, VOLUME: 16, ISSUE: 2, PAGES: 463-504
INDEXED IN: Scopus WOS
9896
TITLE: The Design and Implementation of the YAP Compiler: An Optimizing Compiler for Logic Programming Languages
AUTHORS: Anderson Faustino da Silva; Vítor Santos Costa ;
PUBLISHED: 2006, SOURCE: ICLP, VOLUME: 4079 LNCS, PAGES: 461-462
INDEXED IN: Scopus DBLP CrossRef: 1
9897
TITLE: The Design of the YAP Compiler: An Optimizing Compiler for Logic Programming Languages
AUTHORS: Anderson Faustino da Silva; Vítor Santos Costa ;
PUBLISHED: 2006, SOURCE: J. Univers. Comput. Sci., VOLUME: 12, ISSUE: 7, PAGES: 764-787
INDEXED IN: Scopus DBLP
9898
TITLE: The influence of inter-domain mobility on message stream response time in wired/wireless profibus-based networks
AUTHORS: Ferreira, L ; Tovar, E ;
PUBLISHED: 2006, SOURCE: Fieldbus Systems and Their Applications 2005, PAGES: 135-142
INDEXED IN: Scopus CrossRef Handle
9899
TITLE: The Power of Closed Reduction Strategies
AUTHORS: Sandra Alves ; Maribel Fernández; Mário Florido ; Ian Mackie;
PUBLISHED: 2006, SOURCE: WRS@FLoC, VOLUME: 174, ISSUE: 10 SPEC. ISS., PAGES: 57-74
INDEXED IN: Scopus DBLP CrossRef: 3
9900
TITLE: The power of linear functions
AUTHORS: Alves, S ; Fernández, M; Florido, M ; Mackie, I;
PUBLISHED: 2006, SOURCE: 20th International Workshop on Computer Science Logic/15th Annual Conference of the European-Association-for-Computer-Science-Logic in COMPUTER SCIENCE LOGIC, PROCEEDINGS, VOLUME: 4207, PAGES: 119-134
INDEXED IN: Scopus WOS DBLP CrossRef: 9

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