Franco Raimondi

Available identifiers

Publication	Date of Publication	Type
A theory of change for prioritised resilient and evolvable software systems	2023-12-14	Paper
https://portal.mardi4nfdi.de/entity/Q3388746	2021-05-06	Paper
CoSMed: a confidentiality-verified social media platform	2018-08-21	Paper
https://portal.mardi4nfdi.de/entity/Q5282949	2017-07-18	Paper
Model-checking for resource-bounded ATL with production and consumption of resources	2017-06-30	Paper
The packing chromatic number of the infinite square lattice is between 13 and 15	2017-05-12	Paper
The anonymous subgraph problem	2016-11-14	Paper
CoSMed: A Confidentiality-Verified Social Media Platform	2016-10-27	Paper
A computationally grounded, weighted doxastic logic	2016-09-07	Paper
Reasoning about memoryless strategies under partial observability and unconditional fairness constraints	2015-06-01	Paper
Deontic Logic in Computer Science	2009-04-30	Paper
The Secret Santa Problem	2008-07-10	Paper
Symbolic Model Checking of Logics with Actions	2007-11-01	Paper
https://portal.mardi4nfdi.de/entity/Q5422291	2007-10-17	Paper
Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams	2007-07-25	Paper
mcmas: A Model Checker for Multi-agent Systems	2007-05-02	Paper
https://portal.mardi4nfdi.de/entity/Q5486061	2006-09-06	Paper

No records found.

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Franco Raimondi