The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Arie de Bruin: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Aske Plaat, Jonathan Schaeffer, Wim Pijls, Arie de Bruin
    Exploiting Graph Properties of Game Trees. [Citation Graph (0, 0)][DBLP]
    AAAI/IAAI, Vol. 1, 1996, pp:234-239 [Conf]
  2. Wim Pijls, Arie de Bruin
    Game Tree Algorithms and Solution Trees. [Citation Graph (0, 0)][DBLP]
    Computers and Games, 1998, pp:195-204 [Conf]
  3. Mark Polman, Maarten van Steen, Arie de Bruin
    A Structured Design Technique for Distributed Programs. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 1998, pp:308-315 [Conf]
  4. Aske Plaat, Jonathan Schaeffer, Wim Pijls, Arie de Bruin
    Best-First Fixed-Depth Game-Tree Search in Practice. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1995, pp:273-281 [Conf]
  5. Arie de Bruin, Gerard A. P. Kindervater, Harry W. J. M. Trienekens
    Asynchronous Parallel Branch and Bound and Anomalies. [Citation Graph (0, 0)][DBLP]
    IRREGULAR, 1995, pp:363-377 [Conf]
  6. Wim Pijls, Arie de Bruin
    Searching Informed Game Trees. [Citation Graph (0, 0)][DBLP]
    ISAAC, 1992, pp:332-341 [Conf]
  7. Job Zwiers, Arie de Bruin, Willem P. de Roever
    A Proof System for Partial Correctness of Dynamic Networks of Processes (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    Logic of Programs, 1983, pp:513-527 [Conf]
  8. J. W. de Bakker, Franck van Breugel, Arie de Bruin
    Comparative Semantics for Linear Arrays of Communicating Processes: A Study of the UNIX Fork and Pipe Commands. [Citation Graph (0, 0)][DBLP]
    MFCS, 1993, pp:252-261 [Conf]
  9. Arie de Bruin, Shan-Hwei Nienhuys-Cheng
    Linear Dynamic Kahn Networks Are Deterministic. [Citation Graph (0, 0)][DBLP]
    MFCS, 1996, pp:242-254 [Conf]
  10. Arie de Bruin, Erik P. de Vink
    Retractions in Comparing Prolog Semantics (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    MFCS, 1990, pp:180-186 [Conf]
  11. Roel van der Goot, Arie de Bruin
    Syntax and Semantics of Procol. [Citation Graph (0, 0)][DBLP]
    MFCS, 1995, pp:509-518 [Conf]
  12. Arie de Bruin, Gerard A. P. Kindervater, Harry W. J. M. Trienekens
    Towards an abstract parallel branch and bound machine. [Citation Graph (0, 0)][DBLP]
    Solving Combinatorial Optimization Problems in Parallel, 1996, pp:145-170 [Conf]
  13. Wim Pijls, Arie de Bruin
    Another View on the SSS* Algorithm. [Citation Graph (0, 0)][DBLP]
    SIGAL International Symposium on Algorithms, 1990, pp:211-220 [Conf]
  14. Arie de Bruin, Wim Pijls
    Trends in Game Tree Search. [Citation Graph (0, 0)][DBLP]
    SOFSEM, 1996, pp:255-274 [Conf]
  15. Shan-Hwei Nienhuys-Cheng, Arie de Bruin
    Kahn's Fixed-Point Characterization for Linear Dynamic Networks. [Citation Graph (0, 0)][DBLP]
    SOFSEM, 1997, pp:513-522 [Conf]
  16. Wim Pijls, Arie de Bruin
    A Theory of Game Trees, Based on Solution Trees. [Citation Graph (0, 0)][DBLP]
    SOFSEM, 1997, pp:539-546 [Conf]
  17. Arie de Bruin, Erik P. de Vink
    Continuation Semantics for PROLOG with Cut. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, Vol.1, 1989, pp:178-192 [Conf]
  18. Csaba Attila Boer, Arie de Bruin, Alexander Verbraeck
    Distributed simulation in industry -- a survey: part 2 -- experts on distributed simulation. [Citation Graph (0, 0)][DBLP]
    Winter Simulation Conference, 2006, pp:1061-1068 [Conf]
  19. Csaba Attila Boer, Arie de Bruin, Alexander Verbraeck
    Distributed simulation in industry -- a survey: part 1 -- the COTS vendors. [Citation Graph (0, 0)][DBLP]
    Winter Simulation Conference, 2006, pp:1053-1060 [Conf]
  20. Arie de Bruin
    Goto Statements: Semantics and Deduction Systems. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1981, v:15, n:, pp:385-424 [Journal]
  21. Aske Plaat, Jonathan Schaeffer, Wim Pijls, Arie de Bruin
    Best-First Fixed-Depth Minimax Algorithms. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1996, v:87, n:1-2, pp:255-293 [Journal]
  22. Arie de Bruin, Gerard A. P. Kindervater, Tjark Vredeveld, Albert P. M. Wagelmans
    Finding a Feasible Solution for a Class of Distributed Problems with a Single Sum Constraint Using Agents. [Citation Graph (0, 0)][DBLP]
    Constraints, 2003, v:8, n:2, pp:209-218 [Journal]
  23. Arie de Bruin
    On the Existence of Cook Semantics. [Citation Graph (0, 0)][DBLP]
    SIAM J. Comput., 1984, v:13, n:1, pp:1-13 [Journal]
  24. Arie de Bruin, Shan-Hwei Nienhuys-Cheng
    Linear Dynamic Kahn Networks are Deterministic. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1998, v:195, n:1, pp:3-32 [Journal]
  25. Wim Pijls, Arie de Bruin
    Game tree algorithms and solution trees. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2001, v:252, n:1-2, pp:197-215 [Journal]
  26. Arie de Bruin, A. P. Wim Böhm
    The Denotational Semantics of Dynamic Networks of Processes. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1985, v:7, n:4, pp:656-679 [Journal]

  27. Distributed simulation in industry - a survey Part 3 - the HLA standard in industry. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002