Franco Raimondi

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
A theory of change for prioritised resilient and evolvable software systems Synthese	2023-12-14	Paper
Reasoning about strategies under partial observability and fairness constraints (available as arXiv preprint)	2021-05-06	Paper
Reasoning about strategies under partial observability and fairness constraints	2021-05-06	Paper
CoSMed: a confidentiality-verified social media platform Journal of Automated Reasoning	2018-08-21	Paper
Decidable model-checking for a resource logic with production of resources	2017-07-18	Paper
Model-checking for resource-bounded ATL with production and consumption of resources Journal of Computer and System Sciences	2017-06-30	Paper
The packing chromatic number of the infinite square lattice is between 13 and 15 Discrete Applied Mathematics	2017-05-12	Paper
The packing chromatic number of the infinite square lattice is between 13 and 15 Discrete Applied Mathematics	2017-05-12	Paper
The anonymous subgraph problem Computers & Operations Research	2016-11-14	Paper
A computationally grounded, weighted doxastic logic Studia Logica	2016-09-07	Paper
Reasoning about memoryless strategies under partial observability and unconditional fairness constraints Information and Computation	2015-06-01	Paper
Deontic Logic in Computer Science Lecture Notes in Computer Science	2009-04-30	Paper
The Secret Santa Problem Algorithmic Aspects in Information and Management	2008-07-10	Paper
Symbolic Model Checking of Logics with Actions Model Checking and Artificial Intelligence	2007-11-01	Paper
Verification of the TESLA protocol in MCMAS-X	2007-10-17	Paper
Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams Journal of Applied Logic	2007-07-25	Paper
mcmas: A Model Checker for Multi-agent Systems Tools and Algorithms for the Construction and Analysis of Systems	2007-05-02	Paper
scientific article; zbMATH DE number 5051652 (Why is no real title available?)	2006-09-06	Paper

Research outcomes over time

This page was built for person: Franco Raimondi