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

536 Team Members
Filters -> Year: 2026
10561
TÍTULO: Concurrent attribute evaluation  Full Text
AUTORES: Saraiva, J ; Henriques, P ;
PUBLICAÇÃO: 1995, FONTE: 1st International Meeting on Vector and Parallel Processing (VecPar 93) in COMPUTING SYSTEMS IN ENGINEERING, VOLUME: 6, NÚMERO: 4-5, PÁGINAS: 451-457
INDEXADO EM: Scopus WOS CrossRef: 1
10562
TÍTULO: Data Oriented LP with Magritte
AUTORES: José Paulo Leal ;
PUBLICAÇÃO: 1995, FONTE: Proceedings of the 7th Workshop on Logic Programming Environments, LPR '95, in conjunction with ILPS '95, Portland, Oregon, USA, December 8, 1995
INDEXADO EM: DBLP
10563
TÍTULO: Distributing and- and or-work in the Andorra-I parallel logic programming system
AUTORES: Inês de Castro Dutra ;
PUBLICAÇÃO: 1995, FONTE: British Library, EThOS
INDEXADO EM: DBLP
10564
TÍTULO: Identificação de uma mistura de leis de Bingham através dum algoritmo tipo E.M.
AUTORES: Paulo Gomes; Adelaide Figueiredo ;
PUBLICAÇÃO: 1995
INDEXADO EM: Handle
10565
TÍTULO: Integration of concurrency control in a language with subtyping and subclassing
AUTORES: BAQUERO, C ; OLIVEIRA, R ; MOURA, F ;
PUBLICAÇÃO: 1995, FONTE: USENIX Conference on Object-Oriented Technologies (COOTS) in PROCEEDINGS OF THE USENIX CONFERENCE ON OBJECT-ORIENTED TECHNOLOGIES (COOTS), PÁGINAS: 173-183
INDEXADO EM: WOS DBLP
10566
TÍTULO: Learning recursion with iterative bootstrap induction
AUTORES: Jorge, A ; Brazdil, P ;
PUBLICAÇÃO: 1995, FONTE: 8th European Conference on Machine Learning in MACHINE LEARNING: ECML-95, VOLUME: 912, PÁGINAS: 299-302
INDEXADO EM: Scopus WOS DBLP CrossRef
10567
TÍTULO: On writing a router for message passing in a transputer network  Full Text
AUTORES: Sousa, AA ; Ferreira, FN;
PUBLICAÇÃO: 1995, FONTE: 1st International Meeting on Vector and Parallel Processing (VecPar 93) in COMPUTING SYSTEMS IN ENGINEERING, VOLUME: 6, NÚMERO: 4-5, PÁGINAS: 471-476
INDEXADO EM: Scopus WOS CrossRef
10568
TÍTULO: Operating system support for parallel computation  Full Text
AUTORES: deMoura, FS ;
PUBLICAÇÃO: 1995, FONTE: 1st International Meeting on Vector and Parallel Processing (VecPar 93) in COMPUTING SYSTEMS IN ENGINEERING, VOLUME: 6, NÚMERO: 4-5, PÁGINAS: 307-312
INDEXADO EM: Scopus WOS
10569
TÍTULO: Parallel implementation of an interactive ray-tracing algorithm  Full Text
AUTORES: Sousa, AA ; Ferreira, FN;
PUBLICAÇÃO: 1995, FONTE: 1st International Meeting on Vector and Parallel Processing (VecPar 93) in COMPUTING SYSTEMS IN ENGINEERING, VOLUME: 6, NÚMERO: 4-5, PÁGINAS: 409-414
INDEXADO EM: Scopus WOS CrossRef
10570
TÍTULO: Shared Paged Binding Array: A Universal Datastructure for Parallel Logic Programming
AUTORES: Gopal Gupta; Vítor Santos Costa ; Enrico Pontelli;
PUBLICAÇÃO: 1995, FONTE: ICLP, PÁGINAS: 824
INDEXADO EM: DBLP
10572
TÍTULO: SYMBOLIC OBJECTS - ORDER STRUCTURE AND PYRAMIDAL CLUSTERING
AUTORES: BRITO, P ;
PUBLICAÇÃO: 1995, FONTE: ANNALS OF OPERATIONS RESEARCH, VOLUME: 55, NÚMERO: 2, PÁGINAS: 277-297
INDEXADO EM: Scopus WOS CrossRef: 8
10573
TÍTULO: Symbolic objects: order structure and pyramidal clustering
AUTORES: Paula Brito ;
PUBLICAÇÃO: 1995, FONTE: Annals OR, VOLUME: 55, NÚMERO: 2, PÁGINAS: 277-297
INDEXADO EM: DBLP
10574
TÍTULO: A DISTRIBUTED ENVIRONMENT TO SUPPORT COOPERATIVE SOFTWARE-DEVELOPMENT
AUTORES: MARCOS, AF ;
PUBLICAÇÃO: 1994, FONTE: IFIP TC6/WG6.4 5th International Conference on High Performance Networking in HIGH PERFORMANCE NETWORKING, V, VOLUME: 26, PÁGINAS: 375-390
INDEXADO EM: WOS
10575
TÍTULO: A System to Visualize and Interact with Prolog Programs
AUTORES: José Paulo Leal ;
PUBLICAÇÃO: 1994, FONTE: Programming Language Implementation and Logic Programming, 6th International Symposium, PLILP'94, Madrid, Spain, September 14-16, 1994, Proceedings, VOLUME: 844, PÁGINAS: 451-452
INDEXADO EM: Scopus DBLP CrossRef
10576
TÍTULO: A Theory-based Typological Notion of Institutions
AUTORES: Amílcar Sernadas ; Cristina Sernadas ; José Manuel Valença ;
PUBLICAÇÃO: 1994, FONTE: COMPASS/ADT, VOLUME: 906, PÁGINAS: 420-436
INDEXADO EM: Scopus DBLP CrossRef: 1
10577
TÍTULO: Abduction in Temporal Reasoning
AUTORES: Cristina Ribeiro ; António Porto ;
PUBLICAÇÃO: 1994, FONTE: ICTL, PÁGINAS: 349-364
INDEXADO EM: DBLP CrossRef: 2
10578
TÍTULO: ACE: And/Or-parallel Copying-based Execution of Logic Programs
AUTORES: Gopal Gupta; Manuel V Hermenegildo; Enrico Pontelli; Vítor Santos Costa ;
PUBLICAÇÃO: 1994, FONTE: ICLP, PÁGINAS: 93-109
INDEXADO EM: DBLP
10579
TÍTULO: Aurora, Andorra-I and Friends on the Sun
AUTORES: Vítor Santos Costa ; Manuel Eduardo Correia ; Fernando M A Silva ;
PUBLICAÇÃO: 1994, FONTE: Workshop on Design and Impl. of Parallel Logic Programming Systems, PÁGINAS: 32-41
INDEXADO EM: DBLP
10580
TÍTULO: Characterizing the Applicability of Classification Algorithms Using Meta-Level Learning
AUTORES: Pavel Brazdil ; João Gama ; Bob Henery;
PUBLICAÇÃO: 1994, FONTE: ECML, PÁGINAS: 83-102
INDEXADO EM: DBLP CrossRef: 65

Results per Page: 20.
Página 529 de 533. Total de resultados: 10660.