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
Art Attach - The digital world with the language of art
2022 Crafa, S.
Art Attach - The digital world with the language of art: Relationships, between aesthetics and digital
2022 Crafa, S.
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
Controlling information release in the π-calculus
2007 Crafa, S.; Rossi, Sabina
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
Pacta sunt servanda: Legal contracts in Stipula
2023 Crafa, S.; Laneve, C.; Sartor, G.; Veschetti, A.
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.