Autor der Publikation

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Logic circuits based on molecular spider systems., , und . Biosyst., (2016)An executable meta-language for inductive definitions with binders.. University of Cambridge, UK, (2010)British Library, EThOS.Towards Temporal Logic Computation Using DNA Strand Displacement Reactions., und . UCNC, Volume 10240 von Lecture Notes in Computer Science, Seite 41-55. Springer, (2017)Encoding Abstract Syntax Without Fresh Names., und . J. Autom. Reason., 49 (2): 115-140 (2012)Constraint solving in non-permutative nominal abstract syntax. Logical Methods in Computer Science, (2011)Design and Simulation of a Multilayer Chemical Neural Network That Learns via Backpropagation.. Artif. Life, 29 (3): 308-335 (Summer 2023)Scalable Design of Logic Circuits Using an Active Molecular Spider System., , und . IPCAT, Volume 9303 von Lecture Notes in Computer Science, Seite 13-28. Springer, (2015)Resolving Inductive Definitions with Binders in Higher-Order Typed Functional Programming., und . ESOP, Volume 5502 von Lecture Notes in Computer Science, Seite 47-61. Springer, (2009)Contextual equivalence for inductive definitions with binders in higher order typed functional programming., und . J. Funct. Program., 23 (6): 658-700 (2013)Operant conditioning of stochastic chemical reaction networks., und . PLoS Comput. Biol., 18 (11): 1010676 (November 2022)