Timothy L. Hinrichs, Ph.D.
Affiliations: | 2008 | Stanford University, Palo Alto, CA |
Area:
Computer ScienceGoogle:
"Timothy Hinrichs"Parents
Sign in to add mentor| Michael R. Genesereth | grad student | 2008 | Stanford | |
| (Extensional reasoning.) | ||||
BETA: Related publications
See more...
Publications
|
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect. |
| Bisht P, Hinrichs T, Skrupsky N, et al. (2014) Automated detection of parameter tampering opportunities and vulnerabilities in web applications Journal of Computer Security. 22: 415-465 |
| Skrupsky N, Monshizadeh M, Bisht P, et al. (2013) WAVES: Automatic synthesis of client-side validation code for web applications Proceedings of the 2012 Ase International Conference On Cyber Security, Cybersecurity 2012. 46-53 |
| Hinrichs TL. (2011) Plato: A compiler for interactive web forms Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6539: 54-68 |
| Hinrichs TL, Kao JY, Genesereth MR. (2009) Inconsistency-tolerant reasoning with classical logic and large databases Sara 2009 - Proceedings, 8th Symposium On Abstraction, Reformulation and Approximation. 105-112 |
| Hinrichs TL, Genesereth MR. (2008) Injecting the how into the what: Investigating a finite classical logic Principles of Knowledge Representation and Reasoning: Proceedings of the 11th International Conference, Kr 2008. 92-102 |
| Hinrichs TL. (2007) Extensional reasoning Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4612: 400-401 |
| Hinrichs TL, Genesereth MR. (2007) Extensional reasoning Ceur Workshop Proceedings. 257: 3-26 |
| Hinrichs TL, Genesereth MR. (2007) Reformulation for extensional reasoning Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4612: 215-229 |
| Hinrichs TL, Genesereth MR. (2005) Axiom schemata as metalevel axioms: Model theory Proceedings of the National Conference On Artificial Intelligence. 1: 294-299 |
| Petrie CJ, Genesereth MR, Bjornsson HC, et al. (2003) Adding AI to Web Services Lecture Notes in Computer Science. 322-338 |