CRAFA, SILVIA

CRAFA, SILVIA  

Dipartimento di Matematica "Tullio Levi-Civita" - DM  

Mostra records
Risultati 1 - 20 di 21 (tempo di esecuzione: 0.021 secondi).
Titolo Data di pubblicazione Autori Rivista Serie Titolo libro
A Logic for True Concurrency 2014 BALDAN, PAOLOCRAFA, SILVIA JOURNAL OF THE ASSOCIATION FOR COMPUTING MACHINERY - -
A type system for discretionary access control 2009 CRAFA, SILVIA + MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE - -
Access control for mobile agents: the calculus of boxed ambients 2004 CRAFA, SILVIA + ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS - -
Artificial Intelligence and Human Dialogue 2019 crafa JOURNAL OF ETHICS AND LEGAL TECHNOLOGIES - -
Bisimulation and simulation algorithms on probabilistic transition systems by abstract interpretation 2012 CRAFA, SILVIARANZATO, FRANCESCO FORMAL METHODS IN SYSTEM DESIGN - -
Communication and mobility control in boxed ambients 2005 CRAFA, SILVIA + INFORMATION AND COMPUTATION - -
Controlling information release in the pi-calculus. 2007 CRAFA, SILVIA + INFORMATION AND COMPUTATION - -
Digital technologies and behavior manipulation 2019 Crafa S. + MONDO DIGITALE - -
From agent-based modeling to actor-based reactive systems in the analysis of financial networks 2021 Crafa S. JOURNAL OF ECONOMIC INTERACTION AND COORDINATION - -
Il business della vendita dei dati, pratiche e conseguenze nell'etica sociale 2019 Crafa SZangari A MONDO DIGITALE - -
Impronte digitali, algoritmo e trattamento di dati personali: questioni di "law and technology" 2019 sitzia a.crafa s. IL LAVORO NELLA GIURISPRUDENZA - -
Logical Characterizations of Behavioral Relations on Transition Systems of Probability Distributions 2015 CRAFA, SILVIARANZATO, FRANCESCO ACM TRANSACTIONS ON COMPUTATIONAL LOGIC - -
MitopatHs: A new logically-framed tool for visualizing multiple mitochondrial pathways 2021 Zanella, MarcoPinton, PaoloCrafa, Silvia + ISCIENCE - -
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 - -
Proof search in a context-sensitive logic for molecular biology 2018 SESTINI, FILIPPOCrafa, Silvia JOURNAL OF LOGIC AND COMPUTATION - -
Saving space in a time efficient simulation algorithm 2011 CRAFA, SILVIARANZATO, FRANCESCO + FUNDAMENTA INFORMATICAE - -
The chemical approach to typestate-oriented programming 2017 Crafa, Silvia + ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS - -
The data selling business, its practices and consequences in social ethics 2019 Crafa S.Zangari A. MONDO DIGITALE - -
The role of concurrency in an evolutionary view of programming abstractions 2015 CRAFA, SILVIA THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING - -
Typed interpretations of extensible objects 2002 CRAFA, SILVIA + ACM TRANSACTIONS ON COMPUTATIONAL LOGIC - -