xsk07

Computer Science MSc Student

Italy

Pinned Repositories

blockchain-project
Language:JavaScript1 2 01
Customs-Export-Process
Implementation of the BPM lifecycle of a 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 Notebook1 1 00
LTLpSeparator
Algorithm for the separation of LTLp formulae into a combination of pure past, present and future formulae
Language:Java3 3 01
NSSK-protocol-PRISM
Modeling 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 past, present and future formulae
Language:Java3 3 01
xsk07/Customs-Export-Process
Implementation of the BPM lifecycle of a Customs Export Process
Language:CSS1 1 00
xsk07/GRETEL
GRETEL a unified framework to develop and test Graph Counterfactual Explanations methods.
Language:Jupyter Notebook1 1 00
xsk07/FedEthML
Language:JavaScript00
xsk07/NSSK-protocol-PRISM
Modeling and Model Checking of the Needham-Schroeder Symmetric-Key (NSSK) Protocol using PRISM
0 1 00