Departamento de Ciências dos Computadores (DCC)
Department of Computer Science

Universidade do Porto (UP) :: Faculdade de Ciências (FCUP)

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

43 Team Members
Filters -> Year: 2024
2581
TÍTULO: Constraint Categorial Grammars PDF
AUTORES: Luís Damas; Nelma Moreira ;
PUBLICAÇÃO: 1995, FONTE: CoRR, VOLUME: abs/cmp-lg/9507001
INDEXADO EM: DBLP arXiv
2582
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
2583
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
2584
TÍTULO: From elliott-macmahon to an algorithm for general linear constraints on naturals
AUTORES: Domenjoud, E; Tomàs, AP ;
PUBLICAÇÃO: 1995, FONTE: 1st International Conference on Principles and Practice of Constraint Programming, CP 1995 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 976, PÁGINAS: 18-35
INDEXADO EM: Scopus DBLP CrossRef: 3
2585
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
2586
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
2587
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
2588
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
2589
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
2590
TÍTULO: Learning by Refining Algorithm Sketches
AUTORES: Pavel Brazdil ; Alípio Jorge ;
PUBLICAÇÃO: 1994, FONTE: ECAI, PÁGINAS: 443-447
INDEXADO EM: DBLP
2591
TÍTULO: Optimal implementation of and-or parallel Prolog  Full Text
AUTORES: Gopal Gupta; Vítor Santos Costa ;
PUBLICAÇÃO: 1994, FONTE: Future Generation Comp. Syst., VOLUME: 10, NÚMERO: 1, PÁGINAS: 71-92
INDEXADO EM: Scopus DBLP CrossRef: 7
2592
TÍTULO: OR-PARALLEL PROLOG ON DISTRIBUTED SHARED-MEMORY ARCHITECTURES
AUTORES: SILVA, FMA ;
PUBLICAÇÃO: 1994, FONTE: 1993 International Conference on Logic Programming (ICLP 93) in IMPLEMENTATIONS OF LOGIC PROGRAMMING SYSTEMS, PÁGINAS: 203-215
INDEXADO EM: WOS DBLP
2593
TÍTULO: Scheduling Algorithms Performance with the pSystem Parallel Programming Environment
AUTORES: Luís M B Lopes ; Fernando M A Silva ;
PUBLICAÇÃO: 1994, FONTE: 6th International Conference on Parallel Architectures and Languages Europe, PARLE 1994 in PARLE '94: Parallel Architectures and Languages Europe, 6th International PARLE Conference, Athens, Greece, July 4-8, 1994, Proceedings, VOLUME: 817, PÁGINAS: 827-830
INDEXADO EM: Scopus DBLP CrossRef
2594
TÍTULO: Strategies for Scheduling And- and Or-Parallel Work in Parallel Logic Programming Systems
AUTORES: Inês de Castro Dutra ;
PUBLICAÇÃO: 1994, FONTE: Logic Programming, Proceedings of the 1994 International Symposium, Ithaca, New York, USA, November 13-17, 1994, PÁGINAS: 289-304
INDEXADO EM: DBLP
2595
TÍTULO: STRATEGIES FOR SCHEDULING AND-WORK AND OR-WORK IN PARALLEL LOGIC PROGRAMMING SYSTEMS  Full Text
AUTORES: DUTRA, ID ;
PUBLICAÇÃO: 1994, FONTE: LOGIC PROGRAMMING, PÁGINAS: 289-304
INDEXADO EM: WOS
2596
TÍTULO: Visualization and Interaction in Logic Programming
AUTORES: José Paulo Leal ;
PUBLICAÇÃO: 1994, FONTE: Sixth Workshop on Logic Programming Environments, ICLP 1994 post Conference Workshop W4, Technical Report, Institutt for datateknikk og telematikk, Norges
INDEXADO EM: DBLP
2597
TÍTULO: An Or-Parallel Prolog Execution Model for a Distributed Shared Memory Machine
AUTORES: Fernando M A Silva ;
PUBLICAÇÃO: 1993, FONTE: 6th Portuguese Conference on Artificial Intelligence, EPIA 1993 in Progress in Artificial Intelligence, 6th Portuguese Conference on Artificial Intelligence, EPIA '93, Porto, Portugal, October 6-8, 1993, Proceedings, VOLUME: 727, PÁGINAS: 170-182
INDEXADO EM: Scopus DBLP CrossRef: 2
2598
TÍTULO: And-Or parallel Prolog: A recomputation based approach
AUTORES: Gupta, G; Hermenegildo, MV; Costa, VS ;
PUBLICAÇÃO: 1993, FONTE: New Generation Computing, VOLUME: 11, NÚMERO: 3-4, PÁGINAS: 297-321
INDEXADO EM: Scopus DBLP CrossRef: 7
2599
TÍTULO: Compile-time analysis for the parallel execution of logic programs in Andorra-1
AUTORES: Vítor Manuel de Morais Santos Costa ;
PUBLICAÇÃO: 1993, FONTE: British Library, EThOS
INDEXADO EM: DBLP
2600
TÍTULO: Controlled Redundancy in Incremental Rule Learning
AUTORES: Luís Torgo ;
PUBLICAÇÃO: 1993, FONTE: 1st European Conference on Machine Learning, ECML 1993 in Machine Learning: ECML-93, European Conference on Machine Learning, Vienna, Austria, April 5-7, 1993, Proceedings, VOLUME: 667, PÁGINAS: 185-195
INDEXADO EM: Scopus DBLP CrossRef: 9

Results per Page: 20.
Página 130 de 132. Total de resultados: 2637.