IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 49
Titolo Anno di pubblicazione Autori Unitn File
Shape Spaces in Formal Interactions 1-gen-2005 Prandi, DavidePriami, CorradoQuaglia, Paola
Formal executable descriptions of biological systems 1-gen-2005 Prandi, DavidePriami, CorradoQuaglia, Paola +
Shape spaces in formal interactions 1-gen-2005 Prandi, DavidePriami, CorradoQuaglia, Paola
Process Calculi in a Biological Context 1-gen-2005 Prandi, DavidePriami, CorradoQuaglia, Paola
Developing An Hierarchical Simulator for Beta-binders 1-gen-2006 Lecca, PaolaPrandi, DavidePriami, CorradoQuaglia, Paola +
Process Calculi Abstractions for Biology 1-gen-2006 Prandi, DavidePriami, CorradoQuaglia, PaolaGuerriero, Maria Luisa
Developing An Hierarchical Simulator for Beta-binders 1-gen-2006 Lecca, PaolaPrandi, DavidePriami, CorradoQuaglia, Paola +
Beta-binders for Biological Quantitative Experiments 1-gen-2006 Prandi, DavidePriami, CorradoQuaglia, Paola +
Beta-binders for biological quantitative experiments 1-gen-2006 Prandi, DavidePriami, CorradoQuaglia, Paola +
A Formal Approach to Molecular Docking 1-gen-2006 Davide Prandi
Stochastic COWS 1-gen-2007 Prandi, DavideQuaglia, Paola
Effective Index: A Formal Measure of Drug Effects 1-gen-2007 Dematte', LorenzoPrandi, DavidePriami, CorradoRomanel, Alessandro
Stochastic COWS 1-gen-2007 Prandi, DavideQuaglia, Paola
Effective Index: A Formal Measure of Drug Effects 1-gen-2007 Demattè, LorenzoPrandi, DavidePriami, CorradoRomanel, Alessandro
Simulation of non-Markovian Processes in BlenX 1-gen-2008 Prandi, DavidePriami, CorradoRomanel, Alessandro
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
Communicating by compatibility 1-gen-2008 Prandi, DavidePriami, CorradoQuaglia, 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 +
Mostrati risultati da 1 a 20 di 49
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