Arie de Bruin Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2008
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCsaba Attila Boer, Arie de Bruin, Alexander Verbraeck: Distributed simulation in industry - a survey Part 3 - the HLA standard in industry. Winter Simulation Conference 2008: 1094-1102
2006
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCsaba Attila Boer, Arie de Bruin, Alexander Verbraeck: Distributed simulation in industry -- a survey: part 1 -- the COTS vendors. Winter Simulation Conference 2006: 1053-1060
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCsaba Attila Boer, Arie de Bruin, Alexander Verbraeck: Distributed simulation in industry -- a survey: part 2 -- experts on distributed simulation. Winter Simulation Conference 2006: 1061-1068
2003
24no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArie de Bruin, Gerard A. P. Kindervater, Tjark Vredeveld, Albert P. M. Wagelmans: Finding a Feasible Solution for a Class of Distributed Problems with a Single Sum Constraint Using Agents. Constraints 8(2): 209-218 (2003)
2001
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWim Pijls, Arie de Bruin: Game tree algorithms and solution trees. Theor. Comput. Sci. 252(1-2): 197-215 (2001)
1998
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark Polman, Maarten van Steen, Arie de Bruin: A Structured Design Technique for Distributed Programs. COMPSAC 1998: 308-315
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWim Pijls, Arie de Bruin: Game Tree Algorithms and Solution Trees. Computers and Games 1998: 195-204
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArie de Bruin, Shan-Hwei Nienhuys-Cheng: Linear Dynamic Kahn Networks are Deterministic. Theor. Comput. Sci. 195(1): 3-32 (1998)
1997
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShan-Hwei Nienhuys-Cheng, Arie de Bruin: Kahn's Fixed-Point Characterization for Linear Dynamic Networks. SOFSEM 1997: 513-522
18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWim Pijls, Arie de Bruin: A Theory of Game Trees, Based on Solution Trees. SOFSEM 1997: 539-546
1996
17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAske Plaat, Jonathan Schaeffer, Wim Pijls, Arie de Bruin: Exploiting Graph Properties of Game Trees. AAAI/IAAI, Vol. 1 1996: 234-239
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArie de Bruin, Shan-Hwei Nienhuys-Cheng: Linear Dynamic Kahn Networks Are Deterministic. MFCS 1996: 242-254
15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArie de Bruin, Wim Pijls: Trends in Game Tree Search. SOFSEM 1996: 255-274
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArie de Bruin, Gerard A. P. Kindervater, Harry W. J. M. Trienekens: Towards an abstract parallel branch and bound machine. Solving Combinatorial Optimization Problems in Parallel 1996: 145-170
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAske Plaat, Jonathan Schaeffer, Wim Pijls, Arie de Bruin: Best-First Fixed-Depth Minimax Algorithms. Artif. Intell. 87(1-2): 255-293 (1996)
1995
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAske Plaat, Jonathan Schaeffer, Wim Pijls, Arie de Bruin: Best-First Fixed-Depth Game-Tree Search in Practice. IJCAI 1995: 273-281
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArie de Bruin, Gerard A. P. Kindervater, Harry W. J. M. Trienekens: Asynchronous Parallel Branch and Bound and Anomalies. IRREGULAR 1995: 363-377
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoel van der Goot, Arie de Bruin: Syntax and Semantics of Procol. MFCS 1995: 509-518
1993
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJ. W. de Bakker, Franck van Breugel, Arie de Bruin: Comparative Semantics for Linear Arrays of Communicating Processes: A Study of the UNIX Fork and Pipe Commands. MFCS 1993: 252-261
1992
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWim Pijls, Arie de Bruin: Searching Informed Game Trees. ISAAC 1992: 332-341
1990
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArie de Bruin, Erik P. de Vink: Retractions in Comparing Prolog Semantics (Extended Abstract). MFCS 1990: 180-186
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWim Pijls, Arie de Bruin: Another View on the SSS* Algorithm. SIGAL International Symposium on Algorithms 1990: 211-220
1989
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArie de Bruin, Erik P. de Vink: Continuation Semantics for PROLOG with Cut. TAPSOFT, Vol.1 1989: 178-192
1985
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArie de Bruin, A. P. Wim Böhm: The Denotational Semantics of Dynamic Networks of Processes. ACM Trans. Program. Lang. Syst. 7(4): 656-679 (1985)
1984
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArie de Bruin: On the Existence of Cook Semantics. SIAM J. Comput. 13(1): 1-13 (1984)
1983
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJob Zwiers, Arie de Bruin, Willem P. de Roever: A Proof System for Partial Correctness of Dynamic Networks of Processes (Extended Abstract). Logic of Programs 1983: 513-527
1981
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArie de Bruin: Goto Statements: Semantics and Deduction Systems. Acta Inf. 15: 385-424 (1981)

Coauthor Index

1J. W. de Bakker (Jaco de Bakker) [9]
2Csaba Attila Boer [25] [26] [27]
3A. P. Wim Böhm [4]
4Franck van Breugel [9]
5Roel van der Goot [10]
6Gerard A. P. Kindervater [11] [14] [24]
7Shan-Hwei Nienhuys-Cheng [16] [19] [20]
8Wim Pijls [6] [8] [12] [13] [15] [17] [18] [21] [23]
9Aske Plaat [12] [13] [17]
10Mark Polman [22]
11Willem P. de Roever [2]
12Jonathan Schaeffer [12] [13] [17]
13Maarten van Steen [22]
14Harry W. J. M. Trienekens [11] [14]
15Alexander Verbraeck [25] [26] [27]
16Erik P. de Vink [5] [7]
17Tjark Vredeveld [24]
18Albert P. M. Wagelmans [24]
19Job Zwiers [2]

Colors in the list of coauthors

Copyright © Mon Nov 9 16:52:13 2009 by Michael Ley (ley@uni-trier.de)