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

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

Update Citation

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!

Update PrePrints

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!

Publications Count: 4554

213 Team Members
Filters -> Year: 2026
4461
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
INDEXED IN: CrossRef: 2
4462
TITLE: Using Ravenscar to support fault-tolerant real-time applications
AUTHORS: Luís Miguel Pinho ; Francisco Vasques ;
PUBLISHED: 2002, SOURCE: IRTAW, PAGES: 47-52
INDEXED IN: Scopus DBLP CrossRef
4463
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
INDEXED IN: Scopus WOS DBLP CrossRef: 16
4464
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
INDEXED IN: DBLP
4465
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
INDEXED IN: Scopus WOS CrossRef: 12
4466
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
INDEXED IN: CrossRef
4467
TITLE: A Metadata Model for Multimedia Databases
AUTHORS: Cristina Ribeiro ; Gabriel David ;
PUBLISHED: 2001, SOURCE: ICHIM (1), PAGES: 469-483
INDEXED IN: DBLP
4468
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
INDEXED IN: Scopus WOS DBLP Handle
4469
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
INDEXED IN: CrossRef: 3
4470
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
INDEXED IN: Scopus DBLP CrossRef
4471
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
INDEXED IN: Scopus DBLP
4472
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
INDEXED IN: Scopus WOS DBLP CrossRef
4473
TITLE: Movement Query Operations for Spatio-Temporal Databases
AUTHORS: Talel Abdessalem; José Manuel Moreira; Cristina Ribeiro ;
PUBLISHED: 2001, SOURCE: BDA
INDEXED IN: DBLP
4474
TITLE: Novel Algorithm Combining Temporal Partitioning and Sharing of Functional Units
AUTHORS: Cardoso, JMP ;
PUBLISHED: 2001, SOURCE: 9th Annual IEEE Symposium on Field-Programmable Custom Computing Machines, FCCM 2001 in Proceedings - 9th Annual IEEE Symposium on Field-Programmable Custom Computing Machines, FCCM 2001, PAGES: 31-40
INDEXED IN: Scopus DBLP
4475
TITLE: Programming atomic multicast in CAN
AUTHORS: Luís Miguel Pinho ; Francisco Vasques ; Luis Ferreira;
PUBLISHED: 2001, SOURCE: ACM SIGAda Ada Letters - Ada Lett., VOLUME: XXI, ISSUE: 1, PAGES: 79-84
INDEXED IN: CrossRef
4476
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
INDEXED IN: Scopus WOS DBLP
4477
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
INDEXED IN: Scopus DBLP CrossRef: 1
4478
TITLE: Scheduling IP traffic in multimedia-enabled PROFIBUS networks
AUTHORS: Ferreira, LL ; Machado, S; Tovar, E ;
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: 169-176
INDEXED IN: Scopus WOS DBLP CrossRef Handle
4479
TITLE: Session summary: Distribution and real-time. distribution and real-time
AUTHORS: Michael González Harbour; Luís Miguel Pinho ;
PUBLISHED: 2001, SOURCE: Proceedings of the 10th International Real-Time Ada Workshop, IRTAW 2000, PAGES: 14-16
INDEXED IN: Scopus CrossRef
4480
TITLE: Tabulation for multi-purpose partial parsing
AUTHORS: Rocio, VJ ; Lopes, GP ; De La Clergerie, E;
PUBLISHED: 2001, SOURCE: Grammars, VOLUME: 4, ISSUE: 1, PAGES: 41-65
INDEXED IN: Scopus Handle

Results per Page: 20.
Page 224 of 228. Total results: 4554.