xsk07

Computer Science MSc Student

Italy

Pinned Repositories

blockchain-project
Language:JavaScript11
Customs-Export-Process
BPM lifecycle implementation of the Customs Export Process
Language:CSS1 1 00
FedEthML
Language:JavaScript00
GRETEL
GRETEL a unified framework to develop and test Graph Counterfactual Explanations methods.
Language:Jupyter Notebook10
LTLpSeparator
Algorithm for the separation of LTLp formulae into a combination of pure temporal formulae
Language:Java3 3 01
NSSK-protocol-PRISM
Modelling and model checking of the Needham-Schroeder Symmetric-Key (NSSK) Protocol using PRISM
0 1 00

xsk07's Repositories

xsk07/LTLpSeparator
Algorithm for the separation of LTLp formulae into a combination of pure temporal formulae
Language:Java3 3 01
xsk07/Customs-Export-Process
BPM lifecycle implementation of the Customs Export Process
Language:CSS1 1 00
xsk07/GRETEL
GRETEL a unified framework to develop and test Graph Counterfactual Explanations methods.
Language:Jupyter Notebook10
xsk07/FedEthML
Language:JavaScript00
xsk07/NSSK-protocol-PRISM
Modelling and model checking of the Needham-Schroeder Symmetric-Key (NSSK) Protocol using PRISM
0 1 00