Sfoglia per Autore  

Opzioni
Mostrati risultati da 21 a 40 di 70
Titolo Data di pubblicazione Autori Rivista Serie Titolo libro
Impronte digitali, algoritmo e trattamento di dati personali: questioni di "law and technology" 2019 sitzia a.crafa s. IL LAVORO NELLA GIURISPRUDENZA - -
Piattaforma o non piattaforma? Considerazioni a margine dell'art. 1, comma 1, lett. c), del d.l. 101/2019 2019 Sitzia, AndreaCrafa, Silvia BOLLETTINO ORDINARIO ADAPT - -
Digital technologies and behavior manipulation 2019 Crafa S. + MONDO DIGITALE - -
On the reactive nature of financial networks 2018 Crafa, Silvia + - CEUR WORKSHOP PROCEEDINGS CEUR Workshop Proceedings
Proof search in a context-sensitive logic for molecular biology 2018 SESTINI, FILIPPOCrafa, Silvia JOURNAL OF LOGIC AND COMPUTATION - -
The chemical approach to typestate-oriented programming 2017 Crafa, Silvia + ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS - -
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 MONDO DIGITALE - -
On the chemistry of typestate-oriented actors 2016 CRAFA, SILVIA + - - -
The chemical approach to typestate-oriented programming 2015 CRAFA, SILVIA + - - Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA
Preface 2015 CRAFA, SILVIA + - - Electronic Proceedings in Theoretical Computer Science, EPTCS
Actors vs Shared Memory: two models at work on Big Data application frameworks 2015 CRAFA, SILVIATRONCHIN, LUCA - - -
Modelling the Evolution of Programming Languages 2015 CRAFA, SILVIA - - -
Fine-Grained Detection of Privilege Escalation Attacks on Browser ExtensionsProgramming Languages and Systems 2015 CRAFA, SILVIA + - - Lecture Notes in Computer ScienceProgramming Languages and Systems
Logical Characterizations of Behavioral Relations on Transition Systems of Probability Distributions 2015 CRAFA, SILVIARANZATO, FRANCESCO ACM TRANSACTIONS ON COMPUTATIONAL LOGIC - -
The role of concurrency in an evolutionary view of programming abstractions 2015 CRAFA, SILVIA THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING - -
Computing from LaTeX: automated numerical computing from LaTeX expressions 2014 CRAFA, SILVIAMARCUZZI, FABIO + - - -
Hereditary History-Preserving Bisimilarity: Logics and Automata 2014 BALDAN, PAOLOCRAFA, SILVIA LECTURE NOTES IN COMPUTER SCIENCE - Programming Languages and Systems 2014
Preface 2014 CRAFA, SILVIA + - - Electronic Proceedings in Theoretical Computer Science, EPTCS
Semantics of (Resilient) X10 2014 CRAFA, SILVIA + LECTURE NOTES IN COMPUTER SCIENCE - ECOOP 2014 Object-Oriented Programming
A Logic for True Concurrency 2014 BALDAN, PAOLOCRAFA, SILVIA JOURNAL OF THE ASSOCIATION FOR COMPUTING MACHINERY - -
Mostrati risultati da 21 a 40 di 70
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