25,161
edits
Changes
no edit summary
'''[[Main Page|Home]] * [[People]] * Arie de Bruin'''
[[FILE:adebruin.JPG|border|right|thumb| Arie de Bruin <ref>Image from of Arie de Bruin's former homepage</ref> ]]
'''Arie de Bruin''',<br/>
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, [https://en.wikipedia.org/wiki/Erasmus_University_Rotterdam Erasmus University Rotterdam].
Arie de Bruin 's research interests covered [https://en.wikipedia.org/wiki/Semantics_(computer_science) programming language semantics], game tree [[Search|search]] algorithms, and [https://en.wikipedia.org/wiki/Distributed_Interactive_Simulation distributed simulation]. Along with [[Wim Pijls]], he researched on [[George Stockman|Stockman's]] [[SSS* and Dual*|SSS* algorithm]],
which they declared "dead" at the [[Advances in Computer Chess 8|8th Advances in Computer Chess]] conference 1996 <ref>[[Arie de Bruin]], [[Wim Pijls]] ('''1997'''). ''SSS†.'' [[Advances in Computer Chess 8]]</ref>,
due to its reformulation as a sequence of [[Depth-First|depth-first]] [[Alpha-Beta|alpha-beta]] [[Null Window|null window]] calls with [[Transposition Table|transposition table]] aka [[MTD(f)]], as also elaborated along with [[Aske Plaat]] and [[Jonathan Schaeffer]] in several papers.
=Selected Publications=
<ref>[https://ilk.uvt.nl/icga/journal/docs/References.pdf [ICGA Journal#RefDB|ICGA Reference Database] (pdf)]</ref> <ref>[https://dblp.uni-trier.de/pers/hd/b/Bruin:Arie_de.html dblp: Arie de Bruin]</ref> <ref>[https://repub.eur.nl/ppl/40 RePub, Erasmus University Repository: A. de Bruin (Arie)]</ref>
==1980 ...==
* [[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]] ('''19811984'''). ''[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 ...==
* [[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]], [[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
==2000 ...==
* [[Wim Pijls]], [[Arie de Bruin]] ('''2001'''). ''Game tree algorithms and solution trees''. [https://en.wikipedia.org/wiki/Erasmus_University_Rotterdam Erasmus University Rotterdam], [http://publishing.eur.nl/ir/repub/asset/763/eur-few-cs-98-02.pdf pdf]
* [https://repub.eur.nl/ppl/30 S.C. van der Made-Potuijt], [[Arie de Bruin]] ('''2002'''). ''[https://repub.eur.nl/pub/161 An Introduction to Paradigm]''. ERS-2002-09-LIS, [https://en.wikipedia.org/wiki/Erasmus_Research_Institute_of_Management Erasmus Research Institute of Management (ERIM)]* [[Arie de Bruin]], [[Wim Pijls]] ('''2003'''). ''[https://repub.eur.nl/pub/459 Trends in game tree search]''. [https://en.wikipedia.org/wiki/Erasmus_University_Rotterdam Erasmus University, Rotterdam]==2005 ...==* [https://www.linkedin.com/in/katalinboersorban/?originalSubdomain=nl Katalin Boer-Sorban], [[Arie de Bruin]], [https://scholar.google.nl/citations?user=SeNK5nAAAAAJ&hl=en Uzay Kaymak] ('''2005'''). ''[https://repub.eur.nl/pub/1900 On the Design of Artificial Stock Markets]''. ERS-2005-001-LIS, [https://en.wikipedia.org/wiki/Erasmus_Research_Institute_of_Management Erasmus Research Institute of Management (ERIM)]* [https://www.linkedin.com/in/katalinboersorban/?originalSubdomain=nl Katalin Boer-Sorban], [https://scholar.google.nl/citations?user=SeNK5nAAAAAJ&hl=en Uzay Kaymak], [[Arie de Bruin]] ('''2005'''). ''[https://repub.eur.nl/pub/1929 A Modular Agent-Based Environment for Studying Stock Markets]''. ERS-2005-017-LIS, [https://en.wikipedia.org/wiki/Erasmus_Research_Institute_of_Management Erasmus Research Institute of Management (ERIM)]* [[Mathematician#CABoer|Csaba Attila Boer]], [[Arie de Bruin]], [https://scholar.google.com/citations?user=5WTq7iUAAAAJ&hl=en Alexander Verbraeck] ('''2009'''). ''[https://www.tandfonline.com/doi/abs/10.1057/jos.2008.9?journalCode=tjsm20 A survey on distributed simulation in industry]''. [https://en.wikipedia.org/wiki/Journal_of_Simulation Journal of Simulation], Vol. 3, No. 10<ref>[[Mathematician#CABoer|Csaba Attila Boer]] ('''2005'''). ''[https://repub.eur.nl/pub/6925 Distributed Simulation in Industry]''. Ph.D. thesis, [https://en.wikipedia.org/wiki/Erasmus_University_Rotterdam Erasmus University Rotterdam], Promotor [[Arie de Bruin]]</ref>
=External Links=
* [https://repub.eur.nl/ppl/40 RePub, Erasmus University Repository: A. de Bruin (Arie)]
* [https://genealogy.math.ndsu.nodak.edu/id.php?id=75781 Arie de Bruin - The Mathematics Genealogy Project]
* [https://scholar.google.com/citations?user=TR9NaBkAAAAJ&hl=en Arie de Bruin - Google Scholar Citations]
