Arie de Bruin
Arie de Bruin
Hoogleraar informatica, universiteit Leiden
Verified email at xs4all.nl - Homepage
TitleCited byYear
Mathematical theory of program correctness
JW De Bakker
Prentice-Hall, Inc., 1980
6661980
Best-First Fixed-Depth Minimax Algorithms.
A Plaat, J Schaeffer, W Pijls, A De Bruin
Artificial Intelligence 87 (1), 255-293, 1996
1411996
Towards a taxonomy of parallel branch and bound algorithms
HWJM Trienekens, A de Bruin
631992
Continuation semantics for Prolog with cut
A de Bruin, EP de Vink
Colloquium on Trees in Algebra and Programming, 178-192, 1989
601989
Exploiting graph properties of game trees
A Plaat, J Schaeffer, W Pijls, A De Bruin
AAAI/IAAI, Vol. 1, 234-239, 1996
511996
A new paradigm for minimax search
A Plaat, J Schaeffer, W Pijls, A De Bruin
arXiv preprint arXiv:1404.1515, 2014
442014
Asynchronous parallel branch and bound and anomalies
A De Bruin, GAP Kindervater, HWJM Trienekens
International Workshop on Parallel Algorithms for Irregularly Structured …, 1995
411995
Solution trees as a basis for game-tree search
A De Bruin, W Pijls, A Plaat
ICGA Journal 17 (4), 207-219, 1994
401994
Distributed simulation in industry-a survey part 3-the hla standard in industry
CA Boer, A de Bruin, A Verbraeck
2008 Winter Simulation Conference, 1094-1102, 2008
392008
Best-first fixed-depth game-tree search in practice
A Plaat, J Schaeffer, W Pijls, A De Bruin
IJCAI, 273-281, 1995
371995
A survey on distributed simulation in industry
CA Boer, A de Bruin, A Verbraeck
Journal of Simulation 3 (1), 3-16, 2009
352009
Goto statements: Semantics and deduction systems
A De Bruin
Acta Informatica 15 (4), 385-424, 1981
341981
Distributed simulation in industry-a survey part 2-experts on distributed simulation
CA Boer, A De Bruin, A Verbraeck
Proceedings of the 2006 Winter Simulation Conference, 1061-1068, 2006
322006
A simulation tool for the performance evaluation of parallel branch and bound algorithms
A De Bruin, AHGR Kan, HWJM Trienekens
Mathematical Programming 42 (1-3), 245-271, 1988
321988
A proof system for partial correctness of dynamic networks of processes
J Zwiers, A de Bruin, WP de Roever
Workshop on Logic of Programs, 513-527, 1983
271983
Experiments with continuation semantics: jumps, backtracking, dynamic networks
A deBruin
251986
Another view on the SSS* algorithm
W Pijls, A de Bruin
International Symposium on Algorithms, 211-220, 1990
241990
Distributed simulation in industry-a survey part 1-the cots vendors
CA Boer, A De Bruin, A Verbraeck
Proceedings of the 2006 Winter Simulation Conference, 1053-1060, 2006
222006
Game tree algorithms and solution trees
W Pijls, A de Bruin
Theoretical computer science 252 (1-2), 197-215, 2001
222001
Searching informed game trees
W Pijls, A de Bruin
International Symposium on Algorithms and Computation, 332-341, 1992
211992
The system can't perform the operation now. Try again later.
Articles 1–20