Chiara Bodei

Available identifiers

zbMath Open bodei.chiaraWikidataQ56643891 ScholiaQ56643891MaRDI QIDQ275995

List of research outcomes

Publication	Date of Publication	Type
Revealing the trajectories of KLAIM tuples, statically	2024-02-23	Paper
The \texttt{link}-calculus for open multiparty interactions	2020-12-15	Paper
Natural projection as partial model checking	2020-11-02	Paper
Security Metrics at Work on the Things in IoT Systems	2020-07-20	Paper
From natural projection to partial model checking and back	2019-09-16	Paper
Measuring security in IoT communications	2019-03-13	Paper
A formal approach to open multiparty interactions	2019-02-21	Paper
A Flat Process Calculus for Nested Membrane Interactions	2019-02-08	Paper
https://portal.mardi4nfdi.de/entity/Q5367043	2017-10-12	Paper
An analysis for causal properties of membrane interactions	2016-04-26	Paper
Last Mile’s Resources	2016-03-23	Paper
A Global Occurrence Counting Analysis for Brane Calculi	2016-02-05	Paper
Pierpaolo Degano	2016-01-08	Paper
Static Evidences for Attack Reconstruction	2016-01-08	Paper
Causal static analysis for brane calculi	2015-06-10	Paper
Control Flow Analysis for Brane Calculi	2015-03-19	Paper
Linguistic Mechanisms for Context-Aware Security	2015-01-13	Paper
Control Flow Analysis of Generalised Boolean Networks	2014-03-21	Paper
A Static Analysis for Beta-Binders	2014-01-17	Paper
https://portal.mardi4nfdi.de/entity/Q2849572	2013-09-20	Paper
https://portal.mardi4nfdi.de/entity/Q2849853	2013-09-20	Paper
Open Multiparty Interaction	2013-09-13	Paper
Techniques for Security Checking	2013-07-24	Paper
Static Detection of Logic Flaws in Service-Oriented Applications	2009-10-22	Paper
A control flow analysis for Beta-binders with and without static compartments	2009-08-07	Paper
A Formal Analysis of Complex Type Flaw Attacks on Security Protocols	2009-01-27	Paper
On formal descriptions for knitting recursive patterns	2008-11-25	Paper
Knitting for Fun: A Recursive Sweater	2007-11-15	Paper
Programming Languages and Systems	2007-09-28	Paper
https://portal.mardi4nfdi.de/entity/Q4818860	2004-09-24	Paper
https://portal.mardi4nfdi.de/entity/Q4790411	2003-06-02	Paper
Static analysis for the \(\pi\)-calculus with applications to security	2003-01-14	Paper
https://portal.mardi4nfdi.de/entity/Q4779098	2002-11-24	Paper
Primitives for authentication in process algebras.	2002-07-15	Paper
https://portal.mardi4nfdi.de/entity/Q2766538	2002-07-08	Paper
https://portal.mardi4nfdi.de/entity/Q4505701	2001-09-04	Paper
Names of the \(\pi\)-calculus agents handled locally	2000-12-12	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: Chiara Bodei