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

536 Team Members
Filters -> Year: 2026
10161
TITLE: A formal approach to the usability engineering
AUTHORS: José Creissac Campos ;
PUBLISHED: 2003, SOURCE: Latin American Conference on Human-Computer Interaction, CLIHC '03 in Latin American Conference on Human-Computer Interaction, CLIHC'03, Rio de Janeiro, Brazil, November 17-20, 2003, VOLUME: 46, PAGES: 17-28
INDEXED IN: Scopus DBLP
10162
TITLE: A generalized net model of the treatment of mechanically ventilated patients with nosocomial pneumonia
AUTHORS: Todorova, L; Bentes, I. ; Barroso, J ; Temelkov, A;
PUBLISHED: 2003, SOURCE: 10th International Conference on Concurrent Engineering in CONCURRENT ENGINEERING: ADVANCED DESIGN, PRODUCTION AND MANAGEMENT SYSTEMS, PAGES: 1057-1063
INDEXED IN: Scopus WOS
10163
TITLE: A multi-threaded asynchronous language
AUTHORS: Paulino, H ; Marques, P ; Lopes, L ; Vasconcelos, V ; Silva, F ;
PUBLISHED: 2003, SOURCE: 7th International Conference on Parallel Computing Technologies (PaCT 2003) in PARALLEL COMPUTING TECHNOLOGIES, PROCEEDINGS, VOLUME: 2763, PAGES: 316-323
INDEXED IN: Scopus WOS DBLP CrossRef: 6
10164
TITLE: A multidimensional dynamic regulation model for E-marketplaces: DYNEX
AUTHORS: Tavares, LV ; Pereira, MJ; Coelho, JS ;
PUBLISHED: 2003, SOURCE: 2nd IFIP Conference on E-Commerce, E-Business, E-Government (13E 2002) in TOWARDS THE KNOWLEDGE SOCIETY: E-COMMERCE, E-BUSINESS, AND E-GOVERNMENT, VOLUME: 105, PAGES: 67-81
INDEXED IN: Scopus WOS
10165
TITLE: A note on scheduling on a single processor with variable speed
AUTHORS: Jorge M S Valente ; Rui A F S Alves;
PUBLISHED: 2003, SOURCE: Pesquisa Operacional, VOLUME: 23, ISSUE: 3, PAGES: 457-462
INDEXED IN: CrossRef
10166
TITLE: A parallel ILP algorithm that incorporates incremental batch learning
AUTHORS: Nuno Fonseca; Rui Camacho ; Fernado Silva;
PUBLISHED: 2003
INDEXED IN: Handle
10167
TITLE: A role based model for the normative specification of organized collective agency and agents interaction  Full Text
AUTHORS: Pacheco, O ; Carmo, J ;
PUBLISHED: 2003, SOURCE: AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS, VOLUME: 6, ISSUE: 2, PAGES: 145-184
INDEXED IN: Scopus WOS CrossRef: 53
10168
TITLE: Accurate decision trees for mining high-speed data streams
AUTHORS: João Gama ; Ricardo Rocha; Pedro Medas;
PUBLISHED: 2003, SOURCE: KDD, PAGES: 523-528
INDEXED IN: Scopus DBLP CrossRef: 186
10169
TITLE: Adaptation to drifting concepts
AUTHORS: Castillo, G; Gama, J ; Medas, P;
PUBLISHED: 2003, SOURCE: 11th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE-B, VOLUME: 2902, PAGES: 279-293
INDEXED IN: Scopus WOS DBLP CrossRef: 7
10170
TITLE: Adaptive Bayes for a student modeling prediction task based on learning styles
AUTHORS: Castillo, G; Gama, J ; Breda, AM ;
PUBLISHED: 2003, SOURCE: 9th International Conference on User Modeling in USER MODELING 2003, PROCEEDINGS, VOLUME: 2702, PAGES: 328-332
INDEXED IN: Scopus WOS DBLP CrossRef: 12
10171
TITLE: Adaptive gossip-based broadcast
AUTHORS: Rodrigues, L ; Pereira, J ; Handurukande, S; Guerraoui, R; Kermarrec, AM;
PUBLISHED: 2003, SOURCE: International Conference on Dependable Systems and Networks in 2003 INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS, PROCEEDINGS, PAGES: 47-56
INDEXED IN: Scopus WOS DBLP CrossRef: 32
10172
TITLE: An empirical evaluation of bagging in inductive logic programming
AUTHORS: Dutra, ID ; Page, D; Costa, VS ; Shavlik, J;
PUBLISHED: 2003, SOURCE: INDUCTIVE LOGIC PROGRAMMING, VOLUME: 2583, PAGES: 48-65
INDEXED IN: Scopus WOS DBLP CrossRef: 9
10173
TITLE: An interoperable GIS solution for the public administration
AUTHORS: Rocha, A ; Lopes, JC ; Bártolo, L; Chilro, R;
PUBLISHED: 2003, SOURCE: 2nd International Conference on Electronic Government (EGOV 2003) in ELECTRONIC GOVENMENT, PROCEEDINGS, VOLUME: 2739, PAGES: 345-350
INDEXED IN: Scopus WOS DBLP CrossRef: 2
10174
TITLE: Análise de Séries Temporais com Recurso a Técnicas de Bases de Dados
AUTHORS: César Garcia; João Correia Lopes ;
PUBLISHED: 2003, SOURCE: VIII Jornadas Ingeniería del Software y Bases de Datos (JISBD 2003), 12-14 Noviembre 2003, Alicante, PAGES: 685-694
INDEXED IN: DBLP
10175
TITLE: Ankle kinematics to evaluate functional recovery in crushed rat sciatic nerve  Full Text
AUTHORS: Varejao, ASP ; Cabrita, AM ; Meek, MF; Bulas Cruz, J; Filipe, VM ; Gabriel, RC ; Ferreira, AJ ; Geuna, S; Winter, DA;
PUBLISHED: 2003, SOURCE: MUSCLE & NERVE, VOLUME: 27, ISSUE: 6, PAGES: 706-714
INDEXED IN: Scopus WOS CrossRef: 46
10176
TITLE: Applying scheduling by edge reversal to constraint partitioning
AUTHORS: Pereira, MR; Vargas, PK; França, FMG; de Castro, MCS; Dutra, ID ;
PUBLISHED: 2003, SOURCE: 15TH SYMPOSIUM ON COMPUTER ARCHITECTURE AND HIGH PERFORMANCE COMPUTING, PROCEEDINGS, VOLUME: 2003-January, PAGES: 134-141
INDEXED IN: Scopus WOS DBLP CrossRef: 1
10177
TITLE: ARCHITECT-R: A System for Reconfigurable Robots Design
AUTHORS: Gonçalves, RA; Moraes, PA; João M P Cardoso ; Denis F Wolf; Marcio Merino Fernandes; Roseli A Francelin Romero; Eduardo Marques;
PUBLISHED: 2003, SOURCE: SAC, PAGES: 679-683
INDEXED IN: Scopus DBLP
10178
TITLE: As lazy as it can be
AUTHORS: Rui Camacho ;
PUBLISHED: 2003
INDEXED IN: Handle
10179
TITLE: Automatic selection of table areas in documents for information extraction
AUTHORS: Silva, ACE; Jorge, A ; Torgo, L ;
PUBLISHED: 2003, SOURCE: 11th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE-B, VOLUME: 2902, PAGES: 460-465
INDEXED IN: Scopus WOS DBLP CrossRef: 8
10180
TITLE: Automatic visualization of recursion trees: a case study on generic programming
AUTHORS: Alcino Cunha ;
PUBLISHED: 2003, SOURCE: Electr. Notes Theor. Comput. Sci., VOLUME: 86, ISSUE: 3, PAGES: 70-84
INDEXED IN: Scopus DBLP CrossRef

Results per Page: 20.
Page 509 of 532. Total results: 10640.