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: 3602
213 Team MembersFilters -> Year: 2024
3501
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 DBLP3502
TITLE: Using Contextual Logic Programming for Temporal Reasoning
AUTHORS: Vítor Nogueira ; Salvador Abreu ; Gabriel David ;
PUBLISHED: 2003, SOURCE: VIII Jornadas Ingeniería del Software y Bases de Datos (JISBD 2003), 12-14 Noviembre 2003, Alicante, PAGES: 479-490
AUTHORS: Vítor Nogueira ; Salvador Abreu ; Gabriel David ;
PUBLISHED: 2003, SOURCE: VIII Jornadas Ingeniería del Software y Bases de Datos (JISBD 2003), 12-14 Noviembre 2003, Alicante, PAGES: 479-490
INDEXED IN: DBLP
DBLP3503
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
INDEXED IN: Scopus 
CrossRef
Scopus CrossRef3504
TITLE: XSDoc: an Extensible Wiki-based Infrastructure for Framework Documentation
AUTHORS: Ademar Aguiar ; Gabriel David ; Manuel Padilha;
PUBLISHED: 2003, SOURCE: VIII Jornadas Ingeniería del Software y Bases de Datos (JISBD 2003), 12-14 Noviembre 2003, Alicante, PAGES: 11-24
AUTHORS: Ademar Aguiar ; Gabriel David ; Manuel Padilha;
PUBLISHED: 2003, SOURCE: VIII Jornadas Ingeniería del Software y Bases de Datos (JISBD 2003), 12-14 Noviembre 2003, Alicante, PAGES: 11-24
INDEXED IN: DBLP
DBLP3505
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
3506
TITLE: Fast and guaranteed C compilation onto the PACT-XPP (TM) 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
3507
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
3508
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
3509
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
3510
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
3511
TITLE: Towards Temporal Reasoning in ISCO PDF
AUTHORS: Vítor Beires Nogueira ; Salvador Abreu ; Gabriel David ;
PUBLISHED: 2002, SOURCE: AGP 2002: Proceedings of the Joint Conference on Declarative Programming, APPIA-GULP-PRODE, Madrid, Spain, September 16-18, 2002., PAGES: 311-324
AUTHORS: Vítor Beires Nogueira ; Salvador Abreu ; Gabriel David ;
PUBLISHED: 2002, SOURCE: AGP 2002: Proceedings of the Joint Conference on Declarative Programming, APPIA-GULP-PRODE, Madrid, Spain, September 16-18, 2002., PAGES: 311-324
INDEXED IN: DBLP
DBLP3512
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
3513
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
3514
TITLE: Using Ravenscar to support fault-tolerant real-time applications Full Text
AUTHORS: Luís Miguel Pinho ; Francisco Vasques ;
PUBLISHED: 2002, SOURCE: 11th International Real-Time Ada Workshop, IRTAW 2002 in Proceedings of the 11th International Workshop on Real-Time Ada, IRTAW 2002, Mont-Tremblant, Quebec, Canada, April 8-12, 2002, PAGES: 47-52
AUTHORS: Luís Miguel Pinho ; Francisco Vasques ;
PUBLISHED: 2002, SOURCE: 11th International Real-Time Ada Workshop, IRTAW 2002 in Proceedings of the 11th International Workshop on Real-Time Ada, IRTAW 2002, Mont-Tremblant, Quebec, Canada, April 8-12, 2002, PAGES: 47-52
3515
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: RECONFIGURABLE COMPUTING IS GOING MAINSTREAM, 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: RECONFIGURABLE COMPUTING IS GOING MAINSTREAM, VOLUME: 2438, PAGES: 864-874
3516
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: Universal Access In HCI: Towards an Information Society for All, Proceedings of HCI International '2001 (the 9th International Conference on Human-Computer Interaction), New Orleans, USA, August 5-10, 2001, Volume 3, PAGES: 723-727
AUTHORS: António Ramires Fernandes; Fernando Mário Martins; Hugo Paredes ; Jorge Ribeiro Pereira;
PUBLISHED: 2001, SOURCE: Universal Access In HCI: Towards an Information Society for All, Proceedings of HCI International '2001 (the 9th International Conference on Human-Computer Interaction), New Orleans, USA, August 5-10, 2001, Volume 3, PAGES: 723-727
INDEXED IN: DBLP
DBLP3517
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
CrossRef3518
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
DBLP3519
TITLE: An architecture for reliable Distributed Computer-Controlled Systems
AUTHORS: Pinho, LM ; Vasques, F ;
PUBLISHED: 2001, SOURCE: IFIP WG10 3/WG10 4/WG10 5 International Workshop on Distributed and Parallel Embedded Systems (DIPES 2000) in ARCHITECTURE AND DESIGN OF DISTRIBUTED EMBEDDED SYSTEMS, VOLUME: 61, PAGES: 43-52
AUTHORS: Pinho, LM ; Vasques, F ;
PUBLISHED: 2001, SOURCE: IFIP WG10 3/WG10 4/WG10 5 International Workshop on Distributed and Parallel Embedded Systems (DIPES 2000) in ARCHITECTURE AND DESIGN OF DISTRIBUTED EMBEDDED SYSTEMS, VOLUME: 61, PAGES: 43-52
INDEXED IN: Scopus 
WOS DBLP 
Handle
Scopus WOS DBLP Handle3520
TITLE: Compilation increasing the scheduling scope for multi-memory-FPGA-based custom computing machines
AUTHORS: Cardoso, JMP ; Neto, HC;
PUBLISHED: 2001, SOURCE: 11th International Conference on Field-Programmable Logic and Applications, FPL 2001 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 2147, PAGES: 523-533
AUTHORS: Cardoso, JMP ; Neto, HC;
PUBLISHED: 2001, SOURCE: 11th International Conference on Field-Programmable Logic and Applications, FPL 2001 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 2147, PAGES: 523-533
