28 citations · 36 across the 4 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2015★ 28 cited
Formalization of Quantum Protocols using Coq
Jaap Boender, Florian Kammüller, Rajagopal Nagarajan
Quantum Information Processing, which is an exciting area of research at the intersection of physics and computer science, has great potential for influencing the future developmen…
cs.LO2012★ 2 cited
On the correctness of a branch displacement algorithm
Jaap Boender, Claudio Sacerdoti Coen
The branch displacement problem is a well-known problem in assembler design. It revolves around the feature, present in several processor families, of having different instructions…