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: 4544
213 Team MembersFilters -> Year: 2026
4421
TITLE: Framework documentation : A minimalist approach
AUTHORS: Ademar M T d Aguiar ;
PUBLISHED: 2003
AUTHORS: Ademar M T d Aguiar ;
PUBLISHED: 2003
INDEXED IN: 
Handle
Handle4422
TITLE: From C programs to the configure-execute model Full Text
AUTHORS: Cardoso, JMP ; Weinhardt, M;
PUBLISHED: 2003, SOURCE: Design, Automation and Test in Europe Conference and Exhibition (DATE 03) in DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION, PROCEEDINGS, PAGES: 576-581
AUTHORS: Cardoso, JMP ; Weinhardt, M;
PUBLISHED: 2003, SOURCE: Design, Automation and Test in Europe Conference and Exhibition (DATE 03) in DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION, PROCEEDINGS, PAGES: 576-581
4423
TITLE: Generalized nets model for fixed-bed bioreactors
AUTHORS: Pencheva, T; Roeva, O; Bentes, I. ; Barroso, J ;
PUBLISHED: 2003, SOURCE: 10th International Conference on Concurrent Engineering in CONCURRENT ENGINEERING: ADVANCED DESIGN, PRODUCTION AND MANAGEMENT SYSTEMS, PAGES: 1025-1028
AUTHORS: Pencheva, T; Roeva, O; Bentes, I. ; Barroso, J ;
PUBLISHED: 2003, SOURCE: 10th International Conference on Concurrent Engineering in CONCURRENT ENGINEERING: ADVANCED DESIGN, PRODUCTION AND MANAGEMENT SYSTEMS, PAGES: 1025-1028
INDEXED IN: 
Scopus 
WOS
Scopus WOS4424
TITLE: High Performance Computing for Computational Science - VECPAR 2002, 5th International Conference, Porto, Portugal, June 26-28, 2002, Selected Papers and Invited Talks
AUTHORS: José Laginha L M Palma ; Jack Dongarra; Vicente Hernández; António Augusto de Sousa ;
PUBLISHED: 2003, SOURCE: VECPAR, VOLUME: 2565
AUTHORS: José Laginha L M Palma ; Jack Dongarra; Vicente Hernández; António Augusto de Sousa ;
PUBLISHED: 2003, SOURCE: VECPAR, VOLUME: 2565
4425
TITLE: Loop dissevering: A technique for temporally partitioning loops in dynamically reconfigurable computing platforms
AUTHORS: Cardoso, JMP ;
PUBLISHED: 2003, SOURCE: International Parallel and Distributed Processing Symposium, IPDPS 2003 in Proceedings - International Parallel and Distributed Processing Symposium, IPDPS 2003, PAGES: 181
AUTHORS: Cardoso, JMP ;
PUBLISHED: 2003, SOURCE: International Parallel and Distributed Processing Symposium, IPDPS 2003 in Proceedings - International Parallel and Distributed Processing Symposium, IPDPS 2003, PAGES: 181
4426
TITLE: Modelação Expedita de Cenas Urbanas
AUTHORS: António F Coelho; António A de Sousa ; Fernando N Ferreira;
PUBLISHED: 2003
AUTHORS: António F Coelho; António A de Sousa ; Fernando N Ferreira;
PUBLISHED: 2003
INDEXED IN: Handle
Handle4427
TITLE: Modelling of Escherichia coli cultivation process on the basis of generalized nets
AUTHORS: Roeva, O; Pencheva, T; Bentes, I. ; Barroso, J ;
PUBLISHED: 2003, SOURCE: 10th International Conference on Concurrent Engineering in CONCURRENT ENGINEERING: ADVANCED DESIGN, PRODUCTION AND MANAGEMENT SYSTEMS, PAGES: 1039-1042
AUTHORS: Roeva, O; Pencheva, T; Bentes, I. ; Barroso, J ;
PUBLISHED: 2003, SOURCE: 10th International Conference on Concurrent Engineering in CONCURRENT ENGINEERING: ADVANCED DESIGN, PRODUCTION AND MANAGEMENT SYSTEMS, PAGES: 1039-1042
INDEXED IN: Scopus WOS
Scopus WOS4428
TITLE: On combining temporal partitioning and sharing of functional units in compilation for reconfigurable architectures
AUTHORS: Cardoso, JMP ;
PUBLISHED: 2003, SOURCE: IEEE TRANSACTIONS ON COMPUTERS, VOLUME: 52, ISSUE: 10, PAGES: 1362-1375
AUTHORS: Cardoso, JMP ;
PUBLISHED: 2003, SOURCE: IEEE TRANSACTIONS ON COMPUTERS, VOLUME: 52, ISSUE: 10, PAGES: 1362-1375
4429
TITLE: Profibus protocol extensions for enabling inter-cell mobility in bridge-based hybrid wired/wireless networks
AUTHORS: Ferreira, L ; Tovar, E ; Alves, M ;
PUBLISHED: 2003, SOURCE: 5th IFAC International Conference on Fieldbus Systems and their Applications, FeT 2003 in IFAC Proceedings Volumes (IFAC-PapersOnline), VOLUME: 36, ISSUE: 13, PAGES: 277-284
AUTHORS: Ferreira, L ; Tovar, E ; Alves, M ;
PUBLISHED: 2003, SOURCE: 5th IFAC International Conference on Fieldbus Systems and their Applications, FeT 2003 in IFAC Proceedings Volumes (IFAC-PapersOnline), VOLUME: 36, ISSUE: 13, PAGES: 277-284
4430
TITLE: Reliable real-time communication in CAN networks
AUTHORS: Pinho, LM ; Vasques, F ;
PUBLISHED: 2003, SOURCE: IEEE TRANSACTIONS ON COMPUTERS, VOLUME: 52, ISSUE: 12, PAGES: 1594-1607
AUTHORS: Pinho, LM ; Vasques, F ;
PUBLISHED: 2003, SOURCE: IEEE TRANSACTIONS ON COMPUTERS, VOLUME: 52, ISSUE: 12, PAGES: 1594-1607
4431
TITLE: Resource-oriented scheduling for real world manufacturing systems
AUTHORS: Madureira, A ; Ramos, C; Silva, SC;
PUBLISHED: 2003, SOURCE: 5th IEEE International Symposium on Assembly and Task Planning (ISATP2003) in PROCEEDINGS OF THE 2003 IEEE INTERNATIONAL SYMPOSIUM ON ASSEMBLY AND TASK PLANNING (ISATP2003), VOLUME: 2003-January, PAGES: 140-145
AUTHORS: Madureira, A ; Ramos, C; Silva, SC;
PUBLISHED: 2003, SOURCE: 5th IEEE International Symposium on Assembly and Task Planning (ISATP2003) in PROCEEDINGS OF THE 2003 IEEE INTERNATIONAL SYMPOSIUM ON ASSEMBLY AND TASK PLANNING (ISATP2003), VOLUME: 2003-January, PAGES: 140-145
4432
TITLE: Session summary: The future of IRTAW. the future of IRTAW Full Text
AUTHORS: Vardanega, T; 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: 96
AUTHORS: Vardanega, T; 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: 96
INDEXED IN: Scopus 
CrossRef
Scopus CrossRef4433
TITLE: SINUP: Using GIS to support e-democracy
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
4434
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
4435
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
4436
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 DBLP4437
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
DBLP4438
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
4439
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
DBLP4440
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
CrossRef