Modellierung biologischer Systeme und ihrer Eigenschaften
Getypte Lambda-Kalküle
Typkonzepte für funktionale Programmiersprachen
Verifikation und Programmtransformation in der funktionalen Programmierung
Ausgewählte Veröffentlichungen
T. Zerjatke and M. Sturm. Solving a PSPACE-complete problem by gene assembly. Journal of Logic and Computation. 23(4):897-908, 2013.
T. Hinze, M. Sturm. Rechnen mit DNA - Eine Einführung in Theorie und Praxis.
Oldenbourg Wissenschaftsverlag München, 316 S., 2004.
M. Sturm, T. Hinze. Verfahren zur Ausführung von
mathematischen Operationen mittels eines DNA-Computers und
DNA-Computer hierzu. Anmeldung als Deutsches Patent DE 101 59 886 A1, IPC G06N 3/00, Deutsches Patentamt München,
offengelegt 2003.
E.P. Stoschek, M. Sturm, T. Hinze, et al.
Molekularbiologisches Verfahren zur Lösung von NP-Problemen. Deutsches Patent
DE 198 53 726 C2, IPC C12N 15/10, Deutsches Patentamt
München, erteilt 2003.
C. Hofmann, M. Sturm. DNA-basierte Modelle - eine spieltheoretische Verifikation. In R. Freund, M. Oswald (Editoren), Tagungsband 16. Theorietag, TU Wien. Austria, 2006.
S. Voigt, M. Sturm. DNA-Computing in vivo. In R. Freund, M. Oswald (Editoren), Tagungsband 16. Theorietag, TU Wien. Austria, 2006.
T. Hinze, U. Hatnik, M. Sturm.
An object-oriented simulation of real occurring molecular biological
processes for DNA computing and its experimental verification.
In N. Jonoska, N.C. Seeman, editors, DNA Computing. Proceedings Seventh
International Workshop on DNA-Based Computers (DNA7),
Tampa, FL, USA, 2001, Revised Papers.
Series Lecture Notes in Computer Science, ISBN 3-540-43775-4, Vol. 2340,
pp. 1--13, Springer Verlag, 2002.
M. Sturm, T. Hinze. Distributed Splicing of RE with 6 Test Tubes. Romanian Journal of Information Science and Technology, ISSN 1453-8245, Editura Academiei
Romane 4(1-2):211-234, 2001.
U. Hatnik, T. Hinze, M. Sturm. A Probalistic Approach to
Description of Molecular Biological Processes on DNA and Their
Object Oriented Simulation. In V.V. Kluev, N.E. Mastorakis, editors, Proceedings WSES International Conference on Simulation (SIM2001), ISBN 960-8052-40-8, Malta, 01-06 September, 2001.
E.P. Stoschek, M. Sturm, T. Hinze. DNA-Computing - ein
funktionales Modell im laborpraktischen Experiment. Informatik
Forschung und Entwicklung. ISSN 0178-3564, Springer Verlag
16(1):35-52, 2001.
T. Hinze, M. Sturm. Towards an in-vitro Implementation of a Universal
Distributed Splicing Model for DNA Computation. In R. Freund, editor,
Proceedings Theorietag 2000, pages 185-189. TU Wien, Austria, September
2000.
Letzte betreute Arbeiten
Linnemann, Katja. Modelling Cell Response to Hypoxia using P Systems. Großer Beleg, TU Dresden, 2020.
Robin Balzer. P-Systeme mit aktiven Membranen. Bachelorarbeit, TU Dresden, 2019.
Falk Schramm. Simulation von P-Systemen. Masterarbeit, TU Dresden, 2018.
Paul Nitzsche. Eine Modellierung von kolorektalem Krebswachstum mittels P-Systemen. Analyse eines Forschungsthemas, TU Dresden, 2017.
![[English]](images/en.png){kind=small}