-
1
Traceable policy-based signatures and instantiation from lattices
Published 2022Get full text
Journal Article -
2
The skyline of counterfactual explanations for machine learning decision models
Published 2022Get full text
Conference Paper -
3
Aquaculture in coastal urbanized areas : a comparative review of the challenges posed by Harmful Algal Blooms
Published 2021Get full text
Journal Article -
4
NPC: neuron path coverage via characterizing decision logic of deep neural networks
Published 2022Get full text
Journal Article -
5