CS: Computer Science
CS: Computer Science

Inesc Tecnologia e Ciência (INESC TEC)

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

531 Team Members
Filters -> Year: 2024
8021
TÍTULO: Lrc - A generator for incremental language-oriented tools  Full Text
AUTORES: Kuiper, M; Saraiva, J ;
PUBLICAÇÃO: 1998, FONTE: 7th International Conference on Compiler Construction (CC 98) at the Joint European Conferences on Theory and Practice of Software (ETAPS 98) in COMPILER CONSTRUCTION, VOLUME: 1383, PÁGINAS: 298-301
INDEXADO EM: Scopus WOS DBLP CrossRef: 17
8022
TÍTULO: Multi-μ. an Ada 95 based architecture for fault tolerance support of real-time systems
AUTORES: Luís Miguel Pinho ; Francisco Vasques ;
PUBLICAÇÃO: 1998, FONTE: ACM SIGAda Ada Letters - Ada Lett., VOLUME: XVIII, NÚMERO: 6, PÁGINAS: 52-60
INDEXADO EM: CrossRef
8023
TÍTULO: Multi-µ: An Ada 95 Based Architecture for Fault Tolerance Support of Real-Time Systems. an Ada 95 based architecture for fault tolerance support of real-time systems  Full Text
AUTORES: Luís Miguel Pinho ; Francisco Vasques ;
PUBLICAÇÃO: 1998, FONTE: 1998 Annual ACM SIGAda International Conference on Ada, SIGAda 1998 in SIGAda, VOLUME: Part F129235, PÁGINAS: 52-60
INDEXADO EM: Scopus DBLP CrossRef: 2
8024
TÍTULO: On the optimal management of project risk  Full Text
AUTORES: Tavares, LV ; Ferreira, JAA ; Coelho, JS ;
PUBLICAÇÃO: 1998, FONTE: 5th International Workshop on Project Management and Scheduling in EUROPEAN JOURNAL OF OPERATIONAL RESEARCH, VOLUME: 107, NÚMERO: 2, PÁGINAS: 451-469
INDEXADO EM: Scopus WOS CrossRef: 49
8025
TÍTULO: Operational indicators for public transport companies
AUTORES: João P Mendes Moreira ; Jorge F Sousa;
PUBLICAÇÃO: 1998
INDEXADO EM: Handle
8026
TÍTULO: Optimising parallel logic programming systems for scalable machines
AUTORES: Costa, VS ; Bianchini, R;
PUBLICAÇÃO: 1998, FONTE: 4th International Euro-Par Conference on Parallel Processing in EURO-PAR '98 PARALLEL PROCESSING, VOLUME: 1470, PÁGINAS: 831-841
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
8027
TÍTULO: Perspectives on the implementation of a videotelephony based DAVIC system
AUTORES: Pavao, JA ; Carvalho, P; da Rocha, NP ;
PUBLICAÇÃO: 1998, FONTE: 9th Mediterranean Electrotechnical Conference (Melecon 98) in MELECON '98 - 9TH MEDITERRANEAN ELECTROTECHNICAL CONFERENCE, VOLS 1 AND 2, VOLUME: 2, PÁGINAS: 1361-1365
INDEXADO EM: Scopus WOS
8028
TÍTULO: Redundant Covering with Global Evaluation in the RC1 Inductive Learner
AUTORES: Alneu de Andrade Lopes; Pavel Brazdil ;
PUBLICAÇÃO: 1998, FONTE: 14th Brazilian Symposium on Artificial Intelligence, SBIA 1998 in Advances in Artificial Intelligence, 14th Brazilian Symposium on Artificial Intelligence, SBIA '98, Porto Alegre, Brazil, November 4-6, 1998, Proceedings, VOLUME: 1515, PÁGINAS: 111-120
INDEXADO EM: Scopus DBLP CrossRef
8029
TÍTULO: Simulating a gas distribution network in a distributed object oriented system
AUTORES: Ribeiro, A; Cunha, A ; Belo, O ;
PUBLICAÇÃO: 1998, FONTE: 10th European Simulation Symposium (ESS 98) in ESS'98 - SIMULATION TECHNOLOGY: SCIENCE AND ART, PÁGINAS: 283-287
INDEXADO EM: WOS
8030
TÍTULO: Symbolic Clustering Of Probabilistic Data
AUTORES: Paula Brito ;
PUBLICAÇÃO: 1998, FONTE: Studies in Classification, Data Analysis, and Knowledge Organization - Advances in Data Science and Classification, PÁGINAS: 385-390
INDEXADO EM: CrossRef: 2
8031
TÍTULO: The role of verification in interactive systems design
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
INDEXADO EM: WOS DBLP
8032
TÍTULO: Towards an automatic path from JavaTM bytecodes to hardware through high-level synthesis
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
INDEXADO EM: Scopus
8033
TÍTULO: Towards an automatic path from JavaTM bytecodes to hardware through high-level synthesis
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
INDEXADO EM: DBLP CrossRef: 6
8034
TÍTULO: VisAll: A universal tool to visualise the parallel execution of logic programs
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
INDEXADO EM: WOS DBLP
8035
TÍTULO: Balloon Types: Controlling Sharing of State in Data Types
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
INDEXADO EM: Scopus DBLP CrossRef: 61
8036
TÍTULO: Biometry: the characterisation of chestnut-tree leaves using computer vision
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
INDEXADO EM: Scopus WOS CrossRef: 13
8037
TÍTULO: CAMILA: Prototyping and Refinement of Constructive Specifications
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
INDEXADO EM: Scopus DBLP CrossRef Handle
8038
TÍTULO: Enhancing load distribution strategies through simulation
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
INDEXADO EM: WOS
8039
TÍTULO: Evaluating parallel logic programming systems on scalable multiprocessors
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
INDEXADO EM: Scopus DBLP CrossRef: 4
8040
TÍTULO: Evaluating the impact of coherence protocols on parallel logic programming systems
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
INDEXADO EM: DBLP

Results per Page: 20.
Página 402 de 409. Total de resultados: 8162.