Author Info
Name
Affiliation
Papers
JENNIFER PAYKIN
Univ Penn, Dept Comp & Informat Sci, 200 S 33Rd St, Philadelphia, PA 19104 USA
3
Collaborators
Citations 
PageRank 
3
0
1.01
Referers 
Referees 
References 
0
24
12
Title
Citations
PageRank
Year
QWIRE Practice: Formal Verification of Quantum Circuits in Coq.00.342018
The linearity Monad.00.342017
A Linear/Producer/Consumer Model of Classical Linear Logic.00.342015