Person:764290

Available identifiers

zbMath Open aldini.alessandroDBLP41/6214WikidataQ58665899 ScholiaQ58665899MaRDI QIDQ764290

List of research outcomes

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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Alessandro Aldini