| 2020 | CSEDU | Attentional Neural Mechanisms for Social Recommendations in Educational Platforms. | Italo Zoppis, Sara Manzoni, Giancarlo Mauri, Ricardo Anibal Matamoros Aragon, Luca Marconi, Francesco Epifania |
| 2020 | LATA | Complexity Issues of String to Graph Approximate Matching. | Riccardo Dondi, Giancarlo Mauri, Italo Zoppis |
| 2019 | CBMS | A Computational Model for Promoting Targeted Communication and Supplying Social Explainable Recommendations. | Italo Zoppis, Sara Manzoni, Giancarlo Mauri |
| 2019 | CIBCB | ProCell: Investigating cell proliferation with Swarm Intelligence. | Marco S. Nobile, Thalia Vlachou, Simone Spolaor, Paolo Cazzaniga, Giancarlo Mauri, Pier Giuseppe Pelicci, Daniela Besozzi |
| 2019 | CSEDU | Optimized Social Explanation for Educational Platforms. | Italo Zoppis, Riccardo Dondi, Sara Manzoni, Giancarlo Mauri, Luca Marconi, Francesco Epifania |
| 2019 | ICCS | Top k 2-Clubs in a Network: A Genetic Algorithm. | Mauro Castelli, Riccardo Dondi, Sara Manzoni, Giancarlo Mauri, Italo Zoppis |
| 2019 | PACT | HaraliCU: GPU-Powered Haralick Feature Extraction on Medical Images Exploiting the Full Dynamics of Gray-Scale Levels. | Leonardo Rundo, Andrea Tangherloni, Simone Galimberti, Paolo Cazzaniga, Ramona Woitek, Evis Sala, Marco S. Nobile, Giancarlo Mauri |
| 2018 | CEC | Computational Intelligence for Parameter Estimation of Biochemical Systems. | Marco S. Nobile, Andrea Tangherloni, Leonardo Rundo, Simone Spolaor, Daniela Besozzi, Giancarlo Mauri, Paolo Cazzaniga |
| 2018 | EuroPar | High Performance Computing for Haplotyping: Models and Platforms. | Andrea Tangherloni, Leonardo Rundo, Simone Spolaor, Marco S. Nobile, Ivan Merelli, Daniela Besozzi, Giancarlo Mauri, Paolo Cazzaniga, Pietro Li |
| 2018 | IWOCA | Covering with Clubs: Complexity and Approximability. | Riccardo Dondi, Giancarlo Mauri, Florian Sikora, Italo Zoppis |
| 2018 | PDP | Distributed Heuristics for Optimizing Cohesive Groups: A Support for Clinical Patient Engagement in Social Network Analysis. | Italo Zoppis, Riccardo Dondi, Davide Coppetti, Alessandro Beltramo, Giancarlo Mauri |
| 2017 | CPM | The Longest Filled Common Subsequence Problem. | Mauro Castelli, Riccardo Dondi, Giancarlo Mauri, Italo Zoppis |
| 2017 | ICCS | Orthology Correction for Gene Tree Reconstruction: Theoretical and Experimental Results. | Riccardo Dondi, Giancarlo Mauri, Italo Zoppis |
| 2017 | PACT | Accelerated Analysis of Biological Parameters Space Using GPUs. | Marco S. Nobile, Giancarlo Mauri |
| 2016 | CIBCB | Parallel implementation of efficient search schemes for the inference of cancer progression models. | Daniele Ramazzotti, Marco S. Nobile, Paolo Cazzaniga, Giancarlo Mauri, Marco Antoniotti |
| 2016 | ISCC | Trend of FEV1 in Cystic Fibrosis patients: A telehomecare experience. | Fabrizio Murgia, Irene Tagliente, Italo Zoppis, Giancarlo Mauri, Francesco Sicurello, Francesco Bella, Vanessa Mercuri, Eugenio Santoro, Gianluca Castelnuovo, Sergio Bella |
| 2015 | ICCS | Robust Conclusions in Mass Spectrometry Analysis. | Italo Zoppis, Riccardo Dondi, Massimiliano Borsani, Erica Gianazza, Clizia Chinello, Fulvio Magni, Giancarlo Mauri |
| 2015 | LATA | Complexity Classes for Membrane Systems: A Survey. | Giancarlo Mauri, Alberto Leporati, Luca Manzoni, Antonio E. Porreca, Claudio Zandron |
| 2015 | PACT | Parallelizing Biochemical Stochastic Simulations: A Comparison of GPUs and Intel Xeon Phi Processors. | Paolo Cazzaniga, F. Ferrara, Marco S. Nobile, Daniela Besozzi, Giancarlo Mauri |
| 2014 | CEC | A memetic hybrid method for the Molecular Distance Geometry Problem with incomplete information. | Marco S. Nobile, Andrea G. Citrolo, Paolo Cazzaniga, Daniela Besozzi, Giancarlo Mauri |
| 2014 | PDP | Simulation and Analysis of the Blood Coagulation Cascade Accelerated on GPU. | Matteo Bellini, Daniela Besozzi, Paolo Cazzaniga, Giancarlo Mauri, Marco S. Nobile |
| 2013 | AIME | Copy-Number Alterations for Tumor Progression Inference. | Claudia Cava, Italo Zoppis, Manuela Gariboldi, Isabella Castiglioni, Giancarlo Mauri, Marco Antoniotti |
| 2013 | BIBE | Candidate biomarkers for response to tamoxifen in breast cancer metastatic patients. | Claudia Cava, Gloria Bertoli, Italo Zoppis, Giancarlo Mauri, Maria Carla Gilardi, Isabella Castiglioni |
| 2013 | CEC | Reverse engineering of kinetic reaction networks by means of Cartesian Genetic Programming and Particle Swarm Optimization. | Marco S. Nobile, Daniela Besozzi, Paolo Cazzaniga, Dario Pescini, Giancarlo Mauri |
| 2013 | PACT | cupSODA: A CUDA-Powered Simulator of Mass-Action Kinetics. | Marco S. Nobile, Daniela Besozzi, Paolo Cazzaniga, Giancarlo Mauri, Dario Pescini |
| 2012 | GECCO | Estimating reaction constants in stochastic biological systems with a multi-swarm PSO running on GPUs. | Marco S. Nobile, Daniela Besozzi, Paolo Cazzaniga, Giancarlo Mauri, Dario Pescini |
| 2011 | MFCS | On the Complexity of the l-diversity Problem. | Riccardo Dondi, Giancarlo Mauri, Italo Zoppis |
| 2011 | PACT | Grid Computing for Sensitivity Analysis of Stochastic Biological Models. | Ivan Merelli, Dario Pescini, Ettore Mosca, Paolo Cazzaniga, Carlo Maj, Giancarlo Mauri, Luciano Milanesi |
| 2010 | CiE | Computational Complexity Aspects in Membrane Computing. | Giancarlo Mauri, Alberto Leporati, Antonio E. Porreca, Claudio Zandron |
| 2010 | GECCO | On the use of genetic programming for the prediction of survival in cancer. | Antonella Farinaccio, Leonardo Vanneschi, Mario Giacobini, Giancarlo Mauri, Paolo Provero |
| 2010 | GECCO | Definition of a crossover based distance for genetic algorithms. | Luca Manzoni, Leonardo Vanneschi, Giancarlo Mauri |
| 2010 | GECCO | Optimization speed and fair sets of functions. | Andrea Valsecchi, Leonardo Vanneschi, Giancarlo Mauri |
| 2010 | GECCO | An empirical comparison of parallel and distributed particle swarm optimization methods. | Leonardo Vanneschi, Daniele Codecasa, Giancarlo Mauri |
| 2009 | AIME | A Mutual Information Approach to Data Integration for Alzheimer's Disease Patients. | Italo Zoppis, Erica Gianazza, Clizia Chinello, Veronica Mainini, Carmen Galbusera, Carlo Ferrarese, Gloria Galimberti, Alessandro Sorbi, Barbara Borroni, Fulvio Magni, Giancarlo Mauri |
| 2009 | LATA | Picture Languages Generated by Assembling Tiles. | Paola Bonizzoni, Claudio Ferretti, Anthonath Roslin Sagaya Mary, Giancarlo Mauri |
| 2007 | CiE | Membrane Systems and Their Application to Systems Biology. | Giancarlo Mauri |
| 2007 | EUROGP | A Comprehensive View of Fitness Landscapes with Neutrality and Fitness Clouds. | Leonardo Vanneschi, Marco Tomassini, Philippe Collard, Sbastien Vrel, Yuri Pirola, Giancarlo Mauri |
| 2007 | IWINAC | On a Paun's Conjecture in Membrane Systems. | Giancarlo Mauri, Mario J. Prez-Jimnez, Claudio Zandron |
| 2007 | KES | Evaluating Graph Kernel Methods for Relation Discovery in GO-Annotated Clusters. | Daniele Merico, Italo Zoppis, Marco Antoniotti, Giancarlo Mauri |
| 2006 | CPM | Fingerprint Clustering with Bounded Number of Missing Values. | Paola Bonizzoni, Gianluca Della Vedova, Riccardo Dondi, Giancarlo Mauri |
| 2006 | DLT | A Decision Procedure for Reflexive Regular Splicing Languages. | Paola Bonizzoni, Giancarlo Mauri |
| 2006 | EUROGP | Using Subtree Crossover Distance to Investigate Genetic Programming Dynamics. | Leonardo Vanneschi, Steven M. Gustafson, Giancarlo Mauri |
| 2006 | GECCO | Heterogeneous cooperative coevolution: strategies of integration between GP and GA. | Leonardo Vanneschi, Giancarlo Mauri, Andrea Valsecchi, Stefano Cagnoni |
| 2005 | CiE | Recombinant DNA , Gene Splicing as Generative Devices of Formal Languages. | Paola Bonizzoni, Clelia de Felice, Giancarlo Mauri |
| 2005 | DNA | Analysis and Simulation of Dynamics in Probabilistic P Systems. | Dario Pescini, Daniela Besozzi, Claudio Zandron, Giancarlo Mauri |
| 2005 | GECCO | Bio Molecular Engine: a bio-inspired environment for models of growing and evolvable computation. | Alberto Gallini, Claudio Ferretti, Giancarlo Mauri |
| 2005 | SYNASC | Investigating Local Evolutions in Dynamical Probabilistic P Systems. | Dario Pescini, Daniela Besozzi, Giancarlo Mauri |
| 2004 | GECCO | A GA Approach to the Definition of Regulatory Signals in Genomic Sequences. | Giancarlo Mauri, Roberto Mosca, Giulio Pavesi |
| 2004 | MCU | Computing with a Distributed Reaction-Diffusion Model. | Stefania Bandini, Giancarlo Mauri, Giulio Pavesi, Carla Simone |
| 2004 | MCU | Universal Families of Reversible P Systems. | Alberto Leporati, Claudio Zandron, Giancarlo Mauri |
| 2003 | CPM | Pattern Discovery in RNA Secondary Structure Using Affix Trees. | Giancarlo Mauri, Giulio Pavesi |
| 2003 | DLT | Regular Languages Generated by Reflexive Finite Splicing Systems. | Paola Bonizzoni, Clelia de Felice, Giancarlo Mauri, Rosalba Zizza |
| 2003 | DNA | Deadlock Decidability in Partial Parallel P Systems. | Daniela Besozzi, Giancarlo Mauri, Claudio Zandron |
| 2003 | DNA | Word Design for Molecular Computing: A Survey. | Giancarlo Mauri, Claudio Ferretti |
| 2003 | ICTAI | Predicting Conserved Hairpin Motifs in Unaligned RNA Sequences. | Giulio Pavesi, Giancarlo Mauri, Graziano Pesole |
| 2003 | MFCS | On the Computational Complexity of Conservative Computing. | Giancarlo Mauri, Alberto Leporati |
| 2002 | DLT | Decision Problems for Linear and Circular Splicing Systems. | Paola Bonizzoni, Clelia de Felice, Giancarlo Mauri, Rosalba Zizza |
| 2002 | DNA | Parallel Rewriting P Systems with Deadlock. | Daniela Besozzi, Claudio Ferretti, Giancarlo Mauri, Claudio Zandron |
| 2001 | CPM | On-Line Construction of Compact Directed Acyclic Word Graphs. | Shunsuke Inenaga, Hiromasa Hoshino, Ayumi Shinohara, Masayuki Takeda, Setsuo Arikawa, Giancarlo Mauri, Giulio Pavesi |
| 2001 | ISMB | An algorithm for finding signals of unknown length in DNA sequences. | Giulio Pavesi, Giancarlo Mauri, Graziano Pesole |
| 2001 | MCU | Two Normal Forms for Rewriting P Systems. | Claudio Zandron, Claudio Ferretti, Giancarlo Mauri |
| 2001 | PACT | Parallel Generation of Percolation Beds Based on Stochastic Cellular Automata. | Stefania Bandini, Giancarlo Mauri, Giulio Pavesi |
| 2001 | PACT | Parallel Algorithms for the Analysis of Biological Sequences. | Giancarlo Mauri, Giulio Pavesi |
| 2001 | SAC | An approximation algorithm for the shortest common supersequence problem: an experimental analysis. | Paolo Barone, Paola Bonizzoni, Gianluca Della Vedova, Giancarlo Mauri |
| 2000 | CPM | Approximating the Maximum Isomorphic Agreement Subtree Is Hard. | Paola Bonizzoni, Gianluca Della Vedova, Giancarlo Mauri |
| 2000 | DNA | DNA and Circular Splicing. | Paola Bonizzoni, Clelia de Felice, Giancarlo Mauri, Rosalba Zizza |
| 1999 | PACT | Implementing Cellular Automata Based Models on Parallel Architectures: The CAPP Project. | Stefania Bandini, Giovanni Erbacci, Giancarlo Mauri |
| 1999 | PACT | A Parallel Model Based on Cellular Automata for the Simulation of Pesticide Percolation in the Soil. | Stefania Bandini, Giancarlo Mauri, Giulio Pavesi, Carla Simone |
| 1999 | SODA | Approximation Algorithms for Protein Folding Prediction. | Giancarlo Mauri, Giulio Pavesi, Antonio Piccolboni |
| 1998 | MCU | On the Universality of Post and Splicing Systems. | Claudio Ferretti, Giancarlo Mauri, Satoshi Kobayashi, Takashi Yokomori |
| 1998 | MCU | Nine Test Tubes Generate any | Claudio Ferretti, Giancarlo Mauri, Claudio Zandron |
| 1998 | SMC | Distance space evolutionary algorithms for protein folding prediction. | Antonio Piccolboni, Giancarlo Mauri |
| 1997 | ICONIP | Application of Evolutionary Algorithms to Protein Folding Prediction. | Antonio Piccolboni, Giancarlo Mauri |
| 1995 | DLT | Rule Space Transformations and One-Dimensional Cellular Automata. | Gianpiero Cattaneo, Enrico Formenti, Giancarlo Mauri |
| 1994 | ALT | Identifying Regular Languages over Partially-Commutative Monoids. | Claudio Ferretti, Giancarlo Mauri |
| 1982 | ICALP | Equivalence and Membership Problems for Regular Trace Languages. | Alberto Bertoni, Giancarlo Mauri, Nicoletta Sabadini |
| 1981 | MFCS | An Application of the Theory of Free Partially Commutative Monoids: Asymptotic Densities of Trace Languages. | Alberto Bertoni, Marco Brambilla, Giancarlo Mauri, Nicoletta Sabadini |
| 1981 | STOC | A Characterization of the Class of Functions Computable in Polynomial Time on Random Access Machines | Alberto Bertoni, Giancarlo Mauri, Nicoletta Sabadini |
| 1979 | ER | Extending the Entity-Relationship Approach to Take in Account Historical Aspects of Systems. | Valeria De Antonellis, Giovanni Degli Antoni, Giancarlo Mauri, Bruna Zonta |
| 1979 | ICALP | A Characterization of Abstract Data as Model-Theoretic Invariants. | Alberto Bertoni, Giancarlo Mauri, Pierangelo Miglioli |
| 1977 | ICALP | Some Recursive Unsolvable Problems Relating to Isolated Cutpoints in Probabilistic Automata. | Alberto Bertoni, Giancarlo Mauri, Mauro Torelli |
| 1977 | MFCS | An Algebraic Approach to Problem Solution and Problem Semantics. | Alberto Bertoni, Giancarlo Mauri, Mauro Torelli |