( en | de | ru )

 

Disambiguierung von "Steggles, L. Jason"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Semantic Analysis of Logics That Cope with Partial Terms.

, , und . ABZ, Volume 7316 von Lecture Notes in Computer Science, Seite 252-265. Springer, (2012)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Ian Jason

Jason Miskuly

Jason Crook

Jason Tam

Jason Pazis

 

Weitere Publikationen von Autoren mit dem selben Namen

An abstraction theory for qualitative models of biological systems., und . Theor. Comput. Sci., (2012)Modeling Genetic Regulatory Networks., , und . Modeling in Systems Biology, The Petri Net Approach, Volume 16 von Computational Biology, Springer, (2016)A Case for Using Signal Transition Graphs for Analysing and Refining Genetic Networks., , und . MeCBIC, Volume 227 von Electronic Notes in Theoretical Computer Science, Seite 3-19. Elsevier, (2008)A Semantic Analysis of Logics That Cope with Partial Terms., , und . ABZ, Volume 7316 von Lecture Notes in Computer Science, Seite 252-265. Springer, (2012)Modelling and Analysing Genetic Networks: From Boolean Networks to Petri Nets., , und . CMSB, Volume 4210 von Lecture Notes in Computer Science, Seite 127-141. Springer, (2006)Strategy based semantics for mobility with time and access permissions., , und . Formal Aspects Comput., 27 (3): 525-549 (2015)A High-Level Petri Net Framework for Genetic Regulatory Networks., und . J. Integr. Bioinform., (2007)SARGE: a tool for creation of putative genetic networks., , , und . Bioinform., 20 (18): 3638-3640 (2004)Qualitatively modelling and analysing genetic regulatory networks: a Petri net approach., , , und . Bioinform., 23 (3): 336-343 (2007)Automatic Parameterisation of Stochastic Petri Net Models of Biological Networks., , und . PASM@FM, Volume 151 von Electronic Notes in Theoretical Computer Science, Seite 111-129. Elsevier, (2005)