IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 41 a 60 di 63
Titolo Anno di pubblicazione Autori Unitn File
On Beta-Binders Communications 1-gen-2008 Quaglia, Paola
Communicating by Compatibility 1-gen-2008 Prandi, DavidePriami, CorradoQuaglia, Paola
An Automatic Translation of SBML into Beta-Binders 1-gen-2008 Ciocchetta, FedericaPriami, CorradoQuaglia, Paola
An Automatic Translation of SBML into Beta-Binders 1-gen-2008 Ciocchetta, FedericaPriami, CorradoQuaglia, Paola
Formal Analysis of BPMN Via a Translation into COWS 1-gen-2008 Prandi, DavideQuaglia, PaolaZannone, Nicola
Communicating by compatibility 1-gen-2008 Prandi, DavidePriami, CorradoQuaglia, Paola
BlenX Static and Dynamic Semantics 1-gen-2009 Priami, CorradoQuaglia, PaolaRomanel, Alessandro
BlenX4Bio – BlenX for Biologists 1-gen-2009 Priami, CorradoBallarini, PaoloQuaglia, Paola
Process Calculi Abstractions for Biology 1-gen-2009 Guerriero, Maria LuisaPrandi, DavidePriami, CorradoQuaglia, Paola
Process Calculi Abstractions for Biology 1-gen-2009 Prandi, DavidePriami, CorradoQuaglia, Paola +
A Translation of Beta-binders in a Prioritized Pi-calculus 1-gen-2009 Cappello, IgorQuaglia, Paola
A translation of Beta-binders in a prioritized pi-calculus 1-gen-2009 Cappello, IgorQuaglia, Paola
A Tool for Checking Probabilistic Properties of COWS Services 1-gen-2010 Cappello, IgorQuaglia, Paola
Approximate Model Checking of Stochastic COWS 1-gen-2010 Quaglia, PaolaSchivo, Stefano
Proceedings Third Workshop From Biology To Concurrency and back: FBTC 2010 1-gen-2010 Quaglia, Paola +
Proceedings of the 8th International Conference on Computational Methods in Systems Biology: CMSB'10 1-gen-2010 Quaglia, Paola
Quantitative Analysis of Services 1-gen-2011 Cappello, IgorQuaglia, PaolaSchivo, Stefano +
Network Inference from Time-Dependent Omics Data 1-gen-2011 Lecca, PaolaNguyen, Thien BaoPriami, CorradoQuaglia, Paola
An imperative language of self-modifying graphs for biological systems 1-gen-2012 Priami, CorradoQuaglia, PaolaZunino, Roberto
Expressing global priorities by best-matching 1-gen-2012 Cappello, IgorQuaglia, Paola
Mostrati risultati da 41 a 60 di 63
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