Franco Raimondi

From MaRDI portal
Person:310085

Available identifiers

zbMath Open raimondi.francoMaRDI QIDQ310085

List of research outcomes





PublicationDate of PublicationType
A theory of change for prioritised resilient and evolvable software systems2023-12-14Paper
https://portal.mardi4nfdi.de/entity/Q33887462021-05-06Paper
CoSMed: a confidentiality-verified social media platform2018-08-21Paper
https://portal.mardi4nfdi.de/entity/Q52829492017-07-18Paper
Model-checking for resource-bounded ATL with production and consumption of resources2017-06-30Paper
The packing chromatic number of the infinite square lattice is between 13 and 152017-05-12Paper
The anonymous subgraph problem2016-11-14Paper
A computationally grounded, weighted doxastic logic2016-09-07Paper
Reasoning about memoryless strategies under partial observability and unconditional fairness constraints2015-06-01Paper
Deontic Logic in Computer Science2009-04-30Paper
The Secret Santa Problem2008-07-10Paper
Symbolic Model Checking of Logics with Actions2007-11-01Paper
https://portal.mardi4nfdi.de/entity/Q54222912007-10-17Paper
Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams2007-07-25Paper
mcmas: A Model Checker for Multi-agent Systems2007-05-02Paper
https://portal.mardi4nfdi.de/entity/Q54860612006-09-06Paper

Research outcomes over time

This page was built for person: Franco Raimondi

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:310085&oldid=6943142"
Powered by MediaWiki