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: 4564
213 Team MembersFilters -> Year: 2026
4461
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
DBLP4462
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
4463
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
DBLP4464
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
CrossRef4465
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
4466
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
4467
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
4468
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
4469
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
4470
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
4471
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
4472
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
4473
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
DBLP4474
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
4475
TITLE: Using Ravenscar to support fault-tolerant real-time applications Full Text
AUTHORS: Luís Miguel Pinho ; Francisco Vasques ;
PUBLISHED: 2002, SOURCE: IRTAW, VOLUME: XXII, ISSUE: 4, PAGES: 47-52
AUTHORS: Luís Miguel Pinho ; Francisco Vasques ;
PUBLISHED: 2002, SOURCE: IRTAW, VOLUME: XXII, ISSUE: 4, PAGES: 47-52
4476
TITLE: XPP-VC: A C Compiler with temporal partitioning for the PACT-XPP architecture
AUTHORS: Cardoso, JMP ; Weinhardt, M;
PUBLISHED: 2002, SOURCE: 12th International Conference on Field-Programmable Logic and Applications in FIELD-PROGRAMMABLE LOGIC AND APPLICATIONS, PROCEEDINGS, VOLUME: 2438, PAGES: 864-874
AUTHORS: Cardoso, JMP ; Weinhardt, M;
PUBLISHED: 2002, SOURCE: 12th International Conference on Field-Programmable Logic and Applications in FIELD-PROGRAMMABLE LOGIC AND APPLICATIONS, PROCEEDINGS, VOLUME: 2438, PAGES: 864-874
4477
TITLE: A different approach to real web accessibility
AUTHORS: António Ramires Fernandes; Fernando Mário Martins; Hugo Paredes ; Jorge Ribeiro Pereira;
PUBLISHED: 2001, SOURCE: HCI, PAGES: 723-727
AUTHORS: António Ramires Fernandes; Fernando Mário Martins; Hugo Paredes ; Jorge Ribeiro Pereira;
PUBLISHED: 2001, SOURCE: HCI, PAGES: 723-727
INDEXED IN: DBLP
DBLP4478
TITLE: A GA based scheduling system for dynamic single machine problem
AUTHORS: Madureira, A ; Ramos, C ; Silva, SD;
PUBLISHED: 2001, SOURCE: 4th IEEE International Symposium on Assembly and Task Planning (ISATP2001) in PROCEEDINGS OF THE 2001 IEEE INTERNATIONAL SYMPOSIUM ON ASSEMBLY AND TASK PLANNING (ISATP2001): ASSEMBLY AND DISASSEMBLY IN THE TWENTY-FIRST CENTURY, PAGES: 262-267
AUTHORS: Madureira, A ; Ramos, C ; Silva, SD;
PUBLISHED: 2001, SOURCE: 4th IEEE International Symposium on Assembly and Task Planning (ISATP2001) in PROCEEDINGS OF THE 2001 IEEE INTERNATIONAL SYMPOSIUM ON ASSEMBLY AND TASK PLANNING (ISATP2001): ASSEMBLY AND DISASSEMBLY IN THE TWENTY-FIRST CENTURY, PAGES: 262-267
4479
TITLE: A imagética kinetica e mental em praticantes de desportos colectivos e individuais
AUTHORS: José Vasconcelos Raposo ; Goreti Costa; Isabel Mouráo Carvalhal;
PUBLISHED: 2001, SOURCE: Estudos de Psicologia (Campinas) - Estud. psicol. (Campinas), VOLUME: 18, ISSUE: 1, PAGES: 58-75
AUTHORS: José Vasconcelos Raposo ; Goreti Costa; Isabel Mouráo Carvalhal;
PUBLISHED: 2001, SOURCE: Estudos de Psicologia (Campinas) - Estud. psicol. (Campinas), VOLUME: 18, ISSUE: 1, PAGES: 58-75
INDEXED IN: CrossRef
CrossRef4480
TITLE: A Metadata Model for Multimedia Databases
AUTHORS: Cristina Ribeiro ; Gabriel David ;
PUBLISHED: 2001, SOURCE: ICHIM (1), PAGES: 469-483
AUTHORS: Cristina Ribeiro ; Gabriel David ;
PUBLISHED: 2001, SOURCE: ICHIM (1), PAGES: 469-483
INDEXED IN: DBLP
DBLP