Person:1111939

Available identifiers

zbMath Open de-bruin.arieMaRDI QIDQ1111939

List of research outcomes

Publication	Date of Publication	Type
Trends in game tree search	2024-06-21	Paper
Towards an abstract parallel branch and bound machine	2024-06-21	Paper
Best-first fixed-depth minimax algorithms	2022-09-27	Paper
Syntax and semantics of Procol	2010-06-17	Paper
Finding a feasible solution for a class of distributed problems with a single sum constraint using agents	2003-08-25	Paper
Game tree algorithms and solution trees	2000-12-12	Paper
Linear dynamic Kahn networks are deterministic	1998-08-13	Paper
A simulation tool for the performance evaluation of parallel branch and bound algorithms	1988-01-01	Paper
The denotational semantics of dynamic networks of processes	1985-01-01	Paper
On the Existence of Cook Semantics	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3347278	1984-01-01	Paper
Goto statements: Semantics and deduction systems	1981-01-01	Paper

Research outcomes over time

This page was built for person: Arie de Bruin