Massimo Bartoletti

Available identifiers

zbMath Open bartoletti.massimoDBLP58/6881WikidataQ62058202 ScholiaQ62058202MaRDI QIDQ272302

List of research outcomes

Publication	Date of Publication	Type
Sound approximate and asymptotic probabilistic bisimulations for PCTL	2023-08-26	Paper
Maximizing extractable value from automated market makers	2023-05-26	Paper
A theory of Automated Market Makers in DeFi	2023-01-09	Paper
A formal model of Algorand smart contracts	2022-06-17	Paper
SoK: lending pools in decentralized finance	2022-06-01	Paper
https://portal.mardi4nfdi.de/entity/Q5028478	2022-02-09	Paper
https://portal.mardi4nfdi.de/entity/Q5028430	2022-02-09	Paper
Progress-preserving refinements of CTA	2021-08-04	Paper
Contract agreements via logic	2021-06-17	Paper
Security issues in service composition	2021-05-25	Paper
Primitives for contract-based synchronization	2021-02-24	Paper
The LTS workbench	2020-02-14	Paper
A note on two notions of compliance	2020-02-14	Paper
Contract-oriented computing in CO\(_2\)	2019-02-08	Paper
https://portal.mardi4nfdi.de/entity/Q4596804	2017-12-11	Paper
Honesty by typing	2017-04-11	Paper
Verifiable abstractions for contract-oriented systems	2016-11-30	Paper
Compliance and subtyping in timed session types	2016-10-19	Paper
Model checking usage policies	2016-07-27	Paper
Contracts as games on event structures	2016-04-20	Paper
Compliance in behavioural contracts: a brief survey	2016-01-08	Paper
Combining behavioural types with security analysis	2015-11-10	Paper
Lending Petri nets and contracts	2015-09-30	Paper
Debits and Credits in Petri Nets and Linear Logic	2015-09-14	Paper
Modelling and verifying contract-oriented systems in Maude	2015-09-09	Paper
Circular causality in event structures	2015-06-26	Paper
A semantic deconstruction of session types	2014-09-15	Paper
Hard life with weak binders	2014-07-23	Paper
A theory of agreements and protection	2013-08-06	Paper
On the realizability of contracts in dishonest systems	2012-08-21	Paper
Security-aware program transformations.	2010-02-23	Paper
Usage Automata	2009-10-22	Paper
Secure Service Orchestration	2009-10-22	Paper
ν-Types for Effects and Freshness Analysis	2009-08-20	Paper
Types and Effects for Resource Usage Analysis	2007-09-07	Paper
Theoretical Computer Science	2006-11-01	Paper
Foundations of Software Science and Computational Structures	2005-11-10	Paper

Research outcomes over time

This page was built for person: Massimo Bartoletti