Computação Centrada No Humano e Ciência da Informação (HumanISE)
Human-Centered Computing and Information Science

Inesc Tecnologia e Ciência (INESC TEC) :: CS: Computer Science

Publications Actions
Publicações no Perfil Institucional do Authenticus

Uma Instituição (Grupo) no Authenticus é uma organização que engloba um conjunto de Investigadores (equipa da Instituição ou do Grupo). O conjunto de Investigadores depende da estrutura organizacional da instituição em cada ano e pode ser definido no perfil da Instituição, na secção “Investigadores”. Com base na equipa definida, o Authenticus produz listas de publicações, estatísticas e relatórios institucionais.

As publicações listadas no perfil da Instituição no Authenticus dependem de dois parâmetros:

  • Investigadores associados à equipa da Instituição em cada ano.
  • Origem das Publicações.

As publicações associadas à Instituição podem ter três origens:

  • Publicações validadas pelos membros da equipa - Inclui todas as publicações validadas pelos membros da equipa; é necessário que a equipa da Instituição esteja definida.
  • Todas as Publicadas pelos membros da equipa - Inclui todas as anteriores mais aquelas em que um dos autores foi identificado com um membro da equipa, ainda que não tenha sido validada; é necessário que a equipa da Instituição esteja definida.
  • Com Base na Afiliação - inclui todas as publicações que têm a Instituição ou o Grupo mencionado na afiliação; não é necessário que a equipa da Instituição esteja definida mas, por outro lado, não é garantido que todas as publicações da Instituição sejam listadas.
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: 3736

213 Team Members
Filters -> Year: 2024
3641
TÍTULO: Session summary. safety improvements for consideration  Full Text
AUTORES: Juan Antonio de la Puente; Luís Miguel Pinho ;
PUBLICAÇÃO: 2002, FONTE: Proceedings of the 11th international workshop on Real-time Ada workshop - IRTAW '02
INDEXADO EM: CrossRef
3642
TÍTULO: Session summary: Safety improvements for consideration
AUTORES: Juan Antonio De La Puente; Luís Miguel Pinho ;
PUBLICAÇÃO: 2002, FONTE: IRTAW 2002 - Proceedings of the 11th International Real-Time Ada Workshop, PÁGINAS: 120-122
INDEXADO EM: Scopus
3643
TÍTULO: Towards Temporal Reasoning in ISCO PDF
AUTORES: Vítor Beires Nogueira ; Salvador Abreu ; Gabriel David ;
PUBLICAÇÃO: 2002, FONTE: AGP 2002: Proceedings of the Joint Conference on Declarative Programming, APPIA-GULP-PRODE, Madrid, Spain, September 16-18, 2002., PÁGINAS: 311-324
INDEXADO EM: DBLP
3644
TÍTULO: Transparent environment for replicated Ravenscar applications
AUTORES: Pinho, LM ; Vasques, F ;
PUBLICAÇÃO: 2002, FONTE: 7th International Conference on Reliable Software Technologies - Ada Europe 2002 in RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2002, VOLUME: 2361, PÁGINAS: 297-308
INDEXADO EM: Scopus WOS DBLP CrossRef
3645
TÍTULO: Using Ravenscar to support fault-tolerant real-time applications
AUTORES: Luís Miguel Pinho ; Francisco Vasques ;
PUBLICAÇÃO: 2002, FONTE: ACM SIGAda Ada Letters - Ada Lett., VOLUME: XXII, NÚMERO: 4, PÁGINAS: 47
INDEXADO EM: CrossRef: 2
3646
TÍTULO: Using Ravenscar to support fault-tolerant real-time applications  Full Text
AUTORES: Luís Miguel Pinho ; Francisco Vasques ;
PUBLICAÇÃO: 2002, FONTE: 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, PÁGINAS: 47-52
INDEXADO EM: Scopus DBLP CrossRef
3647
TÍTULO: XPP-VC: A C Compiler with temporal partitioning for the PACT-XPP architecture
AUTORES: Cardoso, JMP ; Weinhardt, M;
PUBLICAÇÃO: 2002, FONTE: 12th International Conference on Field-Programmable Logic and Applications in FIELD-PROGRAMMABLE LOGIC AND APPLICATIONS, PROCEEDINGS: RECONFIGURABLE COMPUTING IS GOING MAINSTREAM, VOLUME: 2438, PÁGINAS: 864-874
INDEXADO EM: Scopus WOS DBLP CrossRef: 12
3648
TÍTULO: A different approach to real web accessibility
AUTORES: António Ramires Fernandes; Fernando Mário Martins; Hugo Paredes ; Jorge Ribeiro Pereira;
PUBLICAÇÃO: 2001, FONTE: 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, PÁGINAS: 723-727
INDEXADO EM: DBLP
3649
TÍTULO: A imagética kinetica e mental em praticantes de desportos colectivos e individuais
AUTORES: José Vasconcelos Raposo ; Goreti Costa; Isabel Mouráo Carvalhal;
PUBLICAÇÃO: 2001, FONTE: Estudos de Psicologia (Campinas) - Estud. psicol. (Campinas), VOLUME: 18, NÚMERO: 1, PÁGINAS: 58-75
INDEXADO EM: CrossRef
3650
TÍTULO: A Metadata Model for Multimedia Databases
AUTORES: Cristina Ribeiro ; Gabriel David ;
PUBLICAÇÃO: 2001, FONTE: ICHIM (1), PÁGINAS: 469-483
INDEXADO EM: DBLP
3651
TÍTULO: An architecture for reliable Distributed Computer-Controlled Systems
AUTORES: Pinho, LM ; Vasques, F ;
PUBLICAÇÃO: 2001, FONTE: 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, PÁGINAS: 43-52
INDEXADO EM: Scopus WOS DBLP Handle
3652
TÍTULO: Compilation increasing the scheduling scope for multi-memory-FPGA-based custom computing machines
AUTORES: Cardoso, JMP ; Neto, HC;
PUBLICAÇÃO: 2001, FONTE: 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, PÁGINAS: 523-533
INDEXADO EM: Scopus DBLP CrossRef
3653
TÍTULO: How the FEUP Removal to the New Premises Was Facilitated by the Internal Information System
AUTORES: Lígia M Ribeiro ; Maria Antónia Carravilla ; Gabriel David ;
PUBLICAÇÃO: 2001, FONTE: 7th International Conference of European University Information Systems, EUNIS 2001 in The Changing Universities - The Role of Technology, The 7th International Conference of European University Information Systems, March 28-30, 2001, Berlin, Germany, Proceedings, VOLUME: 13, PÁGINAS: 251-258
INDEXADO EM: Scopus DBLP
3654
TÍTULO: Improved fault tolerant broadcasts in CAN
AUTORES: Pinho, LM ; Vasques, F ;
PUBLICAÇÃO: 2001, FONTE: 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, PÁGINAS: 305-313
INDEXADO EM: Scopus WOS DBLP CrossRef
3655
TÍTULO: Movement Query Operations for Spatio-Temporal Databases
AUTORES: Talel Abdessalem; José Moreira; Cristina Ribeiro ;
PUBLICAÇÃO: 2001, FONTE: 17èmes Journées Bases de Données Avancées, BDA 2001, 29 octobre - 2 novembre, Agadir (Maroc), Actes (Informal Proceedings).
INDEXADO EM: DBLP
3656
TÍTULO: Novel Algorithm Combining Temporal Partitioning and Sharing of Functional Units
AUTORES: Cardoso, JMP ;
PUBLICAÇÃO: 2001, FONTE: 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, PÁGINAS: 31-40
INDEXADO EM: Scopus DBLP
3657
TÍTULO: Programming atomic multicast in CAN
AUTORES: Luís Miguel Pinho ; Francisco Vasques ; Luis Ferreira;
PUBLICAÇÃO: 2001, FONTE: ACM SIGAda Ada Letters - Ada Lett., VOLUME: XXI, NÚMERO: 1, PÁGINAS: 79-84
INDEXADO EM: CrossRef
3658
TÍTULO: QUALITY CERTIFICATION IN THE VIRTUAL ENTERPRISE: AN OBJECTIVE TOOL FOR SUPPLY CHAIN MANAGEMENT AND CUSTOMER SATISFACTION
AUTORES: Angelo Martins ; Pinto Ferreira, JJP ; Mendonca, JM ;
PUBLICAÇÃO: 2001, FONTE: 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, PÁGINAS: 479-486
INDEXADO EM: Scopus WOS DBLP
3659
TÍTULO: Reliable Communication in Distributed Computer-Controlled Systems
AUTORES: Luís Miguel Pinho ; Francisco Vasques ;
PUBLICAÇÃO: 2001, FONTE: 6th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2001 in Reliable Software Technologies: Ada Europe 2001, 6th Ade-Europe International Conference Leuven, Belgium, May 14-18, 2001, Proceedings, VOLUME: 2043, PÁGINAS: 136-147
INDEXADO EM: Scopus DBLP CrossRef: 1
3660
TÍTULO: Scheduling IP traffic in multimedia-enabled PROFIBUS networks
AUTORES: Ferreira, LL ; Machado, S; Tovar, E ;
PUBLICAÇÃO: 2001, FONTE: 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, PÁGINAS: 169-176
INDEXADO EM: Scopus WOS DBLP CrossRef Handle

Results per Page: 20.
Página 183 de 187. Total de resultados: 3736.