( en | de | ru )

 

Disambiguierung von "Danos, Vincent"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Compiling Combinatorial Genetic Circuits with Semantic Inference.

, , , , und . CoRR, (2018)

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.

Nicos Danos

Peter Danos

Michael Danos

Peter Danos

Peter Danos

 

Weitere Publikationen von Autoren mit dem selben Namen

Thermodynamic graph-rewriting., , und . Log. Methods Comput. Sci., (2015)Modeling and querying biomolecular interaction networks., , , , und . Theor. Comput. Sci., 325 (1): 25-44 (2004)Annotation of rule-based models with formal semantics to enable creation, analysis, reuse and visualization., , , , , , , , , und . Bioinform., 32 (6): 908-917 (2016)Langevin Dynamics with Variable Coefficients and Nonconservative Forces: From Stationary States to Numerical Methods., , und . Entropy, 19 (12): 647 (2017)Equilibrium and Termination, und . DCM, Volume 26 von EPTCS, Seite 75-84. (2010)Efficient estimates of optimal transport via low-dimensional embeddings., und . CoRR, (2021)Survival of the Fattest: Evolutionary Trade-offs in Cellular Resource Storage., , , und . SASB, Volume 335 von Electronic Notes in Theoretical Computer Science, Seite 91-112. Elsevier, (2018)Local and asynchronous beta-reduction (an analysis of Girard's execution formula), und . LICS, Seite 296-306. IEEE Computer Society, (1993)Labelled Markov Processes: Stronger and Faster Approximations., , und . DTMPP, Volume 87 von Electronic Notes in Theoretical Computer Science, Seite 157-203. Elsevier, (2003)The structure of multiplicatives., und . Arch. Math. Log., 28 (3): 181-203 (1989)