Follow
Arie de Bruin
Arie de Bruin
Hoogleraar informatica, universiteit Leiden
Verified email at xs4all.nl - Homepage
Title
Cited by
Cited by
Year
Mathematical theory of program correctness
JW Bakker
Prentice-Hall, Inc., 1980
7281980
Best-first fixed-depth minimax algorithms
A Plaat, J Schaeffer, W Pijls, A De Bruin
Artificial Intelligence 87 (1-2), 255-293, 1996
1581996
Towards a taxonomy of parallel branch and bound algorithms
HWJM Trienekens, A de Bruin
721992
Exploiting graph properties of game trees
A Plaat, J Schaeffer, W Pijls, A De Bruin
AAAI/IAAI, Vol. 1, 234-239, 1996
631996
Continuation semantics for Prolog with cut
A de Bruin, EP de Vink
Colloquium on Trees in Algebra and Programming, 178-192, 1989
611989
A new paradigm for minimax search
A Plaat, J Schaeffer, W Pijls, A De Bruin
arXiv preprint arXiv:1404.1515, 2014
532014
Asynchronous parallel branch and bound and anomalies
A De Bruin, GAP Kindervater, HWJM Trienekens
Parallel Algorithms for Irregularly Structured Problems: Second …, 1995
481995
Solution trees as a basis for game-tree search
A De Bruin, W Pijls, A Plaat
ICGA Journal 17 (4), 207-219, 1994
481994
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
452008
Goto statements: Semantics and deduction systems
A De Bruin
Acta Informatica 15 (4), 385-424, 1981
431981
A survey on distributed simulation in industry
CA Boer, A de Bruin, A Verbraeck
Journal of Simulation 3, 3-16, 2009
412009
Best-first fixed-depth game-tree search in practice
A Plaat, J Schaeffer, W Pijls, A De Bruin
IJCAI, 273-281, 1995
401995
Game tree algorithms and solution trees
W Pijls, A de Bruin
Theoretical computer science 252 (1-2), 197-215, 2001
372001
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
362006
Game tree algorithms and solution trees
W Pijls, A de Bruin
Theoretical computer science 252 (1-2), 197-215, 2001
322001
A simulation tool for the performance evaluation of parallel branch and bound algorithms
A de Bruin, AHG Rinnooy Kan, HWJM Trienekens
Mathematical Programming 42, 245-271, 1988
321988
Another view on the SSS* algorithm
W Pijls, A de Bruin
Algorithms: International Symposium SIGAL'90 Tokyo, Japan, August 16–18 …, 1990
301990
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
301983
SSS*= alpha-beta+ TT
A Plaat, J Schaeffer, W Pijls, A De Bruin
arXiv preprint arXiv:1404.1517, 2014
29*2014
SSS*= alpha-beta+ TT
A Plaat, J Schaeffer, W Pijls, A De Bruin
arXiv preprint arXiv:1404.1517, 2014
262014
The system can't perform the operation now. Try again later.
Articles 1–20