| 2008 | WSC | Distributed simulation in industry - a survey Part 3 - the HLA standard in industry. | Csaba Attila Boer, Arie de Bruin, Alexander Verbraeck |
| 2006 | WSC | Distributed simulation in industry - a survey: part 1 - the COTS vendors. | Csaba Attila Boer, Arie de Bruin, Alexander Verbraeck |
| 2006 | WSC | Distributed simulation in industry - a survey: part 2 - experts on distributed simulation. | Csaba Attila Boer, Arie de Bruin, Alexander Verbraeck |
| 1998 | COMPSAC | A Structured Design Technique for Distributed Programs. | Mark Polman, Maarten van Steen, Arie de Bruin |
| 1997 | SOFSEM | Kahn's Fixed-Point Characterization for Linear Dynamic Networks. | Shan-Hwei Nienhuys-Cheng, Arie de Bruin |
| 1997 | SOFSEM | A Theory of Game Trees, Based on Solution Trees. | Wim Pijls, Arie de Bruin |
| 1996 | AAAI | Exploiting Graph Properties of Game Trees. | Aske Plaat, Jonathan Schaeffer, Wim Pijls, Arie de Bruin |
| 1996 | MFCS | Linear Dynamic Kahn Networks Are Deterministic. | Arie de Bruin, Shan-Hwei Nienhuys-Cheng |
| 1996 | SOFSEM | Trends in Game Tree Search. | Arie de Bruin, Wim Pijls |
| 1995 | IJCAI | Best-First Fixed-Depth Game-Tree Search in Practice. | Aske Plaat, Jonathan Schaeffer, Wim Pijls, Arie de Bruin |
| 1995 | MFCS | Syntax and Semantics of Procol. | Roel van der Goot, Arie de Bruin |
| 1993 | MFCS | Comparative Semantics for Linear Arrays of Communicating Processes: A Study of the UNIX Fork and Pipe Commands. | J. W. de Bakker, Franck van Breugel, Arie de Bruin |
| 1992 | ISAAC | Searching Informed Game Trees. | Wim Pijls, Arie de Bruin |
| 1990 | MFCS | Retractions in Comparing Prolog Semantics (Extended Abstract). | Arie de Bruin, Erik P. de Vink |