Andrzej Ciepielewski (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

8 Andrzej Ciepielewski, Seif Haridi, Bogumil Hausman: Or-Parallel Prolog on Shared Memory Multiprocessors. J. Log. Program. 7(2): 125-148 (1989)

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

5 Bogumil Hausman, Andrzej Ciepielewski, Seif Haridi: OR-Parallel Prolog Made Efficient on Shared Memory Multiprocessors. SLP 1987: 69-79

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

1 Andrzej Ciepielewski, Seif Haridi: A Formal Model for Or-Parallel Execution of Logic Programs. IFIP Congress 1983: 299-305

Selection of 6 from 10 records - Andrzej Ciepielewski has 15 coauthors

8		Andrzej Ciepielewski, Seif Haridi, Bogumil Hausman: Or-Parallel Prolog on Shared Memory Multiprocessors. J. Log. Program. 7(2): 125-148 (1989)
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
5		Bogumil Hausman, Andrzej Ciepielewski, Seif Haridi: OR-Parallel Prolog Made Efficient on Shared Memory Multiprocessors. SLP 1987: 69-79
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
1		Andrzej Ciepielewski, Seif Haridi: A Formal Model for Or-Parallel Execution of Logic Programs. IFIP Congress 1983: 299-305