Login / Signup
Tudor Ferariu
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 1
Top Topics
Conceptual Model
Data Mining
Multi Agent
Prior Knowledge
Top Venues
FMBC@CAV
</>
Publications
</>
Polina Vinogradova
,
Orestis Melkonian
,
Philip Wadler
,
Manuel M. T. Chakravarty
,
Jacco Krijnen
,
Michael Peyton Jones
,
James Chapman
,
Tudor Ferariu
Structured Contracts in the EUTxO Ledger Model.
FMBC@CAV
(2024)