CINECA IRIS Institutional Research Information System

Sfoglia per Autore  

Opzioni
Mostrati risultati da 21 a 40 di 66
Titolo Data di pubblicazione Autore(i) File
CS2Bio'10: 1st International Workshop on Interactions between Computer Science and Biology 2010 Jean Krivine; Angelo Troina
1st International Workshop on Interactions between Computer Science and Biology (CS2Bio'10) 2010 Jean Krivine; Angelo Troina
CWC simulator (Calculus of Wrapped Compartments) 2010 Marco Aldinucci; Angelo Troina; Ferruccio Damiani; Mario Coppo; Maurizio Drocco; Daniele Rispoli; Eva Sciacca; Salvatore Spinella; Elena Grassi; Maddalena Zacchi
Reachability results for timed automata with unbounded data structures 2010 Ruggero Lanotte; Andrea Maggiolo-Schettini; Angelo Troina
Simulation and Bisimulation for Probabilistic Timed Automata 2010 J. SPROSTON; A. TROINA
A Formalism for the Description of Protein Interaction 2010 Roberto Barbuti; Mariangiola Dezani; Andrea Maggiolo-Schettini; Paolo Milazzo; Angelo Troina
Hybrid Calculus of Wrapped Compartments 2010 Mario Coppo; Ferruccio Damiani; Maurizio Drocco; Elena Grassi; Eva Sciacca; Salvatore Spinella; Angelo Troina
Time and Probability-Based Information Flow Analysis 2010 R. Lanotte; A. Maggiolo-Schettini; A. Troina
Stochastic Calculus of Wrapped Compartments 2010 M. Coppo; F. Damiani; M. Drocco; E. Grassi; A. Troina
Types for BioAmbients 2010 Sara Capecchi; Angelo Troina
Weak Bisimulation for Probabilistic Timed Automata 2010 R. Lanotte; A. Maggiolo-Schettini; A. Troina
A Type System for a Stochastic CLS 2009 Mariangiola Dezani-Ciancaglini; Paola Giannini; Angelo Troina
A Type System for Required/Excluded Elements in CLS 2009 Mariangiola Dezani; Paola Giannini; Angelo Troina
Modelling an Ammonium Transporter with SCLS 2009 Mario Coppo; Ferruccio Damiani; Elena Grassi; Mike Guether; Angelo Troina
Type Disciplines for Analysing Biologically Relevant Properties 2009 Bogdan Aman; Mariangiola Dezani; Angelo Troina
A Methodology for the Stochastic Modelling and Simulation of Sympatric Speciation by Sexual Selection 2009 R. Barbuti; A. Maggiolo-Schettini; P. Milazzo; A. Troina
Stochastic Calculus of Looping Sequences for the Modelling and Simulation of Cellular Pathways 2008 R. Barbuti; A. Maggiolo-Schettini; P. Milazzo; P. Tiberi; A. Troina
Design and Verification of Long-Running Transactions in a Timed Framework 2008 R. Lanotte; A. Maggiolo-Schettini; P. Milazzo; A. Troina
Stochastic Bigraphs 2008 J. Krivine; R. Milner; A. Troina
Bisimulations in Calculi Modelling Membranes 2008 R. BARBUTI; A. MAGGIOLO-SCHETTINI; P. MILAZZO; A. TROINA
Mostrati risultati da 21 a 40 di 66
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