Alessandro Aldini

Available identifiers

Publication	Date of Publication	Type
From belief to trust: A quantitative framework based on modal logic	2022-09-08	Paper
On the modeling and verification of the spread of fake news, algebraically	2022-09-08	Paper
Trust evidence logic	2022-06-15	Paper
Reasoning about ignorance and beliefs	2021-10-18	Paper
https://portal.mardi4nfdi.de/entity/Q5151030	2021-02-16	Paper
https://portal.mardi4nfdi.de/entity/Q2849850	2013-09-20	Paper
Approximating Markovian testing equivalence	2012-03-13	Paper
A General Framework for Nondeterministic, Probabilistic, and Stochastic Noninterference	2009-10-22	Paper
https://portal.mardi4nfdi.de/entity/Q3394898	2009-09-10	Paper
Foundations of Security Analysis and Design II	2009-05-14	Paper
Mixing logics and rewards for the component-oriented specification of performance measures	2007-09-03	Paper
Classification of security properties in a Linda-like process algebra	2006-10-25	Paper
Global Computing	2005-08-19	Paper
On the usability of process algebra: An architectural view	2005-06-10	Paper
https://portal.mardi4nfdi.de/entity/Q4813196	2004-08-13	Paper
https://portal.mardi4nfdi.de/entity/Q4409308	2003-10-28	Paper
https://portal.mardi4nfdi.de/entity/Q4798041	2003-03-18	Paper
https://portal.mardi4nfdi.de/entity/Q4791835	2003-02-03	Paper
Discrete time generative-reactive probabilistic processes with different advancing speeds	2003-01-21	Paper

No records found.

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Alessandro Aldini