Arie de Bruin

	2008
28		Csaba 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
27		Csaba Attila Boer, Arie de Bruin, Alexander Verbraeck: Distributed simulation in industry -- a survey: part 1 -- the COTS vendors. Winter Simulation Conference 2006: 1053-1060
26		Csaba 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
25		Arie 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
24		Wim Pijls, Arie de Bruin: Game tree algorithms and solution trees. Theor. Comput. Sci. 252(1-2): 197-215 (2001)
	1998
23		Mark Polman, Maarten van Steen, Arie de Bruin: A Structured Design Technique for Distributed Programs. COMPSAC 1998: 308-315
22		Wim Pijls, Arie de Bruin: Game Tree Algorithms and Solution Trees. Computers and Games 1998: 195-204
21		Arie de Bruin, Shan-Hwei Nienhuys-Cheng: Linear Dynamic Kahn Networks are Deterministic. Theor. Comput. Sci. 195(1): 3-32 (1998)
	1997
20		Shan-Hwei Nienhuys-Cheng, Arie de Bruin: Kahn's Fixed-Point Characterization for Linear Dynamic Networks. SOFSEM 1997: 513-522
19		Wim Pijls, Arie de Bruin: A Theory of Game Trees, Based on Solution Trees. SOFSEM 1997: 539-546
	1996
18		Aske Plaat, Jonathan Schaeffer, Wim Pijls, Arie de Bruin: Exploiting Graph Properties of Game Trees. AAAI/IAAI, Vol. 1 1996: 234-239
17		Arie de Bruin, Shan-Hwei Nienhuys-Cheng: Linear Dynamic Kahn Networks Are Deterministic. MFCS 1996: 242-254
16		Arie de Bruin, Wim Pijls: Trends in Game Tree Search. SOFSEM 1996: 255-274
15		Arie 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
14		Aske Plaat, Jonathan Schaeffer, Wim Pijls, Arie de Bruin: Best-First Fixed-Depth Minimax Algorithms. Artif. Intell. 87(1-2): 255-293 (1996)
	1995
13		Aske Plaat, Jonathan Schaeffer, Wim Pijls, Arie de Bruin: Best-First Fixed-Depth Game-Tree Search in Practice. IJCAI 1995: 273-281
12		Arie de Bruin, Gerard A. P. Kindervater, Harry W. J. M. Trienekens: Asynchronous Parallel Branch and Bound and Anomalies. IRREGULAR 1995: 363-377
11		Roel van der Goot, Arie de Bruin: Syntax and Semantics of Procol. MFCS 1995: 509-518
	1993
10		J. 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
9		Wim Pijls, Arie de Bruin: Searching Informed Game Trees. ISAAC 1992: 332-341
	1990
8		Arie de Bruin, Erik P. de Vink: Retractions in Comparing Prolog Semantics (Extended Abstract). MFCS 1990: 180-186
7		Wim Pijls, Arie de Bruin: Another View on the SSS* Algorithm. SIGAL International Symposium on Algorithms 1990: 211-220
	1989
6		Arie de Bruin, Erik P. de Vink: Continuation Semantics for PROLOG with Cut. TAPSOFT, Vol.1 1989: 178-192
	1985
5		Arie 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
4		Arie de Bruin: On the Existence of Cook Semantics. SIAM J. Comput. 13(1): 1-13 (1984)
	1983
3		Job 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
2		Arie de Bruin: Goto Statements: Semantics and Deduction Systems. Acta Inf. 15: 385-424 (1981)
	1980
1		Jacobus W. de Bakker, Arie de Bruin, Jeffrey Zucker: Mathematical theory of program correctness. Prentice Hall 1980: I-XV, 1-505

Coauthor Index

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

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page