Timothy L. Hinrichs

Tim Hinrichs

	2011
12		Timothy L. Hinrichs: Plato: A Compiler for Interactive Web Forms. PADL 2011: 54-68
	2010
11		Wonseok Chae, Timothy L. Hinrichs: SMARTFORM: A Web-based Feature Configuration Tool. VaMoS 2010: 183-186
	2009
10		Timothy L. Hinrichs, Jui-Yi Kao, Michael R. Genesereth: Inconsistency-Tolerant Reasoning with Classical Logic and Large Databases. SARA 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	Wonseok Chae	[11]
4	Rada Chirkova	[1]
5	Martin Ekstrom	[1]
6	Michael R. Genesereth	[1] [3] [5] [6] [8] [10]
7	Hidehito Gomi	[1]
8	Natasha Gude	[9]
9	Rob Hoskins	[1]
10	Jui-Yi Kao	[10]
11	Michael Kassoff	[1]
12	Daishi Kato	[1]
13	Kyohei Kawazoe	[1]
14	Nathaniel Love	[2]
15	Jung Ung Min	[1]
16	John C. Mitchell	[9]
17	Waqar Mohsin	[1]
18	Charles J. Petrie	[1] [2]
19	Lyle Ramshaw	[2]
20	Akhil Sahai	[2]
21	Scott Shenker	[9]
22	Sharad Singhal	[2]

Colors in the list of coauthors

Last update Sat Jun 2 20:57:36 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page