ProfessorsProfessors of Worcester Polytechnic InstituteDaniel J Dougherty

Daniel J Dougherty

Worcester Polytechnic Institute

H-index: 19

North America-United States

About Daniel J Dougherty

Daniel J Dougherty, With an exceptional h-index of 19 and a recent h-index of 10 (since 2020), a distinguished researcher at Worcester Polytechnic Institute,

His recent articles reflect a diverse array of research interests and contributions to the field:

Molly: A Verified Compiler for Cryptoprotocol Roles

Model Finding for Exploration

Protocols, Strands, and Logic: Essays Dedicated to Joshua Guttman on the Occasion of His 66.66 th Birthday

Daniel J Dougherty Information

University	Worcester Polytechnic Institute
Position	___
Citations(all)	1514
Citations(since 2020)	319
Cited By	1363
hIndex(all)	19
hIndex(since 2020)	10
i10Index(all)	37
i10Index(since 2020)	10
Email	Access Email
University Profile Page	Worcester Polytechnic Institute
Google Scholar	View Google Scholar Profile

Top articles of Daniel J Dougherty

Title	Journal	Author(s)	Publication Date
Molly: A Verified Compiler for Cryptoprotocol Roles	arXiv preprint arXiv:2311.13692	Daniel J Dougherty Joshua D Guttman	2023/11/22
Model Finding for Exploration		Daniel J Dougherty	2021
Protocols, Strands, and Logic: Essays Dedicated to Joshua Guttman on the Occasion of His 66.66 th Birthday		Daniel Dougherty José Meseguer Sebastian Alexander Mödersheim Paul Rowe	2021/11/18