Publications

Publications with the same journal as the CONFERENCE REPORT ON PDK91 - INTERNATIONAL WORKSHOP ON PROCESSING DECLARATIVE KNOWLEDGE publication

Group by: Tipo Ano Order: Title Year Type of publication

Article in International Scientific Journal

Recursion patterns and time-analysis

Barbosa, A (Author) (Other); Cunha, A (Author) (Other); Pinto, JS (Author) (Other)

2005

Indexing

ISI Web of Knowledge - 1 Citation

Scopus - 1 Citation

PADL '00: Workshop on Practical Aspects of Declarative Languages

Enrico Pontelli (Author) (Other); Vítor Santos Costa (Author) (FCUP)

2000

From simulation to practice: Cache performance study of a prolog system

Lopes, R (Author) (FCUP); Castro, LF (Author) (Other); Costa, VS (Author) (FCUP)

2003

Scientific classification Indexing

ISI Web of Knowledge - 1 Citation

Scopus - 1 Citation

FOS: Computer and information sciences

CONCURRENCY ANNOTATIONS IN C++

BAQUERO, C (Author) (Other); MOURA, F (Author) (Other)

1994

Indexing

ISI Web of Knowledge - 2 Citations

Scopus - 5 Citations

Automatic Amortised Analysis of Dynamic Memory Allocation for Lazy Functional Programs

Hugo Simoes (Author) (Other); Pedro Vasconcelos (Author) (FCUP); Mario Florido (Author) (FCUP); Steffen Jost (Author) (Other); Kevin Hammond (Author) (Other)

2012

Scientific classification Indexing

ISI Web of Knowledge - 15 Citations

Scopus - 9 Citations

FOS: Computer and information sciences

Andorra I

Costa, VS (Author) (FCUP); Warren, DHD (Author) (Other); Yang, R (Author) (Other)

1991

Records 1 to 6 from 6

 

1