CINECA IRIS Institutional Research Information System

Sfoglia per Autore  

Opzioni
Mostra risultati da 41 a 60 di 109
Titolo Data di pubblicazione Autore(i) File
Control Flow Analysis for Brane Calculi 1-gen-2009 Bodei, Chiara; Bracciali, A; Chiarugi, D.
Static detection of logic flaws in service-oriented applications 1-gen-2009 Bodei, Chiara; Brodo, L; Bruni, Roberto
A Control Flow Analysis for Beta-binders with and without Static Compartments 1-gen-2009 Bodei, Chiara
Algoritmi ricorsivi da lavorare ai ferri 1-gen-2009 Bernasconi, Anna; Bodei, Chiara; Pagli, Linda
A Taxonomy of Causality-Based Biological Properties 1-gen-2010 Bodei, Chiara; Bracciali, A; Chiarugi, D; Gori, Roberta
Safer in the Clouds 1-gen-2010 Bodei, Chiara; Ferrari, GIAN-LUIGI; Dinh, V. D.
Choreography Rehearsal 1-gen-2010 Bodei, Chiara; Ferrari, GIAN-LUIGI
Detecting and preventing type flaws at static time 1-gen-2010 Bodei, Chiara; Brodo, L; Degano, Pierpaolo; Gao, H.
Static Analysis Techniques for Session-Oriented Calculi 1-gen-2011 Acciai, L; Bodei, Chiara; Boreale, M; Bruni, Roberto; Vieira, H. T.
L'informatica nella didattica dell'informatica. La danza dei bit: dai fogli a quadretti al palcoscenico. 1-gen-2011 Bodei, Chiara; Grossi, Roberto; Lagana', MARIA RITA; Marco, Righi
A G-Local pi-calculus 1-gen-2011 Bodei, Chiara; Ferrari, GIAN-LUIGI; Dinh, V. D.
Predicting global usages of resources endowed with local policies 1-gen-2011 Bodei, Chiara; Ferrari, GIAN-LUIGI; Dinh, V. D.
Brane Calculi Systems: A Static Preview of their Possible Behaviour 1-gen-2011 Bodei, Chiara; Brodo, L.
Il bivio di Alan 1-gen-2012 Bodei, Chiara; Maria Rita, Laganà
Formalising Security in Ubiquitous and Cloud Scenarios 1-gen-2012 Bodei, Chiara; Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Galletta, Letterio; Mezzetti, Gianluca
Control Flow Analysis of Generalised Boolean Networks 1-gen-2012 Bodei, Chiara; Brodo, L; Chiarugi, D.
An Analysis for Causal Properties of Membrane Interactions 1-gen-2013 Bodei, Chiara; Gori, Roberta; Levi, Francesca
Open Multiparty Interaction 1-gen-2013 Bodei, Chiara; Brodo, L; Bruni, Roberto
Security in Pervasive Applications: A Survey 1-gen-2013 Bodei, Chiara; Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Galletta, Letterio; Mezzetti, Gianluca
Pixel e quadretti: iniziative per le scuole primarie e secondarie. 1-gen-2014 Bodei, Chiara; Lagana', MARIA RITA
Mostra risultati da 41 a 60 di 109
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