Massimo Bartoletti

From MaRDI portal
Person:272302

Available identifiers

zbMath Open bartoletti.massimoDBLP58/6881WikidataQ62058202 ScholiaQ62058202MaRDI QIDQ272302

List of research outcomes





PublicationDate of PublicationType
Sound approximate and asymptotic probabilistic bisimulations for PCTL2023-08-26Paper
Maximizing extractable value from automated market makers2023-05-26Paper
A theory of Automated Market Makers in DeFi2023-01-09Paper
A formal model of Algorand smart contracts2022-06-17Paper
SoK: lending pools in decentralized finance2022-06-01Paper
https://portal.mardi4nfdi.de/entity/Q50284782022-02-09Paper
https://portal.mardi4nfdi.de/entity/Q50284302022-02-09Paper
Progress-preserving Refinements of CTA2021-08-04Paper
https://portal.mardi4nfdi.de/entity/Q49941192021-06-17Paper
Security Issues in Service Composition2021-05-25Paper
https://portal.mardi4nfdi.de/entity/Q49639142021-02-24Paper
https://portal.mardi4nfdi.de/entity/Q52161542020-02-14Paper
https://portal.mardi4nfdi.de/entity/Q52160812020-02-14Paper
Contract-Oriented Computing in CO22019-02-08Paper
https://portal.mardi4nfdi.de/entity/Q45968042017-12-11Paper
Honesty by Typing2017-04-11Paper
Verifiable abstractions for contract-oriented systems2016-11-30Paper
Compliance and Subtyping in Timed Session Types2016-10-19Paper
Model checking usage policies2016-07-27Paper
Contracts as games on event structures2016-04-20Paper
Compliance in Behavioural Contracts: A Brief Survey2016-01-08Paper
Combining behavioural types with security analysis2015-11-10Paper
Lending Petri Nets and Contracts2015-09-30Paper
Debits and Credits in Petri Nets and Linear Logic2015-09-14Paper
Modelling and Verifying Contract-Oriented Systems in Maude2015-09-09Paper
Circular Causality in Event Structures2015-06-26Paper
A Semantic Deconstruction of Session Types2014-09-15Paper
Hard Life with Weak Binders2014-07-23Paper
A Theory of Agreements and Protection2013-08-06Paper
On the Realizability of Contracts in Dishonest Systems2012-08-21Paper
Security-aware program transformations.2010-02-23Paper
Usage Automata2009-10-22Paper
Secure Service Orchestration2009-10-22Paper
ν-Types for Effects and Freshness Analysis2009-08-20Paper
Types and Effects for Resource Usage Analysis2007-09-07Paper
Theoretical Computer Science2006-11-01Paper
Foundations of Software Science and Computational Structures2005-11-10Paper

Research outcomes over time

This page was built for person: Massimo Bartoletti