| Mathematical theory of program correctness JW Bakker Prentice-Hall, Inc., 1980 | 675 | 1980 |
| Best-first fixed-depth minimax algorithms A Plaat, J Schaeffer, W Pijls, A De Bruin Artificial Intelligence 87 (1-2), 255-293, 1996 | 154 | 1996 |
| Towards a taxonomy of parallel branch and bound algorithms HWJM Trienekens, A de Bruin | 70 | 1992 |
| Continuation semantics for Prolog with cut A de Bruin, EP de Vink Colloquium on Trees in Algebra and Programming, 178-192, 1989 | 60 | 1989 |
| Exploiting graph properties of game trees A Plaat, J Schaeffer, W Pijls, A De Bruin AAAI/IAAI, Vol. 1, 234-239, 1996 | 57 | 1996 |
| A new paradigm for minimax search A Plaat, J Schaeffer, W Pijls, A De Bruin arXiv preprint arXiv:1404.1515, 2014 | 47 | 2014 |
| Asynchronous parallel branch and bound and anomalies A De Bruin, GAP Kindervater, HWJM Trienekens International Workshop on Parallel Algorithms for Irregularly Structured …, 1995 | 47 | 1995 |
| 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 | 41 | 2008 |
| Solution trees as a basis for game-tree search A De Bruin, W Pijls, A Plaat ICGA Journal 17 (4), 207-219, 1994 | 41 | 1994 |
| A survey on distributed simulation in industry CA Boer, A de Bruin, A Verbraeck Journal of Simulation 3 (1), 3-16, 2009 | 38 | 2009 |
| Best-first fixed-depth game-tree search in practice A Plaat, J Schaeffer, W Pijls, A De Bruin IJCAI, 273-281, 1995 | 38 | 1995 |
| Goto statements: Semantics and deduction systems A De Bruin Acta Informatica 15 (4), 385-424, 1981 | 36 | 1981 |
| 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 | 34 | 1988 |
| 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 | 32 | 2006 |
| Game tree algorithms and solution trees W Pijls, A de Bruin Theoretical computer science 252 (1-2), 197-215, 2001 | 27 | 2001 |
| SSS*= alpha-beta+ TT A Plaat, J Schaeffer, W Pijls, A De Bruin arXiv preprint arXiv:1404.1517, 2014 | 26 | 2014 |
| SSS*= alpha-beta+ TT A Plaat, J Schaeffer, W Pijls, A De Bruin arXiv preprint arXiv:1404.1517, 2014 | 26 | 2014 |
| SSS*= alpha-beta+ TT A Plaat, J Schaeffer, W Pijls, A De Bruin arXiv preprint arXiv:1404.1517, 2014 | 26 | 2014 |
| Another view on the SSS* algorithm W Pijls, A de Bruin International Symposium on Algorithms, 211-220, 1990 | 26 | 1990 |
| 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 | 26 | 1983 |
Aske PlaatLeidenVerified email at liacs.leidenuniv.nl
