| Mathematical theory of program correctness JW Bakker Prentice-Hall, Inc., 1980 | 742 | 1980 |
| Best-first fixed-depth minimax algorithms A Plaat, J Schaeffer, W Pijls, A De Bruin Artificial Intelligence 87 (1-2), 255-293, 1996 | 164 | 1996 |
| Towards a taxonomy of parallel branch and bound algorithms HWJM Trienekens, A de Bruin | 73 | 1992 |
| Exploiting graph properties of game trees A Plaat, J Schaeffer, W Pijls, A De Bruin AAAI/IAAI, Vol. 1, 234-239, 1996 | 64 | 1996 |
| Continuation semantics for Prolog with cut A de Bruin, EP de Vink Colloquium on Trees in Algebra and Programming, 178-192, 1989 | 60 | 1989 |
| A new paradigm for minimax search A Plaat, J Schaeffer, W Pijls, A De Bruin arXiv preprint arXiv:1404.1515, 2014 | 55 | 2014 |
| Asynchronous parallel branch and bound and anomalies A De Bruin, GAP Kindervater, HWJM Trienekens Parallel Algorithms for Irregularly Structured Problems: Second …, 1995 | 49 | 1995 |
| Solution trees as a basis for game-tree search A De Bruin, W Pijls, A Plaat ICGA Journal 17 (4), 207-219, 1994 | 47 | 1994 |
| 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 | 45 | 2008 |
| Goto statements: Semantics and deduction systems A De Bruin Acta Informatica 15 (4), 385-424, 1981 | 44 | 1981 |
| 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 | 43 | 1988 |
| A survey on distributed simulation in industry CA Boer, A de Bruin, A Verbraeck Journal of Simulation 3 (1), 3-16, 2009 | 40 | 2009 |
| Game tree algorithms and solution trees W Pijls, A de Bruin Theoretical computer science 252 (1-2), 197-215, 2001 | 40 | 2001 |
| Best-first fixed-depth game-tree search in practice A Plaat, J Schaeffer, W Pijls, A De Bruin IJCAI, 273-281, 1995 | 40 | 1995 |
| 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 | 36 | 2006 |
| 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 | 33 | 1983 |
| Another view on the SSS* algorithm W Pijls, A de Bruin Algorithms: International Symposium SIGAL'90 Tokyo, Japan, August 16–18 …, 1990 | 31 | 1990 |
| SSS*= alpha-beta+ TT A Plaat, J Schaeffer, W Pijls, A De Bruin arXiv preprint arXiv:1404.1517, 2014 | 30* | 2014 |
| Nearly optimal minimax tree search? A Plaat, J Schaeffer, W Pijls, A De Bruin arXiv preprint arXiv:1404.1518, 2014 | 25 | 2014 |
| 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 | 25 | 2006 |
Aske PlaatLeiden Universityبريد إلكتروني تم التحقق منه على liacs.leidenuniv.nl
