Massimo Bartoletti

Available identifiers

zbMath Open bartoletti.massimoWikidataQ62058202 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/Q5028430	2022-02-09	Paper
https://portal.mardi4nfdi.de/entity/Q5028478	2022-02-09	Paper
https://portal.mardi4nfdi.de/entity/Q5009458	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/Q5216081	2020-02-14	Paper
https://portal.mardi4nfdi.de/entity/Q5216154	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
Theoretical Computer Science	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Massimo Bartoletti