Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Genuine Personal Identifiers and Mutual Sureties for Sybil-Resilient Community Growth., , and . SocInfo, volume 12467 of Lecture Notes in Computer Science, page 320-332. Springer, (2020)Quadtrees in Concurrent PROLOG., and . ICPP, page 544-551. IEEE Computer Society Press, (1985)Channels: A Generalization of Streams., , , , , and . ICLP, page 839-857. MIT Press, (1987)Polymorphic Arrays: An Architecture for a Programmable Systolic Machine., , and . ICPP, page 112-117. IEEE Computer Society Press, (1985)A Decision Tree Compilation Algorithm for FCP(!, : , ?)., and . ICLP/SLP, page 1315-1336. MIT Press, (1988)Specialisation of Prolog and FCP Programs Using Abstract Interpretation., , and . New Generation Comput., 6 (2&3): 159-186 (1988)Compiling OR-parallelism into AND-parallelism., and . ICLP, volume 225 of Lecture Notes in Computer Science, page 283-297. Springer, (1986)A New Approach for Intruducing Prolog to Naive Users., , and . ICLP, volume 225 of Lecture Notes in Computer Science, page 544-551. Springer, (1986)Embeddings Among Concurrent Programming Languages (Preliminary Version).. CONCUR, volume 630 of Lecture Notes in Computer Science, page 486-503. Springer, (1992)Concurrent Prolog: A Progress Report.. Advanced Course: Fundamentals of Artificial Intelligence, volume 232 of Lecture Notes in Computer Science, page 277-313. Springer, (1985)