Timothy L. Hinrichs

Tim Hinrichs

	2009
9		Timothy L. Hinrichs, Natasha Gude, Martin Casado, John C. Mitchell, Scott Shenker: Practical declarative network management. WREN 2009: 1-10
	2008
8		Timothy L. Hinrichs, Michael R. Genesereth: Injecting the How into the What: Investigating a Finite Classical Logic. KR 2008: 92-192
7		Timothy L. Hinrichs: Collaborative Programming: Applications of Logic and Automated Reasoning. PAAR/ESHOL 2008
	2007
6		Tim Hinrichs, Michael R. Genesereth: Extensional Reasoning. ESARLT 2007
5		Timothy L. Hinrichs, Michael R. Genesereth: Reformulation for Extensional Reasoning. SARA 2007: 215-229
4		Timothy L. Hinrichs: Extensional Reasoning. SARA 2007: 400-401
	2005
3		Timothy L. Hinrichs, Michael R. Genesereth: Axiom Schemata as Metalevel Axioms: Model Theory. AAAI 2005: 294-299
	2004
2		Tim Hinrichs, Nathaniel Love, Charles J. Petrie, Lyle Ramshaw, Akhil Sahai, Sharad Singhal: Using Object-Oriented Constraint Satisfaction for Automated Configuration Generation. DSOM 2004: 159-170
	2003
1		Charles J. Petrie, Michael R. Genesereth, Hans Bjornsson, Rada Chirkova, Martin Ekstrom, Hidehito Gomi, Tim Hinrichs, Rob Hoskins, Michael Kassoff, Daishi Kato, Kyohei Kawazoe, Jung Ung Min, Waqar Mohsin: Adding AI to Web Services. AMKM 2003: 322-338

Coauthor Index

1	Hans Bjornsson	[1]
2	Martin Casado	[9]
3	Rada Chirkova	[1]
4	Martin Ekstrom	[1]
5	Michael R. Genesereth	[1] [3] [5] [6] [8]
6	Hidehito Gomi	[1]
7	Natasha Gude	[9]
8	Rob Hoskins	[1]
9	Michael Kassoff	[1]
10	Daishi Kato	[1]
11	Kyohei Kawazoe	[1]
12	Nathaniel Love	[2]
13	Jung Ung Min	[1]
14	John C. Mitchell	[9]
15	Waqar Mohsin	[1]
16	Charles J. Petrie	[1] [2]
17	Lyle Ramshaw	[2]
18	Akhil Sahai	[2]
19	Scott Shenker	[9]
20	Sharad Singhal	[2]

Colors in the list of coauthors