Difference between revisions of "Arie de Bruin"

From Chessprogramming wiki
Jump to: navigation, search
 
Line 18: Line 18:
 
* [[Mathematician#JWdBakker|Jacobus W. de Bakker]], [[Arie de Bruin]], [[Mathematician#JZucker|Jeffrey Zucker]] ('''1980'''). ''[https://www.semanticscholar.org/paper/Mathematical-theory-of-program-correctness-Bakker-Bruin/6e4a2a3c5464ac544468c77c3a07ec585c06c7ac Mathematical theory of program correctness]''. [https://en.wikipedia.org/wiki/Prentice_Hall Prentice Hall]
 
* [[Mathematician#JWdBakker|Jacobus W. de Bakker]], [[Arie de Bruin]], [[Mathematician#JZucker|Jeffrey Zucker]] ('''1980'''). ''[https://www.semanticscholar.org/paper/Mathematical-theory-of-program-correctness-Bakker-Bruin/6e4a2a3c5464ac544468c77c3a07ec585c06c7ac Mathematical theory of program correctness]''. [https://en.wikipedia.org/wiki/Prentice_Hall Prentice Hall]
 
* [[Arie de Bruin]] ('''1981'''). ''Goto Statements: Semantics and Deduction Systems''. [https://en.wikipedia.org/wiki/Acta_Informatica Acta Informatica], Vol. 15
 
* [[Arie de Bruin]] ('''1981'''). ''Goto Statements: Semantics and Deduction Systems''. [https://en.wikipedia.org/wiki/Acta_Informatica Acta Informatica], Vol. 15
* [[Arie de Bruin]] ('''1981'''). ''[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

Revision as of 23:37, 16 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]

1980 ...

1985 ...

1990 ...

1995 ...

2000 ...

External Links

References

Up one level