Difference between revisions of "Arie de Bruin"

From Chessprogramming wiki
Jump to: navigation, search
Line 20: Line 20:
 
* [[Arie de Bruin]] ('''1984'''). ''[https://www.researchgate.net/publication/220616549_On_the_Existence_of_Cook_Semantics On the Existence of Cook Semantics]''. [https://en.wikipedia.org/wiki/SIAM_Journal_on_Computing SIAM Journal on Computing], Vol. 13, No. 1 » [[Mathematician#SCook|Stephen Cook]]
 
* [[Arie de Bruin]] ('''1984'''). ''[https://www.researchgate.net/publication/220616549_On_the_Existence_of_Cook_Semantics On the Existence of Cook Semantics]''. [https://en.wikipedia.org/wiki/SIAM_Journal_on_Computing SIAM Journal on Computing], Vol. 13, No. 1 » [[Mathematician#SCook|Stephen Cook]]
 
==1985 ...==
 
==1985 ...==
* [[Arie de Bruin]], [[Mathematician#APWBohm|A. P. Wim Böhm]] ('''1985'''). ''The Denotational Semantics of Dynamic Networks of Processes''. [[ACM#TOPLAS|ACM Transactions on Programming Languages and Systems], Vol. 7, No. 4
+
* [[Arie de Bruin]], [[Mathematician#APWBohm|A. P. Wim Böhm]] ('''1985'''). ''The Denotational Semantics of Dynamic Networks of Processes''. [[ACM#TOPLAS|ACM Transactions on Programming Languages and Systems]], Vol. 7, No. 4
 
* [[Arie de Bruin]] ('''1986'''). ''Experiments with Continuation Semantics: Jumps, Backtracking, Dynamic Networks''. Ph.D. thesis, [https://en.wikipedia.org/wiki/Vrije_Universiteit_Amsterdam Vrije Universiteit Amsterdam]
 
* [[Arie de Bruin]] ('''1986'''). ''Experiments with Continuation Semantics: Jumps, Backtracking, Dynamic Networks''. Ph.D. thesis, [https://en.wikipedia.org/wiki/Vrije_Universiteit_Amsterdam Vrije Universiteit Amsterdam]
 
* [[Arie de Bruin]], [[Mathematician#EPdeVink|Erik P. de Vink]] ('''1989'''). ''Continuation Semantics for PROLOG with Cut''. [https://dblp.uni-trier.de/db/conf/tapsoft/tapsoft89-1.html TAPSOFT], Vol. 1
 
* [[Arie de Bruin]], [[Mathematician#EPdeVink|Erik P. de Vink]] ('''1989'''). ''Continuation Semantics for PROLOG with Cut''. [https://dblp.uni-trier.de/db/conf/tapsoft/tapsoft89-1.html TAPSOFT], Vol. 1

Revision as of 00:23, 17 January 2019

Home * People * Arie de Bruin

Arie de Bruin [1]

Arie de Bruin,
a Dutch computer scientist and retired researcher, most recently affiliated with the Delft University of Technology, until 2006 professor at the Department of Computer Science, Faculty of Economics, Erasmus University Rotterdam. Arie de Bruin research interests covered programming language semantics, game tree search algorithms, and distributed simulation. Along with Wim Pijls, he researched on Stockman's SSS* algorithm, which they declared "dead" at the 8th Advances in Computer Chess conference 1996 [2], due to its reformulation as a sequence of depth-first alpha-beta null window calls with transposition table aka MTD(f), as also elaborated along with Aske Plaat and Jonathan Schaeffer in several papers.

Photos

Sio-en-vanderStorm.jpg

Kees Sio, Arie de Bruin and Theo van der Storm visiting the WCCC 2002 [3]

Selected Publications

[4] [5] [6]

1980 ...

1985 ...

1990 ...

1995 ...

2000 ...

2005 ...

External Links

References

Up one level