• # leanTAP

• Referenced in 41 articles [sw09985]
• calculus to the modal logic K and sketches a proof of the completeness of this ... elegant as leanTAP. Following that, he sketches how similar results can be obtained...
• # EasyCrypt

• Referenced in 33 articles [sw09738]
• security proofs of cryptographic systems from proof sketches-compact, formal representations of the essence ... sequence of games and hints. Proof sketches are checked automatically using off-the-shelf...
• # KamiWaAi

• Referenced in 13 articles [sw01954]
• KamiWaAi -- interactive 3D sketching with Java based on $Cl(4,1)$ conformal model of Euclidean ... This paper introduces the new interactive Java sketching software KamiWaAi, recently developed at the University...
• # Sketch2Photo

• Referenced in 13 articles [sw14453]
• realistic picture from a simple freehand sketch annotated with text labels. The composed picture ... stitching several photographs in agreement with the sketch and text labels; these are found...