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: 4571
213 Team MembersFilters -> Year: 2026
4461
TITLE: SINUP:: Using GIS to support <i>e-democracy</i>
AUTHORS: Carvalho, A ; Rocha, A ; Oliveira, MA ;
PUBLISHED: 2003, SOURCE: 2nd International Conference on Electronic Government (EGOV 2003) in ELECTRONIC GOVENMENT, PROCEEDINGS, VOLUME: 2739, PAGES: 341-344
AUTHORS: Carvalho, A ; Rocha, A ; Oliveira, MA ;
PUBLISHED: 2003, SOURCE: 2nd International Conference on Electronic Government (EGOV 2003) in ELECTRONIC GOVENMENT, PROCEEDINGS, VOLUME: 2739, PAGES: 341-344
4462
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
4463
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
4464
TITLE: Updating GIS data using personal digital assistants
AUTHORS: Silva, H; Sousa, AV; Lopes, JC ;
PUBLISHED: 2003, SOURCE: 5th International Conference on Enterprise Information Systems, ICEIS 2003 in ICEIS 2003 - Proceedings of the 5th International Conference on Enterprise Information Systems, VOLUME: 1, PAGES: 566-569
AUTHORS: Silva, H; Sousa, AV; Lopes, JC ;
PUBLISHED: 2003, SOURCE: 5th International Conference on Enterprise Information Systems, ICEIS 2003 in ICEIS 2003 - Proceedings of the 5th International Conference on Enterprise Information Systems, VOLUME: 1, PAGES: 566-569
INDEXED IN: 
Scopus 
DBLP
Scopus DBLP4465
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
DBLP4466
TITLE: Verifying, validating and monitoring the open Ravenscar real time kernel Full Text
AUTHORS: Maia, R; Moreira, F; Barbosa, R; Costa, D; Hjortaes, K; Rodriguez, P; Pinho, LM ;
PUBLISHED: 2003, SOURCE: 12th International Workshop on Real-Time Ada, IRTAW '03 in Proceedings of the 12th International Workshop on Real-Time Ada, IRTAW '03, PAGES: 74-81
AUTHORS: Maia, R; Moreira, F; Barbosa, R; Costa, D; Hjortaes, K; Rodriguez, P; Pinho, LM ;
PUBLISHED: 2003, SOURCE: 12th International Workshop on Real-Time Ada, IRTAW '03 in Proceedings of the 12th International Workshop on Real-Time Ada, IRTAW '03, PAGES: 74-81
4467
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
DBLP4468
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
CrossRef4469
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
4470
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
4471
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
4472
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
4473
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
4474
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
4475
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
4476
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 2002 - Proceedings of the 11th International Real-Time Ada Workshop, PAGES: 120-122
AUTHORS: Juan Antonio De La Puente; Luís Miguel Pinho ;
PUBLISHED: 2002, SOURCE: IRTAW 2002 - Proceedings of the 11th International Real-Time Ada Workshop, PAGES: 120-122
INDEXED IN: Scopus CrossRef
Scopus CrossRef4477
TITLE: Towards Temporal Reasoning in ISCO
AUTHORS: Vítor Beires Nogueira ; Salvador Abreu ; Gabriel David ;
PUBLISHED: 2002, SOURCE: APPIA-GULP-PRODE, PAGES: 311-324
AUTHORS: Vítor Beires Nogueira ; Salvador Abreu ; Gabriel David ;
PUBLISHED: 2002, SOURCE: APPIA-GULP-PRODE, PAGES: 311-324
INDEXED IN: DBLP
DBLP4478
TITLE: Transparent environment for replicated Ravenscar applications
AUTHORS: Pinho, LM ; Vasques, F ;
PUBLISHED: 2002, SOURCE: 7th International Conference on Reliable Software Technologies - Ada Europe 2002 in RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2002, VOLUME: 2361, PAGES: 297-308
AUTHORS: Pinho, LM ; Vasques, F ;
PUBLISHED: 2002, SOURCE: 7th International Conference on Reliable Software Technologies - Ada Europe 2002 in RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2002, VOLUME: 2361, PAGES: 297-308
4479
TITLE: Using Ravenscar to support fault-tolerant real-time applications
AUTHORS: Luís Miguel Pinho ; Francisco Vasques ;
PUBLISHED: 2002, SOURCE: ACM SIGAda Ada Letters - Ada Lett., VOLUME: XXII, ISSUE: 4, PAGES: 47
AUTHORS: Luís Miguel Pinho ; Francisco Vasques ;
PUBLISHED: 2002, SOURCE: ACM SIGAda Ada Letters - Ada Lett., VOLUME: XXII, ISSUE: 4, PAGES: 47
4480
TITLE: Using Ravenscar to support fault-tolerant real-time applications
AUTHORS: Luís Miguel Pinho ; Francisco Vasques ;
PUBLISHED: 2002, SOURCE: IRTAW, PAGES: 47-52
AUTHORS: Luís Miguel Pinho ; Francisco Vasques ;
PUBLISHED: 2002, SOURCE: IRTAW, PAGES: 47-52
