Till Korten

Publication Activity (10 Years)

Years Active: 2016-2023
Publications (10 Years): 7

Top Topics

Systematic Search Algorithms

Owl Dl Ontology

Formal Semantics

Top Venues

Proc. Natl. Acad. Sci. USA

Adv. Intell. Syst.

Publications

Michelle Aluf-Medina, Avraham Raviv, Himanshu Arora, Till Korten, Hillel Kugler
Simulation and Verification of Network-Based Biocomputation Circuits. ISCAS (2023)
Jingyuan Zhu, Aseem Salhotra, Christoph Robert Meinecke, Pradheebha Surendiran, Roman Lyttleton, Danny Reuter, Hillel Kugler, Stefan Diez, Alf Månsson, Heiner Linke, Till Korten
Solving the 3-Satisfiability Problem Using Network-Based Biocomputation. Adv. Intell. Syst. 4 (12) (2022)
Michelle Aluf-Medina, Till Korten, Avraham Raviv, Dan V. Nicolau Jr., Hillel Kugler
Formal Semantics and Verification of Network-Based Biocomputation Circuits. VMCAI (2021)
Michael Konopik, Till Korten, Heiner Linke, Eric Lutz
Solving the subset sum problem with a nonideal biological computer. CoRR (2021)
Jingyuan Zhu, Till Korten, Hillel Kugler, Falco C. M. J. M. van Delft, Alf Månsson, Danny Reuter, Stefan Diez, Heiner Linke
Physical requirements for scaling up network-based biocomputation. CoRR (2021)
Dan V. Nicolau Jr., Mercy Lard, Till Korten, Falco C. M. J. M. van Delft, Malin Persson, Elina Bengtsson, Alf Månsson, Stefan Diez, Heiner Linke, Dan V. Nicolau
Reply to Einarsson: The computational power of parallel network exploration with many bioagents. Proc. Natl. Acad. Sci. USA 113 (23) (2016)
Dan V. Nicolau Jr., Mercy Lard, Till Korten, Falco C. M. J. M. van Delft, Malin Persson, Elina Bengtsson, Alf Månsson, Stefan Diez, Heiner Linke, Dan V. Nicolau
Parallel computation with molecular-motor-propelled agents in nanofabricated networks. Proc. Natl. Acad. Sci. USA 113 (10) (2016)