〮 •

Giancarlo Mauri Curriculum Vitae

Place/date of birth: Usmate Velate, Italy; April 9, 1949 Citizenship: Italian Address: Università degli Studi di Milano-Bicocca Dip. di Informatica, Sistemistica e Comunicazione Viale Sarca 336 20126 Milano (Italy) Telephone: +39 02 64487828 Email: giancarlo.mauri@unimib.it

1. Education and Academic positions 13.04.1973: Degree (Laurea) in Physics, summa cum laude, Università degli Studi di Milano, Italy

01.11.1977 – 16.12.1979: Research grant, Institute of Cybernetics – University of Milano

17.12.1979 – 31.07.1980: Assistant professor of Computer Science at the University of Udine

01.08.1980 – 22.04.1985: Assistant professor of Computer Science at the University of Milano

23.04.1985 – 31.10.1990: Associate professor of Computer Science at the University of Milano

01.11.1990 – 31.10.1998: Full professor of Computer Science at the University of Milano

01.11.1998 – now: Full professor of Computer Science at the University of Milano-Bicocca

27.02.1992 – 31.10.1997 Director of the Dept. of Information Sciences, University of Milano

1994 – 1998: Member of the Scientific Council of Laboratory for Parallelism (LIP), Ecole Normale Superieure, Lyon, France

01.01.2000 – now: Director of the Laboratory of Bioinformatics and Natural Computing (BIMIB), University of Milano-Bicocca,

01.11.2001 – 31.10.2007: Chair of PhD School in Computer Science, University of Milano-Bicocca,

01.11.2003 – 30.09.2009: Member of the Board of Directors of the University of Milano-Bicocca

01.01.2004 – 31.10.2013: Member of the Board of Directors of CoRiMAv (Research Consortium on Advanced Materials)

14.01.2010 – 13.01.2013: Member of the Board of Directors of CINI (Interuniversitary National Consortium for Informatics)

01.10.2010 – 30.09.2018: Director of the Dept. of Computer Science, Systems and Communication, University of Milano-Bicocca

20.11.2013 – now: Member of the Council of CINECA (Italian Supercomputing Center)

19.12.2014 – now: Member of the HPC Committee of the University of Milano-Bicocca

2. Research Topics

My research focuses on the interaction between theory and practice, and has touched on various issues, including: theory of automata and formal languages, neural networks and machine learning algoritms, unconventional computation models such as DNA computing and membrane computing, theory and applications of cellular automata.

In the last 20 years, I became more and more interested in problems of interdisciplinary nature, applying my expertise in designing efficient algorithms and in machine learning to the development of tools for the analysis of biosequences (bioinformatics) and of biomedical data and for the modeling and analysis of complex biological systems (system biology).

My recent research in the area of Bioinformatics and Systems Biology concerns in particular:

Development of efficient algorithms for the analysis of biosequences, in particular for discovery of signals or common motifs in DNA or RNA sequences, reconstruction and comparison of phylogenies, prediction of alternative splicing sites, inference of regulatory networks also through the analysis of transcriptomic data and the clustering of co-regulated genes.

〮 •

Development of biomedical data integration tools through web portals and services. In particular, under the European Neuroweb project, which involved four international clinical neurological centers, I have developed an ontology for integration of data related to cerebrovascular disease (stroke).

Development of tools for modeling and simulation "in silico", both deterministic and stochastic, of complex biological systems and processes. In particular, some signaling pathways in yeast and bacterial chemotaxis have been modeled and simulated. To speed up the simulations, computationally very demanding, implementations on parallel architectures based on GPU have been realized. Furthermore, some theoretical aspects related to the role of noise and to sensitivity analysis in biochemical reaction networks have been studied.

Development of tools based on machine learning techniques and probabilistic inference to study the progression of tumors. One line of research within a project of Systems Biology concerns the modeling and simulation of mitochondrial metabolism in normal and mutated cells to compare different metabolic phenotypes. In a different context I have analyzed expression levels of microRNAs and chromosomal instability for the inference of progression models for breast and colorectal cancers. Finally, I am defining a general conceptual scenario based on "probability raising" techniques and efficient and integrated software tools for the inference of tumor progression models.

During my career, I published about 400 research papers in international journals, books and conference proceedings, on the themes outlined above.

3. Research Projects

I am or have been involved as coordinator of the whole project or of a local unit in the following research projects:

Theory of Algorithms (Ministry of the University), 1982 - 1984

Design and analysis of Algorithms (Ministry of the University), 1984 - 1986

Algorithms and computation models (Ministry of the University) 1985 - 1996

ASMICS 1 and 2 - Algebraic and Syntactic Methods In Computer Science (European Commission ESPRIT Basic Research Action) 1990 - 1996

NEUROCOLT - Neural networks and computational learning theory (European Commission ESPRIT Basic Research Action) 1995 - 1998

OMI/MODES – MOdular MicroElectronic-System DESign (European Commission ESPRIT Contract n. 20.592) 1995-1998

P–vision (Pirelli Coordinamento Pneumatici SpA), 1996 - 1998

CAPP – Cellular Automata for Percolation Processes (Technology Transfer Node NOTSOMAD contract n. 25.999) 1996-1998 – Coordinator

GRAAL: a language based on graphs (ENEL SpA), 1997-1998

Automata and formal languages (Ministry of the University) 1998 - 2001

Analysis and modelling of semi-structured knowledge (ENEL SpA), 1999-2001

Deformalization of formal specifications of complex industrial systems (CESI SpA), 1999-2001

Bioinformatics and genomics (Ministry of the University PRIN Project) 1999-2001

Acquisition and processing of three-dimensional data for classification and recognition of people and objects (Comerson S.p.A.), 2000 - 2002

MolCoNet - Molecular Computing Network (5th European Research Framework, Contract Number IST-2001-32008), 2001 - 2004

Secure communication protocols (ST Microelettronics S.r.l.), 2001

Oncology over the Internet, (Ministry of the University), 2001-2002

Study of cryptographic algorithms and their implementation in embedded systems, (Microsystems Ltd.), 2002

〮 •

Bio-molecular Algorithms for NP complete problems (Ministry of the University) 21/02/2003 - 21/02/2006

NEUROWEB: Integration and sharing of information and knowledge in neurology and neurosciences (6th European Research Framework, Contract no.: 518513), 2006-2008, responsible of the Milano-Bicocca unit

Bronte: Biological processes Redescriptions by ONtology Expressions, (The IST Programme Support Measures, Action Line: IST-2001-8.1.2), 2006-2008

Network Enabled Drug Design (NEDD) - (Lombardy Region) Responsible of WPA3: Bioinformatics and computational biology, 2010/2013

Systems biology of the mitochondrial energetic (Ministry of the University), 2012-2015, responsible of the computational unit

The Home of Internet of Things (Home IoT) (Regione Lombardia – ID139625), 06/12/2016 – 05/06/2019

Information Technology: The Future of Cancer Treatment (FLAG-ERA funds) 2016-2019

4. Invited Talks at conferences and schools (selection) 6th International Conference on Developments in Language Theory – DLT 2002, Kyoto, Japan

Winter School on Complex Systems, Lyon Dec. 2002

20th Twente Workshop on Language Technology: Algebraic Methods in Language Processing, 2003, Verona, Italy

9th International Meeting on DNA Based Computers – DNA9, Madison, Wisconsin, 2003

28th International Symposium on Mathematical Foundations of Computer Science – MFCS 2003, Bratislava, Slovak Republic, August 25-29, 2003

2nd International Conference on Bio-Inspired Computing: Theories and Application – BIC-TA 2007, Zhengzhou, China, September 14-17, 2007

Wivace – Italian Workshop on Artificial Life and Evolutionary Computing, Porto Samuele, Italy, 2007

Workshop "Algorithmic Bioprocesses", Leiden, the Netherlands, 2007

Bertinoro International Summer School on Natural Computation 2008

4th Conference on Computability in Europe – CiE 2008 – Special Session on "Biology and Computation", Athens, Greece, June 15 - 20, 2008

10th International Workshop on Membrane Computing – WMC10, Curtea de Arges, Romania, August 24-27, 2009

6th Conference on Computability in Europe – CiE 2010 – Special Session on "Biology and Computation", Ponta Delgada, Portugal, June 15 - 20, 2010

AMCA 2014 – Advanced Mathematics, Computations and Applications 2014, June 11, 2014, Novosibirsk, Russia: “GPU computing for Systems Biology”

LATA 2015 – 9th International Conference on Language and Automata Theory and Applications

SSBSS 2015 – International Synthetic and Systems Biology Summer School

5. Chairmanship of international conferences

I organized and chaired the following conferences:

Advanced School on Computational Learning and Criptography", Vietri sul mare, Sept 1993

9th Annual Conference on Computational Learning Theory – COLT, Desenzano (Italy), June 28-July 1, 1996

2nd Conference on Cellular Automata for Research and Industry – ACRI 1996, Milan, Italy, October 16-18, 1996

3rd International Workshop on Cellular Automata and Discrete Complex Systems – AUTOMATA 1997, Gargnano, Italy

10th International Meeting on DNA Computing – DNA10, Milan, Italy, June 7-10, 2004

5th International Workshop on Membrane Computing – WMC 5, Milan, Italy, June 14-16, 2004

5th IFIP International Conference on Theoretical Computer Science – TCS 2008, Milano, Italy, September 8 - 10, 2008

〮 •

15th Conference on Developments in Language Theory – DLT 2011, Milano, July 19 – 22, 2011

12th International Conference on Unconventional Computation and Natural Computation – UCNC 2013, Milano, July 1-5, 2013

12th Annual Meeting of the Bioinformatics Italian Society, Milano, June 2015

1st Workshop on Reaction Systems, Milano, June 2018

13th Conference on Cellular Automata for Research and Industry – ACRI 2018, Como (Italy), Sept 17-21, 2018

6. Steering Committees

I am or have been member of the following steering committees:

International Conference on DNA Computing and Molecular Programming, 2005-2011

International Conference on Membrane Computing, 2009-2015

International Conference on Unconventional Computing and Natural Computing, 2011-present

International Conference on Cellular Automata in Research and Industry, 1998-present

International Conference on Bio-inspired Computing: Theories and Applications (BIC-TA)

Developments in Language Theory (DLT)

7. Ph.D. students supervised 1. Emanuele Ciapessoni, Combination of equational unification algorithms, 1988 2. Paola Flocchini, Structural Information and communication complexity,1994 3. Paola Bonizzoni, Primitivity in 2-structures and nei graphs, 1996 4. Claudio Ferretti, Learnability of regular trace languages, 1996 5. Valentino Crespi, Structural and computational properties of some permanents, 1997 6. Flaminia L. Luccio, Communication in distributed systems, 1998 7. Antonio Piccolboni, Protein folding prediction algorithms: positive and negative results, 1998 8. Gianluca Della Vedova, Multiple Sequence Alignment and Phylogenetic Reconstruction: Theory and

Methods in Biological Data Analysis, 2000 9. Claudio Zandron, A model for molecular computing: membrane systems, 2001 10. Giulio Pavesi, String algorithms in computational biology, 2002 11. Alberto Leporati, Threshold circuits and quantum gates, 2002 12. Rosalba Zizza, On the power of classes of splicing systems, 2003 13. Daniela Besozzi, Computational and modelling power of P systems, 2004 14. Sergio Pozzi, Theoretical analysis of causal inference in genetic processes, 2004 15. Riccardo Dondi, Computational problems in the study of genomic variations, 2005 16. Roberto Mosca, Computational methods for the analysis of genomic data,2005 17. Andrea Splendiani, Integration of ontologies and high throughput data in bioinformatics, 2006 18. Marco Stefani, Algorithms for the Analysis of Biological Sequences, 2006 19. Alberto Gallini, Computational and Programming Models for Molecular-scale Devices Based

Machines, 2007 20. Stefano Orciari, Integration of 3G andWireless LAN Architectures: A perspective on Authentication

and Fast Handoff, 2007 21. Marco Brandizi, Managing Microarray Knowledge with the Semantic Web, 2007 22. Ivan Merelli, Image based surface matching oriented to macromolecular functional annotation and

interaction screening, 2008 23. Daniele Merico, integration and analysis of biomedical data in gene expression and in the clinical

domain, 2008 24. Paolo Cazzaniga, Stochastic algorithms for biochemical processes, 2009 25. Ettore Mosca, Membrane Systems and Stochastic Simulation Algorithms for the Modelling of

Biological Systems, 2010 26. Dario Pescini, Modelling, analysis and stochastic simulations of biological systems, 2010 27. Antonella Farinaccio, Computational intelligence approaches: from time series to data driven gene

regulatory network, 2011 28. Paolo Amato, Swarm-Intelligence Strategy for Diagnosis of Endogenous Diseases by Nanobots, 2012

〮 •

29. Andrea Gaetano Citrolo, Novel computational approaches for protein structure prediction and optimization, 2012

30. Stefano de Pretis, Dynamical systems in the fate decision of Embryonic Stem Cells: the role of excitability and bistability, 2012

31. Carlo Maj, Sensitivity Analysis for Computational Models of Biochemical Systems, 2013 32. Santosh Anand, A robust bioinformatics pipeline for the analysis of genomic variations from pooled

DNA using Next Generation Sequencing, 2015 33. Marco S. Nobile, Evolutionary Inference of Biological Systems Accelerated on Graphics Processing

Units, 2014 34. Riccardo Colombo, A computational approach for Multi-level biological complex Systems analysis,

2015 35. Daniele Ramazzotti, A Model of Selective Advantage for the Efficient Inference of Cancer Clonal

Evolution, 2015 36. Leonardo Rundo, Computer-Assisted Analysis of Biomedical Images, 2018

8. Selected papers (last 5 years)

1. A. Dennunzio, E. Formenti, L. Manzoni, G. Mauri (2013), m–Asynchronous Cellular Automata: from fairness to quasi–fairness, Natural Computing 12(4): 561-572

2. R. Dondi, G. Mauri, I. Zoppis (2013), The l–diversity Problem: Tractability and Approximability, Theor Computer Science 511, 159-171

3. G. Caravagna, G. Mauri, A. d'Onofrio (2013). The Interplay of Intrinsic and Extrinsic Bounded Noises in Biomolecular Networks. PLoS ONE 8(2): e51174

4. C. Maj, E. Mosca, I. Merelli, G. Mauri, L. Milanesi (2013). Sensitivity analysis for studying the relation between biochemical reactions and metabolic phenotypes. J of Bioinformatics and Comput Biol 11(1) 1340002

5. A. Leporati, A. E. Porreca, C. Zandron, G. Mauri (2013), Improved Universality Results for Parallel Enzymatic Numerical P Systems, Int. J. of Unconventional Computing 9(5-6): 385-404

6. M. Antoniotti, G. D. Bader, G. Caravagna, S. Crippa, A. Graudenzi, G. Mauri (2013). GeStoDifferent: A Cytoscape plugin for the generation and the identification of Gene Regulatory Networks describing a stochastic cell differentiation process. Bioinformatics 29(4), 513–514

7. M. S. Nobile, P. Cazzaniga, D. Besozzi, D. Pescini, G. Mauri (2014). cuTauLeaping: A GPU–Powered Tau–Leaping Stochastic Simulator for Massive Parallel Analyses of Biological Systems. PLoS ONE 9(3): e91963

8. G. Caravagna, A. D'Onofrio, M. Antoniotti, G.Mauri (2014). Stochastic Hybrid Automata with delayed transitions to model biochemical systems with delays. Information and computation 236, 19–34

9. A. Alhazov, A. Leporati, G. Mauri, A. E. Porreca, C. Zandron (2014), Space complexity equivalence of P systems with active membranes and Turing machines, Theor Computer Science 529, 69–81

10.P. Bonizzoni, R. Dondi, G. Mauri, I. Zoppis (2014), Restricted and Swap Common Superstring: a Multivariate Algorithmic Perspective, Algorithmica 72(4), 914–939

11. P. Cazzaniga, M. S. Nobile, D. Besozzi, M. Bellini, G. Mauri (2014), Massive exploration of perturbed conditions of the blood coagulation cascade through GPU parallelization, BioMed Res International, vol 2014, ID 863298, pag 1-20

12. C. Cava, G. Bertoli, M. Ripamonti, G. Mauri, I. Zoppis, P.A. Della Rosa, M.C. Gilardi, I. Castiglioni (2014), Integration of mRNA expression profile, copy number and microRNA expression levels in Breast Cancer to improve grade definition, PLoS ONE 9(5): e97681

13.L. Olde Loohuis, G. Caravagna, A, Graudenzi, D. Ramazzotti, G. Mauri, A. Antoniotti, B. Mishra (2014), Inferring tree causal models of cancer progression with probability raising, PLoS ONE 9(10):

〮 •

e108358

14.M. S. Nobile, P. Cazzaniga, D. Besozzi, G. Mauri (2014). GPU–accelerated simulations of mass–action kinetics models with cupSODA. Journal of Supercomputing 69(1), 17–24

15.A. Leporati, L. Manzoni, G. Mauri, A. E. Porreca, C. Zandron (2014), Constant–Space P Systems with Active Membranes, Fundamenta Informaticae 134(1–2), 111–128

16.C. Damiani, D. Pescini, R. Colombo, S. Molinari, L. Alberghina, M. Vanoni, G. Mauri (2014). An ensemble evolutionary constraint–based approach to understand the emergence of metabolic phenotypes. Natural Computing 13(3), 321–331

17.A. Valsecchi, L. Vanneschi, G. Mauri (2014), A Study of Search Algorithms’ Optimization Speed, J. Combinatorial Optimization 27(2): 256–270

18.A. G. Citrolo, G. Mauri (2014), A local landscape mapping method for protein structure prediction in the HP model, Natural Computing 13(3), 309–319

19.A. Leporati, G. Mauri, A. E. Porreca, C. Zandron (2014), A Gap in the Space Hierarchy of P Systems with Active Membranes, J. Automata, Languages and Combinatorics 19(1–4), 173–184 ISSN 1430-189X

20.A. Leporati, L. Manzoni, G. Mauri, A. E. Porreca, C. Zandron (2015), Membrane Division, Oracles, and the Counting Hierarchy, Fundamenta Informaticae 138(1–2) 97–111

21.G. Mauri, A. Leporati, A. E. Porreca, C. Zandron (2015), Recent complexity–theoretic results on P systems with active membranes, J. Logic and Computation 25(4), 2015, 1047–1071

22.S. Rubinacci, A. Graudenzi, G. Caravagna. G. Mauri, J. Osborne, J. Pitt-Francis, M. Antoniotti (2015). CoGNaC: a Chaste plugin for the multiscale simulation of Gene regulatory Networks driving the spatial dynamics of tissues and Cancer. Cancer Informatics 2015:14(S4) 53–65

23.D. Ramazzotti, G. Caravagna, L. Olde Loohuis, A. Graudenzi, I. Korsunsky, G. Mauri, M. Antoniotti, B. Mishra (2015), CAPRI: Efficient Inference of Cancer Progression Models from Cross–sectional Data, Bioinformatics 31(18), 2015, 3016-3026

24.M. Di Filippo, R. Colombo, C. Damiani, D. Pescini, D. Gaglio, M. Vanoni, L. Alberghina, G. Mauri (2016), Zooming-in on cancer metabolic rewiring with tissue specific constraint-based models, Computational Biology and Chemistry 62, 60-69

25.A. Leporati, L. Manzoni, G. Mauri, A. E. Porreca, C. Zandron (2016), Trading Geometric Realism for Efficiency in Tissue P Systems, Romanian J. Information, Sci and Tech 19(1-2), 17-30

26.L. De Sano, G. Caravagna, D. Ramazzotti, A. Graudenzi, G. Mauri, B. Mishra, M. Antoniotti (2016), TRONCO: an R package for the inference of cancer progression models from heterogeneous genomic data, Bioinformatics 32(12):1911-1913

27.A. Graudenzi, G. Caravagna, I.M. Bocicor, C. Cava, M. Antoniotti, G. Mauri (2016). Ordering cancer mutational profiles of cross-sectional copy number alterations. Int. J. Data Mining and Bioinformatics 15(1), 59-83

28.A. Leporati, L. Manzoni, G. Mauri, A. E. Porreca, C. Zandron (2016), Monodirectional P systems, Natural Computing 15, 551-564

29.C. Cava, A. Colaprico, G. Bertoli, G. Bontempi, G. Mauri, I. Castiglioni (2016), How interacting pathways are regulated by miRNAs in breast cancer subtypes, BMC Bioinformatics 2016, 17 (Suppl 12):348

30.S. de Franciscis, G. Caravagna, G. Mauri, A. d’Onofrio (2016), Gene switching rate determines response to extrinsic perturbations in the self-activation transcriptional network motif, Scientific Reports 6, Article number: 26980

31.G. Caravagna, A. Graudenzi, D. Ramazzotti, R. Sanz-Pamplona, L. De Sano, G. Mauri, V. Moreno, M. Antoniotti, B. Mishra (2016). Algorithmic methods to infer the evolutionary trajectories in

〮 •

cancer progression. PNAS 113(28): E4025-E4034

32.M. Galli, I. Zoppis, G. De Sio, C. Chinello, F. Pagni, F. Magni, G. Mauri (2016). A Support Vector Machine classification of thyroid bioptic specimens using MALDI-MSI data. Advances in Bioinformatics 2016, Article ID 3791214

33.M.S. Nobile, L.A. Harris, J.C. Pino, D. Besozzi, P. Cazzaniga, G. Mauri, C.F. Lopez (2017). GPU-powered model analysis with PySB and cupSODA. Bioinformatics btx420

34.C. Damiani, M. Di Filippo, D. Pescini, D. Maspero, R. Colombo, G. Mauri (2017), popFBA: tackling intratumour heterogeneity with Flux Balance Analysis, Bioinformatics, 33, 2017, i311–i318

35.A. Leporati, L. Manzoni, G. Mauri, A. E. Porreca, C. Zandron (2017), Tissue P Systems with Small Cell Volume, Fundamenta Informaticae 154(1-4), 261–275

36.A. Leporati, L. Manzoni, G. Mauri, A. E. Porreca, C. Zandron (2017), The counting power of P systems with antimatter, Theoretical Computer Science 701, 161-173

37.A. Graudenzi, C. Cava, G. Bertoli, B. Fromm, K. Flatmark, G. Mauri, I. Castiglioni (2017), Pathway-based classification of breast cancer subtypes, Frontiers In Bioscience, Landmark, 22 (10), 1697-1712

38.A. Tangherloni, M S Nobile, D. Besozzi, G. Mauri, P. Cazzaniga (2017). LASSIE: simulating large-scale models of biochemical systems on GPUs. BMC Bioinformatics (2017) 18:246

39.A. Tangherloni, MS. Nobile, P. Cazzaniga, D. Besozzi, G. Mauri (2017). Gillespie's Stochastic Simulation Algorithm on MIC Coprocessors. Journal of Supercomputing 73(2): 676-686

40.D. Vella, I. Zoppis, G. Mauri, P. Mauri, D. Di Silvestre (2017), From protein-protein interactions to protein co-expression networks: a new perspective to evaluate large-scale proteomic data, EURASIP J on Bioinformatics and Systems Biology 2017:6

41.MS. Nobile, AE. Porreca, S. Spolaor, L. Manzoni, P. Cazzaniga, G. Mauri, D. Besozzi (2017), Efficient simulation of reaction systems on Graphics Processing Units, Fundamenta Informaticae 154(1-4) 307–321

42.A. Dennunzio, E. Formenti, L. Manzoni, G. Mauri, A. E. Porreca (2017), Computational Complexity of Finite Asynchronous Cellular Automata Theor Computer Science 664, 131–143

43.A. Leporati, L. Manzoni, G. Mauri, A. E. Porreca, C. Zandron (2017), Characterising the complexity of tissue P systems with fission rules, J. of Computer and System Sciences 90, 115-128

44.A. Leporati, L. Manzoni, G. Mauri, A. E. Porreca, C. Zandron (2017), A toolbox for simpler active membrane algorithms, Theoretical Computer Science 673, 42–57

45.C. Damiani, R. Colombo, D. Gaglio, F. Mastroianni, D. Pescini, H.V. Westerhoff, G. Mauri, M. Vanoni, L. Alberghina (2017), A metabolic core model elucidates how enhanced utilization of glucose and glutamine, with enhanced glutamine-dependent lactate production, promotes cancer cell growth: the WarburQ effect, PLoS Comput Biol 13(9): e1005758

46.M.S. Nobile, G. Pasi, P. Cazzaniga, D. Besozzi, R. Colombo, G. Mauri (2018), Fuzzy Self-Tuning PSO: A Settings-free Algorithm for Global Optimization, Swarm and Evolutionary Computation 39, 70-85

47.D. Vella, F. Vitali, D. Di Silvestre, G. Mauri, R. Bellazzi (2018), MTGO: PPI network analysis via topological and functional module identification, Scientific Reports, 8(1), 5499

48.R. Colombo, C. Damiani, D. GIlbert, M. Heiner, G. Mauri, D. Pescini (2018), Emerging ensembles of kinetic parameters to identify experimentally observed phenotypes, BMC Bioinformatics, to appear

49.A. Leporati, L. Manzoni, G. Mauri, A E. Porreca, C. Zandron (2018), Subroutines in P systems and closure properties of their complexity classes, Theoretical Computer Science, to appear

9. Membership in national and international associations and societies

I am member of the following associations:

〮 •

IFIP Working Group 1.5 on Cellular Automata o President from 1998 to 2003

European Association of Theoretical Computer Science (EATCS) and Italian Chapter of EATCS o 1994 – 1998: Member of the Council of EATCS o 1991 – 1998: President of the Italian Chapter of EATCS

International Society of Nanoscale Science, Computation and Engineering (ISNSCE)

International Society of Computational Biology (ISCB)

Italian Society of Bioinformatics (BITS) o Cofounder o Member of the Council from 2000 to 2006 and from 2016 to present

Italian Society of Neural Networks (SIREN) o Cofounder

Italian Association for Telemedicine and Medical Informatics (AITIM) o Cofounder o Member of the Scientific Council since 2001

10. Editorial activity

1.1. EDITORIAL BOARDS

Journal on Advanced Researches on Bioinformatics, ISSN: 1943-0213, Institute of Advanced Scientific Research

Natural Computing, ISSN: 1567-7818, Springer Netherlands

Theory of Computing Systems - Guest Editors of Special Issue CSR 2012

BioMed Research International

1.2. REFEREEING

Theoretical Computer Science

Natural Computing – An International Journal

Journal of Pattern Recognition

Journal of Visual Languages and Computing

Journal of Biotechnology Advances

Fundamenta Informaticae

Bioinformatics

BMC Bioinformatics

RAIRO – Informatique Theorique

Discrete Applied Mathematics

Information Processing Letters

Information and Computation

… and many others