CRAFA, SILVIA
CRAFA, SILVIA
Dipartimento di Matematica "Tullio Levi-Civita" - DM
A Logic for True Concurrency
2014 Baldan, Paolo; Crafa, Silvia
A type system for discretionary access control
2009 M., Bugliesi; D., Colazzo; Crafa, Silvia; D., Macedonio
Access control for mobile agents: the calculus of boxed ambients
2004 M., Bugliesi; G., Castagna; Crafa, Silvia
Artificial Intelligence and Human Dialogue
2019 Crafa, Silvia
Bisimulation and simulation algorithms on probabilistic transition systems by abstract interpretation
2012 Crafa, Silvia; Ranzato, Francesco
Communication and mobility control in boxed ambients
2005 M., Bugliesi; Crafa, Silvia; M., Merro; V., Sassone
Controlling information release in the pi-calculus.
2007 Crafa, Silvia; S., Rossi
Digital technologies and behavior manipulation
2019 Crafa, S.; Rizzo, M.
From agent-based modeling to actor-based reactive systems in the analysis of financial networks
2021 Crafa, S.
Il business della vendita dei dati, pratiche e conseguenze nell'etica sociale
2019 Crafa, S; Zangari, A
Impronte digitali, algoritmo e trattamento di dati personali: questioni di "law and technology"
2019 Sitzia, A.; Crafa, S.
Logical Characterizations of Behavioral Relations on Transition Systems of Probability Distributions
2015 Crafa, Silvia; Ranzato, Francesco
MitopatHs: A new logically-framed tool for visualizing multiple mitochondrial pathways
2021 Marchi, Saverio; Zanella, Marco; Pinton, Paolo; Crafa, Silvia; Boniolo, Giovanni
Piattaforma o non piattaforma? Considerazioni a margine dell'art. 1, comma 1, lett. c), del d.l. 101/2019
2019 Sitzia, Andrea; Crafa, Silvia
Proof search in a context-sensitive logic for molecular biology
2018 Sestini, Filippo; Crafa, Silvia
Saving space in a time efficient simulation algorithm
2011 Crafa, Silvia; Ranzato, Francesco; Tapparo, F.
The chemical approach to typestate-oriented programming
2017 Crafa, Silvia; Padovani, Luca
The data selling business, its practices and consequences in social ethics
2019 Crafa, S.; Zangari, A.
The role of concurrency in an evolutionary view of programming abstractions
2015 Crafa, Silvia
Typed interpretations of extensible objects
2002 V., Bono; M., Bugliesi; Crafa, Silvia