David S. Warren
AuthID: R-006-E5Z
1
TÃTULO: Prolog: The Next 50 Years
AUTORES: David S Warren; Verónica Dahl; Thomas Eiter; Manuel V Hermenegildo; Robert Kowalski; Francesca Rossi;
PUBLICAÇÃO: 2023, VOLUME: 13900
AUTORES: David S Warren; Verónica Dahl; Thomas Eiter; Manuel V Hermenegildo; Robert Kowalski; Francesca Rossi;
PUBLICAÇÃO: 2023, VOLUME: 13900
INDEXADO EM: 
DBLP
DBLP2
TÃTULO: Reply to 'The new molecular markers DDIT3, STT3A, ARG2 and FAM129A are not useful in diagnosing thyroid follicular tumors'
AUTORES: Eva Sigstad; Elisabeth Paus; Trine Bjoro; Aasmund Berner; Krystyna Kotanska Groholt; Lars H Jorgensen; Manuel Sobrinho Simoes ; Ruth Holm; David J Warren;
PUBLICAÇÃO: 2013, FONTE: MODERN PATHOLOGY, VOLUME: 26, NÚMERO: 4
AUTORES: Eva Sigstad; Elisabeth Paus; Trine Bjoro; Aasmund Berner; Krystyna Kotanska Groholt; Lars H Jorgensen; Manuel Sobrinho Simoes ; Ruth Holm; David J Warren;
PUBLICAÇÃO: 2013, FONTE: MODERN PATHOLOGY, VOLUME: 26, NÚMERO: 4
3
TÃTULO: The new molecular markers DDIT3, STT3A, ARG2 and FAM129A are not useful in diagnosing thyroid follicular tumors
AUTORES: Eva Sigstad; Elisabeth Paus; Trine Bjoro; Aasmund Berner; Krystyna Kotanska Groholt; Lars H Jorgensen; Manuel Sobrinho Simoes ; Ruth Holm; David J Warren;
PUBLICAÇÃO: 2012, FONTE: MODERN PATHOLOGY, VOLUME: 25, NÚMERO: 4
AUTORES: Eva Sigstad; Elisabeth Paus; Trine Bjoro; Aasmund Berner; Krystyna Kotanska Groholt; Lars H Jorgensen; Manuel Sobrinho Simoes ; Ruth Holm; David J Warren;
PUBLICAÇÃO: 2012, FONTE: MODERN PATHOLOGY, VOLUME: 25, NÚMERO: 4
4
TÃTULO: XSB: Extending Prolog with Tabled Logic Programming
AUTORES: Terrance Swift; David S Warren;
PUBLICAÇÃO: 2012, FONTE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 12, NÚMERO: 1-2
AUTORES: Terrance Swift; David S Warren;
PUBLICAÇÃO: 2012, FONTE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 12, NÚMERO: 1-2
INDEXADO EM: 
Scopus 
WOS
Scopus WOS5
TÃTULO: XSB: Extending Prolog with Tabled Logic Programming
AUTORES: TERRANCE SWIFT; DAVID S WARREN;
PUBLICAÇÃO: 2011, FONTE: Theory and Practice of Logic Programming, VOLUME: 12, NÚMERO: 1-2
AUTORES: TERRANCE SWIFT; DAVID S WARREN;
PUBLICAÇÃO: 2011, FONTE: Theory and Practice of Logic Programming, VOLUME: 12, NÚMERO: 1-2
INDEXADO EM: 
CrossRef
CrossRef6
TÃTULO: Tabling with Answer Subsumption: Implementation, Applications and Performance
AUTORES: Terrance Swift; David S Warren;
PUBLICAÇÃO: 2010, FONTE: 12th European Conference on Logics in Artificial Intelligence (JELIA) in LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2010, VOLUME: 6341
AUTORES: Terrance Swift; David S Warren;
PUBLICAÇÃO: 2010, FONTE: 12th European Conference on Logics in Artificial Intelligence (JELIA) in LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2010, VOLUME: 6341
7
TÃTULO: Performance of the Compiler-Based Andorra-I System
AUTORES: Rong Yang; Tony Beaumont; Inês de Castro Dutra ; Vítor Santos Costa ; David H D Warren;
PUBLICAÇÃO: 1993, FONTE: Logic Programming, Proceedings of the Tenth International Conference on Logic Programming, Budapest, Hungary, June 21-25, 1993
AUTORES: Rong Yang; Tony Beaumont; Inês de Castro Dutra ; Vítor Santos Costa ; David H D Warren;
PUBLICAÇÃO: 1993, FONTE: Logic Programming, Proceedings of the Tenth International Conference on Logic Programming, Budapest, Hungary, June 21-25, 1993
INDEXADO EM: DBLP
DBLP8
TÃTULO: Andorra-I: A Parallel Prolog System that Transparently Exploits both And- and Or-Parallelism
AUTORES: Vítor Santos Costa ; David H D Warren; Rong Yang;
PUBLICAÇÃO: 1991, FONTE: Proceedings of the Third ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming (PPOPP), Williamsburg, Virginia, USA, April 21-24, 1991
AUTORES: Vítor Santos Costa ; David H D Warren; Rong Yang;
PUBLICAÇÃO: 1991, FONTE: Proceedings of the Third ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming (PPOPP), Williamsburg, Virginia, USA, April 21-24, 1991
INDEXADO EM: DBLP
DBLP