Arie de Bruin

MaRDI QIDQ1111939zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

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 Artificial Intelligence	2022-09-27	Paper
Syntax and semantics of Procol Lecture Notes in Computer Science	2010-06-17	Paper
Finding a feasible solution for a class of distributed problems with a single sum constraint using agents Constraints	2003-08-25	Paper
Game tree algorithms and solution trees Theoretical Computer Science	2000-12-12	Paper
Linear dynamic Kahn networks are deterministic Theoretical Computer Science	1998-08-13	Paper
A simulation tool for the performance evaluation of parallel branch and bound algorithms Mathematical Programming. Series A. Series B	1988-01-01	Paper
The denotational semantics of dynamic networks of processes ACM Transactions on Programming Languages and Systems	1985-01-01	Paper
The denotational semantics of dynamic networks of processes ACM Transactions on Programming Languages and Systems	1985-01-01	Paper
scientific article; zbMATH DE number 3890715 (Why is no real title available?)	1984-01-01	Paper
On the Existence of Cook Semantics SIAM Journal on Computing	1984-01-01	Paper
Goto statements: Semantics and deduction systems Acta Informatica	1981-01-01	Paper

Research outcomes over time

This page was built for person: Arie de Bruin