Inizio della pagina -
Logo dell'Università degli Studi di Milano-Bicocca
|
Visita la Versione ad elevata leggibilità
|
Vai al Contenuto della pagina
|
Vai alla Fine dei contenuti
|
Vai al Menu Principale
|
Vai alla Barra di navigazione (sei in)
|
Vai al Menu di navigazione (albero)
|
Vai alla Lista dei comandi
|
Vai alla Lista degli approfondimenti
|
Vai al Menu inferiore
|
|Lista dei comandi|
LEPORATI ALBERTO OTTAVIO
Foto di LEPORATI ALBERTO OTTAVIO
Tel.: 02 6448 7877
alberto.leporati@unimib.it
LEPORATI ALBERTO OTTAVIO
professore associato
Settore scientifico disciplinare:
Dottore di ricerca in:
Informatica, Università degli Studi di Milano
Dipartimento:
Edificio e stanza:
U14-2010
Corso di laurea in:
Informatica
Corso di laurea magistrale in:
Informatica
Dottorato in:
Informatica
Aree tematiche di ricerca:
  1. Informatica teorica - in particolare, teoria della complessità computazionale.
  2. Modelli di calcolo quantistici.
  3. Sistemi di calcolo a membrane (P Systems).
  4. Crittografia e sicurezza informatica.
Parole chiave:
Informatica teorica; Complessità computazionale; Calcolo naturale; Computazioni con membrane; P systems
Keywords:
Theoretical Computer Science; Computational Complexity; Natural Computing; Membrane Computing; P Systems
Pubblicazioni:
  • Alhazov, A., Antoniotti, M., & Leporati, A.O. (2013). Characterizing the computational power of energy-based P systems. International journal of computer mathematics, 90(4), 789-800. - ISSN: 0020-7160 EISSN: 1029-0265
  • Mauri, G., Leporati, A., Porreca, A., & Zandron, C. (2013). Recent complexity-theoretic results on P systems with active membranes. Journal of logic and computation. - ISSN: 0955-792X EISSN: 1465-363X
  • Porreca, A.E., Zandron, C., Leporati, A.O., & Mauri, G. (2013). Sublinear Space P Systems with Active Membranes. In Membrane Computing: 13th International Conference, CMC 2012 (pp.342-357). Berlino : Springer. - ISBN: 978-3-642-36750-2
  • Frisco, P., Govan, G., & Leporati, A.O. (2012). Asynchronous P systems with active membranes. Theoretical computer science, 429, 74-86. - ISSN: 0304-3975 EISSN: 1879-2294
  • Porreca, A.E., Leporati, A.O., Mauri, G., & Zandron, C. (2012). P Systems Simulating Oracle Computations. In Proc. CMC 2011 – 12th Int. Conf. on Membrane Computing (pp.346-358). Berlin : Springer Verlag. - ISBN: 978-3-642-28023-8
  • Porreca, A.E., Leporati, A., Mauri, G., & Zandron, C. (2011). Elementary Active Membranes Have the Power of Counting. International Journal of Natural Computing Research, 2(3), 35-48. - ISSN: 1947-928X EISSN: 1947-9298
  • Porreca, A.E., Leporati, A.O., Mauri, G., & Zandron, C. (2011). P systems with active membranes: Trading time for space. Natural computing, 10(1), 167-182. - ISSN: 1567-7818 EISSN: 1572-9796
  • Porreca, A.E., Leporati, A.O., Mauri, G., & Zandron, C. (2011). P systems with active membranes working in polynomial space. International journal of foundations of computer science, 22(1), 65-73. - ISSN: 0129-0541 EISSN: 1793-6373
  • Valsecchi, A., Porreca, A.E., Leporati, A.O., Mauri, G., & Zandron, C. (2010). An Efficient Simulation of Polynomial-Space Turing Machines by P Systems with Active Membranes. In Membrane Computing, 10th International Workshop, WMC10, Revised Selected and Invited Papers (pp.461-478). Springer-Verlag. - ISBN: 978-3-642-11466-3 ISSN: 0302-9743
  • Porreca, A.E., Leporati, A.O., Mauri, G., & Zandron, C. (2010). Complete problems for a variant of P systems with active membranes. Romanian journal of information science and technology, 13(2), 197-207. - ISSN: 1453-8245
  • Leporati, A.O., Besozzi, D., Cazzaniga, P., Pescini, D., & Ferretti, C. (2010). Computing with energy and chemical reactions. Natural Computing, 9(2), 493-512. - ISSN: 1567-7818 EISSN: 1572-9796
  • Ishdorj, T., Leporati, A.O., Pan, L., Zeng, X., & Zhang, X. (2010). Deterministic solutions to QSAT and Q3SAT by spiking neural P systems with pre–computed resources. Theoretical computer science, 411, 2345-2358. - ISSN: 0304-3975
  • Felloni, S., Leporati, A.O., & Strini, G. (2010). Diagrams of States in Quantum Information: an Illustrative Tutorial. International Journal of Unconventional Computing, 6(3-4), 197-221. - ISSN: 1548-7199
  • Mauri, G., Leporati, A.O., & Zandron, C. (2010). Energy-based Models of P systems. In Membrane Computing, 10th International Workshop, WMC10, Revised Selected and Invited Papers (pp.104-124). Springer-Verlag. - ISBN: 978-3-642-11466-3 ISSN: 0302-9743
  • Leporati, A., & Ferretti, C. (2010). Modeling and Analysis of Firewalls by (Tissue-like) P Systems. Romanian Journal of Information Science and Technology, 13(2), 169-180. - ISSN: 1453-8245
  • Porreca, A.E., Leporati, A.O., & Zandron, C. (2010). On a Powerful Class of Non-universal P Systems with Active Membranes. In Developments in Language Theory (pp.364-375). Berlino : Springer-Verlag. - ISBN: 978-3-642-14454-7
  • Porreca, A.E., Leporati, A.O., Mauri, G., & Zandron, C. (2010). P Systems with Elementary Active Membranes: Beyond NP and coNP. In Membrane Computing. Proceedings of the 11th International Conference on Membrane Computing (CMC11) (pp.338-347). Berlin : Springer Verlag. - ISBN: 978-3-642-18122-1
  • Leporati, A.O. (2010). Quantum Inspired (UREM) P Systems: Definition and Computational Power. In The Oxford Handbook of Membrane Computing (pp. 621-631). Oxford University Press. - ISBN: 978-0199556670
  • Ishdorj, T.O., Leporati, A.O., Pan, L., & Wang, J. (2010). Solving NP-complete Problems by Spiking Neural P Systems with Budding Rules. In Membrane Computing: 10th International Workshop, WMC 2009 (pp.335-353). Berlin : Springer. - ISBN: 978-3-642-11466-3
  • Ibarra, O.H., Leporati, A.O., Păun, A., & Woodworth, S. (2010). Spiking Neural P Systems: Characterizations and Complexity. In The Oxford Handbook of Membrane Computing (pp. 337-362). Oxford University Press. - ISBN: 978-0199556670
  • Besozzi, D., Busi, N., Cazzaniga, P., Ferretti, C., Leporati, A.O., Mauri, G., et al. (2009). (Tissue) P Systems with Cell Polarity. Mathematical Structures in Computer Science; MSCS, 19, 1141-1160. - ISSN: 0960-1295 EISSN: 1469-8072
  • Leporati, A.O., Ferretti, C., Mauri, G., Pérez-Jiménez, M.J., & Zandron, C. (2009). Complexity Aspects of Polarizationless Membrane Systems. Natural computing, 8(4), 703-717. - ISSN: 1567-7818 EISSN: 1572-9796
  • Gutiérrez-Naranjo, M.A., & Leporati, A.O. (2009). First Steps Towards a CPU Made of Spiking Neural P Systems. International Journal on Computers, Communication and Control, 4(3), 244-252. - ISSN: 1841-9836 EISSN: 1841-9844
  • Leporati, A.O., Zandron, C., & Mauri, G. (2009). How Redundant Is Your Universal Computation Device?. In Proc. 9th International Workshop on Membrane Computing - WMC9 (pp.274-291). Berlin : Springer-Verlag. - ISBN: 9783540958840
  • Porreca, A.E., Leporati, A.O., Mauri, G., & Zandron, C. (2009). Introducing a Space Complexity Measure for P Systems. International Journal of Computers, Communications and Control, 4(3), 301-310. - ISSN: 1841-9836
  • Leporati, A.O., Zandron, C., Ferretti, C., & Mauri, G. (2009). On the Computational Power of Spiking Neural P Systems. International journal of unconventional computing, 5(5), 459-473. - ISSN: 1548-7199 EISSN: 1548-7202
  • Leporati, A.O., Mauri, G., Zandron, C., Păun, G., & Pérez-Jiménez, M.J. (2009). Uniform solutions to SAT and Subset Sum by spiking neural P systems. Natural computing, 8(4), 681-702. - ISSN: 1567-7818 EISSN: 1572-9796
  • Zandron, C., Leporati, A.O., Ferretti, C., Mauri, G., & Pérez-Jiménez, M.J. (2008). On the Computational Efficiency of Polarizationless Recognizer P Systems with Strong Division and Dissolution. Fundamenta Informaticae, 87(1), 79-91. - ISSN: 0169-2968
  • Cattaneo, G., Leporati, A.O., & Leporini, R. (2008). Quantum Conservative Many-Valued Computing. Fuzzy sets and systems, 159(9), 1001-1030. - ISSN: 0165-0114
  • Leporati, A.O., & Gutierrez-Naranjo, M.A. (2008). Solving Subset Sum by Spiking Neural P Systems with Pre–computed Resources. Fundamenta Informaticae, 87(1), 61-77. - ISSN: 0169-2968 EISSN: 1875-8681
  • Ishdorj, T.O., & Leporati, A.O. (2008). Uniform solutions to SAT and 3-SAT by spiking neural P systems with pre–computed resources. Natural computing, 7(4), 519-534. - ISSN: 1567-7818 EISSN: 1572-9796
  • Leporati, A.O. (2007). (UREM) P Systems with a Quantum-Like Behavior: Background, Definition and Computational Power. In Membrane Computing: 8th International Workshop, WMC 8, Revised Selected and Invited Papers (pp.32-53). Springer. - ISBN: 978-3-540-77311-5 ISSN: 0302-9743
  • Leporati, A., Zandron, C., Ferretti, C., & Mauri, G. (2007). Solving Numerical NP-Complete Problems with Spiking Neural P Systems. In Membrane Computing. 8th International Workshop, WMC 2007 Thessaloniki, Greece, June 25-28, 2007 Revised Selected and Invited Papers Proceedings (pp.336-352). Berlin : Springer. - ISBN: 9783540773115 ISSN: 0302-9743
  • Leporati, A., Zandron, C., & Mauri, G. (2007). Solving the Factorization Problem with P Systems. Progress in Natural Science, 17(4), 471-478. - ISSN: 1200-0071
  • Leporati, A.O., & Felloni, S. (2007). Three "quantum" algorithms to solve 3-SAT. Theoretical computer science, 372(2-3), 218-241. - ISSN: 0304-3975
  • Alhazov, A., Freund, R., Leporati, A.O., Oswald, M., & Zandron, C. (2006). (Tissue) P systems with unit rules and energy assigned to membranes. FUNDAMENTA INFORMATICAE, 74(4), 391-408. - ISSN: 0169-2968
  • Leporati, A.O., & Pagani, D. (2006). A Membrane Algorithm for the Min Storage Problem. In Membrane Computing: 7th International Workshop, WMC 7, Revised Selected and Invited Papers (pp.443-462). Springer. - ISBN: 978-3-540-69088-7 ISSN: 0302-9743
  • Leporati, A., Zandron, C., & Gutierrez-Naranjo, M.A. (2006). P systems with input in binary form. INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, 17(1), 127-146. - ISSN: 0129-0541
  • Cazzaniga, P., Leporati, A.O., Mauri, G., & Zandron, C. (2006). P Systems with Memory. In Membrane Computing. 6th International Workshop, WMC 2005, Vienna, Austria, July 18-21, 2005, Revised Selected and Invited Papers (pp.165-180). Berlin : Springer. - ISBN: 9783540309482 ISSN: 0302-9743
  • Leporati, A., Mauri, G., & Zandron, C. (2006). Quantum Sequential P Systems with Unit Rules and Energy Assigned to Membranes. In Membrane Computing. 6th International Workshop, WMC 2005, Vienna, Austria, July 18-21, 2005, Revised Selected and Invited Papers (pp.310-325). Berlin : Springer. - ISBN: 9783540309482 ISSN: 0302-9743
  • Leporati, A., Zandron, C., & Mauri, G. (2006). Reversible P systems to simulate Fredkin circuits. FUNDAMENTA INFORMATICAE, 74(4), 529-548. - ISSN: 0169-2968
  • Leporati, A.O., & Zandron, C. (2005). A family of P systems which solve 3-SAT. In Cellular Computing (Complexity Aspect), ESF PESC Exploratory Workshop (pp.247-256). Seville : Fénix Editora. - ISBN: 84-609-5338-6
  • Leporati, A.O., Zandron, C., & Mauri, G. (2005). Conservative Computations in Energy-based P Systems. In Membrane Computing: 5th International Workshop (pp.344-358). Springer-Verlag. - ISBN: 978-3-540-25080-7
  • Gutiérrez-Naranjo, M.A., Leporati, A.O., & Zandron, C. (2005). Converting integer numbers from binary to unary notation with P systems. In Cellular Computing (Complexity Aspect), ESF PESC Exploratory Workshop (pp.201-208). Seville : Fénix Editora. - ISBN: 84-609-5338-6
  • Dalla Chiara, M.L., Giuntini, R., Leporati, A.O., & Leporini, R. (2005). Qubit Semantics and Quantum Trees. International journal of theoretical physics, 44(7), 971-983. - ISSN: 0020-7748 EISSN: 1572-9575
  • Freund, R., Leporati, A.O., Oswald, M., & Zandron, C. (2005). Sequential P Systems with Unit Rules and Energy Assigned to Membranes. In Machines, Computations and Universality, 4th International Conference, MCU 2004 (pp.200-210). Springer. - ISBN: 978-3-540-25261-0 ISSN: 0302-9743
  • Cattaneo, G., Della Vedova, G., Leporati, A.O., & Leporini, R. (2005). Towards a Theory of Conservative Computing. International journal of theoretical physics, 44(7), 861-873. - ISSN: 0020-7748 EISSN: 1572-9575
  • Leporati, A.O., Zandron, C., & Mauri, G. (2005). Universal Families of Reversible P Systems. In Machines, Computations, and Universality. 4th International Conference, MCU 2004, Saint Petersburg, Russia, September 21-24, 2004, Revised Selected Papers (pp.257-268). Springer-Verlag. - ISBN: 9783540252610 ISSN: 0302-9743
  • Cattaneo, G., Leporati, A.O., & Leporini, R. (2004). Quantum Conservative Gates for Finite-valued Logics. International journal of theoretical physics, 43(7-8), 1769-1791. - ISSN: 0020-7748 EISSN: 1572-9575
  • Leporati, A.O., Pescini, D., & Zandron, C. (2004). Quantum Energy-based P Systems. In First Brainstorming Workshop on Uncertainty in Membrane Computing. Proceedings (pp.145-167). Palma de Mallorca. - ISBN: 87-7632-897-4
  • Leporati, A., Zandron, C., & Mauri, G. (2004). Simulating the Fredkin gate with energy-based P systems. JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 10(5), 600-619. - ISSN: 0948-695X
  • Mauri, G., & Leporati, A. (2003). On the computational complexity of conservative computing. In Proc. MFCS 2003 – Mathematical Foundations of Computer Science (pp.92-112). Berlin : Springer. - ISBN: 978-3-540-40671-6 ISSN: 0302-9743
  • Cattaneo, G., Leporati, A.O., & Leporini, R. (2002). Fredkin gates for finite-valued reversible and conservative logics. Journal of physics. A, mathematical and general, 35(46), 9755-9785. - ISSN: 0305-4470 EISSN: 1361-6447
  • Cattaneo, G., Leporati, A.O., & Mauri, G. (1998). Spectral Techniques for Depth-3 Threshold Circuits. In Sixth Italian Conference on Theoretical Computer Science (pp.277-289). World Scientific. - ISBN: 9789810236557
Curriculum Vitæ
Curriculum non disponibile

  
Nessun approfondimento presente per questa pagina
© 2005-2016 Università degli Studi di Milano-Bicocca -
Piazza dell'Ateneo Nuovo, 1 - 20126, Milano • tel. 02 6448 1 • Casella PEC: ateneo.bicocca@pec.unimib.it • P.I. 12621570154 • Amministrazione trasparente
- ultimo aggiornamento di questa pagina 05/06/2013