Arie de Bruin
Arie de Bruin
Hoogleraar informatica, universiteit Leiden
Geverifieerd e-mailadres voor xs4all.nl - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
Mathematical theory of program correctness
JW Bakker
Prentice-Hall, Inc., 1980
6831980
Best-first fixed-depth minimax algorithms
A Plaat, J Schaeffer, W Pijls, A De Bruin
Artificial Intelligence 87 (1-2), 255-293, 1996
1541996
Towards a taxonomy of parallel branch and bound algorithms
HWJM Trienekens, A de Bruin
701992
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
591996
A new paradigm for minimax search
A Plaat, J Schaeffer, W Pijls, A De Bruin
arXiv preprint arXiv:1404.1515, 2014
472014
Asynchronous parallel branch and bound and anomalies
A De Bruin, GAP Kindervater, HWJM Trienekens
International Workshop on Parallel Algorithms for Irregularly Structured …, 1995
471995
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
422008
Solution trees as a basis for game-tree search
A De Bruin, W Pijls, A Plaat
ICGA Journal 17 (4), 207-219, 1994
411994
A survey on distributed simulation in industry
CA Boer, A de Bruin, A Verbraeck
Journal of Simulation 3 (1), 3-16, 2009
382009
Best-first fixed-depth game-tree search in practice
A Plaat, J Schaeffer, W Pijls, A De Bruin
IJCAI, 273-281, 1995
381995
A simulation tool for the performance evaluation of parallel branch and bound algorithms
A De Bruin, AHGR Kan, HWJM Trienekens
Mathematical Programming 42 (1), 245-271, 1988
371988
Goto statements: Semantics and deduction systems
A De Bruin
Acta Informatica 15 (4), 385-424, 1981
371981
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
Game tree algorithms and solution trees
W Pijls, A de Bruin
Theoretical computer science 252 (1-2), 197-215, 2001
272001
SSS*= alpha-beta+ TT
A Plaat, J Schaeffer, W Pijls, A De Bruin
arXiv preprint arXiv:1404.1517, 2014
262014
SSS*= alpha-beta+ TT
A Plaat, J Schaeffer, W Pijls, A De Bruin
arXiv preprint arXiv:1404.1517, 2014
262014
SSS*= alpha-beta+ TT
A Plaat, J Schaeffer, W Pijls, A De Bruin
arXiv preprint arXiv:1404.1517, 2014
262014
Another view on the SSS* algorithm
W Pijls, A de Bruin
International Symposium on Algorithms, 211-220, 1990
261990
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
261983
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20