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: 3589

213 Team Members
Filters -> Year: 2024
3481
TÍTULO: Profibus protocol extensions for enabling inter-cell mobility in bridge-based hybrid wired/wireless networks
AUTORES: Ferreira, L ; Tovar, E ; Alves, M;
PUBLICAÇÃO: 2003, FONTE: 5th IFAC International Conference on Fieldbus Systems and their Applications, FeT 2003 in IFAC Proceedings Volumes (IFAC-PapersOnline), VOLUME: 36, NÚMERO: 13, PÁGINAS: 277-284
INDEXADO EM: Scopus CrossRef Handle
3482
TÍTULO: Reliable real-time communication in CAN networks
AUTORES: Pinho, LM ; Vasques, F ;
PUBLICAÇÃO: 2003, FONTE: IEEE TRANSACTIONS ON COMPUTERS, VOLUME: 52, NÚMERO: 12, PÁGINAS: 1594-1607
INDEXADO EM: Scopus WOS DBLP CrossRef Handle
3483
TÍTULO: Session summary: The future of IRTAW. the future of IRTAW  Full Text
AUTORES: Vardanega, T; Pinho, LM ;
PUBLICAÇÃO: 2003, FONTE: 12th International Workshop on Real-Time Ada, IRTAW '03 in Proceedings of the 12th International Workshop on Real-Time Ada, IRTAW '03, PÁGINAS: 96
INDEXADO EM: Scopus CrossRef
3484
TÍTULO: SINUP: Using GIS to support e-democracy
AUTORES: Carvalho, A ; Rocha, A ; Oliveira, MA ;
PUBLICAÇÃO: 2003, FONTE: 2nd International Conference on Electronic Government (EGOV 2003) in ELECTRONIC GOVENMENT, PROCEEDINGS, VOLUME: 2739, PÁGINAS: 341-344
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
3485
TÍTULO: Specification-based testing of user interfaces
AUTORES: Paiva, ACR ; Faria, JCP ; Vidal, RFAM ;
PUBLICAÇÃO: 2003, FONTE: 10th International Workshop on Design, Specification and Verification of Interactive Systems in INTERACTIVE SYSTEMS: DESIGN, SPECIFICATION, AND VERIFICATION, VOLUME: 2844, PÁGINAS: 139-153
INDEXADO EM: Scopus WOS DBLP CrossRef Handle
3486
TÍTULO: The Fabricare scheduling prototype suite: Agent interaction and knowledge base  Full Text
AUTORES: Sousa, P; Ramos, C ; Neves, J ;
PUBLICAÇÃO: 2003, FONTE: International Workshop on Agent-Based Manufacturing Process Planning and Scheduling held at the 3rd World Manufacturing Congrss in JOURNAL OF INTELLIGENT MANUFACTURING, VOLUME: 14, NÚMERO: 5, PÁGINAS: 441-455
INDEXADO EM: Scopus WOS CrossRef: 10
3487
TÍTULO: Toe out angle: a functional index for the evaluation of sciatic nerve recovery in the rat model  Full Text
AUTORES: Varejao, ASP ; Cabrita, AM ; Geuna, S; Melo Pinto, P ; Filipe, VM ; Gramsbergen, A; Meek, MF;
PUBLICAÇÃO: 2003, FONTE: EXPERIMENTAL NEUROLOGY, VOLUME: 183, NÚMERO: 2, PÁGINAS: 695-699
INDEXADO EM: Scopus WOS CrossRef: 56
3488
TÍTULO: Updating GIS data using personal digital assistants
AUTORES: Silva, H; Sousa, AV; Lopes, JC ;
PUBLICAÇÃO: 2003, FONTE: 5th International Conference on Enterprise Information Systems, ICEIS 2003 in ICEIS 2003 - Proceedings of the 5th International Conference on Enterprise Information Systems, VOLUME: 1, PÁGINAS: 566-569
INDEXADO EM: Scopus DBLP
3489
TÍTULO: Using Contextual Logic Programming for Temporal Reasoning
AUTORES: Vítor Nogueira ; Salvador Abreu ; Gabriel David ;
PUBLICAÇÃO: 2003, FONTE: VIII Jornadas Ingeniería del Software y Bases de Datos (JISBD 2003), 12-14 Noviembre 2003, Alicante, PÁGINAS: 479-490
INDEXADO EM: DBLP
3490
TÍTULO: Verifying, validating and monitoring the open Ravenscar real time kernel  Full Text
AUTORES: Maia, R; Moreira, F; Barbosa, R; Costa, D; Hjortaes, K; Rodriguez, P; Pinho, LM ;
PUBLICAÇÃO: 2003, FONTE: 12th International Workshop on Real-Time Ada, IRTAW '03 in Proceedings of the 12th International Workshop on Real-Time Ada, IRTAW '03, PÁGINAS: 74-81
INDEXADO EM: Scopus CrossRef
3491
TÍTULO: XSDoc: an Extensible Wiki-based Infrastructure for Framework Documentation
AUTORES: Ademar Aguiar ; Gabriel David ; Manuel Padilha;
PUBLICAÇÃO: 2003, FONTE: VIII Jornadas Ingeniería del Software y Bases de Datos (JISBD 2003), 12-14 Noviembre 2003, Alicante, PÁGINAS: 11-24
INDEXADO EM: DBLP
3492
TÍTULO: A comparative morphologic analysis of benchmark sets of project networks  Full Text
AUTORES: Valadares Tavares, L ; Antunes Ferreira, J ; Silva Coelho, J ;
PUBLICAÇÃO: 2002, FONTE: International Journal of Project Management, VOLUME: 20, NÚMERO: 6, PÁGINAS: 475-485
INDEXADO EM: Scopus CrossRef: 17
3493
TÍTULO: Fast and guaranteed C compilation onto the PACT-XPP (TM) reconfigurable computing platform
AUTORES: Cardoso, JMP ; Weinhardt, M;
PUBLICAÇÃO: 2002, FONTE: 10th Annual IEEE Symposium on Field-Programmable Custom Computing Machines in 10TH ANNUAL IEEE SYMPOSIUM ON FIELD-PROGRAMMABLE CUSTOM COMPUTING MACHINES, PROCEEDINGS, VOLUME: 2002-January, PÁGINAS: 291-292
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
3494
TÍTULO: Hybrid wired/wireless PROFIBUS networks supported by bridges/routers
AUTORES: Ferreira, L ; Alves, M ; Tovar, E ;
PUBLICAÇÃO: 2002, FONTE: 4th IEEE International Workshop on Factory Communication Systems in 4TH IEEE INTERNATIONAL WORKSHOP ON FACTORY COMMUNICATION SYSTEMS, PROCEEDINGS, VOLUME: 2002-January, PÁGINAS: 193-202
INDEXADO EM: Scopus WOS CrossRef Handle
3495
TÍTULO: Mapping rules to convert from ODL to XML-SCHEMA  Full Text
AUTORES: de Sousa, AA ; Pereira, JL; Carvalho, JA ;
PUBLICAÇÃO: 2002, FONTE: 22nd International Conference of the Chilean-Computer-Science-Society in XXII INTERNATIONAL CONFERENCE OF THE CHILEAN COMPUTER SCIENCE SOCIETY, PROCEEDINGS, VOLUME: 2002-January, PÁGINAS: 133-141
INDEXADO EM: Scopus WOS DBLP CrossRef
3496
TÍTULO: Motion of the foot and ankle during the stance phase in rats  Full Text
AUTORES: Varejao, ASP ; Cabrita, AM ; Meek, MF; Bulas Cruz, J; Gabriel, RC ; Filipe, VM ; Melo Pinto, P ; Winter, DA;
PUBLICAÇÃO: 2002, FONTE: MUSCLE & NERVE, VOLUME: 26, NÚMERO: 5, PÁGINAS: 630-635
INDEXADO EM: Scopus WOS CrossRef: 59
3497
TÍTULO: Querying XML Databases  Full Text
AUTORES: de Sousa, AA ; Pereira, JL; Carvalho, JA ;
PUBLICAÇÃO: 2002, FONTE: 22nd International Conference of the Chilean-Computer-Science-Society in XXII INTERNATIONAL CONFERENCE OF THE CHILEAN COMPUTER SCIENCE SOCIETY, PROCEEDINGS, VOLUME: 2002-January, PÁGINAS: 142-150
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
3498
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
3499
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
3500
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

Results per Page: 20.
Página 175 de 180. Total de resultados: 3589.