Linguaggi formali, modelli di calcolo molecolare, computazione con DNA e complessita' computazionale.
Modelli di calcolo che formalizzano l'azione degli enzimi di restrizione sulle molecole di DNA.
Modelli di computazione ispirati al funzionamento delle cellule (studio degli aspetti computazionali di tali modelli e la loro applicazione alla simulazione di processi di tipo biologico).
Parole chiave:
Calcolo molecolare; Computazione con DNA
Keywords:
Molecular Computing, DNA Computing
Pubblicazioni:
C. Ferretti, G. Mauri, C. Zandron (2000). "Nine test tubes generate any RE language". In: Theoretical Computer Science, vol. 231, n. 2, pp. 171-180.
P. Frisco, C. Zandron (2001). "On variants of communicating distibuted H systems". In: Fundamenta Informaticae, vol. 48, n. 1, pp. 9-20.
D. Besozzi, C. Zandron, G. Mauri, N. Sabadini (2001). "P systems with gemmation of mobile membranes". In: Theoretical Computer Science, Proc. of 7th ICTCS, LNCS 2202, pp. 136-153.
G. Mauri, C. Zandron, (2002). "Membrane systems for computing". In: G. Minati, E. Pessa (eds.), Emergence in Complex, Cognitive, Social, and Biological Systems, New York: Kluwer, pp. 213-232.
Gh. Paun, G. Rozenberg, A. Salomaa, C. Zandron (eds.) (2002). "Membrane computing 2002". Lecture Notes in Computer Science, vol. 2597.