Letterio Galletta

MaRDI QIDQ1731515zbMATH OpenDBLPORCIDWikidataFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Policies for fair exchanges of resources Logical Methods in Computer Science	2026-08-04	Paper
Revealing the trajectories of KLAIM tuples, statically Models, Languages, and Tools for Concurrent and Distributed Programming	2024-02-23	Paper
A type language for distributed reactive components governed by communication protocols Journal of Logical and Algebraic Methods in Programming	2023-03-20	Paper
A theory of transaction parallelism in blockchains (available as arXiv preprint)	2022-02-09	Paper
A theory of transaction parallelism in blockchains	2022-02-09	Paper
scientific article; zbMATH DE number 7454918 (Why is no real title available?) (available as arXiv preprint)	2022-01-10	Paper
scientific article; zbMATH DE number 7454918 (Why is no real title available?)	2022-01-10	Paper
Italian IT Initiatives against COVID-19 (Dataset)	2021-12-03	Dataset
Natural projection as partial model checking Journal of Automated Reasoning	2020-11-02	Paper
Security metrics at work on the things in IoT systems From Lambda Calculus to Cybersecurity Through Program Analysis	2020-07-20	Paper
Robust declassification by incremental typing	2020-03-03	Paper
From natural projection to partial model checking and back	2019-09-16	Paper
Measuring security in IoT communications Theoretical Computer Science	2019-03-13	Paper
Tracing where IoT data are collected and aggregated (available as arXiv preprint)	2017-10-12	Paper
Last mile's resources Semantics, Logics, and Calculi	2016-03-23	Paper
Safe adaptation through implicit effect coercion Programming Languages with Applications to Biology and Security	2016-01-08	Paper
An abstract interpretation framework for type and effect systems Fundamenta Informaticae	2015-06-26	Paper
Linguistic mechanisms for context-aware security Theoretical Aspects of Computing – ICTAC 2014	2015-01-13	Paper

Research outcomes over time

This page was built for person: Letterio Galletta