Peter Hawkins

	2012
8		Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin C. Rinard, Mooly Sagiv: Reasoning about Lock Placements. ESOP 2012: 336-356
	2011
7		Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin C. Rinard, Mooly Sagiv: Data representation synthesis. PLDI 2011: 38-49
6		Peter Hawkins, Vitaly Lagoon, Peter J. Stuckey: Solving Set Constraint Satisfaction Problems using ROBDDs CoRR abs/1109.2139: (2011)
	2010
5		Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin C. Rinard, Mooly Sagiv: Data Structure Fusion. APLAS 2010: 204-221
	2007
4		Alex Aiken, Suhabe Bugrara, Isil Dillig, Thomas Dillig, Brian Hackett, Peter Hawkins: An overview of the saturn project. PASTE 2007: 43-48
	2006
3		Peter Hawkins, Peter J. Stuckey: A Hybrid BDD and SAT Finite Domain Constraint Solver. PADL 2006: 103-117
	2005
2		Peter Hawkins, Vitaly Lagoon, Peter J. Stuckey: Solving Set Constraint Satisfaction Problems using ROBDDs. J. Artif. Intell. Res. (JAIR) 24: 109-156 (2005)
	2004
1		Peter Hawkins, Vitaly Lagoon, Peter J. Stuckey: Set Bounds and (Split) Set Domain Propagation Using ROBDDs. Australian Conference on Artificial Intelligence 2004: 706-717

Coauthor Index

1	Alexander Aiken (Alex Aiken)	[4] [5] [7] [8]
2	Suhabe Bugrara	[4]
3	Isil Dillig	[4]
4	Thomas Dillig	[4]
5	Kathleen Fisher	[5] [7] [8]
6	Brian Hackett	[4]
7	Vitaly Lagoon	[1] [2] [6]
8	Martin C. Rinard	[5] [7] [8]
9	Shmuel Sagiv (Mooly Sagiv)	[5] [7] [8]
10	Peter J. Stuckey	[1] [2] [3] [6]

Colors in the list of coauthors

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page