23
Publications
1.3K
Citations
17
H-Index
1995
Active since
Grit Denker is an author at SRI International specializing in engineering, computer science, and formal verification.
Top concepts
EngineeringComputer ScienceFormal MethodsFormal VerificationCryptographyInformation SecurityData SecurityVerificationFormal SpecificationData Privacy
Publications per year
1995–2021
23
23
A Software Defined Networking architecture for the Internet-of-Things
Zhijing Qin, Grit Denker, Carlo Giannelli et al. · 2014 · 367 citations
Artemis Internet, Engineering, Software-defined Networking +11
Authorization and privacy for semantic Web services
Lalana Kagal, Tim Finin, Massimo Paolucci et al. · IEEE Intelligent Systems · 2004 · 205 citations · Full text
Web Service Specification, Authentication Authorization, Engineering +18
CAPSL integrated protocol environment
Grit Denker, Jonathan K. Millen · 2002 · 87 citations
David E. Wilkins, Grit Denker, Mark-Oliver Stehr et al. · IEEE Wireless Communications · 2007 · 61 citations
Dynamic Spectrum Management, Cognitive Radio Resource Management, Engineering +13
Rows per page
1–5 of 23