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: 4563
213 Team MembersFilters -> Year: 2026
4441
TITLE: Compilation for FPGA-based reconfigurable hardware
AUTHORS: Cardoso, JMP ; Neto, HC ;
PUBLISHED: 2003, SOURCE: IEEE DESIGN & TEST OF COMPUTERS, VOLUME: 20, ISSUE: 2, PAGES: 65-75
AUTHORS: Cardoso, JMP ; Neto, HC ;
PUBLISHED: 2003, SOURCE: IEEE DESIGN & TEST OF COMPUTERS, VOLUME: 20, ISSUE: 2, PAGES: 65-75
4442
TITLE: Data Mining Techniques Applied to Electric Energy Consumers Characterization
AUTHORS: Duarte, FJ; Rodrigues, F ; Figueiredo, V; Vale, Z ; Cordeiro, M;
PUBLISHED: 2003, SOURCE: Proceedings of the Seventh IASTED International Conference on Artificial Intelligence and Soft Computing in Proceedings of the IASTED International Conference on Artificial Intelligence and Soft Computing, VOLUME: 7, PAGES: 105-110
AUTHORS: Duarte, FJ; Rodrigues, F ; Figueiredo, V; Vale, Z ; Cordeiro, M;
PUBLISHED: 2003, SOURCE: Proceedings of the Seventh IASTED International Conference on Artificial Intelligence and Soft Computing in Proceedings of the IASTED International Conference on Artificial Intelligence and Soft Computing, VOLUME: 7, PAGES: 105-110
INDEXED IN: 
Scopus
Scopus4443
TITLE: Enabling inter-domain transactions in bridge-based hybrid wired/wireless PROFIBUS networks
AUTHORS: Ferreira, L ; Tovar, E ; Alves, M ;
PUBLISHED: 2003, SOURCE: 9th IEEE International Conference on Emerging Technologies and Factory Automation in ETFA 2003: IEEE CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, VOL 1, PROCEEDINGS, VOLUME: 1, ISSUE: January, PAGES: 15-22
AUTHORS: Ferreira, L ; Tovar, E ; Alves, M ;
PUBLISHED: 2003, SOURCE: 9th IEEE International Conference on Emerging Technologies and Factory Automation in ETFA 2003: IEEE CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, VOL 1, PROCEEDINGS, VOLUME: 1, ISSUE: January, PAGES: 15-22
4444
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
Handle4445
TITLE: From C programs to the configure-execute model
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
4446
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 WOS4447
TITLE: High Performance Computing for Computational Science - VECPAR 2002, 5th International Conference, Porto, Portugal, June 26-28, 2002, Selected Papers and Invited Talks. 5th International Conference Porto, Portugal, June 26–28, 2002 Selected Papers and Invited Talks
AUTHORS: José Laginha L M Palma ; Jack J Dongarra; Vicente Hernández; António Augusto de Sousa ;
PUBLISHED: 2003, SOURCE: VECPAR, VOLUME: 2565
AUTHORS: José Laginha L M Palma ; Jack J Dongarra; Vicente Hernández; António Augusto de Sousa ;
PUBLISHED: 2003, SOURCE: VECPAR, VOLUME: 2565
4448
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
4449
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
Handle4450
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 WOS4451
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
4452
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
4453
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
4454
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
4455
TITLE: Session summary: the future of IRTAW. the future of IRTAW Full Text
AUTHORS: Tullio Vardanega; Luís Miguel Pinho ;
PUBLISHED: 2003, SOURCE: 12th International Workshop on Real-Time Ada, IRTAW '03 in IRTAW, PAGES: 96
AUTHORS: Tullio Vardanega; Luís Miguel Pinho ;
PUBLISHED: 2003, SOURCE: 12th International Workshop on Real-Time Ada, IRTAW '03 in IRTAW, PAGES: 96
4456
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
4457
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
4458
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
4459
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 DBLP4460
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
DBLP