Korten, Till
72  results:
Search for persons X
?
2

Simulation and Verification of Network-Based Biocomputation..:

, In: 2023 IEEE International Symposium on Circuits and Systems (ISCAS),
 
?
7

Biocomputation Using Molecular Agents Moving in Microfluidi..:

, In: Cyber-Physical Systems: Intelligent Models and Algorithms; Studies in Systems, Decision and Control,
 
?
12

Formal Semantics and Verification of Network-Based Biocompu..:

, In: Lecture Notes in Computer Science; Verification, Model Checking, and Abstract Interpretation,
 
?
14

The ALS-Associated FUS (P525L) Variant Does Not Directly In..:

Seifert, Anne ; Drechsler, Hauke ; Japtok, Julia...
International Journal of Molecular Sciences.  22 (2021)  5 - p. 2422 , 2021
 
1-15