Human-Centered Computing and Information Science (HumanISE)
Computação Centrada No Humano e Ciência da Informação
Inesc Technology and Science (INESC TEC) :: CS: Computer Science
AuthID: I-000-AY7
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: 4733
281 Team MembersFilters -> Year: 2026
4621
TITLE: Specification-based testing of user interfaces
AUTHORS: Paiva, ACR ; Faria, JCP ; Vidal, RFAM ;
PUBLISHED: 2003, SOURCE: 10th International Workshop on Design, Specification and Verification of Interactive Systems in INTERACTIVE SYSTEMS: DESIGN, SPECIFICATION, AND VERIFICATION, VOLUME: 2844, PAGES: 139-153
AUTHORS: Paiva, ACR ; Faria, JCP ; Vidal, RFAM ;
PUBLISHED: 2003, SOURCE: 10th International Workshop on Design, Specification and Verification of Interactive Systems in INTERACTIVE SYSTEMS: DESIGN, SPECIFICATION, AND VERIFICATION, VOLUME: 2844, PAGES: 139-153
4622
TITLE: Toe out angle: a functional index for the evaluation of sciatic nerve recovery in the rat model Full Text
AUTHORS: Varejao, ASP ; Cabrita, AM ; Geuna, S; Melo Pinto, P ; Filipe, VM ; Gramsbergen, A; Meek, MF;
PUBLISHED: 2003, SOURCE: EXPERIMENTAL NEUROLOGY, VOLUME: 183, ISSUE: 2, PAGES: 695-699
AUTHORS: Varejao, ASP ; Cabrita, AM ; Geuna, S; Melo Pinto, P ; Filipe, VM ; Gramsbergen, A; Meek, MF;
PUBLISHED: 2003, SOURCE: EXPERIMENTAL NEUROLOGY, VOLUME: 183, ISSUE: 2, PAGES: 695-699
4623
TITLE: Updating GIS Data Using Personal Digital Assistants
AUTHORS: Henrique Silva; Alexandre Valente Sousa; João Correia Lopes ;
PUBLISHED: 2003, SOURCE: ICEIS (1), VOLUME: 1, PAGES: 566-569
AUTHORS: Henrique Silva; Alexandre Valente Sousa; João Correia Lopes ;
PUBLISHED: 2003, SOURCE: ICEIS (1), VOLUME: 1, PAGES: 566-569
INDEXED IN: 
Scopus 
DBLP
Scopus DBLP4624
TITLE: Using Contextual Logic Programming for Temporal Reasoning
AUTHORS: Vítor Nogueira ; Salvador Abreu ; Gabriel David ;
PUBLISHED: 2003, SOURCE: JISBD, PAGES: 479-490
AUTHORS: Vítor Nogueira ; Salvador Abreu ; Gabriel David ;
PUBLISHED: 2003, SOURCE: JISBD, PAGES: 479-490
INDEXED IN: DBLP
DBLP4625
TITLE: Verifying, validating and monitoring the open Ravenscar real time kernel Full Text
AUTHORS: Ricardo Maia; Flávio Moreira; Barbosa, R; Diamantino Costa; Kjeld Hjortaes; Patricia Rodríguez; Luís Miguel Pinho ;
PUBLISHED: 2003, SOURCE: 12th International Workshop on Real-Time Ada, IRTAW '03 in IRTAW, PAGES: 74-81
AUTHORS: Ricardo Maia; Flávio Moreira; Barbosa, R; Diamantino Costa; Kjeld Hjortaes; Patricia Rodríguez; Luís Miguel Pinho ;
PUBLISHED: 2003, SOURCE: 12th International Workshop on Real-Time Ada, IRTAW '03 in IRTAW, PAGES: 74-81
4626
TITLE: XSDoc: an Extensible Wiki-based Infrastructure for Framework Documentation
AUTHORS: Ademar Aguiar ; Gabriel David ; Manuel Padilha;
PUBLISHED: 2003, SOURCE: JISBD, PAGES: 11-24
AUTHORS: Ademar Aguiar ; Gabriel David ; Manuel Padilha;
PUBLISHED: 2003, SOURCE: JISBD, PAGES: 11-24
INDEXED IN: DBLP
DBLP4627
TITLE: 1st Ibero-American Symposium in Computer Graphics Full Text
AUTHORS: Aderito Marcos ; Pere Brunet; Joaquim Jorge; Jordi Regincos;
PUBLISHED: 2002, SOURCE: Computer Graphics Forum, VOLUME: 21, ISSUE: 4, PAGES: 811-812
AUTHORS: Aderito Marcos ; Pere Brunet; Joaquim Jorge; Jordi Regincos;
PUBLISHED: 2002, SOURCE: Computer Graphics Forum, VOLUME: 21, ISSUE: 4, PAGES: 811-812
INDEXED IN: 
CrossRef
CrossRef4628
TITLE: A comparative morphologic analysis of benchmark sets of project networks Full Text
AUTHORS: Valadares Tavares, L ; Antunes Ferreira, J ; Silva Coelho, J ;
PUBLISHED: 2002, SOURCE: International Journal of Project Management, VOLUME: 20, ISSUE: 6, PAGES: 475-485
AUTHORS: Valadares Tavares, L ; Antunes Ferreira, J ; Silva Coelho, J ;
PUBLISHED: 2002, SOURCE: International Journal of Project Management, VOLUME: 20, ISSUE: 6, PAGES: 475-485
4629
TITLE: A coordination mechanism for real world scheduling problems using Genetic Algorithms
AUTHORS: Madureira, A ; Ramos, C; Silva, SD;
PUBLISHED: 2002, SOURCE: IEEE World Congress on Computational Intelligence (WCCI2002) in CEC'02: PROCEEDINGS OF THE 2002 CONGRESS ON EVOLUTIONARY COMPUTATION, VOLS 1 AND 2, VOLUME: 1, PAGES: 175-180
AUTHORS: Madureira, A ; Ramos, C; Silva, SD;
PUBLISHED: 2002, SOURCE: IEEE World Congress on Computational Intelligence (WCCI2002) in CEC'02: PROCEEDINGS OF THE 2002 CONGRESS ON EVOLUTIONARY COMPUTATION, VOLS 1 AND 2, VOLUME: 1, PAGES: 175-180
4630
TITLE: A Scatter Search algorithm for the Maximum Clique Problem
AUTHORS: Cavique, L ; Rego, C; Themido, I;
PUBLISHED: 2002, SOURCE: 3rd Metaheuristics International Conference in ESSAYS AND SURVEYS IN METAHEURISTICS, VOLUME: 15, PAGES: 227-244
AUTHORS: Cavique, L ; Rego, C; Themido, I;
PUBLISHED: 2002, SOURCE: 3rd Metaheuristics International Conference in ESSAYS AND SURVEYS IN METAHEURISTICS, VOLUME: 15, PAGES: 227-244
4631
TITLE: Bayesian-learning based guidelines to determine equivalent mutants Full Text
AUTHORS: Vincenzi, AMR ; Nakagawaa, EY; Maldonado, JC; Delamaro, ME; Romero, RAF;
PUBLISHED: 2002, SOURCE: INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, VOLUME: 12, ISSUE: 6, PAGES: 675-689
AUTHORS: Vincenzi, AMR ; Nakagawaa, EY; Maldonado, JC; Delamaro, ME; Romero, RAF;
PUBLISHED: 2002, SOURCE: INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, VOLUME: 12, ISSUE: 6, PAGES: 675-689
4632
TITLE: EvalTool: Um Ambiente de Apoio à Avaliação e Seleção de Ferramentas de Teste para Programas Orientados a Objetos
AUTHORS: André Luís dos Santos Domingues; Adenilso da Silva Simão; Auri Marcelo Rizzo Vincenzi ; José Carlos Maldonado;
PUBLISHED: 2002, SOURCE: SBES, PAGES: 384-389
AUTHORS: André Luís dos Santos Domingues; Adenilso da Silva Simão; Auri Marcelo Rizzo Vincenzi ; José Carlos Maldonado;
PUBLISHED: 2002, SOURCE: SBES, PAGES: 384-389
INDEXED IN: DBLP
DBLP4633
TITLE: Fast and guaranteed C compilation onto the PACT-XPP™ reconfigurable computing platform
AUTHORS: Cardoso, JMP ; Weinhardt, M;
PUBLISHED: 2002, SOURCE: 10th Annual IEEE Symposium on Field-Programmable Custom Computing Machines in 10TH ANNUAL IEEE SYMPOSIUM ON FIELD-PROGRAMMABLE CUSTOM COMPUTING MACHINES, PROCEEDINGS, VOLUME: 2002-January, PAGES: 291-292
AUTHORS: Cardoso, JMP ; Weinhardt, M;
PUBLISHED: 2002, SOURCE: 10th Annual IEEE Symposium on Field-Programmable Custom Computing Machines in 10TH ANNUAL IEEE SYMPOSIUM ON FIELD-PROGRAMMABLE CUSTOM COMPUTING MACHINES, PROCEEDINGS, VOLUME: 2002-January, PAGES: 291-292
4634
TITLE: Hybrid wired/wireless PROFIBUS networks supported by bridges/routers
AUTHORS: Ferreira, L ; Alves, M ; Tovar, E ;
PUBLISHED: 2002, SOURCE: 4th IEEE International Workshop on Factory Communication Systems in 4TH IEEE INTERNATIONAL WORKSHOP ON FACTORY COMMUNICATION SYSTEMS, PROCEEDINGS, VOLUME: 2002-January, PAGES: 193-202
AUTHORS: Ferreira, L ; Alves, M ; Tovar, E ;
PUBLISHED: 2002, SOURCE: 4th IEEE International Workshop on Factory Communication Systems in 4TH IEEE INTERNATIONAL WORKSHOP ON FACTORY COMMUNICATION SYSTEMS, PROCEEDINGS, VOLUME: 2002-January, PAGES: 193-202
4635
TITLE: JaBÁ: A Java Bytecoder Analyser
AUTHORS: Auri M R Vincenzi ; Márcio E Delamaro; Adenilso da Silva Simão; Eric E Wong; José Carlos Maldonado;
PUBLISHED: 2002, SOURCE: SBES, PAGES: 414-419
AUTHORS: Auri M R Vincenzi ; Márcio E Delamaro; Adenilso da Silva Simão; Eric E Wong; José Carlos Maldonado;
PUBLISHED: 2002, SOURCE: SBES, PAGES: 414-419
INDEXED IN: DBLP
DBLP4636
TITLE: Mapping rules to convert from ODL to XML-SCHEMA Full Text
AUTHORS: de Sousa, AA ; Pereira, JL; Carvalho, JA ;
PUBLISHED: 2002, SOURCE: 22nd International Conference of the Chilean-Computer-Science-Society in XXII INTERNATIONAL CONFERENCE OF THE CHILEAN COMPUTER SCIENCE SOCIETY, PROCEEDINGS, VOLUME: 2002-January, PAGES: 133-141
AUTHORS: de Sousa, AA ; Pereira, JL; Carvalho, JA ;
PUBLISHED: 2002, SOURCE: 22nd International Conference of the Chilean-Computer-Science-Society in XXII INTERNATIONAL CONFERENCE OF THE CHILEAN COMPUTER SCIENCE SOCIETY, PROCEEDINGS, VOLUME: 2002-January, PAGES: 133-141
4637
TITLE: Motion of the foot and ankle during the stance phase in rats Full Text
AUTHORS: Varejao, ASP ; Cabrita, AM ; Meek, MF; Bulas Cruz, J; Gabriel, RC ; Filipe, VM ; Melo Pinto, P ; Winter, DA;
PUBLISHED: 2002, SOURCE: MUSCLE & NERVE, VOLUME: 26, ISSUE: 5, PAGES: 630-635
AUTHORS: Varejao, ASP ; Cabrita, AM ; Meek, MF; Bulas Cruz, J; Gabriel, RC ; Filipe, VM ; Melo Pinto, P ; Winter, DA;
PUBLISHED: 2002, SOURCE: MUSCLE & NERVE, VOLUME: 26, ISSUE: 5, PAGES: 630-635
4638
TITLE: mudelgen: A Tool for Processing Mutant Operator Descriptions
AUTHORS: Adenilso da Silva Simão; Auri Marcelo Rizzo Vincenzi ; José Carlos Maldonado;
PUBLISHED: 2002, SOURCE: SBES, PAGES: 426-431
AUTHORS: Adenilso da Silva Simão; Auri Marcelo Rizzo Vincenzi ; José Carlos Maldonado;
PUBLISHED: 2002, SOURCE: SBES, PAGES: 426-431
INDEXED IN: DBLP
DBLP4639
TITLE: Querying XML Databases Full Text
AUTHORS: de Sousa, AA ; Pereira, JL; Carvalho, JA ;
PUBLISHED: 2002, SOURCE: 22nd International Conference of the Chilean-Computer-Science-Society in XXII INTERNATIONAL CONFERENCE OF THE CHILEAN COMPUTER SCIENCE SOCIETY, PROCEEDINGS, VOLUME: 2002-January, PAGES: 142-150
AUTHORS: de Sousa, AA ; Pereira, JL; Carvalho, JA ;
PUBLISHED: 2002, SOURCE: 22nd International Conference of the Chilean-Computer-Science-Society in XXII INTERNATIONAL CONFERENCE OF THE CHILEAN COMPUTER SCIENCE SOCIETY, PROCEEDINGS, VOLUME: 2002-January, PAGES: 142-150
4640
TITLE: Session summary: safety improvements for consideration. safety improvements for consideration Full Text
AUTHORS: Juan Antonio de la Puente; Luís Miguel Pinho ;
PUBLISHED: 2002, SOURCE: IRTAW, PAGES: 120-122
AUTHORS: Juan Antonio de la Puente; Luís Miguel Pinho ;
PUBLISHED: 2002, SOURCE: IRTAW, PAGES: 120-122
