Will Marrero - Concepedia

Author

Will Marrero

Also Known As

Will Marrero

Publications

441

Citations

H-Index

Concepts

All Affiliations

Will Marrero is an author at DePaul University specializing in computer science, engineering, and formal methods.

#	Concept	H-Index	Publications	Citations
1	Engineering	5	5	261
2	Computer Science	5	5	261
3	Education	2	2	63
4	Law	1	1	25
5	Computer Engineering	1	1	161

Will Marrero

Publications

261

Citations

H-Index

Page 1

	Year	Citations
Network configuration in a box: towards end-to-end verification of network reachability and security Ehab Al‐Shaer, Will Marrero, Adel El‐Atawy, EngineeringInformation SecurityVerificationNetwork AnalysisGlobal Encoding	2009	161
Testing first Will Marrero, Amber Settle Object-oriented Programming PlacesEngineeringProgram AnalysisSoftware TestingProgram Comprehension	2005	53
Timed constraint programming Radha Jagadeesan, Will Marrero, Corin Pitcher, Mathematical ProgrammingEngineeringInformation SecurityTrust Management ArchitectureLaw	2005	25
Efficient verification of security protocols using partial-order reductions Edmund M. Clarke, Somesh Jha, Will Marrero International Journal on Software Tools for Technology Transfer Cryptographic PrimitiveEngineeringVerificationFormal MethodsComputer Science	2003	12
Testing first Will Marrero, Amber Settle ACM SIGCSE Bulletin Object-oriented Programming PlacesEngineeringProgram AnalysisSoftware TestingProgram Comprehension	2005	10

Page 1