Year |
Citation |
Score |
2014 |
Bisht P, Hinrichs T, Skrupsky N, Venkatakrishnan VN. Automated detection of parameter tampering opportunities and vulnerabilities in web applications Journal of Computer Security. 22: 415-465. DOI: 10.3233/Jcs-140498 |
0.406 |
|
2013 |
Skrupsky N, Monshizadeh M, Bisht P, Hinrichs T, Venkatakrishnan VN, Zuck L. 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. DOI: 10.1109/Cybersecurity.2012.13 |
0.39 |
|
2011 |
Hinrichs TL. 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. DOI: 10.1007/978-3-642-18378-2_7 |
0.317 |
|
2009 |
Hinrichs TL, Kao JY, Genesereth MR. Inconsistency-tolerant reasoning with classical logic and large databases Sara 2009 - Proceedings, 8th Symposium On Abstraction, Reformulation and Approximation. 105-112. |
0.616 |
|
2008 |
Hinrichs TL, Genesereth MR. 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. |
0.585 |
|
2007 |
Hinrichs TL. Extensional reasoning Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4612: 400-401. |
0.398 |
|
2007 |
Hinrichs TL, Genesereth MR. Extensional reasoning Ceur Workshop Proceedings. 257: 3-26. |
0.644 |
|
2007 |
Hinrichs TL, Genesereth MR. Reformulation for extensional reasoning Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4612: 215-229. |
0.656 |
|
2005 |
Hinrichs TL, Genesereth MR. Axiom schemata as metalevel axioms: Model theory Proceedings of the National Conference On Artificial Intelligence. 1: 294-299. |
0.623 |
|
2003 |
Petrie CJ, Genesereth MR, Bjornsson HC, Chirkova R, Ekstrom MA, Gomi H, Hinrichs T, Hoskins R, Kassoff M, Kato D, Kawazoe K, Min JU, Mohsin W. Adding AI to Web Services Lecture Notes in Computer Science. 322-338. DOI: 10.1007/978-3-540-24612-1_23 |
0.535 |
|
Show low-probability matches. |