CS: Computer Science
CS: Computer Science
AuthID: I-000-B2B
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
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!
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!
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!
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: 8110
531 Team MembersFilters -> Year: 2024
7581
TITLE: A survey of formal methods courses in European higher education: The FME subgroup on education
AUTHORS: Oliveira, JN ;
PUBLISHED: 2004, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 3294, PAGES: 235-248
AUTHORS: Oliveira, JN ;
PUBLISHED: 2004, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 3294, PAGES: 235-248
7582
TITLE: Accelerated epipolar geometry computation for 3D reconstruction using projective texturing
AUTHORS: Rui Rodrigues ; António Ramires Fernandes;
PUBLISHED: 2004, SOURCE: Spring Conference on Computer Graphics, SCCG 2004 in Proceedings of the 20th Spring Conference on Computer Graphics, SCCG '04, Budmerice, Slovakia, April 22-24, 2004, PAGES: 200-206
AUTHORS: Rui Rodrigues ; António Ramires Fernandes;
PUBLISHED: 2004, SOURCE: Spring Conference on Computer Graphics, SCCG 2004 in Proceedings of the 20th Spring Conference on Computer Graphics, SCCG '04, Budmerice, Slovakia, April 22-24, 2004, PAGES: 200-206
INDEXED IN: 
Scopus 
DBLP
Scopus DBLP7583
TITLE: Accessibility and Visually Impaired Users
AUTHORS: António Fernandes; Jorge Pereira; José Creissac Campos ;
PUBLISHED: 2004, SOURCE: Enterprise Information Systems VI, [ICEIS 2004, Porto, Portugal, April 14-17, 2004, Revised Selected Papers]., PAGES: 310-315
AUTHORS: António Fernandes; Jorge Pereira; José Creissac Campos ;
PUBLISHED: 2004, SOURCE: Enterprise Information Systems VI, [ICEIS 2004, Porto, Portugal, April 14-17, 2004, Revised Selected Papers]., PAGES: 310-315
INDEXED IN: DBLP
DBLP7584
TITLE: Alternate feature location for rapid navigation using a 3D map on a mobile device
AUTHORS: Maximino Bessa ; António Coelho ; Alan Chalmers;
PUBLISHED: 2004, SOURCE: 3rd International Conference on Mobile and Ubiquitous Multimedia, MUM 2004 in Proceedings of the 3rd International Conference on Mobile and Ubiquitous Multimedia, MUM 2004, College Park, Maryland, USA, October 27-29, 2004, VOLUME: 83, PAGES: 5-9
AUTHORS: Maximino Bessa ; António Coelho ; Alan Chalmers;
PUBLISHED: 2004, SOURCE: 3rd International Conference on Mobile and Ubiquitous Multimedia, MUM 2004 in Proceedings of the 3rd International Conference on Mobile and Ubiquitous Multimedia, MUM 2004, College Park, Maryland, USA, October 27-29, 2004, VOLUME: 83, PAGES: 5-9
7585
TITLE: An environment for exploring data-driven architectures
AUTHORS: Ferreira, R; Cardoso, JMP ; Neto, HC;
PUBLISHED: 2004, SOURCE: 14th International Conference on Field-Programmable Logic and Applications in FIELD-PROGRAMMABLE LOGIC AND APPLICATIONS, PROCEEDINGS, VOLUME: 3203, PAGES: 1022-1026
AUTHORS: Ferreira, R; Cardoso, JMP ; Neto, HC;
PUBLISHED: 2004, SOURCE: 14th International Conference on Field-Programmable Logic and Applications in FIELD-PROGRAMMABLE LOGIC AND APPLICATIONS, PROCEEDINGS, VOLUME: 3203, PAGES: 1022-1026
7586
TITLE: Aplicação do método STATIS a dados económicos
AUTHORS: Adelaide Figueiredo ;
PUBLISHED: 2004
AUTHORS: Adelaide Figueiredo ;
PUBLISHED: 2004
INDEXED IN: 
Handle
Handle7587
TITLE: Automated specification-based testing of interactive components with asmL PDF
AUTHORS: Paiva, ACR ; Faria, JCP ; Vidal, RFAM ;
PUBLISHED: 2004, SOURCE: 5th International Conference on the Quality of Information and Communications Technology, QUATIC 2004 in CEUR Workshop Proceedings, VOLUME: 1135, PAGES: 119-126
AUTHORS: Paiva, ACR ; Faria, JCP ; Vidal, RFAM ;
PUBLISHED: 2004, SOURCE: 5th International Conference on the Quality of Information and Communications Technology, QUATIC 2004 in CEUR Workshop Proceedings, VOLUME: 1135, PAGES: 119-126
INDEXED IN: Scopus DBLP
Scopus DBLP7588
TITLE: Autonomy in an organizational context
AUTHORS: Pacheco, O ;
PUBLISHED: 2004, SOURCE: 1st International Workshop on Computational Autonomy in AGENTS AND COMPUTATIONAL AUTONOMY: POTENTIAL, RISKS, AND SOLUTIONS, VOLUME: 2969, PAGES: 195-208
AUTHORS: Pacheco, O ;
PUBLISHED: 2004, SOURCE: 1st International Workshop on Computational Autonomy in AGENTS AND COMPUTATIONAL AUTONOMY: POTENTIAL, RISKS, AND SOLUTIONS, VOLUME: 2969, PAGES: 195-208
INDEXED IN: Scopus 
WOS
Scopus WOS7589
TITLE: Body mass index: Sensitivity and specificity [Índice de massa corporal: Sensibilidade e especificidade]
AUTHORS: Clemente, L; Moreira, P ; Oliveira, B ; Vaz De Almeida, MD;
PUBLISHED: 2004, SOURCE: Acta Medica Portuguesa, VOLUME: 17, ISSUE: 5, PAGES: 353-358
AUTHORS: Clemente, L; Moreira, P ; Oliveira, B ; Vaz De Almeida, MD;
PUBLISHED: 2004, SOURCE: Acta Medica Portuguesa, VOLUME: 17, ISSUE: 5, PAGES: 353-358
INDEXED IN: Scopus
Scopus7590
TITLE: Bounded version vectors
AUTHORS: Almeida, JB ; Almeida, PS ; Baquero, C ;
PUBLISHED: 2004, SOURCE: 18th International Conference on Distributed Computing in DISTRIBUTED COMPUTING, PROCEEDINGS, VOLUME: 3274, PAGES: 102-116
AUTHORS: Almeida, JB ; Almeida, PS ; Baquero, C ;
PUBLISHED: 2004, SOURCE: 18th International Conference on Distributed Computing in DISTRIBUTED COMPUTING, PROCEEDINGS, VOLUME: 3274, PAGES: 102-116
7591
TITLE: Clickstreams, the basis to establish user navigation patterns on web sites
AUTHORS: Alves, R; Belo, O ; Cavalcanti, F; Ferreira, P ;
PUBLISHED: 2004, SOURCE: 5th International Conference on Data Mining in DATA MINING V: DATA MINING, TEXT MINING AND THEIR BUSINESS APPLICATIONS, VOLUME: 10, PAGES: 87-96
AUTHORS: Alves, R; Belo, O ; Cavalcanti, F; Ferreira, P ;
PUBLISHED: 2004, SOURCE: 5th International Conference on Data Mining in DATA MINING V: DATA MINING, TEXT MINING AND THEIR BUSINESS APPLICATIONS, VOLUME: 10, PAGES: 87-96
INDEXED IN: Scopus WOS
Scopus WOS7592
TITLE: Concurrent table accesses in parallel tabled logic programs
AUTHORS: Rocha, R ; Silva, F ; Costa, VS ;
PUBLISHED: 2004, SOURCE: 10th International Euro-Par Conference on Parallel Processing in EURO-PAR 2004 PARALLEL PROCESSING, PROCEEDINGS, VOLUME: 3149, PAGES: 662-670
AUTHORS: Rocha, R ; Silva, F ; Costa, VS ;
PUBLISHED: 2004, SOURCE: 10th International Euro-Par Conference on Parallel Processing in EURO-PAR 2004 PARALLEL PROCESSING, PROCEEDINGS, VOLUME: 3149, PAGES: 662-670
7593
TITLE: Delegation in a role-based organization
AUTHORS: Pacheco, O ; Santos, F ;
PUBLISHED: 2004, SOURCE: 7th International Workshop on Deontic Logic in Computer Science in DEONTIC LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, VOLUME: 3065, PAGES: 209-227
AUTHORS: Pacheco, O ; Santos, F ;
PUBLISHED: 2004, SOURCE: 7th International Workshop on Deontic Logic in Computer Science in DEONTIC LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, VOLUME: 3065, PAGES: 209-227
INDEXED IN: Scopus WOS
Scopus WOS7594
TITLE: Difference equations for the higher-order moments and cumulants of the INAR(1) model Full Text
AUTHORS: Da Silva, ME ; Oliveira, VL ;
PUBLISHED: 2004, SOURCE: JOURNAL OF TIME SERIES ANALYSIS, VOLUME: 25, ISSUE: 3, PAGES: 317-333
AUTHORS: Da Silva, ME ; Oliveira, VL ;
PUBLISHED: 2004, SOURCE: JOURNAL OF TIME SERIES ANALYSIS, VOLUME: 25, ISSUE: 3, PAGES: 317-333
7595
TITLE: Discovery of functional relationships in multi-relational data using inductive logic programming
AUTHORS: Alves, A; Camacho, R ; Oliveira, E ;
PUBLISHED: 2004, SOURCE: 4th IEEE International Conference on Data Mining in FOURTH IEEE INTERNATIONAL CONFERENCE ON DATA MINING, PROCEEDINGS, PAGES: 319-322
AUTHORS: Alves, A; Camacho, R ; Oliveira, E ;
PUBLISHED: 2004, SOURCE: 4th IEEE International Conference on Data Mining in FOURTH IEEE INTERNATIONAL CONFERENCE ON DATA MINING, PROCEEDINGS, PAGES: 319-322
7596
TITLE: E-business interoperability through ontology semantic mapping
AUTHORS: Silva, N ; Rocha, J ; Cardoso, J;
PUBLISHED: 2004, SOURCE: 4th Working Conference on Virtual Enterprises in PROCESSES AND FOUNDATIONS FOR VIRTUAL ORGANIZATIONS, VOLUME: 134, PAGES: 315-322
AUTHORS: Silva, N ; Rocha, J ; Cardoso, J;
PUBLISHED: 2004, SOURCE: 4th Working Conference on Virtual Enterprises in PROCESSES AND FOUNDATIONS FOR VIRTUAL ORGANIZATIONS, VOLUME: 134, PAGES: 315-322
7597
TITLE: Evaluating a location-based application: A hybrid test and simulation environment Full Text
AUTHORS: Morla, R ; Davies, N;
PUBLISHED: 2004, SOURCE: IEEE PERVASIVE COMPUTING, VOLUME: 3, ISSUE: 3, PAGES: 48-56
AUTHORS: Morla, R ; Davies, N;
PUBLISHED: 2004, SOURCE: IEEE PERVASIVE COMPUTING, VOLUME: 3, ISSUE: 3, PAGES: 48-56
7598
TITLE: Exploiting parallelism in the Extended Andorra Model
AUTHORS: Lopes, R ; Costa, VS ; Silva, F ;
PUBLISHED: 2004, SOURCE: IASTED International Conference on Parallel and Distributed Computing and Networks in Proceedings of the IASTED International Conference on Parallel and Distributed Computing and Networks, PAGES: 483-489
AUTHORS: Lopes, R ; Costa, VS ; Silva, F ;
PUBLISHED: 2004, SOURCE: IASTED International Conference on Parallel and Distributed Computing and Networks in Proceedings of the IASTED International Conference on Parallel and Distributed Computing and Networks, PAGES: 483-489
INDEXED IN: WOS DBLP
WOS DBLP7599
TITLE: Extreme adaptivity
AUTHORS: Alves, MA; Jorge, A ; Leal, JP ;
PUBLISHED: 2004, SOURCE: 3rd International Conference on Adaptive Hypermedia and Adaptive Web-Based Systems in ADAPTIVE HYPERMEDIA AND ADAPOTIVE WEB-BASED SYSTEMS, PROCEEDINGS, VOLUME: 3137, PAGES: 348-352
AUTHORS: Alves, MA; Jorge, A ; Leal, JP ;
PUBLISHED: 2004, SOURCE: 3rd International Conference on Adaptive Hypermedia and Adaptive Web-Based Systems in ADAPTIVE HYPERMEDIA AND ADAPOTIVE WEB-BASED SYSTEMS, PROCEEDINGS, VOLUME: 3137, PAGES: 348-352
7600
TITLE: Forest trees for on-line data Full Text
AUTHORS: Gama, J ; Medas, P; Rocha, R;
PUBLISHED: 2004, SOURCE: Applied Computing 2004 - Proceedings of the 2004 ACM Symposium on Applied Computing in Proceedings of the ACM Symposium on Applied Computing, VOLUME: 1, PAGES: 632-636
AUTHORS: Gama, J ; Medas, P; Rocha, R;
PUBLISHED: 2004, SOURCE: Applied Computing 2004 - Proceedings of the 2004 ACM Symposium on Applied Computing in Proceedings of the ACM Symposium on Applied Computing, VOLUME: 1, PAGES: 632-636
