|
Search the dblp DataBase
Arie de Bruin:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Aske Plaat, Jonathan Schaeffer, Wim Pijls, Arie de Bruin
Exploiting Graph Properties of Game Trees. [Citation Graph (0, 0)][DBLP] AAAI/IAAI, Vol. 1, 1996, pp:234-239 [Conf]
- Wim Pijls, Arie de Bruin
Game Tree Algorithms and Solution Trees. [Citation Graph (0, 0)][DBLP] Computers and Games, 1998, pp:195-204 [Conf]
- Mark Polman, Maarten van Steen, Arie de Bruin
A Structured Design Technique for Distributed Programs. [Citation Graph (0, 0)][DBLP] COMPSAC, 1998, pp:308-315 [Conf]
- Aske Plaat, Jonathan Schaeffer, Wim Pijls, Arie de Bruin
Best-First Fixed-Depth Game-Tree Search in Practice. [Citation Graph (0, 0)][DBLP] IJCAI, 1995, pp:273-281 [Conf]
- Arie de Bruin, Gerard A. P. Kindervater, Harry W. J. M. Trienekens
Asynchronous Parallel Branch and Bound and Anomalies. [Citation Graph (0, 0)][DBLP] IRREGULAR, 1995, pp:363-377 [Conf]
- Wim Pijls, Arie de Bruin
Searching Informed Game Trees. [Citation Graph (0, 0)][DBLP] ISAAC, 1992, pp:332-341 [Conf]
- Job Zwiers, Arie de Bruin, Willem P. de Roever
A Proof System for Partial Correctness of Dynamic Networks of Processes (Extended Abstract). [Citation Graph (0, 0)][DBLP] Logic of Programs, 1983, pp:513-527 [Conf]
- J. W. de Bakker, Franck van Breugel, Arie de Bruin
Comparative Semantics for Linear Arrays of Communicating Processes: A Study of the UNIX Fork and Pipe Commands. [Citation Graph (0, 0)][DBLP] MFCS, 1993, pp:252-261 [Conf]
- Arie de Bruin, Shan-Hwei Nienhuys-Cheng
Linear Dynamic Kahn Networks Are Deterministic. [Citation Graph (0, 0)][DBLP] MFCS, 1996, pp:242-254 [Conf]
- Arie de Bruin, Erik P. de Vink
Retractions in Comparing Prolog Semantics (Extended Abstract). [Citation Graph (0, 0)][DBLP] MFCS, 1990, pp:180-186 [Conf]
- Roel van der Goot, Arie de Bruin
Syntax and Semantics of Procol. [Citation Graph (0, 0)][DBLP] MFCS, 1995, pp:509-518 [Conf]
- Arie de Bruin, Gerard A. P. Kindervater, Harry W. J. M. Trienekens
Towards an abstract parallel branch and bound machine. [Citation Graph (0, 0)][DBLP] Solving Combinatorial Optimization Problems in Parallel, 1996, pp:145-170 [Conf]
- Wim Pijls, Arie de Bruin
Another View on the SSS* Algorithm. [Citation Graph (0, 0)][DBLP] SIGAL International Symposium on Algorithms, 1990, pp:211-220 [Conf]
- Arie de Bruin, Wim Pijls
Trends in Game Tree Search. [Citation Graph (0, 0)][DBLP] SOFSEM, 1996, pp:255-274 [Conf]
- Shan-Hwei Nienhuys-Cheng, Arie de Bruin
Kahn's Fixed-Point Characterization for Linear Dynamic Networks. [Citation Graph (0, 0)][DBLP] SOFSEM, 1997, pp:513-522 [Conf]
- Wim Pijls, Arie de Bruin
A Theory of Game Trees, Based on Solution Trees. [Citation Graph (0, 0)][DBLP] SOFSEM, 1997, pp:539-546 [Conf]
- Arie de Bruin, Erik P. de Vink
Continuation Semantics for PROLOG with Cut. [Citation Graph (0, 0)][DBLP] TAPSOFT, Vol.1, 1989, pp:178-192 [Conf]
- Csaba Attila Boer, Arie de Bruin, Alexander Verbraeck
Distributed simulation in industry -- a survey: part 2 -- experts on distributed simulation. [Citation Graph (0, 0)][DBLP] Winter Simulation Conference, 2006, pp:1061-1068 [Conf]
- Csaba Attila Boer, Arie de Bruin, Alexander Verbraeck
Distributed simulation in industry -- a survey: part 1 -- the COTS vendors. [Citation Graph (0, 0)][DBLP] Winter Simulation Conference, 2006, pp:1053-1060 [Conf]
- Arie de Bruin
Goto Statements: Semantics and Deduction Systems. [Citation Graph (0, 0)][DBLP] Acta Inf., 1981, v:15, n:, pp:385-424 [Journal]
- Aske Plaat, Jonathan Schaeffer, Wim Pijls, Arie de Bruin
Best-First Fixed-Depth Minimax Algorithms. [Citation Graph (0, 0)][DBLP] Artif. Intell., 1996, v:87, n:1-2, pp:255-293 [Journal]
- Arie de Bruin, Gerard A. P. Kindervater, Tjark Vredeveld, Albert P. M. Wagelmans
Finding a Feasible Solution for a Class of Distributed Problems with a Single Sum Constraint Using Agents. [Citation Graph (0, 0)][DBLP] Constraints, 2003, v:8, n:2, pp:209-218 [Journal]
- Arie de Bruin
On the Existence of Cook Semantics. [Citation Graph (0, 0)][DBLP] SIAM J. Comput., 1984, v:13, n:1, pp:1-13 [Journal]
- Arie de Bruin, Shan-Hwei Nienhuys-Cheng
Linear Dynamic Kahn Networks are Deterministic. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1998, v:195, n:1, pp:3-32 [Journal]
- Wim Pijls, Arie de Bruin
Game tree algorithms and solution trees. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2001, v:252, n:1-2, pp:197-215 [Journal]
- Arie de Bruin, A. P. Wim Böhm
The Denotational Semantics of Dynamic Networks of Processes. [Citation Graph (0, 0)][DBLP] ACM Trans. Program. Lang. Syst., 1985, v:7, n:4, pp:656-679 [Journal]
Distributed simulation in industry - a survey Part 3 - the HLA standard in industry. [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.306secs
|