| Two cryptomorphic formalizations of projective incidence geometry | 0 | 0.34 | 2019 |
| Formalizing Some "Small" Finite Models Of Projective Geometry In Coq | 0 | 0.34 | 2018 |
| UP2P: a peer-to-peer overlay architecture for ubiquitous communications and networking | 22 | 0.76 | 2008 |
