Corin Pitcher - Concepedia

Author

Corin Pitcher

DePaul University

Also Known As

C. Pitcher, CORIN PITCHER, Corin Pitcher, Corin S. Pitcher, Pitcher, Corin

Publications

439

Citations

H-Index

Concepts

All Affiliations

DePaul University

About

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

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	8	8	238
2	Computer Science	8	8	238
3	Language Studies	1	1	20
4	Law	1	1	25
5	Computer Engineering	1	1	43

Corin Pitcher

Publications

250

Citations

H-Index

Page 1

	Year	Citations
Specifications of a high-level conflict-free firewall policy language for multi-domain networks Bin Zhang, Ehab Al‐Shaer, Radha Jagadeesan, EngineeringInformation SecurityNext-generation FirewallNetwork AnalysisFormal Verification	2007	76
Local Memory via Layout Randomization Radha Jagadeesan, Corin Pitcher, Julian Rathke, EngineeringPlot KinInformation SecurityComputer ArchitectureLocal Memory	2011	43
Timed constraint programming Radha Jagadeesan, Will Marrero, Corin Pitcher, Mathematical ProgrammingEngineeringInformation SecurityTrust Management ArchitectureLaw	2005	25
Open bisimulation for aspects Radha Jagadeesan, Corin Pitcher, James Riely EngineeringVerificationSoftware AnalysisFormal VerificationOpen Bisimulation	2007	22
Visibly Pushdown Expression Effects for XML Stream Processing Corin Pitcher EngineeringPushdown LanguagesPushdown AutomatonSoftware EngineeringSoftware Analysis	2004	20
An extensible approach to session polymorphism MATTHEW GOTO, Radha Jagadeesan, Alan Jeffrey, Mathematical Structures in Computer Science Formal SpecificationEngineeringAutomated ReasoningProgram AnalysisPolymorphism (Computer Science)	2015	20
Do As I SaY! Programmatic Access Control with Explicit Identities Andrew Cirillo, Radha Jagadeesan, Corin Pitcher, Proceedings - Computer Security Foundations Workshop/Proceedings EngineeringProgrammatic Access ControlUsable SecurityInformation SecurityVerification	2007	17
Similarity and Bisimilarity for Countable Non-Determinism and Higher-Order Functions (Extended Abstract) Søren B. Lassen, Corin Pitcher Electronic Notes in Theoretical Computer Science EngineeringComputational Model TheoryCountable Non-determinismComputational ComplexityHigher-order Functions	1998	15
TAPIDO: trust and authorization via provenance and integrity in distributed objects Andrew Cirillo, Radha Jagadeesan, Corin Pitcher,	2008	12

Page 1