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: 4733
281 Team MembersFilters -> Year: 2026
4641
TITLE: Towards Temporal Reasoning in ISCO PDF
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
DBLP4642
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
4643
TITLE: Using Ravenscar to support fault-tolerant real-time applications
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
4644
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
4645
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
DBLP4646
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
4647
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
CrossRef4648
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
DBLP4649
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 Handle4650
TITLE: An Inter-Machine Activity Coordination based Approach for Dynamic Job Shop Scheduling
AUTHORS: Ana Madureira ; Carlos Ramos; Silvio do Carmo Silva;
PUBLISHED: 2001, SOURCE: Journal for Manufacturing Science and Production, VOLUME: 4, ISSUE: 2
AUTHORS: Ana Madureira ; Carlos Ramos; Silvio do Carmo Silva;
PUBLISHED: 2001, SOURCE: Journal for Manufacturing Science and Production, VOLUME: 4, ISSUE: 2
4651
TITLE: Compilation Increasing the Scheduling Scope for Multi-memory-FPGA-Based Custom Computing Machines
AUTHORS: João M P Cardoso ; Horácio C Neto;
PUBLISHED: 2001, SOURCE: FPL, VOLUME: 2147, PAGES: 523-533
AUTHORS: João M P Cardoso ; Horácio C Neto;
PUBLISHED: 2001, SOURCE: FPL, VOLUME: 2147, PAGES: 523-533
4652
TITLE: Evaluating <i>N</i>-Selective Mutation for C programs: Unit and integration testing
AUTHORS: Maldonado, JC; Barbosa, EF; Vincenzi, AMR ; Delamaro, ME;
PUBLISHED: 2001, SOURCE: MUTATION TESTING FOR THE NEW CENTURY, VOLUME: 24, PAGES: 22-33
AUTHORS: Maldonado, JC; Barbosa, EF; Vincenzi, AMR ; Delamaro, ME;
PUBLISHED: 2001, SOURCE: MUTATION TESTING FOR THE NEW CENTURY, VOLUME: 24, PAGES: 22-33
4653
TITLE: How the FEUP Removal to the New Premises Was Facilitated by the Internal Information System
AUTHORS: Lígia M Ribeiro ; Maria Antónia Carravilla ; Gabriel David ;
PUBLISHED: 2001, SOURCE: EUNIS, VOLUME: P-13, PAGES: 251-258
AUTHORS: Lígia M Ribeiro ; Maria Antónia Carravilla ; Gabriel David ;
PUBLISHED: 2001, SOURCE: EUNIS, VOLUME: P-13, PAGES: 251-258
INDEXED IN: Scopus DBLP
Scopus DBLP4654
TITLE: Improved fault tolerant broadcasts in CAN
AUTHORS: Pinho, LM ; Vasques, F ;
PUBLISHED: 2001, SOURCE: 8th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2001) in ETFA 2001: 8TH IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, VOL 1, PROCEEDINGS, VOLUME: 1, PAGES: 305-313
AUTHORS: Pinho, LM ; Vasques, F ;
PUBLISHED: 2001, SOURCE: 8th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2001) in ETFA 2001: 8TH IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, VOL 1, PROCEEDINGS, VOLUME: 1, PAGES: 305-313
4655
TITLE: Mutant Operators for Testing Concurrent Java Programs
AUTHORS: Márcio E Delamaro; Mauro Pezzè; Auri M R Vincenzi ;
PUBLISHED: 2001, SOURCE: SBES, PAGES: 272-285
AUTHORS: Márcio E Delamaro; Mauro Pezzè; Auri M R Vincenzi ;
PUBLISHED: 2001, SOURCE: SBES, PAGES: 272-285
INDEXED IN: DBLP
DBLP4656
TITLE: Novel Algorithm Combining Temporal Partitioning and Sharing of Functional Units
AUTHORS: João M P Cardoso ;
PUBLISHED: 2001, SOURCE: FCCM, PAGES: 31-40
AUTHORS: João M P Cardoso ;
PUBLISHED: 2001, SOURCE: FCCM, PAGES: 31-40
INDEXED IN: Scopus DBLP
Scopus DBLP4657
TITLE: Proteum/IM 2.0: An integrated mutation testing environment
AUTHORS: Delamaro, ME; Maldonado, JC; Vincenzi, AMR ;
PUBLISHED: 2001, SOURCE: MUTATION TESTING FOR THE NEW CENTURY, VOLUME: 24, PAGES: 91-101
AUTHORS: Delamaro, ME; Maldonado, JC; Vincenzi, AMR ;
PUBLISHED: 2001, SOURCE: MUTATION TESTING FOR THE NEW CENTURY, VOLUME: 24, PAGES: 91-101
4658
TITLE: Proteum: A family of tools to support specification and program testing based on mutation
AUTHORS: Maldonado, JC; Delamaro, ME; Fabbri, SCPF; Simao, AD; Sugeta, T; Vincenzi, AMR ; Masiero, PC;
PUBLISHED: 2001, SOURCE: MUTATION TESTING FOR THE NEW CENTURY, VOLUME: 24, PAGES: 113-116
AUTHORS: Maldonado, JC; Delamaro, ME; Fabbri, SCPF; Simao, AD; Sugeta, T; Vincenzi, AMR ; Masiero, PC;
PUBLISHED: 2001, SOURCE: MUTATION TESTING FOR THE NEW CENTURY, VOLUME: 24, PAGES: 113-116
4659
TITLE: QUALITY CERTIFICATION IN THE VIRTUAL ENTERPRISE: AN OBJECTIVE TOOL FOR SUPPLY CHAIN MANAGEMENT AND CUSTOMER SATISFACTION
AUTHORS: Martins, A ; Ferreira, JJP ; Mendonça, JM ;
PUBLISHED: 2001, SOURCE: 2nd Conference on Infrastructures for Virtual Organizations - Managing Cooperation in Virtual Organization and Electronic Business towards Smart Organizations in E-BUSINESS AND VIRTUAL ENTERPRISES: MANAGING BUSINESS-TO-BUSINESS COOPERATION, VOLUME: 56, PAGES: 479-486
AUTHORS: Martins, A ; Ferreira, JJP ; Mendonça, JM ;
PUBLISHED: 2001, SOURCE: 2nd Conference on Infrastructures for Virtual Organizations - Managing Cooperation in Virtual Organization and Electronic Business towards Smart Organizations in E-BUSINESS AND VIRTUAL ENTERPRISES: MANAGING BUSINESS-TO-BUSINESS COOPERATION, VOLUME: 56, PAGES: 479-486
INDEXED IN: Scopus WOS DBLP
Scopus WOS DBLP4660
TITLE: Reliable Communication in Distributed Computer-Controlled Systems
AUTHORS: Luís Miguel Pinho ; Francisco Vasques ;
PUBLISHED: 2001, SOURCE: Ada-Europe, VOLUME: 2043, PAGES: 136-147
AUTHORS: Luís Miguel Pinho ; Francisco Vasques ;
PUBLISHED: 2001, SOURCE: Ada-Europe, VOLUME: 2043, PAGES: 136-147
