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
https://portal.mardi4nfdi.de/entity/Q4994119	2021-06-17	Paper
Security Issues in Service Composition	2021-05-25	Paper
https://portal.mardi4nfdi.de/entity/Q4963914	2021-02-24	Paper
https://portal.mardi4nfdi.de/entity/Q5216154	2020-02-14	Paper
https://portal.mardi4nfdi.de/entity/Q5216081	2020-02-14	Paper
Contract-Oriented Computing in CO2	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