research
∙
01/15/2021
The Coq Proof Script Visualiser (coq-psv)
In this work, we present a visualisation tool that is able to process Co...
share
research
∙
03/05/2018
A Theorem Prover for Scientific and Educational Purposes
We present a prototype of an integrated reasoning environment for educat...
research
∙
12/19/2012
Role Mining with Probabilistic Models
Role mining tackles the problem of finding a role-based access control (...
research
∙
10/08/2012
Mining Permission Request Patterns from Android and Facebook Applications (extended author version)
Android and Facebook provide third-party applications with access to use...
research
∙
02/15/2011