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

43 Team Members
Filters -> Year: 2025
2581
TÍTULO: Niche Search: An Evolutionary Algorithm for Global Optimisation
AUTORES: João Pedro Pedroso ;
PUBLICAÇÃO: 1996, FONTE: International Conference on Evolutionary Computation - 4th International Conference on Parallel Problem Solving from Nature, PPSN 1996 in Parallel Problem Solving from Nature - PPSN IV, International Conference on Evolutionary Computation. The 4th International Conference on Parallel Problem Solving from Nature, Berlin, Germany, September 22-26, 1996, Proceedings, VOLUME: 1141, PÁGINAS: 430-440
INDEXADO EM: Scopus DBLP CrossRef: 3
2582
TÍTULO: Performance of Sparse Binding Arrays for Or-Parallelism
AUTORES: Vítor Santos Costa ; Manuel E. Correia ; Fernando Silva ;
PUBLICAÇÃO: 1996, FONTE: Anais do VIII International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD 1996)
INDEXADO EM: CrossRef: 1 Unpaywall
2583
TÍTULO: Regression by Classification
AUTORES: Luís Torgo ; João Gama ;
PUBLICAÇÃO: 1996, FONTE: 13th Brazilian Symposium on Artificial Intelligence, SBIA 1996 in Advances in Artificial Intelligence, 13th Brazilian Symposium on Artificial Intelligence, SBIA '96, Curitiba, Brazil, October 23-25, 1996, Proceedings, VOLUME: 1159, PÁGINAS: 51-60
INDEXADO EM: Scopus DBLP CrossRef: 34
2584
TÍTULO: A fast method for finding the basis of non-negative solutions to a linear diophantine equation  Full Text
AUTORES: Filgueiras, M ; Tomas, AP ;
PUBLICAÇÃO: 1995, FONTE: JOURNAL OF SYMBOLIC COMPUTATION, VOLUME: 19, NÚMERO: 6, PÁGINAS: 507-526
INDEXADO EM: Scopus WOS DBLP CrossRef: 14
2585
TÍTULO: A New Translation Algorithm from Lambda Calculus into Combinatory Logic
AUTORES: Sabine Broda ; Luís Damas ;
PUBLICAÇÃO: 1995, FONTE: 7th Portuguese Conference on Artificial Intelligence, EPIA 1995 in Progress in Artificial Intelligence, 7th Portuguese Conference on Artificial Intelligence, EPIA '95, Funchal, Madeira Island, Portugal, October 3-6, 1995, Proceedings, VOLUME: 990, PÁGINAS: 359-370
INDEXADO EM: Scopus DBLP CrossRef
2586
TÍTULO: Aurora vs muse: A portability study of two or-parallel prolog systems  Full Text
AUTORES: Manuel E. Correia ; Silva, FMA ; Costa, VS ;
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: 345-349
INDEXADO EM: Scopus WOS CrossRef: 1
2587
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
2588
TÍTULO: Constraint Categorial Grammars
AUTORES: Luís Damas ; Nelma Moreira ;
PUBLICAÇÃO: 1995, FONTE: 7th Portuguese Conference on Artificial Intelligence, EPIA 1995 in Progress in Artificial Intelligence, 7th Portuguese Conference on Artificial Intelligence, EPIA '95, Funchal, Madeira Island, Portugal, October 3-6, 1995, Proceedings, VOLUME: 990, PÁGINAS: 347-358
INDEXADO EM: Scopus DBLP CrossRef
2589
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
2590
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
2591
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
2592
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
2593
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
2594
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
2595
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
2596
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
2597
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
2598
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
2599
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
2600
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

Results per Page: 20.
Página 130 de 133. Total de resultados: 2644.