 | 1994 |
|---|
| 10 |       | Surapong Auwatanamongkol,
Andrzej Ciepielewski,
Prasenjit Biswas:
Cut and Side-Effects in a Data-Driven Implementation of Prolog.
New Generation Comput. 12(3): 223-250 (1994) |
| 1990 |
|---|
| 9 | | Andrzej Ciepielewski:
Parallel Implementations of Prolog.
NACLP 1990: 835 |
| 1989 |
|---|
| 8 | | Andrzej Ciepielewski,
Seif Haridi,
Bogumil Hausman:
Or-Parallel Prolog on Shared Memory Multiprocessors.
J. Log. Program. 7(2): 125-148 (1989) |
| 1988 |
|---|
| 7 | | Ewing L. Lusk,
Ralph Butler,
Terry Disz,
Robert Olson,
Ross A. Overbeek,
Rick L. Stevens,
David H. D. Warren,
Alan Calderwood,
Péter Szeredi,
Seif Haridi,
Per Brand,
Mats Carlsson,
Andrzej Ciepielewski,
Bogumil Hausman:
The Aurora Or-Parallel Prolog System.
FGCS 1988: 819-830 |
| 6 | | Bogumil Hausman,
Andrzej Ciepielewski,
Alan Calderwood:
Cut and Side-Effects in Or-Parallel Prolog.
FGCS 1988: 831-840 |
| 1987 |
|---|
| 5 | | Bogumil Hausman,
Andrzej Ciepielewski,
Seif Haridi:
OR-Parallel Prolog Made Efficient on Shared Memory Multiprocessors.
SLP 1987: 69-79 |
| 1986 |
|---|
| 4 | | Andrzej Ciepielewski,
Bogumil Hausman:
Performance Evaluation of a Storage Model for OR--Parallel Execution of Logic Programs.
SLP 1986: 246-257 |
| 1984 |
|---|
| 3 | | Andrzej Ciepielewski,
Seif Haridi:
Execution of Bagof on the Or-Parallel Token Machine.
FGCS 1984: 551-560 |
| 2 | | Andrzej Ciepielewski,
Seif Haridi:
Control of Activities in the Or-Parallel Token Machine.
SLP 1984: 49-57 |
| 1983 |
|---|
| 1 | | Andrzej Ciepielewski,
Seif Haridi:
A Formal Model for Or-Parallel Execution of Logic Programs.
IFIP Congress 1983: 299-305 |
