Toggle navigation
Publications
Researchers
Institutions
0
Sign In
Federated Authentication
(Click on the image)
Local Sign In
Password Recovery
Register
Sign In
Miguel João Gonçalves Areias
AuthID:
R-001-QE9
Publications
Confirmed
To Validate
Document Source:
All
Document Type:
All Document Types
Proceedings Paper (12)
Article (11)
Unpublished (2)
Article in Press (1)
Year Start - End:
2009
2010
2011
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
2022
-
2022
2021
2020
2019
2018
2017
2016
2015
2014
2013
2012
2011
2010
2009
Order:
Year Dsc
Year Asc
Cit. WOS Dsc
IF WOS Dsc
Cit. Scopus Dsc
IF Scopus Dsc
Title Asc
Title Dsc
Confirmed Publications: 26
21
TITLE:
An Efficient and Scalable Memory Allocator for Multithreaded Tabled Evaluation of Logic Programs
Full Text
AUTHORS:
Miguel Areias
;
Ricardo Rocha
;
PUBLISHED:
2012
,
SOURCE:
IEEE 18th International Conference on Parallel and Distributed Systems (ICPADS)
in
PROCEEDINGS OF THE 2012 IEEE 18TH INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED SYSTEMS (ICPADS 2012)
INDEXED IN:
Scopus
WOS
DBLP
CrossRef
:
4
IN MY:
ORCID
|
DBLP
22
TITLE:
On Extending a Linear Tabling Framework to Support Batched Scheduling
AUTHORS:
Miguel Areias
;
Ricardo Rocha
;
PUBLISHED:
2012
,
SOURCE:
1st Symposium on Languages, Applications and Technologies, SLATE 2012, Braga, Portugal, June 21-22, 2012,
VOLUME:
21
INDEXED IN:
DBLP
IN MY:
ORCID
|
DBLP
23
TITLE:
Towards multi-threaded local tabling using a common table space
AUTHORS:
Miguel Areias
;
Ricardo Rocha
;
PUBLISHED:
2012
,
SOURCE:
THEORY AND PRACTICE OF LOGIC PROGRAMMING,
VOLUME:
12,
ISSUE:
4-5
INDEXED IN:
Scopus
WOS
DBLP
CrossRef
:
8
IN MY:
ORCID
|
DBLP
24
TITLE:
On combining linear-based strategies for tabled evaluation of logic programs
AUTHORS:
Miguel Areias
;
Ricardo Rocha
;
PUBLISHED:
2011
,
SOURCE:
THEORY AND PRACTICE OF LOGIC PROGRAMMING,
VOLUME:
11,
ISSUE:
4-5
INDEXED IN:
Scopus
WOS
DBLP
CrossRef
:
2
IN MY:
ORCID
|
DBLP
25
TITLE:
An Efficient Implementation of Linear Tabling Based on Dynamic Reordering of Alternatives
AUTHORS:
Miguel Areias
;
Ricardo Rocha
;
PUBLISHED:
2010
,
SOURCE:
12th International Symposium on Practical Aspects of Declarative Languages
in
PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PROCEEDINGS,
VOLUME:
5937
INDEXED IN:
Scopus
WOS
DBLP
CrossRef
:
1
IN MY:
ORCID
|
DBLP
26
TITLE:
On Improving the Efficiency of Deterministic Calls and Answers in Tabled Logic Programs
AUTHORS:
Miguel Areias
;
Ricardo Rocha
;
PUBLISHED:
2009
,
SOURCE:
14th Portuguese Conference on Artificial Intelligence
in
PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS,
VOLUME:
5816
INDEXED IN:
Scopus
WOS
DBLP
CrossRef
IN MY:
ORCID
|
DBLP
Add to Marked List
Check All
Export All
BibTex
EndNote
CSV
RIS
ISI
APA
Print All
PDF
HTML
Page 3 of 3. Total results: 26.
<<
<
1
2
3
>
>>
© 2022 CRACS & Inesc TEC - All Rights Reserved
Privacy Policy
|
Terms of Service