Informatica teorica, in particolare la teoria della complessità computazionale, con particolare attenzione ai circuiti combinatori e ai modelli di calcolo quantistici.
Sistemi di calcolo a membrane (P Systems).
Parole chiave:
Informatica; Complessità
Pubblicazioni:
A. Leporati, G. Mauri, C. Zandron (2006). "Solving the factorization problem with P Systems. Progress in Natural Sciences". Accettato per la pubblicazione. Versione preliminare in: L. Pan, G. Paun (eds.), Pre-proceedings of the International Conference Bio-Inspired Computing – Theory and Applications (BIC-TA 2006), Membrane Computing Section, Wuhan: China, pp. 144-153.
A. Alhazov, R. Freund, A. Leporati, M. Oswald, C. Zandron (2006). (Tissue) "P Systems with unit rules and energy assigned to membranes". In: Fundamenta Informaticae, IOS Press, vol. 74, pp. 391-408.
A. Leporati, C. Zandron, G. Mauri (2006). "Reversible P Systems to simulate Fredkin circuits". In: Fundamenta Informaticae, IOS Press. vol. 74, pp. 529-548.
A. Leporati, C. Zandron, M.A. Gutiérrez-Naranjo (2006). "P Systems with input in binary form". In: International Journal of Foundations of Computer Science, vol. 17, n. 1, pp. 127-146.
G. Cattaneo, G. Della Vedova, A. Leporati, R. Leporini (2005). "Towards a theory of conservative computing". In: International Journal of Theoretical Physics, vol. 44, n. 7, pp. 861-873.