CINECA IRIS Institutional Research Information System

Sfoglia per Autore  

Opzioni
Mostra risultati da 61 a 90 di 130
Titolo Data di pubblicazione Autore(i) File
Acquari in Certosa 1-gen-2008 Barbuti, Roberto; Carnevale, G.; Landini, Walter
P Systems with Transport and Diffusion Membrane Channels 1-gen-2008 Barbuti, Roberto; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo; Tini, S.
An Intermediate Language for the Simulation of Biological Systems 1-gen-2008 Barbuti, Roberto; Caravagna, Giulio; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo
A P Systems Flat Form Preserving Step-by-step Behaviour 1-gen-2008 Barbuti, Roberto; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo; Tini, S.
Compositional semantics and behavioral equivalences for P Systems 1-gen-2008 Barbuti, Roberto; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo; Tini, S.
The Calculus of Looping Sequences 1-gen-2008 Barbuti, Roberto; Caravagna, Giulio; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo; Pardini, G.
Stochastic Calculus of Looping Sequences for the Modeling and Simulation of Cellular Pathways 1-gen-2008 Barbuti, Roberto; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo; Tiberi, P; Troina, A.
Stochastic calculus of looping sequences for the modelling and simulation of cellular pathways 1-gen-2008 Barbuti, Roberto; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo; Tiberi, P; Troina, A.
Bisimulations in Calculi Modelling Membranes 1-gen-2008 Barbuti, Roberto; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo; Troina, A.
A Process Calculus for Molecular Interaction Maps 1-gen-2009 Barbuti, Roberto; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo; Pardini, G; Rama, Aureliano
On the Interpretation of Delays in Delay Stochastic Simulation of Biological Systems 1-gen-2009 Barbuti, Roberto; Caravagna, Giulio; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo
Simulation of Kohn's Molecular Interaction Maps through Translation into Stochastic CLS+ 1-gen-2009 Barbuti, Roberto; Lepri, D; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo; Pardini, G; Rama, Aureliano
,Il Museo di Storia naturale e del Territorio in Dalla Galleria pisana al Museo di Storia Naturale e del Territorio 1-gen-2009 Landini, Walter; Barbuti, Roberto; Battaglini, S.
Timed P Automata 1-gen-2009 Barbuti, Roberto; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo; Tesei, L.
Timed P automata 1-gen-2009 Barbuti, Roberto; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo; Tesei, L.
P Systems with Transport and Diffusion Membrane Channels 1-gen-2009 Barbuti, Roberto; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo; Tini, S.
P systems with endosomes 1-gen-2009 Barbuti, Roberto; Caravagna, Giulio; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo
Probabilistic Model Checking of Biological Systems with Uncertain Kinetic Rates 1-gen-2009 Barbuti, Roberto; Levi, Francesca; Milazzo, Paolo; Scatena, G.
An Intermediate Language for the Stochastic Simulation of Biological Systems 1-gen-2009 Barbuti, Roberto; Caravagna, Giulio; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo
Spatial Calculus of Looping Sequences 1-gen-2009 Barbuti, Roberto; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo; Pardini, G.
Modelling the dynamics of an Aedes albopictus population 1-gen-2010 Basuki, T. A.; Cerone, A; Barbuti, Roberto; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo; Rossi, Elisabetta
Aspects of Multiscale Modelling in a Process Algebra for Biological Systems 1-gen-2010 Barbuti, Roberto; Caravagna, Giulio; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo; Tini, S.
A Formalism for the Description of Protein Interaction 1-gen-2010 Barbuti, Roberto; DEZANI CIANCAGLINI, M; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo; Troina, A.
A Notion of Biological Diagnosability Inspired by the Notion of Opacity in Systems Security 1-gen-2010 Barbuti, Roberto; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo; Gruska, D. P.
An Abstract Interpretation Approach for Enhancing the Java Bytecode Verifier 1-gen-2010 Barbuti, Roberto; DE FRANCESCO, Nicoletta; Tesei, L.
Simulation of Kohn’s Interaction Maps through Translation into Stochastic CLS+ 1-gen-2010 Barbuti, Roberto; Lepri, D; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo; Pardini, G; Rama, Aureliano
Membrane Systems Working in Generating and Accepting Modes: Expressiveness and Encodings 1-gen-2010 Barbuti, Roberto; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo; Tini, S.
Tumour suppression by Immune System through Stochastic Oscillations 1-gen-2010 Caravagna, Giulio; D'Onofrio, A; Milazzo, Paolo; Barbuti, Roberto
Compositional Semantics of Spiking Neural P Systems 1-gen-2010 Barbuti, Roberto; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo; Tini, S.
A formalism for the description of protein interaction dedicated to jerzy tiuryn on the occasion of his 60th birthday 1-gen-2010 Barbuti, Roberto; MAGGIOLO SCHETTINI, Andrea; Troina, A; DEZANI CIANCAGLINI, M; Milazzo, Paolo
Mostra risultati da 61 a 90 di 130
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