Prodotto

• Formal synthetic immunology (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• A combined process algebraic, agent and fluid flow approach to emergent crowd behaviour (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
• Causal sets from simple models of computation (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
• Assisting the design of a groupware system - model checking usability aspects of thinkteam (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
• A pseudo-random network mobile automaton with linear growth (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
• A process algebraic fluid flow model of emergency egress (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
• A fluid flow approach to usability analysis of multi-user systems - Full Version (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
• A deontic logical framework for modelling product families (Contributo in atti di convegno) (Prodotto della ricerca)
• Building discrete spacetimes by simple deterministic computations (Articolo in rivista) (Prodotto della ricerca)
• Scalable context-dependent analysis of emergency egress models (Articolo in rivista) (Prodotto della ricerca)
• Modelling crowd dynamics in Bio-PEPA - Extended Abstract (Comunicazione a convegno) (Prodotto della ricerca)
• Reality is Ultimately Digital and its Program is still Undebugged (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)

Incoming links:

Prodotto di

• A deontic logical framework for modelling product families (Contributo in atti di convegno) (Prodotto della ricerca)
• Formal synthetic immunology (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Modelling crowd dynamics in Bio-PEPA - Extended Abstract (Comunicazione a convegno) (Prodotto della ricerca)
• A fluid flow approach to usability analysis of multi-user systems - Full Version (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
• A process algebraic fluid flow model of emergency egress (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
• A pseudo-random network mobile automaton with linear growth (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
• Assisting the design of a groupware system - model checking usability aspects of thinkteam (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
• A combined process algebraic, agent and fluid flow approach to emergent crowd behaviour (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
• Causal sets from simple models of computation (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
• Reality is Ultimately Digital and its Program is still Undebugged (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Building discrete spacetimes by simple deterministic computations (Articolo in rivista) (Prodotto della ricerca)
• Scalable context-dependent analysis of emergency egress models (Articolo in rivista) (Prodotto della ricerca)