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
2521
TÍTULO: Parallel logic programming systems on scalable architectures  Full Text
AUTORES: Costa, VS ; Bianchini, R; Dutra, ID ;
PUBLICAÇÃO: 2000, FONTE: JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, VOLUME: 60, NÚMERO: 7, PÁGINAS: 835-852
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
2522
TÍTULO: Partial Linear Trees
AUTORES: Luís Torgo ;
PUBLICAÇÃO: 2000, FONTE: Proceedings of the Seventeenth International Conference on Machine Learning (ICML 2000), Stanford University, Stanford, CA, USA, June 29 - July 2, 2000, PÁGINAS: 1007-1014
INDEXADO EM: DBLP
2524
TÍTULO: The impact of cache coherence protocols on parallel logic programming systems
AUTORES: Dutra, ID ; Costa, VS ; Bianchini, R;
PUBLICAÇÃO: 2000, FONTE: 1st International Conference on Computational Logic, CL 2000 in COMPUTATIONAL LOGIC - CL 2000, VOLUME: 1861, PÁGINAS: 1285-1299
INDEXADO EM: Scopus WOS DBLP CrossRef
2525
TÍTULO: A virtual machine for a process calculus
AUTORES: Lopes, L ; Silva, F ; Vasconcelos, VT ;
PUBLICAÇÃO: 1999, FONTE: International Conference on Principles and Practice of Declarative Programming (PPDP 99) in PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING, PROCEEDINGS, VOLUME: 1702, PÁGINAS: 244-260
INDEXADO EM: Scopus WOS DBLP CrossRef: 7
2526
TÍTULO: ALEPH: An Environment for Managing Web Database Applications
AUTORES: José Paulo Leal ;
PUBLICAÇÃO: 1999, FONTE: ICEIS, PÁGINAS: 792
INDEXADO EM: DBLP
2527
TÍTULO: An introduction to CANonen
AUTORES: Farsi, M; Ratcliff, K; Barbosa, M ;
PUBLICAÇÃO: 1999, FONTE: Computing and Control Engineering Journal, VOLUME: 10, NÚMERO: 4, PÁGINAS: 161-168
INDEXADO EM: Scopus
2528
TÍTULO: An introduction to CANopen
AUTORES: Farsi, M; Ratcliff, K; Barbosa, M ;
PUBLICAÇÃO: 1999, FONTE: COMPUTING & CONTROL ENGINEERING JOURNAL, VOLUME: 10, NÚMERO: 4, PÁGINAS: 161-168
INDEXADO EM: WOS CrossRef: 16
2529
TÍTULO: An overview of Controller Area Network
AUTORES: Farsi, M; Ratcliff, K; Barbosa, M ;
PUBLICAÇÃO: 1999, FONTE: COMPUTING & CONTROL ENGINEERING JOURNAL, VOLUME: 10, NÚMERO: 3, PÁGINAS: 113-120
INDEXADO EM: Scopus WOS CrossRef: 160
2530
TÍTULO: Combining Graphic and Alphanumeric Information in Java Applications
AUTORES: Ricardo João Cruz Correia ; José Paulo Leal ;
PUBLICAÇÃO: 1999, FONTE: ICEIS, PÁGINAS: 606-611
INDEXADO EM: DBLP
2531
TÍTULO: Counting a type's principal inhabitants - (Extended abstract)  Full Text
AUTORES: Broda, S ; Damas, L ;
PUBLICAÇÃO: 1999, FONTE: 4th International Conference on Typed Lambda Calculi and Applications (TLCA 99) in TYPED LAMBDA CALCULI AND APPLICATIONS, VOLUME: 1581, PÁGINAS: 69-82
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
2532
TÍTULO: COWL: Copy-on-write for logic programs  Full Text
AUTORES: Costa, VS ;
PUBLICAÇÃO: 1999, FONTE: 13th Parallel Processing Symposium / 10th Symposium on Parallel and Distributed Processing (IPPS/SPDP 1999) in IPPS/SPDP 1999: 13TH INTERNATIONAL PARALLEL PROCESSING SYMPOSIUM & 10TH SYMPOSIUM ON PARALLEL AND DISTRIBUTED PROCESSING, PROCEEDINGS, PÁGINAS: 720-727
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
2533
TÍTULO: DAOS - Scalable And-Or parallelism
AUTORES: Castro, LF; Costa, VS ; Geyer, CFR; Silva, F ; Vargas, PK; Manuel E. Correia ;
PUBLICAÇÃO: 1999, FONTE: 5th International Euro-Par Conference in EURO-PAR'99: PARALLEL PROCESSING, VOLUME: 1685, PÁGINAS: 899-908
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
2534
TÍTULO: Distance: A New Metric for Controlling Granularity for Parallel Execution
AUTORES: Kish Shen; Vítor Santos Costa ; Andy King;
PUBLICAÇÃO: 1999, FONTE: Journal of Functional and Logic Programming, VOLUME: 1999, NÚMERO: Special Issue 1
INDEXADO EM: DBLP
2535
TÍTULO: Di_pSystem: A Parallel Programming System for Distributed Memory Architectures
AUTORES: Fernando M A Silva ; Hervé Paulino ; Luís M B Lopes ;
PUBLICAÇÃO: 1999, FONTE: 6th European Parallel Virtual Machine and Message Passing Interface Users’ Group Meeting, 1999 in Recent Advances in Parallel Virtual Machine and Message Passing Interface, 6th European PVM/MPI Users' Group Meeting, Barcelona, Spain, September 26-29, 1999, Proceedings, VOLUME: 1697, PÁGINAS: 525-532
INDEXADO EM: Scopus DBLP CrossRef: 2
2536
TÍTULO: Iterative induction of logic programs  Full Text
AUTORES: Jorge, A ;
PUBLICAÇÃO: 1999, FONTE: AI COMMUNICATIONS, VOLUME: 12, NÚMERO: 3, PÁGINAS: 173-174
INDEXADO EM: Scopus WOS
2537
TÍTULO: Iterative Induction of Logic Programs, An approach to logic program synthesis from incomplete specifications
AUTORES: Alípio Jorge ;
PUBLICAÇÃO: 1999, FONTE: AI Commun., VOLUME: 12, NÚMERO: 3, PÁGINAS: 173-174
INDEXADO EM: DBLP
2538
TÍTULO: Iterative Part-of-Speech Tagging
AUTORES: Alípio Jorge ; Alneu de Andrade Lopes;
PUBLICAÇÃO: 1999, FONTE: 1st Learning Language in Logic workshop, LLL 1999 in Learning Language in Logic, VOLUME: 1925, PÁGINAS: 170-183
INDEXADO EM: Scopus DBLP CrossRef: 5
2539
TÍTULO: Multiple specialization of WAM code  Full Text
AUTORES: Ferreira, M ; Damas, L ;
PUBLICAÇÃO: 1999, FONTE: 1st International Workshop on Practical Aspects of Declarative Languages (PADL 99) in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, VOLUME: 1551, PÁGINAS: 243-258
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
2540
TÍTULO: Optimising bytecode emulation for Prolog
AUTORES: Costa, VS ;
PUBLICAÇÃO: 1999, FONTE: International Conference on Principles and Practice of Declarative Programming (PPDP 99) in PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING, PROCEEDINGS, VOLUME: 1702, PÁGINAS: 261-277
INDEXADO EM: Scopus WOS DBLP CrossRef: 22

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