Arie de Bruin - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 34 from 34

2009

A survey on distributed simulation in industryCsaba Attila Boer, Arie de Bruin, Alexander Verbraeck. jos, 3(1):3-16, 2009. [doi]

2008

Distributed simulation in industry - a survey Part 3 - the HLA standard in industryCsaba Attila Boer, Arie de Bruin, Alexander Verbraeck. wsc 2008: 1094-1102 [doi]

2006

Distributed simulation in industry -- a survey: part 2 -- experts on distributed simulationCsaba Attila Boer, Arie de Bruin, Alexander Verbraeck. wsc 2006: 1061-1068 [doi]

Distributed simulation in industry -- a survey: part 1 -- the COTS vendorsCsaba Attila Boer, Arie de Bruin, Alexander Verbraeck. wsc 2006: 1053-1060 [doi]

2003

Finding a Feasible Solution for a Class of Distributed Problems with a Single Sum Constraint Using AgentsArie de Bruin, Gerard A. P. Kindervater, Tjark Vredeveld, Albert P. M. Wagelmans. constraints, 8(2):209-218, 2003.

2001

Game tree algorithms and solution treesWim Pijls, Arie de Bruin. TCS, 252(1-2):197-215, 2001. [doi]

1998

Linear Dynamic Kahn Networks are DeterministicArie de Bruin, Shan-Hwei Nienhuys-Cheng. TCS, 195(1):3-32, 1998. [doi]

Game Tree Algorithms and Solution TreesWim Pijls, Arie de Bruin. CG 1999: 195-204 [doi]

A Structured Design Technique for Distributed ProgramsMark Polman, Maarten van Steen, Arie de Bruin. compsac 1998: 308-315 [doi]

1997

Kahn s Fixed-Point Characterization for Linear Dynamic NetworksShan-Hwei Nienhuys-Cheng, Arie de Bruin. sofsem 1997: 513-522

A Theory of Game Trees, Based on Solution TreesWim Pijls, Arie de Bruin. sofsem 1997: 539-546

Formalizing a Design Technique for Distributed ProgramsMark Polman, Maarten van Steen, Arie de Bruin. pdse 1997: 150-161 [doi]

1996

1995

Asynchronous Parallel Branch and Bound and AnomaliesArie de Bruin, Gerard A. P. Kindervater, Harry W. J. M. Trienekens. irregular 1995: 363-377

Best-First Fixed-Depth Game-Tree Search in PracticeAske Plaat, Jonathan Schaeffer, Wim Pijls, Arie de Bruin. IJCAI 1995: 273-281

Syntax and Semantics of ProcolRoel van der Goot, Arie de Bruin. mfcs 1995: 509-518

1994

Solution Trees as a Basis for Game-Tree SearchArie de Bruin, Wim Pijls, Aske Plaat. icga, 17(4):207-219, 1994. [doi]

1993

Comparative Semantics for Linear Arrays of Communicating Processes: A Study of the UNIX Fork and Pipe CommandsJ. W. de Bakker, Franck van Breugel, Arie de Bruin. mfcs 1993: 252-261

SSS*-Like Algorithms in Constrained MemoryWim Pijls, Arie de Bruin. icga, 16(1):18-30, 1993. [doi]

1992

Searching Informed Game TreesWim Pijls, Arie de Bruin. isaac 1992: 332-341

1990

Retractions in Comparing Prolog Semantics (Extended Abstract)Arie de Bruin, Erik P. de Vink. mfcs 1990: 180-186

Another View on the SSS:::*::: AlgorithmWim Pijls, Arie de Bruin. sigal 1990: 211-220

1989

Continuation Semantics for PROLOG with CutArie de Bruin, Erik P. de Vink. tapsoft 1989: 178-192

1988

A simulation tool for the performance evaluation of parallel branch and bound algorithmsArie de Bruin, Alexander H. G. Rinnooy Kan, Harry W. J. M. Trienekens. mp, 42(1-3):245-271, 1988. [doi]

1985

The Denotational Semantics of Dynamic Networks of ProcessesArie de Bruin, A. P. Wim Böhm. TOPLAS, 7(4):656-679, 1985. [doi]

1984

On the Existence of Cook SemanticsArie de Bruin. SICOMP, 13(1):1-13, 1984.

1983

A Proof System for Partial Correctness of Dynamic Networks of Processes (Extended Abstract)Job Zwiers, Arie de Bruin, Willem P. de Roever. lop 1984: 513-527

1981

Goto Statements: Semantics and Deduction SystemsArie de Bruin. ACTA, 15:385-424, 1981.

1980

Mathematical theory of program correctnessJacobus W. de Bakker, Arie de Bruin, Jeffrey Zucker. Prentice-Hall international series in computer science, Prentice Hall, 1980.

Sign in or sign up to see more results.

runs on WebDSL