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

531 Team Members
Filters -> Year: 2024
8181
TÍTULO: Classifying C1+ structures on dynamical fractals: 1. The moduli space of solenoid functions for Markov maps on train tracks
AUTORES: Pinto, AA ; Rand, DA;
PUBLICAÇÃO: 1995, FONTE: Ergodic Theory and Dynamical Systems, VOLUME: 15, NÚMERO: 4, PÁGINAS: 697-734
INDEXADO EM: Scopus CrossRef: 6
8182
TÍTULO: Classifying C1+ structures on dynamical fractals: 2. Embedded trees
AUTORES: Pinto, AA ; Rand, DA;
PUBLICAÇÃO: 1995, FONTE: Ergodic Theory and Dynamical Systems, VOLUME: 15, NÚMERO: 5, PÁGINAS: 969-992
INDEXADO EM: Scopus CrossRef: 7
8183
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
8184
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
8185
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
8186
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
8187
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
8188
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
8189
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
8190
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
8191
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: Logic Programming, Proceedings of the Twelfth International Conference on Logic Programming, Tokyo, Japan, June 13-16, 1995, PÁGINAS: 824
INDEXADO EM: DBLP
8193
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
8194
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
8195
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: DBLP CrossRef
8196
TÍTULO: A Theory-based Typological Notion of Institutions
AUTORES: Amílcar Sernadas ; Cristina Sernadas ; José Manuel Valença ;
PUBLICAÇÃO: 1994, FONTE: 10th Workshop on Specification of Abstract Data Types was held Joint with the 5th COMPASS Workshop, 1994 in Recent Trends in Data Type Specification, 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30 - June 3, 1994, Selected Papers, VOLUME: 906, PÁGINAS: 420-436
INDEXADO EM: Scopus DBLP CrossRef: 1
8197
TÍTULO: Abduction in Temporal Reasoning
AUTORES: Cristina Ribeiro ; António Porto ;
PUBLICAÇÃO: 1994, FONTE: Temporal Logic, First International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994, Proceedings, VOLUME: 827, PÁGINAS: 349-364
INDEXADO EM: DBLP CrossRef: 2
8198
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: Logic Programming, Proceedings of the Eleventh International Conference on Logic Programming, Santa Marherita Ligure, Italy, June 13-18, 1994, PÁGINAS: 93-109
INDEXADO EM: DBLP
8199
TÍTULO: Aurora, Andorra-I and Friends on the Sun
AUTORES: Vítor Santos Costa ; Manuel E. Correia ; Fernando M A Silva ;
PUBLICAÇÃO: 1994, FONTE: Proceedings of the ILPS 94 Workshop on Design and Implementation of Parallel Logic Programming Systems, Ithaca, New York, USA, November 18, 1994, PÁGINAS: 32-41
INDEXADO EM: DBLP
8200
TÍTULO: Building symbolic representations of intuitive real-time skills from performance data
AUTORES: Donald Michie; Rui Camacho ;
PUBLICAÇÃO: 1994, FONTE: Machine Intelligence 13, PÁGINAS: 385-418
INDEXADO EM: DBLP

Results per Page: 20.
Página 410 de 414. Total de resultados: 8273.