Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Timothy L. Hinrichs
Tim Hinrichs
2010 – today
- 2013
[i1]William C. Garrison III, Adam J. Lee, Timothy L. Hinrichs: The Design and Demonstration of an Actor-Based, Application-Aware Access Control Evaluation Framework. CoRR abs/1302.1134 (2013)- 2012
- [c15]Sandro Etalle, Timothy L. Hinrichs, Adam J. Lee, Daniel Trivellato, Nicola Zannone: Policy Administration in Tag-Based Authorization. FPS 2012: 162-179
- [c14]William C. Garrison III, Adam J. Lee, Timothy L. Hinrichs: The need for application-aware access control evaluation. NSPW 2012: 115-126
- 2011
- [c13]Timothy L. Hinrichs, William C. Garrison III, Adam J. Lee, Skip Saunders, John C. Mitchell: TBA : A Hybrid of Logic and Extensional Access Control Systems. Formal Aspects in Security and Trust 2011: 198-213
- [c12]
- 2010
- [c11]Wonseok Chae, Timothy L. Hinrichs: SMARTFORM: A Web-based Feature Configuration Tool. VaMoS 2010: 183-186
2000 – 2009
- 2009
- [c10]Timothy L. Hinrichs, Jui-Yi Kao, Michael R. Genesereth: Inconsistency-Tolerant Reasoning with Classical Logic and Large Databases. SARA 2009
- [c9]Timothy L. Hinrichs, Natasha Gude, Martin Casado, John C. Mitchell, Scott Shenker: Practical declarative network management. WREN 2009: 1-10
- 2008
- [c8]Timothy L. Hinrichs: Collaborative Programming: Applications of Logic and Automated Reasoning. PAAR/ESHOL 2008
- [c7]Timothy L. Hinrichs, Michael R. Genesereth: Injecting the How into the What: Investigating a Finite Classical Logic. KR 2008: 92-192
- 2007
- [c6]
- [c5]Timothy L. Hinrichs, Michael R. Genesereth: Reformulation for Extensional Reasoning. SARA 2007: 215-229
- [c4]
- 2005
- [c3]Timothy L. Hinrichs, Michael R. Genesereth: Axiom Schemata as Metalevel Axioms: Model Theory. AAAI 2005: 294-299
- 2004
- [c2]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
- [c1]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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-04-23 21:36 CEST by the dblp team