CS: Computer Science
CS: Computer Science
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.
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 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: 8273
531 Team MembersFilters -> Year: 2024
AUTORES: Campos, JC ; Harrison, MD ;
PUBLICAÇÃO: 1998, FONTE: Eurographics Workshop on Design, Specification and Verification of Interactive Systems (DSV-IS 98) in DESIGN, SPECIFICATION AND VERIFICATION OF INTERACTIVE SYSTEMS'98, VOLUME: 1, PÁGINAS: 155-170
AUTORES: João M P Cardoso ; Horácio C Neto;
PUBLICAÇÃO: 1998, FONTE: 5th IEEE International Conference on Electronics, Circuits and Systems, ICECS 1998, Surfing the Waves of Science and Technology, Lisbon, Portugal, September 7-10, 1998 , PÁGINAS: 85-88
AUTORES: Cardoso Joao, MP ; Neto Horacio, C;
PUBLICAÇÃO: 1998, FONTE: Proceedings of the 1998 5th IEEE International Conference on Electronics, Circuits and Systems (ICECS'98) - Surfing the Waves of Science and Technology in Proceedings of the IEEE International Conference on Electronics, Circuits, and Systems, VOLUME: 1, PÁGINAS: 85-88
AUTORES: Fonseca, N ; Costa, VS ; Dutra, ID ;
PUBLICAÇÃO: 1998, FONTE: 1998 Joint International Conference and Symposium on Logic Programming (JICSLP 98) in LOGIC PROGRAMMING - PROCEEDINGS OF THE 1998 JOINT INTERNATIONAL CONFERENCE AND SYMPOSIUM ON LOGIC PROGRAMMING, PÁGINAS: 100-114
AUTORES: Paulo Sérgio Almeida ;
PUBLICAÇÃO: 1997, FONTE: 11th European Conference on Object-Oriented Programming, ECOOP 1997 in ECOOP, VOLUME: 1241, PÁGINAS: 32-59
AUTORES: Gouveia, F; Filipe, V ; Reis, M ; Couto, C ; Bulas Cruz, J;
PUBLICAÇÃO: 1997, FONTE: IEEE International Symposium on Industrial Electronics in ISIE '97 - PROCEEDINGS OF THE IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS, VOLS 1-3, VOLUME: 3, PÁGINAS: 757-760
AUTORES: José João Almeida ; Luís Soares Barbosa ; Neves, FL; José Nuno Oliveira ;
PUBLICAÇÃO: 1997, FONTE: 6th International Algebraic Methodology and Software Technology Conference, AMAST 1997 in Algebraic Methodology and Software Technology, 6th International Conference, AMAST '97, Sydney, Australia, December 13-17, 1997, Proceedings, VOLUME: 1349, PÁGINAS: 554-559
AUTORES: Cunha, A ; Santos, LP ; Belo, O ;
PUBLICAÇÃO: 1997, FONTE: 9th European Simulation Symposium (ESS 97) in SIMULATION IN INDUSTRY: 9TH EUROPEAN SIMULATION SYMPOSIUM 1997, PÁGINAS: 416-420
AUTORES: Vitor Santos Costa ; Ricardo Bianchini; Castro Dutra Ines de ;
PUBLICAÇÃO: 1997, FONTE: Proceedings of the 1997 2nd International Symposium on Parallel Symbolic Computation, PASCO in International Symposium on Parallel Symbolic Computation, Proceedings, PASCO, PÁGINAS: 58-67
AUTORES: Vítor Santos Costa ; Ricardo Bianchini; Inês de Castro Dutra ;
PUBLICAÇÃO: 1997, FONTE: Fifth Euromicro Workshop on Parallel and Distributed Processing (PDP '97), January 22-24, 1997, University of Westminster, London, UK, PÁGINAS: 376-381
AUTORES: Santos, LP ; Castro, V; Proenca, A ;
PUBLICAÇÃO: 1997, FONTE: 4th European PVM/MPI Users Group Meeting in RECENT ADVANCES IN PARALLEL VIRTUAL MACHINE AND MESSAGE PASSING INTERFACE, VOLUME: 1332, PÁGINAS: 41-48
AUTORES: José Creissac Campos ; Michael D Harrison ;
PUBLICAÇÃO: 1997, FONTE: Design, Specification and Verification of Interactive Systems'97, Proceedings of the Fourth International Eurographics Workshop, June 4-6, 1997, Granada, Spain, PÁGINAS: 109-124
AUTORES: Jorge, A ; Brazdil, PB ;
PUBLICAÇÃO: 1997, FONTE: 6th International Workshop on Logic Program Synthesis and Transformation (LOPSTR 96) / 6th Inductive Logic Programming Workshop (ILP 96) in INDUCTIVE LOGIC PROGRAMMING, VOLUME: 1314, PÁGINAS: 229-244
AUTORES: Azevedo, PJ ;
PUBLICAÇÃO: 1997, FONTE: JOURNAL OF LOGIC PROGRAMMING, VOLUME: 30, NÚMERO: 3, PÁGINAS: 223-237
AUTORES: Barroso, J ; Dagless, EL; Rafael, A; Bulas Cruz, J;
PUBLICAÇÃO: 1997, FONTE: IEEE International Symposium on Industrial Electronics in ISIE '97 - PROCEEDINGS OF THE IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS, VOLS 1-3, VOLUME: 3, PÁGINAS: 761-766
AUTORES: Gama, J ;
PUBLICAÇÃO: 1997, FONTE: 2nd International Symposium on Advances in Intelligent Data Analysis - Reasoning About Data (IDA-97) in ADVANCES IN INTELLIGENT DATA ANALYSIS: REASONING ABOUT DATA, VOLUME: 1280, PÁGINAS: 187-198
AUTORES: Cunha, A ; Biscaia, C; Torres, M; Sobral, L; Belo, O ;
PUBLICAÇÃO: 1997, FONTE: 5th International Conference on the Application of High-Performance Computers in Engineering (HPC 97) in APPLICATIONS OF HIGH PERFORMANCE COMPUTING IN ENGINEERING V, VOLUME: 3, PÁGINAS: 103-112
AUTORES: João Gama ;
PUBLICAÇÃO: 1997, FONTE: Proceedings of the Fourteenth International Conference on Machine Learning (ICML 1997), Nashville, Tennessee, USA, July 8-12, 1997, PÁGINAS: 134-142
AUTORES: Bulas Cruz, J; Barroso, J ; Rafael, A; Dagless, EL;
PUBLICAÇÃO: 1997, FONTE: 4th IFAC Workshop on Algorithms and Architectures for Real-Time Control (AARTC 97) in ALGORITHMS AND ARCHITECTURES FOR REAL-TIME CONTROL 1997, PÁGINAS: 73-76
AUTORES: Bulas-Cruz, J; Barroso, J ; Rafael, A; E.L Dagless;
PUBLICAÇÃO: 1997, FONTE: IFAC Proceedings Volumes, VOLUME: 30, NÚMERO: 3, PÁGINAS: 73-76