Sfoglia per Autore
Impronte digitali, algoritmo e trattamento di dati personali: questioni di "law and technology"
2019 Sitzia, A.; Crafa, S.
Piattaforma o non piattaforma? Considerazioni a margine dell'art. 1, comma 1, lett. c), del d.l. 101/2019
2019 Sitzia, Andrea; Crafa, Silvia
Digital technologies and behavior manipulation
2019 Crafa, S.; Rizzo, M.
On the reactive nature of financial networks
2018 Crafa, Silvia; Varacca, Daniele
Proof search in a context-sensitive logic for molecular biology
2018 Sestini, Filippo; Crafa, Silvia
The chemical approach to typestate-oriented programming
2017 Crafa, Silvia; Padovani, Luca
Understanding the development of modern programming languages in an evolutionary framework [Comprendere lo sviluppo dei moderni linguaggi di programmazione in chiave evolutiva]
2016 Crafa, Silvia
On the chemistry of typestate-oriented actors
2016 Crafa, Silvia; Luca, Padovani
The chemical approach to typestate-oriented programming
2015 Crafa, Silvia; Padovani, Luca
Preface
2015 Crafa, Silvia; Gebler, Daniel E.
Actors vs Shared Memory: two models at work on Big Data application frameworks
2015 Crafa, Silvia; Tronchin, Luca
Modelling the Evolution of Programming Languages
2015 Crafa, Silvia
Fine-Grained Detection of Privilege Escalation Attacks on Browser ExtensionsProgramming Languages and Systems
2015 Stefano, Calzavara; Michele, Bugliesi; Crafa, Silvia; Enrico, Steffinlongo
Logical Characterizations of Behavioral Relations on Transition Systems of Probability Distributions
2015 Crafa, Silvia; Ranzato, Francesco
The role of concurrency in an evolutionary view of programming abstractions
2015 Crafa, Silvia
Computing from LaTeX: automated numerical computing from LaTeX expressions
2014 Crafa, Silvia; Marcuzzi, Fabio; Virgulin, Marco
Hereditary History-Preserving Bisimilarity: Logics and Automata
2014 Baldan, Paolo; Crafa, Silvia
Preface
2014 Borgström, Johannes; Crafa, Silvia
Semantics of (Resilient) X10
2014 Crafa, Silvia; D., Cunningham; V., Saraswat; A., Shinnar; O., Tardieu
A Logic for True Concurrency
2014 Baldan, Paolo; Crafa, Silvia
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile