Arie de Bruin

According to our database1, Arie de Bruin
  • authored at least 35 papers between 1980 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
A Minimax Algorithm Better Than Alpha-beta?: No and Yes.
CoRR, 2017

2015
Best-First and Depth-First Minimax Search in Practice.
CoRR, 2015

2014
Nearly Optimal Minimax Tree Search?
CoRR, 2014

SSS* = Alpha-Beta + TT.
CoRR, 2014

A New Paradigm for Minimax Search.
CoRR, 2014

2008
Distributed simulation in industry - a survey Part 3 - the HLA standard in industry.
Proceedings of the 2008 Winter Simulation Conference, Global Gateway to Discovery, 2008

2006
Distributed simulation in industry - a survey: part 2 - experts on distributed simulation.
Proceedings of the Winter Simulation Conference WSC 2006, 2006

Distributed simulation in industry - a survey: part 1 - the COTS vendors.
Proceedings of the Winter Simulation Conference WSC 2006, 2006

2003
Finding a Feasible Solution for a Class of Distributed Problems with a Single Sum Constraint Using Agents.
Constraints, 2003

2001
Game tree algorithms and solution trees.
Theor. Comput. Sci., 2001

1998
Linear Dynamic Kahn Networks are Deterministic.
Theor. Comput. Sci., 1998

A Structured Design Technique for Distributed Programs.
Proceedings of the COMPSAC '98, 1998

Game Tree Algorithms and Solution Trees.
Proceedings of the Computers and Games, First International Conference, 1998

1997
A Theory of Game Trees, Based on Solution Trees.
Proceedings of the SOFSEM '97: Theory and Practice of Informatics, 1997

Kahn's Fixed-Point Characterization for Linear Dynamic Networks.
Proceedings of the SOFSEM '97: Theory and Practice of Informatics, 1997

Formalizing a Design Technique for Distributed Programs.
Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems, 1997

1996
Best-First Fixed-Depth Minimax Algorithms.
Artif. Intell., 1996

Trends in Game Tree Search.
Proceedings of the SOFSEM '96: Theory and Practice of Informatics, 1996

Towards an abstract parallel branch and bound machine.
Proceedings of the Solving Combinatorial Optimization Problems in Parallel, 1996

Linear Dynamic Kahn Networks Are Deterministic.
Proceedings of the Mathematical Foundations of Computer Science 1996, 1996

Exploiting Graph Properties of Game Trees.
Proceedings of the Thirteenth National Conference on Artificial Intelligence and Eighth Innovative Applications of Artificial Intelligence Conference, 1996

1995
Syntax and Semantics of Procol.
Proceedings of the Mathematical Foundations of Computer Science 1995, 1995

Asynchronous Parallel Branch and Bound and Anomalies.
Proceedings of the Parallel Algorithms for Irregularly Structured Problems, 1995

Best-First Fixed-Depth Game-Tree Search in Practice.
Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995

1993
Comparative Semantics for Linear Arrays of Communicating Processes: A Study of the UNIX Fork and Pipe Commands.
Proceedings of the Mathematical Foundations of Computer Science 1993, 1993

1992
Searching Informed Game Trees.
Proceedings of the Algorithms and Computation, Third International Symposium, 1992

1990
Another View on the SSS* Algorithm.
Proceedings of the Algorithms, 1990

Retractions in Comparing Prolog Semantics (Extended Abstract).
Proceedings of the Mathematical Foundations of Computer Science 1990, 1990

1989
Continuation Semantics for PROLOG with Cut.
Proceedings of the TAPSOFT'89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1989

1988
A simulation tool for the performance evaluation of parallel branch and bound algorithms.
Math. Program., 1988

1985
The Denotational Semantics of Dynamic Networks of Processes.
ACM Trans. Program. Lang. Syst., 1985

1984
On the Existence of Cook Semantics.
SIAM J. Comput., 1984

1983
A Proof System for Partial Correctness of Dynamic Networks of Processes (Extended Abstract).
Proceedings of the Logics of Programs, 1983

1981
Goto Statements: Semantics and Deduction Systems.
Acta Inf., 1981

1980
Mathematical theory of program correctness.
Prentice-Hall international series in computer science, Prentice Hall, ISBN: 978-0-13-562132-5, 1980


  Loading...