Pankaj Kakkar is an author at University of Pennsylvania specializing in formal methods, computer science, and formal verification.
Top concepts
EngineeringFormal MethodsComputer ScienceFormal VerificationVerificationProgram AnalysisCryptographyData SecurityEdge ComputingCloud Computing
Publications per year
1998–1999
5
5
The SwitchWare active network architecture
D.S. Alexander, William A. Arbaugh, Michael Hicks et al. · IEEE Network · 1998 · 288 citations
Engineering, Information Security, Programmable Network Infrastructure +19
Michael Hicks, Pankaj Kakkar, Jonathan T. Moore et al. · 1998 · 267 citations
The SwitchWare Active Network Architecture
D. Scott Alexander, William A. Arbaugh, Michael Hicks et al. · 1998 · 33 citations · Full text
Engineering, Information Security, Programmable Network Infrastructure +19
Michael Hicks, Pankaj Kakkar, Jonathan T. Moore et al. · ACM SIGPLAN Notices · 1998 · 19 citations · Full text
Specifying the PLAN Network Programming Langauge
Pankaj Kakkar, Michael Hicks, Jon Moore et al. · Electronic Notes in Theoretical Computer Science · 1999 · 11 citations · Full text
Rows per page
1–5 of 5