Toggle navigation
Publicações
Investigadores
Instituições
0
Entrar
Autenticação Federada
(Clique na imagem)
Autenticação local
Recuperar Palavra-passe
Registar
Entrar
Ricardo Jorge Gomes Lopes da Rocha
AuthID:
R-000-FCK
Publicações
Confirmadas
Para Validar
Document Source:
All
Document Type:
Todos os Tipos de Documentos
Proceedings Paper (53)
Article (42)
Unpublished (7)
Proceedings (4)
Editorial Material (3)
Year Start - End:
1999
2000
2001
2002
2003
2004
2005
2006
2007
2008
2009
2010
2011
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
2022
2023
2024
-
2024
2023
2022
2021
2020
2019
2018
2017
2016
2015
2014
2013
2012
2011
2010
2009
2008
2007
2006
2005
2004
2003
2002
2001
2000
1999
Order:
Ano Dsc
Ano Asc
Cit. WOS Dsc
IF WOS Dsc
Cit. Scopus Dsc
IF Scopus Dsc
Título Asc
Título Dsc
Results:
10
20
30
40
50
Publicações Confirmadas: 109
101
TÃTULO:
Speculative computations in or-parallel tabled logic programs
AUTORES:
Rocha, R
;
Silva, F
;
Costa, VS
;
PUBLICAÇÃO:
2004
,
FONTE:
20th International Conference on Logic Programming
in
LOGIC PROGRAMMING, PROCEEDINGS,
VOLUME:
3132
INDEXADO EM:
Scopus
WOS
DBLP
CrossRef
NO MEU:
ORCID
|
ResearcherID
|
DBLP
102
TÃTULO:
The MyYapDB deductive database system
AUTORES:
Ferreira, M
;
Rocha, R
;
PUBLICAÇÃO:
2004
,
FONTE:
9th European Conference on Logics in Artificial Intelligence (JELIA 04)
in
LOGICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS,
VOLUME:
3229
INDEXADO EM:
Scopus
WOS
DBLP
CrossRef
:
2
NO MEU:
ORCID
|
ResearcherID
|
DBLP
103
TÃTULO:
Efficient data structures for inductive logic programming
AUTORES:
Fonseca, N
;
Rocha, R
;
Camacho, R
;
Silva, F
;
PUBLICAÇÃO:
2003
,
FONTE:
13th International Conference on Inductive Logic Programming
in
INDUCTIVE LOGIC PROGRAMMING, PROCEEDINGS,
VOLUME:
2835
INDEXADO EM:
Scopus
WOS
DBLP
CrossRef
:
4
Handle
NO MEU:
ORCID
|
DBLP
104
TÃTULO:
YapDss: An Or-parallel prolog system for scalable Beowulf clusters
Full Text
AUTORES:
Rocha, R
;
Silva, F
;
Rolando Martins
;
PUBLICAÇÃO:
2003
,
FONTE:
11th Portuguese Conference on Artificial Intelligence
in
PROGRESS IN ARTIFICIAL INTELLIGENCE,
VOLUME:
2902,
NÚMERO:
2902
INDEXADO EM:
Scopus
WOS
DBLP
CrossRef
:
2
NO MEU:
ORCID
|
ResearcherID
|
DBLP
105
TÃTULO:
Achieving Scalability in Parallel Tabled Logic Programs
AUTORES:
Ricardo Rocha
;
Fernando M A Silva
;
Vítor Santos Costa
;
PUBLICAÇÃO:
2002
,
FONTE:
16th International Parallel and Distributed Processing Symposium, IPDPS 2002
in
16th International Parallel and Distributed Processing Symposium (IPDPS 2002), 15-19 April 2002, Fort Lauderdale, FL, USA, CD-ROM/Abstracts Proceedings
INDEXADO EM:
Scopus
DBLP
CrossRef
NO MEU:
ORCID
|
DBLP
106
TÃTULO:
On a Tabling Engine That Can Exploit Or-Parallelism
AUTORES:
Ricardo Rocha
;
Fernando M A Silva
;
Vítor Santos Costa
;
PUBLICAÇÃO:
2001
,
FONTE:
17th International Conference on Logic Programming, ICLP 2001
in
Logic Programming, 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings,
VOLUME:
2237
INDEXADO EM:
Scopus
DBLP
CrossRef
:
13
NO MEU:
ORCID
|
DBLP
107
TÃTULO:
Novel models for or-parallel logic programs: A performance analysis
AUTORES:
Costa, VS
;
Rocha, R
;
Silva, F
;
PUBLICAÇÃO:
2000
,
FONTE:
6th International Euro-Par 2000 Conference
in
EURO-PAR 2000 PARALLEL PROCESSING, PROCEEDINGS,
VOLUME:
1900
INDEXADO EM:
Scopus
WOS
DBLP
CrossRef
:
1
NO MEU:
ORCID
|
ResearcherID
|
DBLP
108
TÃTULO:
Or-Parallelism within Tabling
Full Text
AUTORES:
Rocha, R
;
Silva, F
;
Costa, VS
;
PUBLICAÇÃO:
1999
,
FONTE:
1st International Workshop on Practical Aspects of Declarative Languages (PADL 99)
in
PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES,
VOLUME:
1551
INDEXADO EM:
Scopus
WOS
DBLP
CrossRef
:
1
NO MEU:
ORCID
|
ResearcherID
|
DBLP
109
TÃTULO:
YapOr: an Or-Parallel Prolog System Based on Environment Copying
AUTORES:
Ricardo Rocha
;
Fernando M A Silva
;
Vítor Santos Costa
;
PUBLICAÇÃO:
1999
,
FONTE:
9th Portuguese Conference on Progress in Artificial Intelligence, EPIA 1999
in
Progress in Artificial Intelligence, 9th Portuguese Conference on Artificial Intelligence, EPIA '99, Évora, Portugal, September 21-24, 1999, Proceedings,
VOLUME:
1695
INDEXADO EM:
Scopus
DBLP
CrossRef
:
7
NO MEU:
ORCID
|
DBLP
Adicionar à lista
Marked
Marcar Todas
Exportar
×
Publication Export Settings
BibTex
EndNote
APA
CSV
PDF
Export Preview
Print
×
Publication Print Settings
HTML
PDF
Print Preview
Página 11 de 11. Total de resultados: 109.
<<
<
3
4
5
6
7
8
9
10
11
>
>>
×
Selecione a Fonte
Esta publicação tem:
2 registos no
ISI
2 registos no
SCOPUS
2 registos no
DBLP
2 registos no
Unpaywall
2 registos no
Openlibrary
2 registos no
Handle
Por favor selecione o registo que deve ser utilizado pelo Authenticus.
×
Comparar Publicações
© 2024 CRACS & Inesc TEC - All Rights Reserved
Política de Privacidade
|
Terms of Service