Toggle navigation
Publicações
Investigadores
Instituições
0
Entrar
Autenticação Federada
(Click on the image)
Autenticação local
Recuperação de Password
Register
Entrar
Vítor Manuel de Morais Santos Costa
AuthID:
R-000-HMB
Publicações
Confirmadas
Para Validar
Document Source:
All
Document Type:
All Document Types
Proceedings Paper (120)
Article (61)
Proceedings (10)
Editorial Material (6)
Book Chapter (4)
Unpublished (3)
Phd Thesis (1)
Year Start - End:
1991
1992
1993
1994
1995
1996
1997
1998
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
1998
1997
1996
1995
1994
1993
1992
1991
Order:
Year Dsc
Year Asc
Cit. WOS Dsc
IF WOS Dsc
Cit. Scopus Dsc
IF Scopus Dsc
Title Asc
Title Dsc
Results:
10
20
30
40
50
Confirmed Publications: 205
191
TITLE:
ACE: And/Or-parallel Copying-based Execution of Logic Programs
AUTHORS:
Gopal Gupta; Manuel V Hermenegildo;
Enrico Pontelli
;
Vítor Santos Costa
;
PUBLISHED:
1994
,
SOURCE:
Logic Programming, Proceedings of the Eleventh International Conference on Logic Programming, Santa Marherita Ligure, Italy, June 13-18, 1994
INDEXED IN:
DBLP
IN MY:
ORCID
|
DBLP
192
TITLE:
Aurora, Andorra-I and Friends on the Sun
AUTHORS:
Vítor Santos Costa
;
Manuel E. Correia
;
Fernando M A Silva
;
PUBLISHED:
1994
,
SOURCE:
Proceedings of the ILPS 94 Workshop on Design and Implementation of Parallel Logic Programming Systems, Ithaca, New York, USA, November 18, 1994
INDEXED IN:
DBLP
IN MY:
ORCID
|
DBLP
193
TITLE:
Optimal implementation of and-or parallel Prolog
Full Text
AUTHORS:
Gopal Gupta;
Vítor Santos Costa
;
PUBLISHED:
1994
,
SOURCE:
Future Generation Comp. Syst.,
VOLUME:
10,
ISSUE:
1
INDEXED IN:
Scopus
DBLP
CrossRef
:
7
IN MY:
ORCID
|
DBLP
194
TITLE:
And-Or parallel Prolog: A recomputation based approach
AUTHORS:
Gupta, G; Hermenegildo, MV;
Costa, VS
;
PUBLISHED:
1993
,
SOURCE:
New Generation Computing,
VOLUME:
11,
ISSUE:
3-4
INDEXED IN:
Scopus
DBLP
CrossRef
:
7
IN MY:
ORCID
|
DBLP
195
TITLE:
Compile-time analysis for the parallel execution of logic programs in Andorra-1
AUTHORS:
Vítor Manuel de Morais Santos Costa
;
PUBLISHED:
1993
,
SOURCE:
British Library, EThOS
INDEXED IN:
DBLP
IN MY:
ORCID
|
DBLP
196
TITLE:
Performance of the Compiler-Based Andorra-I System
AUTHORS:
Rong Yang; Tony Beaumont;
Inês de Castro Dutra
;
Vítor Santos Costa
;
David H D Warren
;
PUBLISHED:
1993
,
SOURCE:
Logic Programming, Proceedings of the Tenth International Conference on Logic Programming, Budapest, Hungary, June 21-25, 1993
INDEXED IN:
DBLP
IN MY:
ORCID
|
DBLP
197
TITLE:
And-Or Parallelism in Full Prolog with Paged Binding Arrays
AUTHORS:
Gopal Gupta;
Vítor Santos Costa
;
PUBLISHED:
1992
,
SOURCE:
PARLE '92: Parallel Architectures and Languages Europe, 4th International PARLE Conference, Paris, France, June 15-18, 1992, Proceedings,
VOLUME:
605
INDEXED IN:
DBLP
CrossRef
:
9
IN MY:
ORCID
|
DBLP
198
TITLE:
Complete and Efficient Methods for Supporting Side-Effects and Cuts in And-Or Parallel Prolog
AUTHORS:
Gopal Gupta;
Vítor Santos Costa
;
PUBLISHED:
1992
,
SOURCE:
Proceedings of the Fourth IEEE Symposium on Parallel and Distributed Processing, SPDP 1992, Arlington, Texas, USA, December 1-4, 1992.
INDEXED IN:
DBLP
CrossRef
IN MY:
ORCID
|
DBLP
199
TITLE:
Generalized Stack-copying for And-Or Parallel Execution of Full Prolog
AUTHORS:
Gopal Gupta; Manuel V Hermenegildo;
Vítor Santos Costa
;
PUBLISHED:
1992
,
SOURCE:
Workshop on Concurrent and Parallel Implementations (sessions A and B), held at IJCSLP'92, Washington, DC, USA, November 1992
INDEXED IN:
DBLP
IN MY:
ORCID
|
DBLP
200
TITLE:
Andorra I. a parallel Prolog system that transparently exploits both And-and or-parallelism
AUTHORS:
Vítor Santos Costa
; David H D Warren; Rong Yang;
PUBLISHED:
1991
,
SOURCE:
Proceedings of the third ACM SIGPLAN symposium on Principles and practice of parallel programming - PPOPP '91
INDEXED IN:
CrossRef
:
25
IN MY:
ORCID
Adicionar à lista
Marked
Marcar Todas
Export
×
Publication Export Settings
BibTex
EndNote
APA
CSV
PDF
Export Preview
Print
×
Publication Print Settings
HTML
PDF
Print Preview
Página 20 de 21. Total de resultados: 205.
<<
<
13
14
15
16
17
18
19
20
21
>
>>
×
Select Source
This publication has:
2 records from
ISI
2 records from
SCOPUS
2 records from
DBLP
2 records from
Unpaywall
2 records from
Openlibrary
2 records from
Handle
Please select which records must be used by Authenticus!
×
Preview Publications
© 2024 CRACS & Inesc TEC - All Rights Reserved
Privacy Policy
|
Terms of Service