Daniel J Dougherty

Daniel J Dougherty

Worcester Polytechnic Institute - Worcester / United States
Others
AD Scientific Index ID: 939184
person_outline Daniel J Dougherty's MOST POPULAR ARTICLES
1-) The Margrave tool for firewall analysisT Nelson, C Barratt, DJ Dougherty, K Fisler, S Krishnamurthi24th Large Installation System Administration Conference (LISA 10), 20101832010
2-) Specifying and reasoning about dynamic access-control policiesDJ Dougherty, K Fisler, S KrishnamurthiInternational Joint Conference on Automated Reasoning, 632-646, 20061692006
3-) Adding algebraic rewriting to the untyped lambda calculusDJ DoughertyInformation and Computation 101 (2), 251-267, 1992881992
4-) Aluminum: principled scenario exploration through minimalityT Nelson, S Saghafi, DJ Dougherty, K Fisler, S Krishnamurthi2013 35th International Conference on Software Engineering (ICSE), 232-241, 2013842013
5-) Some lambda calculi with categorical sums and productsDJ DoughertyInternational Conference on Rewriting Techniques and Applications, 137-151, 1993781993
We use cookies to personalize our website and offer you a better experience. If you accept cookies, we can offer you special services.   Cookie Policy