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

531 Team Members
Filters -> Year: 2024
7881
TITLE: Programming atomic multicast in CAN
AUTHORS: Luís Miguel Pinho ; Francisco Vasques ; Luis Lino Ferreira ;
PUBLISHED: 2000, SOURCE: 10th International Real-Time Ada Workshop, IRTAW 2000 in Proceedings of the 10th International Workshop on Real-Time Ada, IRTAW 2000, Ávila, Spain, 2000, VOLUME: 21, PAGES: 79-84
INDEXED IN: Scopus DBLP CrossRef Handle
7882
TITLE: Query operations for moving objects database systems
AUTHORS: Moreira, J ; Ribeiro, C ; Abdessalem, T;
PUBLISHED: 2000, SOURCE: 8th ACM Workshop on Advances in Geographic Information Systems in Proceedings of the ACM Workshop on Advances in Geographic Information Systems, PAGES: 108-114
INDEXED IN: Scopus DBLP CrossRef: 10
7883
TITLE: Representational Reasoning and Verification  Full Text
AUTHORS: Gavin J Doherty; José Creissac Campos ; Michael D Harrison ;
PUBLISHED: 2000, SOURCE: Formal Aspects Comput., VOLUME: 12, ISSUE: 4, PAGES: 260-277
INDEXED IN: Scopus DBLP CrossRef: 9
7884
TITLE: Semantically reliable multicast protocols  Full Text
AUTHORS: Pereira, J ; Rodrigues, L ; Oliveira, R ;
PUBLISHED: 2000, SOURCE: 19th IEEE Symposium on Reliable Distributed Systems in 19TH IEEE SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS - PROCEEDINGS, PAGES: 60-69
INDEXED IN: Scopus WOS DBLP
7885
TITLE: Sequential and concurrent abstract machines for interaction nets  Full Text
AUTHORS: Pinto, JS ;
PUBLISHED: 2000, SOURCE: 3rd International Conference on Foundations of Software Science and Computation Structures (FOSSACS 2000) in FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, VOLUME: 1784, PAGES: 267-282
INDEXED IN: Scopus WOS DBLP CrossRef: 10
7886
TITLE: The cash-point (ATM) 'problem'
AUTHORS: Denvir, T; Oliveira, J ; Plat, N;
PUBLISHED: 2000, SOURCE: Formal Aspects of Computing, VOLUME: 12, ISSUE: 4, PAGES: 211-215
INDEXED IN: Scopus
7887
TITLE: The effects of temporal aggregation on tests of linearity of a time series  Full Text
AUTHORS: Teles, P ; Wei, WWS;
PUBLISHED: 2000, SOURCE: COMPUTATIONAL STATISTICS & DATA ANALYSIS, VOLUME: 34, ISSUE: 1, PAGES: 91-103
INDEXED IN: Scopus WOS CrossRef: 9
7888
TITLE: The impact of cache coherence protocols on parallel logic programming systems
AUTHORS: Dutra, ID ; Costa, VS ; Bianchini, R;
PUBLISHED: 2000, SOURCE: 1st International Conference on Computational Logic, CL 2000 in COMPUTATIONAL LOGIC - CL 2000, VOLUME: 1861, PAGES: 1285-1299
INDEXED IN: Scopus WOS DBLP CrossRef
7889
TITLE: Thesis: Inductive learning classification algorithms
AUTHORS: João Gama ;
PUBLISHED: 2000, SOURCE: AI Commun., VOLUME: 13, ISSUE: 2, PAGES: 135-136
INDEXED IN: DBLP
7890
TITLE: Zoomed anking: Selection of Classification Algorithms Based on Relevant Performance Information
AUTHORS: Carlos Soares ; Pavel B Brazdil ;
PUBLISHED: 2000, SOURCE: 4th European Conference on Principles and Practice of Knowledge Discovery in Databases, PKDD 2000 in LECTURE NOTES IN COMPUTER SCIENCE , VOLUME: 1910, PAGES: 126-135
INDEXED IN: Scopus WOS DBLP CrossRef: 37
7891
TITLE: <title>Intelligent system to study demographic evolution</title>
AUTHORS: de Fatima F Rodrigues; Carlos Ramos; Pedro R Henriques ;
PUBLISHED: 1999, SOURCE: Data Mining and Knowledge Discovery: Theory, Tools, and Technology
INDEXED IN: CrossRef
7892
TITLE: A distributed architecture and negotiation protocol for scheduling in manufacturing systems  Full Text
AUTHORS: Sousa, P; Ramos, C ;
PUBLISHED: 1999, SOURCE: COMPUTERS IN INDUSTRY, VOLUME: 38, ISSUE: 2, PAGES: 103-113
INDEXED IN: Scopus WOS CrossRef
7893
TITLE: A new probabilistic approach for the classification of normalised variables.
AUTHORS: Paulo Gomes; Adelaide Figueiredo ;
PUBLISHED: 1999
INDEXED IN: Handle
7894
TITLE: A virtual machine for a process calculus
AUTHORS: Lopes, L ; Silva, F ; Vasconcelos, VT ;
PUBLISHED: 1999, SOURCE: International Conference on Principles and Practice of Declarative Programming (PPDP 99) in PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING, PROCEEDINGS, VOLUME: 1702, PAGES: 244-260
INDEXED IN: Scopus WOS DBLP CrossRef: 6
7895
TITLE: ALEPH: An Environment for Managing Web Database Applications
AUTHORS: José Paulo Leal ;
PUBLISHED: 1999, SOURCE: ICEIS, PAGES: 792
INDEXED IN: DBLP
7896
TITLE: Aliasing in object oriented systems  Full Text
AUTHORS: Noble, J; Vitek, J; Lea, D; Almeida, PS ;
PUBLISHED: 1999, SOURCE: 13th European Conference on Object-Oriented Programming (ECOOP 99) in OBJECT-ORIENTED TECHNOLOGY, VOLUME: 1743, PAGES: 136-163
INDEXED IN: WOS DBLP CrossRef: 3
7897
TITLE: An image generation sub-system for a realistic driving simulator
AUTHORS: Leitao, JM ; Sousa, AA ; Ferreira, FN;
PUBLISHED: 1999, SOURCE: International Conference on Imaging Science, Systems, and Technology (CISST 99) in INTERNATIONAL CONFERENCE ON IMAGING SCIENCE, SYSTEMS, AND TECHNOLOGY, PROCEEDINGS, PAGES: 113-119
INDEXED IN: WOS
7898
TITLE: An introduction to CANonen
AUTHORS: Farsi, M; Ratcliff, K; Barbosa, M ;
PUBLISHED: 1999, SOURCE: Computing and Control Engineering Journal, VOLUME: 10, ISSUE: 4, PAGES: 161-168
INDEXED IN: Scopus
7899
TITLE: An introduction to CANopen
AUTHORS: Farsi, M; Ratcliff, K; Barbosa, M ;
PUBLISHED: 1999, SOURCE: COMPUTING & CONTROL ENGINEERING JOURNAL, VOLUME: 10, ISSUE: 4, PAGES: 161-168
INDEXED IN: WOS CrossRef: 16
7900
TITLE: An overview of Controller Area Network
AUTHORS: Farsi, M; Ratcliff, K; Barbosa, M ;
PUBLISHED: 1999, SOURCE: COMPUTING & CONTROL ENGINEERING JOURNAL, VOLUME: 10, ISSUE: 3, PAGES: 113-120
INDEXED IN: Scopus WOS CrossRef: 160

Results per Page: 20.
Página 395 de 406. Total de resultados: 8110.