Silvia Crafa

Available identifiers

zbMath Open crafa.silviaMaRDI QIDQ453543

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q6150428	2024-02-06	Paper
Proof search in a context-sensitive logic for molecular biology	2019-01-31	Paper
Typed interpretations of extensible objects	2017-06-13	Paper
Fine-Grained Detection of Privilege Escalation Attacks on Browser Extensions	2016-04-26	Paper
Hereditary History-Preserving Bisimilarity: Logics and Automata	2016-02-26	Paper
The role of concurrency in an evolutionary view of programming abstractions	2015-11-10	Paper
Logical Characterizations of Behavioral Relations on Transition Systems of Probability Distributions	2015-09-17	Paper
A Logic for True Concurrency	2015-08-14	Paper
An overview of Boxed Ambients	2013-07-24	Paper
Bisimulation and simulation algorithms on probabilistic transition systems by abstract interpretation	2012-09-27	Paper
Saving Space in a Time Efficient Simulation Algorithm	2012-07-04	Paper
Event Structure Semantics of Parallel Extrusion in the Pi-Calculus	2012-06-22	Paper
A Spectrum of Behavioral Relations over LTSs on Probability Distributions	2011-09-02	Paper
Probabilistic Bisimulation and Simulation Algorithms by Abstract Interpretation	2011-07-07	Paper
A Logic for True Concurrency	2010-08-31	Paper
A type system for Discretionary Access Control	2009-08-26	Paper
Foundations of Security Analysis and Design II	2009-05-14	Paper
Compositional Event Structure Semantics for the Internal π-Calculus	2008-09-18	Paper
Controlling information release in the \(\pi\)-calculus	2007-08-23	Paper
Trustworthy Global Computing	2006-11-01	Paper
https://portal.mardi4nfdi.de/entity/Q5714432	2006-01-02	Paper
Communication and mobility control in boxed ambients	2005-11-07	Paper
CONCUR 2004 - Concurrency Theory	2005-08-23	Paper
https://portal.mardi4nfdi.de/entity/Q4448368	2004-02-18	Paper
https://portal.mardi4nfdi.de/entity/Q4449234	2004-02-08	Paper
https://portal.mardi4nfdi.de/entity/Q4415245	2003-07-28	Paper
https://portal.mardi4nfdi.de/entity/Q4791832	2003-02-03	Paper
https://portal.mardi4nfdi.de/entity/Q4536624	2002-11-28	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: Silvia Crafa