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 (abstract)	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

This page was built for person: Silvia Crafa