Giancarlo Mauri Curriculum Vitae - CNR€¦ · 14. Sergio Pozzi, Theoretical analysis of causal...
Transcript of Giancarlo Mauri Curriculum Vitae - CNR€¦ · 14. Sergio Pozzi, Theoretical analysis of causal...
-
〮 •
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: [email protected]
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