The following pages link to Chiara Bodei (Q275995):
Displayed 38 items.
- An analysis for causal properties of membrane interactions (Q275996) (← links)
- Item:Q275995 (redirect page) (← links)
- Names of the \(\pi\)-calculus agents handled locally (Q1589648) (← links)
- Primitives for authentication in process algebras. (Q1603653) (← links)
- A formal approach to open multiparty interactions (Q1727996) (← links)
- Measuring security in IoT communications (Q1731516) (← links)
- Static analysis for the \(\pi\)-calculus with applications to security (Q1854437) (← links)
- Natural projection as partial model checking (Q2208303) (← links)
- The \texttt{link}-calculus for open multiparty interactions (Q2216110) (← links)
- A control flow analysis for Beta-binders with and without static compartments (Q2271446) (← links)
- From natural projection to partial model checking and back (Q2324221) (← links)
- Causal static analysis for brane calculi (Q2348028) (← links)
- (Q2766538) (← links)
- Last Mile’s Resources (Q2796215) (← links)
- Techniques for Security Checking (Q2841279) (← links)
- Open Multiparty Interaction (Q2848868) (← links)
- (Q2849572) (← links)
- (Q2849853) (← links)
- A Static Analysis for Beta-Binders (Q2870298) (← links)
- Linguistic Mechanisms for Context-Aware Security (Q2938152) (← links)
- Static Detection of Logic Flaws in Service-Oriented Applications (Q3184713) (← links)
- Security Metrics at Work on the Things in IoT Systems (Q3297843) (← links)
- Pierpaolo Degano (Q3460854) (← links)
- Static Evidences for Attack Reconstruction (Q3460869) (← links)
- On formal descriptions for knitting recursive patterns (Q3541196) (← links)
- (Q4505701) (← links)
- A Flat Process Calculus for Nested Membrane Interactions (Q4621177) (← links)
- (Q4779098) (← links)
- (Q4790411) (← links)
- (Q4818860) (← links)
- Control Flow Analysis for Brane Calculi (Q5179425) (← links)
- Programming Languages and Systems (Q5308698) (← links)
- (Q5367043) (← links)
- Control Flow Analysis of Generalised Boolean Networks (Q5404092) (← links)
- Knitting for Fun: A Recursive Sweater (Q5426015) (← links)
- A Formal Analysis of Complex Type Flaw Attacks on Security Protocols (Q5505422) (← links)
- A Global Occurrence Counting Analysis for Brane Calculi (Q5743592) (← links)
- Revealing the trajectories of KLAIM tuples, statically (Q6199116) (← links)