Franco Raimondi

zbMath Openraimondi.francoMaRDI QIDQ310085

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	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 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