Conference version of a skyline-based method for estimating decision boundaries in binominal classification over big data.
Sep 1, 2020
Methods for evaluating skyline queries over temporal databases.
Apr 3, 2017
Formal modelling and analysis of cryptographic modes of operation using the Alloy specification language and Alloy Analyzer.
Jan 1, 2012