Amadeo Casas
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2006–2012
Best venue rank
C
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2012 | PADL | A Segment-Swapping Approach for Executing Trapped Computations. | Pablo Chico de Guzmn, Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo |
| 2008 | ICLP | A High-Level Implementation of Non-deterministic, Unrestricted, Independent And-Parallelism. | Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo |
| 2008 | PADL | Towards a High-Level Implementation of Execution Primitives for Unrestricted, Independent And-Parallelism. | Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo |
| 2007 | ISSAC | Towards a high-level implementation of flexible parallelism primitives for symbolic languages. | Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo |
| 2007 | LOPSTR | Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs. | Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo |
| 2006 | FLOPS | A Syntactic Approach to Combining Functional Notation, Lazy Evaluation, and Higher-Order in LP Systems. | Amadeo Casas, Daniel Cabeza, Manuel V. Hermenegildo |