Adding AI to Web Services. - Charles J. Petrie; Michael R. Genesereth; Hans C. Bjornsson; Rada Chirkova; Martin A. Ekstrom; Hidehito Gomi; Tim Hinrichs; Rob Hoskins; Michael Kassoff; Daishi Kato; Kyohei Kawazoe; Jung Ung Min; et al. (AMKM, 2003)

Using Object-Oriented Constraint Satisfaction for Automated Configuration Generation. - Tim Hinrichs; Nathaniel Love; Charles J. Petrie; Lyle Ramshaw; Akhil Sahai; Sharad Singhal (DSOM, 2004)

Axiom Schemata as Metalevel Axioms: Model Theory. - Timothy L. Hinrichs; Michael R. Genesereth (AAAI, 2005)

Extensional Reasoning. - Tim Hinrichs; Michael R. Genesereth (ESARLT, 2007)

Extensional Reasoning. - Timothy L. Hinrichs (SARA, 2007)

Reformulation for Extensional Reasoning. - Timothy L. Hinrichs; Michael R. Genesereth (SARA, 2007)

Collaborative Programming: Applications of Logic and Automated Reasoning. - Timothy L. Hinrichs (PAAR/ESHOL, 2008)

Injecting the How into the What: Investigating a Finite Classical Logic. - Timothy L. Hinrichs; Michael R. Genesereth (KR, 2008)

Extensional reasoning. - Timothy L. Hinrichs (2008)

Inconsistency-Tolerant Reasoning with Classical Logic and Large Databases. - Timothy L. Hinrichs; Eric Jui-Yi Kao; Michael R. Genesereth (SARA, 2009)

Practical declarative network management. - Timothy L. Hinrichs; Natasha Gude; Martín Casado; John C. Mitchell; Scott Shenker (WREN, 2009)

NoTamper: automatic blackbox detection of parameter tampering opportunities in web applications. - Prithvi Bisht; Timothy L. Hinrichs; Nazari Skrupsky; Radoslaw Bobrowicz; V. N. Venkatakrishnan (CCS, 2010)

SMARTFORM: A Web-based Feature Configuration Tool. - Wonseok Chae; Timothy L. Hinrichs (VaMoS, 2010)

WAPTEC: whitebox analysis of web applications for parameter tampering exploit construction. - Prithvi Bisht; Timothy L. Hinrichs; Nazari Skrupsky; V. N. Venkatakrishnan (CCS, 2011)

TBA : A Hybrid of Logic and Extensional Access Control Systems. - Timothy L. Hinrichs; William C. Garrison III; Adam J. Lee; Skip Saunders; John C. Mitchell (Formal Aspects in Security and Trust, 2011)

Plato: A Compiler for Interactive Web Forms. - Timothy L. Hinrichs (PADL, 2011)

WAVES: Automatic Synthesis of Client-Side Validation Code for Web Applications. - Nazari Skrupsky; Maliheh Monshizadeh; Prithvi Bisht; Timothy L. Hinrichs; V. N. Venkatakrishnan; Lenore D. Zuck (CyberSecurity, 2012)

Policy Administration in Tag-Based Authorization. - Sandro Etalle; Timothy L. Hinrichs; Adam J. Lee; Daniel Trivellato; Nicola Zannone (FPS, 2012)

The need for application-aware access control evaluation. - William C. Garrison III; Adam J. Lee; Timothy L. Hinrichs (NSPW, 2012)

Don't Repeat Yourself: Automatically Synthesizing Client-side Validation Code for Web Applications. - Nazari Skrupsky; Maliheh Monshizadeh; Prithvi Bisht; Timothy L. Hinrichs; Venkat N. Venkatakrishnan; Lenore D. Zuck (WebApps, 2012)

TamperProof: a server-agnostic defense for parameter tampering attacks on web applications. - Nazari Skrupsky; Prithvi Bisht; Timothy L. Hinrichs; V. N. Venkatakrishnan; Lenore D. Zuck (CODASPY, 2013)

Application-Sensitive Access Control Evaluation Using Parameterized Expressiveness. - Timothy L. Hinrichs; Diego Martinoia; William C. Garrison III; Adam J. Lee; Alessandro Panebianco; Lenore D. Zuck (CSF, 2013)

WEBLOG: a declarative language for secure web development. - Timothy L. Hinrichs; Daniele Rossetti; Gabriele Petronella; V. N. Venkatakrishnan; A. Prasad Sistla; Lenore D. Zuck (PLAS, 2013)

The Design and Demonstration of an Actor-Based, Application-Aware Access Control Evaluation Framework - William C. Garrison III; Adam J. Lee; Timothy L. Hinrichs (CoRR, 2013)

Model Check What You Can, Runtime Verify the Rest. - Timothy L. Hinrichs; A. Prasad Sistla; Lenore D. Zuck (HOWARD-60, 2014)

An actor-based, application-aware access control evaluation framework. - William C. Garrison III; Adam J. Lee; Timothy L. Hinrichs (SACMAT, 2014)

Automated detection of parameter tampering opportunities and vulnerabilities in web applications. - Prithvi Bisht; Timothy L. Hinrichs; Nazari Skrupsky; V. N. Venkatakrishnan (J. Comput. Secur., 2014)