Giancarlo Mauri

410 papers A* 5A 6B 35C 22Misc 4Journal 192Unranked 124
YearRankTypeTitle / Venue / Authors
2025 — conf
System DietadHoc: A Fusion of Human-Centered Design and Agile Development for the Explainability of AI Techniques Based on Clinical and Nutritional Data.
BIOSTEC (1)
Michelangelo Sofo, Giuseppe Labianca, Giancarlo Mauri, Francesco Combierati
2024 J jnl
Preface.
Nat. Comput.
Stefania Bandini, Bastien Chopard, Giancarlo Mauri
2023 J jnl
An overview of bioinformatics courses delivered at the academic level in Italy: Reflections and recommendations from BITS.
PLoS Comput. Biol.
Roberto Marangoni, Vitoantonio Bevilacqua, Mario Cannataro, Bruno Hay Mele, Giancarlo Mauri, Anna Marabotti
2023 J jnl
Inferring P systems from their computing steps: An evolutionary approach.
Swarm Evol. Comput.
Alberto Leporati, Luca Manzoni, Giancarlo Mauri, Gloria Pietropolli, Claudio Zandron
2022 J jnl
Depth-two P systems can simulate Turing machines with NP oracles.
Theor. Comput. Sci.
Alberto Leporati, Luca Manzoni, Giancarlo Mauri, Claudio Zandron
2022 J jnl
Evaluating space measures in P systems.
J. Membr. Comput.
Artiom Alhazov, Alberto Leporati, Luca Manzoni, Giancarlo Mauri, Claudio Zandron
2022 J jnl
On the complexity of approximately matching a string to a directed graph.
Inf. Comput.
Riccardo Dondi, Giancarlo Mauri, Italo Zoppis
2022 J jnl
Preface.
Nat. Comput.
Tomasz M. Gwizdalla, Luca Manzoni, Giancarlo Mauri
2022 J jnl
Spiking neural P systems: main ideas and results.
Nat. Comput.
Alberto Leporati, Giancarlo Mauri, Claudio Zandron
2021 J jnl
A CUDA-powered method for the feature extraction and unsupervised analysis of medical images.
J. Supercomput.
Leonardo Rundo, Andrea Tangherloni, Paolo Cazzaniga, Matteo Mistri, Simone Galimberti, Ramona Woitek, Evis Sala, Giancarlo Mauri, Marco S. Nobile
2021 J jnl
A framework for validating AI in precision medicine: considerations from the European ITFoC consortium.
BMC Medical Informatics Decis. Mak.
Rosy Tsopra, Xosé M. Fernández, Claudio Luchinat, Lilia Alberghina, Hans Lehrach, Marco Vanoni, Felix Dreher, Osman Ugur Sezerman, Marc Cuggia, Marie de Tayrac, Edvins Miklasevics, Lucian Mihai Itu, Marius Geanta, Lesley Ogilvie, Florence Godey, Cristian Nicolae Boldisor, Boris Campillo-Gimenez, Cosmina Cioroboiu, Costin Florian Ciusdel, Simona Coman, Oliver Hijano Cubelos, Alina Itu, Bodo Lange, Matthieu Le Gallo, Alexandra Lespagnol, Giancarlo Mauri, H. Okan Soykam, Bastien Rance, Paola Turano, Leonardo Tenori, Alessia Vignoli, Christoph Wierling, Nora Benhabiles, Anita Burgun
2021 J jnl
Alternative space definitions for P systems with active membranes.
J. Membr. Comput.
Artiom Alhazov, Alberto Leporati, Luca Manzoni, Giancarlo Mauri, Claudio Zandron
2021 J jnl
FiCoS: A fine-grained and coarse-grained GPU-powered deterministic simulator for biochemical networks.
PLoS Comput. Biol.
Andrea Tangherloni, Marco S. Nobile, Paolo Cazzaniga, Giulia Capitoli, Simone Spolaor, Leonardo Rundo, Giancarlo Mauri, Daniela Besozzi
2021 J jnl
Top-k overlapping densest subgraphs: approximation algorithms and computational complexity.
J. Comb. Optim.
Riccardo Dondi, Mohammad Mehdi Hosseinzadeh, Giancarlo Mauri, Italo Zoppis
2020 J jnl
A Turing machine simulation by P systems without charges.
J. Membr. Comput.
Alberto Leporati, Luca Manzoni, Giancarlo Mauri, Antonio E. Porreca, Claudio Zandron
2020 — conf
An Attention-based Architecture for EEG Classification.
BIOSIGNALS
Italo Zoppis, Alessio Zanga, Sara Manzoni, Giulia Cisotto, Angela Morreale, Fabio Stella, Giancarlo Mauri
2020 — conf
Approaching Explainable Recommendations for Personalized Social Learning: the Current Stage in the Educational Platform "WhoTeach".
XAI.it@AI*IA
Luca Marconi, Ricardo Anibal Matamoros Aragon, Italo Zoppis, Sara Manzoni, Giancarlo Mauri, Francesco Epifania
2020 — conf
Attentional Neural Mechanisms for Social Recommendations in Educational Platforms.
CSEDU (1)
Italo Zoppis, Sara Manzoni, Giancarlo Mauri, Ricardo Anibal Matamoros Aragon, Luca Marconi, Francesco Epifania
2020 — ch.
CNN-Based Prostate Zonal Segmentation on T2-Weighted MR Images: A Cross-Dataset Study.
Neural Approaches to Dynamics of Signal Exchanges
Leonardo Rundo, Changhee Han, Jin Zhang, Ryuichiro Hataya, Yudai Nagano, Carmelo Militello, Claudio Ferretti, Marco S. Nobile, Andrea Tangherloni, Maria Carla Gilardi, Salvatore Vitabile, Hideki Nakayama, Giancarlo Mauri
2020 C conf
Complexity Issues of String to Graph Approximate Matching.
LATA
Riccardo Dondi, Giancarlo Mauri, Italo Zoppis
2020 J jnl
Complexity Issues of String to Graph Approximate Matching.
CoRR
Riccardo Dondi, Giancarlo Mauri, Italo Zoppis
2020 J jnl
Coupling Mechanistic Approaches and Fuzzy Logic to Model and Simulate Complex Systems.
IEEE Trans. Fuzzy Syst.
Simone Spolaor, Marco S. Nobile, Giancarlo Mauri, Paolo Cazzaniga, Daniela Besozzi
2020 — conf
Explainable Attentional Neural Recommendations for Personalized Social Learning.
AI*IA
Luca Marconi, Ricardo Anibal Matamoros Aragon, Italo Zoppis, Sara Manzoni, Giancarlo Mauri, Francesco Epifania
2020 J jnl
Fuzzy modeling and global optimization to predict novel therapeutic targets in cancer cells.
Bioinform.
Marco S. Nobile, Giuseppina Votta, Roberta Palorini, Simone Spolaor, Humberto De Vitto, Paolo Cazzaniga, Francesca Ricciardiello, Giancarlo Mauri, Lilia Alberghina, Ferdinando Chiaradonna, Daniela Besozzi
2020 — ch.
Infinite Brain MR Images: PGGAN-Based Data Augmentation for Tumor Detection.
Neural Approaches to Dynamics of Signal Exchanges
Changhee Han, Leonardo Rundo, Ryosuke Araki, Yujiro Furukawa, Giancarlo Mauri, Hideki Nakayama, Hideaki Hayashi
2020 J jnl
Preface.
J. Cell. Autom.
Samira El Yacoubi, Stefania Bandini, Giancarlo Mauri
2020 J jnl
Shallow laconic P systems can count.
J. Membr. Comput.
Alberto Leporati, Luca Manzoni, Giancarlo Mauri, Antonio E. Porreca, Claudio Zandron
2020 J jnl
Simulating counting oracles with cooperation.
J. Membr. Comput.
Alberto Leporati, Luca Manzoni, Giancarlo Mauri, Antonio E. Porreca, Claudio Zandron
2020 J jnl
Subroutines in P systems and closure properties of their complexity classes.
Theor. Comput. Sci.
Alberto Leporati, Luca Manzoni, Giancarlo Mauri, Antonio E. Porreca, Claudio Zandron
2020 J jnl
Surfing on Fitness Landscapes: A Boost on Optimization by Fourier Surrogate Modeling.
Entropy
Luca Manzoni, Daniele M. Papetti, Paolo Cazzaniga, Simone Spolaor, Giancarlo Mauri, Daniela Besozzi, Marco S. Nobile
2020 J jnl
cuProCell: GPU-Accelerated Analysis of Cell Proliferation With Flow Cytometry Data.
IEEE J. Biomed. Health Informatics
Marco S. Nobile, Eric Nisoli, Thalia Vlachou, Simone Spolaor, Paolo Cazzaniga, Giancarlo Mauri, Pier Giuseppe Pelicci, Daniela Besozzi
2019 B conf
A Computational Model for Promoting Targeted Communication and Supplying Social Explainable Recommendations.
CBMS
Italo Zoppis, Sara Manzoni, Giancarlo Mauri
2019 J jnl
A Turing machine simulation by P systems without charges.
CoRR
Alberto Leporati, Luca Manzoni, Giancarlo Mauri, Antonio E. Porreca, Claudio Zandron
2019 J jnl
A novel framework for MR image segmentation and quantification by using MedGA.
Comput. Methods Programs Biomed.
Leonardo Rundo, Andrea Tangherloni, Paolo Cazzaniga, Marco S. Nobile, Giorgio Russo, Maria Carla Gilardi, Salvatore Vitabile, Giancarlo Mauri, Daniela Besozzi, Carmelo Militello
2019 J jnl
Biochemical parameter estimation vs. benchmark functions: A comparative study of optimization performance and representation design.
Appl. Soft Comput.
Andrea Tangherloni, Simone Spolaor, Paolo Cazzaniga, Daniela Besozzi, Leonardo Rundo, Giancarlo Mauri, Marco S. Nobile
2019 J jnl
CNN-based Prostate Zonal Segmentation on T2-weighted MR Images: A Cross-dataset Study.
CoRR
Leonardo Rundo, Changhee Han, Jin Zhang, Ryuichiro Hataya, Yudai Nagano, Carmelo Militello, Claudio Ferretti, Marco S. Nobile, Andrea Tangherloni, Maria Carla Gilardi, Salvatore Vitabile, Hideki Nakayama, Giancarlo Mauri
2019 J jnl
Characterizing PSPACE with shallow non-confluent P systems.
CoRR
Alberto Leporati, Luca Manzoni, Giancarlo Mauri, Antonio E. Porreca, Claudio Zandron
2019 J jnl
Characterizing PSPACE with shallow non-confluent P systems.
J. Membr. Comput.
Alberto Leporati, Luca Manzoni, Giancarlo Mauri, Antonio E. Porreca, Claudio Zandron
2019 J jnl
Combining Noise-to-Image and Image-to-Image GANs: Brain MR Image Augmentation for Tumor Detection.
IEEE Access
Changhee Han, Leonardo Rundo, Ryosuke Araki, Yudai Nagano, Yujiro Furukawa, Giancarlo Mauri, Hideki Nakayama, Hideaki Hayashi
2019 J jnl
Combining Noise-to-Image and Image-to-Image GANs: Brain MR Image Augmentation for Tumor Detection.
CoRR
Changhee Han, Leonardo Rundo, Ryosuke Araki, Yudai Nagano, Yujiro Furukawa, Giancarlo Mauri, Hideki Nakayama, Hideaki Hayashi
2019 J jnl
Comparing incomplete sequences via longest common subsequence.
Theor. Comput. Sci.
Mauro Castelli, Riccardo Dondi, Giancarlo Mauri, Italo Zoppis
2019 — ch.
Computer-Assisted Approaches for Uterine Fibroid Segmentation in MRgFUS Treatments: Quantitative Evaluation and Clinical Feasibility Analysis.
Quantifying and Processing Biomedical and Behavioral Signals
Leonardo Rundo, Carmelo Militello, Andrea Tangherloni, Giorgio Russo, Roberto Lagalla, Giancarlo Mauri, Maria Carla Gilardi, Salvatore Vitabile
2019 J jnl
Covering a Graph with Clubs.
J. Graph Algorithms Appl.
Riccardo Dondi, Giancarlo Mauri, Florian Sikora, Italo Zoppis
2019 J jnl
GenHap: a novel computational method based on genetic algorithms for haplotype assembly.
BMC Bioinform.
Andrea Tangherloni, Simone Spolaor, Leonardo Rundo, Marco S. Nobile, Paolo Cazzaniga, Giancarlo Mauri, Pietro Liò, Ivan Merelli, Daniela Besozzi
2019 — ch.
Graph Algorithms.
Encyclopedia of Bioinformatics and Computational Biology (1)
Riccardo Dondi, Giancarlo Mauri, Italo Zoppis
2019 — ch.
Graph Isomorphism.
Encyclopedia of Bioinformatics and Computational Biology (1)
Riccardo Dondi, Giancarlo Mauri, Italo Zoppis
2019 B conf
HaraliCU: GPU-Powered Haralick Feature Extraction on Medical Images Exploiting the Full Dynamics of Gray-Scale Levels.
PaCT
Leonardo Rundo, Andrea Tangherloni, Simone Galimberti, Paolo Cazzaniga, Ramona Woitek, Evis Sala, Marco S. Nobile, Giancarlo Mauri
2019 J jnl
Infinite Brain MR Images: PGGAN-based Data Augmentation for Tumor Detection.
CoRR
Changhee Han, Leonardo Rundo, Ryosuke Araki, Yujiro Furukawa, Giancarlo Mauri, Hideki Nakayama, Hideaki Hayashi
2019 — conf
Integration of Single-Cell RNA-Sequencing Data into Flux Balance Cellular Automata.
CIBB
Davide Maspero, Marzia Di Filippo, Fabrizio Angaroni, Dario Pescini, Giancarlo Mauri, Marco Vanoni, Alex Graudenzi, Chiara Damiani
2019 J jnl
Integration of single-cell RNA-seq data into population models to characterize cancer metabolism.
PLoS Comput. Biol.
Chiara Damiani, Davide Maspero, Marzia Di Filippo, Riccardo Colombo, Dario Pescini, Alex Graudenzi, Hans V. Westerhoff, Lilia Alberghina, Marco Vanoni, Giancarlo Mauri
2019 — ch.
Kernel Machines: Applications.
Encyclopedia of Bioinformatics and Computational Biology (1)
Italo Zoppis, Giancarlo Mauri, Riccardo Dondi
2019 — ch.
Kernel Machines: Introduction.
Encyclopedia of Bioinformatics and Computational Biology (1)
Italo Zoppis, Giancarlo Mauri, Riccardo Dondi
2019 — ch.
Kernel Methods: Support Vector Machines.
Encyclopedia of Bioinformatics and Computational Biology (1)
Italo Zoppis, Giancarlo Mauri, Riccardo Dondi
2019 J jnl
MedGA: A novel evolutionary method for image enhancement in medical imaging systems.
Expert Syst. Appl.
Leonardo Rundo, Andrea Tangherloni, Marco S. Nobile, Carmelo Militello, Daniela Besozzi, Giancarlo Mauri, Paolo Cazzaniga
2019 J jnl
Modeling cell proliferation in human acute myeloid leukemia xenografts.
Bioinform.
Marco S. Nobile, Thalia Vlachou, Simone Spolaor, Daniela Bossi, Paolo Cazzaniga, Luisa Lanfrancone, Giancarlo Mauri, Pier Giuseppe Pelicci, Daniela Besozzi
2019 — conf
Nudges Driven Networks: Towards More Acceptable Recommendations for Inducing Targeted Social Communities.
INSCI
Italo Zoppis, Sara Manzoni, Giancarlo Mauri, Giada Pietrabissa, Andrea Trentini, Daniela Micucci, Gianluca Castelnuovo
2019 J jnl
On the tractability of finding disjoint clubs in a network.
Theor. Comput. Sci.
Riccardo Dondi, Giancarlo Mauri, Italo Zoppis
2019 — conf
Optimized Social Explanation for Educational Platforms.
CSEDU (1)
Italo Zoppis, Riccardo Dondi, Sara Manzoni, Giancarlo Mauri, Luca Marconi, Francesco Epifania
2019 J jnl
Preface.
Nat. Comput.
Giancarlo Mauri, Samira El Yacoubi, Stefania Bandini
2019 C conf
ProCell: Investigating cell proliferation with Swarm Intelligence.
CIBCB
Marco S. Nobile, Thalia Vlachou, Simone Spolaor, Paolo Cazzaniga, Giancarlo Mauri, Pier Giuseppe Pelicci, Daniela Besozzi
2019 J jnl
Solving QSAT in sublinear depth.
CoRR
Alberto Leporati, Luca Manzoni, Giancarlo Mauri, Antonio E. Porreca, Claudio Zandron
2019 — conf
System of Nudge Theory-Based ICT Applications for Older Citizens: The SENIOR Project.
MindCare
Giada Pietrabissa, Italo Zoppis, Giancarlo Mauri, Roberta Ghiretti, Emanuele Maria Giusti, Roberto Cattivelli, Chiara Spatola, Gian Mauro Manzoni, Gianluca Castelnuovo
2019 — conf
Top k 2-Clubs in a Network: A Genetic Algorithm.
ICCS (5)
Mauro Castelli, Riccardo Dondi, Sara Manzoni, Giancarlo Mauri, Italo Zoppis
2019 — conf
Top-k Overlapping Densest Subgraphs: Approximation and Complexity.
ICTCS
Riccardo Dondi, Mohammad Mehdi Hosseinzadeh, Giancarlo Mauri, Italo Zoppis
2019 — ch.
Towards Human Cell Simulation.
High-Performance Modelling and Simulation for Big Data Applications
Simone Spolaor, Marco Gribaudo, Mauro Iacono, Tomas Kadavy, Zuzana Komínková Oplatková, Giancarlo Mauri, Sabri Pllana, Roman Senkerik, Natalija Stojanovic, Esko Turunen, Adam Viktorin, Salvatore Vitabile, Ales Zamuda, Marco S. Nobile
2019 J jnl
USE-Net: Incorporating Squeeze-and-Excitation blocks into U-Net for prostate zonal segmentation of multi-institutional MRI datasets.
Neurocomputing
Leonardo Rundo, Changhee Han, Yudai Nagano, Jin Zhang, Ryuichiro Hataya, Carmelo Militello, Andrea Tangherloni, Marco S. Nobile, Claudio Ferretti, Daniela Besozzi, Maria Carla Gilardi, Salvatore Vitabile, Giancarlo Mauri, Hideki Nakayama, Paolo Cazzaniga
2019 J jnl
USE-Net: incorporating Squeeze-and-Excitation blocks into U-Net for prostate zonal segmentation of multi-institutional MRI datasets.
CoRR
Leonardo Rundo, Changhee Han, Yudai Nagano, Jin Zhang, Ryuichiro Hataya, Carmelo Militello, Andrea Tangherloni, Marco S. Nobile, Claudio Ferretti, Daniela Besozzi, Maria Carla Gilardi, Salvatore Vitabile, Giancarlo Mauri, Hideki Nakayama, Paolo Cazzaniga
2019 J jnl
ginSODA: massive parallel integration of stiff ODE systems on GPUs.
J. Supercomput.
Marco S. Nobile, Paolo Cazzaniga, Daniela Besozzi, Giancarlo Mauri
2018 — ed.
Cellular Automata - 13th International Conference on Cellular Automata for Research and Industry, ACRI 2018, Como, Italy, September 17-21, 2018, Proceedings
ACRI
Giancarlo Mauri, Samira El Yacoubi, Alberto Dennunzio, Katsuhiro Nishinari, Luca Manzoni
2018 B conf
Computational Intelligence for Parameter Estimation of Biochemical Systems.
CEC
Marco S. Nobile, Andrea Tangherloni, Leonardo Rundo, Simone Spolaor, Daniela Besozzi, Giancarlo Mauri, Paolo Cazzaniga
2018 C conf
Covering with Clubs: Complexity and Approximability.
IWOCA
Riccardo Dondi, Giancarlo Mauri, Florian Sikora, Italo Zoppis
2018 J jnl
Covering with Clubs: Complexity and Approximability.
CoRR
Riccardo Dondi, Giancarlo Mauri, Florian Sikora, Italo Zoppis
2018 C conf
Distributed Heuristics for Optimizing Cohesive Groups: A Support for Clinical Patient Engagement in Social Network Analysis.
PDP
Italo Zoppis, Riccardo Dondi, Davide Coppetti, Alessandro Beltramo, Giancarlo Mauri
2018 J jnl
Editorial.
Theor. Comput. Sci.
Riccardo Dondi, Guillaume Fertin, Giancarlo Mauri
2018 J jnl
Emerging ensembles of kinetic parameters to characterize observed metabolic phenotypes.
BMC Bioinform.
Riccardo Colombo, Chiara Damiani, David R. Gilbert, Monika Heiner, Giancarlo Mauri, Dario Pescini
2018 — ch.
Fully Automatic Multispectral MR Image Segmentation of Prostate Gland Based on the Fuzzy C-Means Clustering Algorithm.
Multidisciplinary Approaches to Neural Computing
Leonardo Rundo, Carmelo Militello, Giorgio Russo, Davide D'Urso, Lucia Maria Valastro, Antonio Garufi, Giancarlo Mauri, Salvatore Vitabile, Maria Carla Gilardi
2018 J jnl
Fuzzy Self-Tuning PSO: A settings-free algorithm for global optimization.
Swarm Evol. Comput.
Marco S. Nobile, Paolo Cazzaniga, Daniela Besozzi, Riccardo Colombo, Giancarlo Mauri, Gabriella Pasi
2018 — conf
GAN-based synthetic brain MR image generation.
ISBI
Changhee Han, Hideaki Hayashi, Leonardo Rundo, Ryosuke Araki, Wataru Shimoda, Shinichi Muramatsu, Yujiro Furukawa, Giancarlo Mauri, Hideki Nakayama
2018 J jnl
GTVcut for neuro-radiosurgery treatment planning: an MRI brain cancer seeded image segmentation method based on a cellular automata model.
Nat. Comput.
Leonardo Rundo, Carmelo Militello, Giorgio Russo, Salvatore Vitabile, Maria Carla Gilardi, Giancarlo Mauri
2018 — conf
High Performance Computing for Haplotyping: Models and Platforms.
Euro-Par Workshops
Andrea Tangherloni, Leonardo Rundo, Simone Spolaor, Marco S. Nobile, Ivan Merelli, Daniela Besozzi, Giancarlo Mauri, Paolo Cazzaniga, Pietro Liò
2018 J jnl
Integration of transcriptomic data and metabolic networks in cancer samples reveals highly significant prognostic power.
J. Biomed. Informatics
Alex Graudenzi, Davide Maspero, Marzia Di Filippo, Marco Gnugnoli, Claudio Isella, Giancarlo Mauri, Enzo Medico, Marco Antoniotti, Chiara Damiani
2018 J jnl
NeXt for neuro-radiosurgery: A fully automatic approach for necrosis extraction in brain tumor MRI using an unsupervised machine learning technique.
Int. J. Imaging Syst. Technol.
Leonardo Rundo, Carmelo Militello, Andrea Tangherloni, Giorgio Russo, Salvatore Vitabile, Maria Carla Gilardi, Giancarlo Mauri
2018 — conf
Open Problems in Membrane Computing and How Not to Solve Them.
Enjoying Natural Computing
Alberto Leporati, Luca Manzoni, Giancarlo Mauri, Antonio E. Porreca, Claudio Zandron
2018 — conf
Optimizing Social Interaction - A Computational Approach to Support Patient Engagement.
HEALTHINF
Italo Zoppis, Riccardo Dondi, Eugenio Santoro, Gianluca Castelnuovo, Francesco Sicurello, Giancarlo Mauri
2018 — conf
Patient Engagement: Theoretical and Heuristic Approaches for Supporting the Clinical Practice.
AI*AAL@AI*IA
Italo Zoppis, Riccardo Dondi, Sara Manzoni, Giancarlo Mauri
2018 J jnl
Preface.
Nat. Comput.
Stefania Bandini, Samira El Yacoubi, Giancarlo Mauri, Jaroslaw Was
2018 — conf
Solving QSAT in Sublinear Depth.
Int. Conf. on Membrane Computing
Alberto Leporati, Luca Manzoni, Giancarlo Mauri, Antonio E. Porreca, Claudio Zandron
2018 — conf
Synchronization Effects in a Metabolism-Driven Model of Multi-cellular System.
WIVACE
Davide Maspero, Alex Graudenzi, Satwinder Singh, Dario Pescini, Giancarlo Mauri, Marco Antoniotti, Chiara Damiani
2018 J jnl
Top-k Overlapping Densest Subgraphs: Approximation and Complexity.
CoRR
Riccardo Dondi, Mohammad Mehdi Hosseinzadeh, Giancarlo Mauri, Italo Zoppis
2017 J jnl
A fully automatic approach for multimodal PET and MR image segmentation in gamma knife treatment planning.
Comput. Methods Programs Biomed.
Leonardo Rundo, Alessandro Stefano, Carmelo Militello, Giorgio Russo, Maria Gabriella Sabini, Corrado D'Arrigo, Francesco Marletta, Massimo Ippolito, Giancarlo Mauri, Salvatore Vitabile, Maria Carla Gilardi
2017 J jnl
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.
Chiara Damiani, Riccardo Colombo, Daniela Gaglio, Fabrizia Mastroianni, Dario Pescini, Hans V. Westerhoff, Giancarlo Mauri, Marco Vanoni, Lilia Alberghina
2017 J jnl
A toolbox for simpler active membrane algorithms.
Theor. Comput. Sci.
Alberto Leporati, Luca Manzoni, Giancarlo Mauri, Antonio E. Porreca, Claudio Zandron
2017 B conf
Accelerated Analysis of Biological Parameters Space Using GPUs.
PaCT
Marco S. Nobile, Giancarlo Mauri
2017 J jnl
Area-based cell colony surviving fraction evaluation: A novel fully automatic approach using general-purpose acquisition hardware.
Comput. Biol. Medicine
Carmelo Militello, Leonardo Rundo, Vincenzo Conti, Luigi Minafra, Francesco Paolo Cammarata, Giancarlo Mauri, Maria Carla Gilardi, Nunziatina Porcino
2017 J jnl
Automated Prostate Gland Segmentation Based on an Unsupervised Fuzzy C-Means Clustering Technique Using Multispectral T1w and T2w MR Imaging.
Inf.
Leonardo Rundo, Carmelo Militello, Giorgio Russo, Antonio Garufi, Salvatore Vitabile, Maria Carla Gilardi, Giancarlo Mauri
2017 J jnl
Characterising the complexity of tissue P systems with fission rules.
J. Comput. Syst. Sci.
Alberto Leporati, Luca Manzoni, Giancarlo Mauri, Antonio E. Porreca, Claudio Zandron
2017 J jnl
Computational complexity of finite asynchronous cellular automata.
Theor. Comput. Sci.
Alberto Dennunzio, Enrico Formenti, Luca Manzoni, Giancarlo Mauri, Antonio E. Porreca
2017 J jnl
Efficient Simulation of Reaction Systems on Graphics Processing Units.
Fundam. Informaticae
Marco S. Nobile, Antonio E. Porreca, Simone Spolaor, Luca Manzoni, Paolo Cazzaniga, Giancarlo Mauri, Daniela Besozzi
2017 J jnl
From protein-protein interactions to protein co-expression networks: a new perspective to evaluate large-scale proteomic data.
EURASIP J. Bioinform. Syst. Biol.
Danila Vella, Italo Zoppis, Giancarlo Mauri, Pierluigi Mauri, Dario Silvestre
2017 J jnl
GPU-powered model analysis with PySB/cupSODA.
Bioinform.
Leonard A. Harris, Marco S. Nobile, James C. Pino, Alexander L. R. Lubbock, Daniela Besozzi, Giancarlo Mauri, Paolo Cazzaniga, Carlos F. Lopez
2017 J jnl
GenHap: A novel computational method based on genetic algorithms for haplotype assembly.
PeerJ Prepr.
Andrea Tangherloni, Simone Spolaor, Leonardo Rundo, Marco S. Nobile, Ivan Merelli, Paolo Cazzaniga, Daniela Besozzi, Giancarlo Mauri, Pietro Liò
2017 J jnl
Gillespie's Stochastic Simulation Algorithm on MIC coprocessors.
J. Supercomput.
Andrea Tangherloni, Marco S. Nobile, Paolo Cazzaniga, Daniela Besozzi, Giancarlo Mauri
2017 J jnl
LASSIE: simulating large-scale models of biochemical systems on GPUs.
BMC Bioinform.
Andrea Tangherloni, Marco S. Nobile, Daniela Besozzi, Giancarlo Mauri, Paolo Cazzaniga
2017 Misc conf
Orthology Correction for Gene Tree Reconstruction: Theoretical and Experimental Results.
ICCS
Riccardo Dondi, Giancarlo Mauri, Italo Zoppis
2017 J jnl
Parallel Implementation of Efficient Search Schemes for the Inference of Cancer Progression Models.
CoRR
Daniele Ramazzotti, Marco S. Nobile, Paolo Cazzaniga, Giancarlo Mauri, Marco Antoniotti
2017 J jnl
Resource-Efficient Hardware Implementation of a Neural-based Node for Automatic Fingerprint Classification.
J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl.
Vincenzo Conti, Leonardo Rundo, Carmelo Militello, Giancarlo Mauri, Salvatore Vitabile
2017 — conf
Solving a Special Case of the P Conjecture Using Dependency Graphs with Dissolution.
Int. Conf. on Membrane Computing
Alberto Leporati, Luca Manzoni, Giancarlo Mauri, Antonio E. Porreca, Claudio Zandron
2017 B conf
The Longest Filled Common Subsequence Problem.
CPM
Mauro Castelli, Riccardo Dondi, Giancarlo Mauri, Italo Zoppis
2017 J jnl
The counting power of P systems with antimatter.
Theor. Comput. Sci.
Alberto Leporati, Luca Manzoni, Giancarlo Mauri, Antonio E. Porreca, Claudio Zandron
2017 J jnl
Tissue P Systems with Small Cell Volume.
Fundam. Informaticae
Alberto Leporati, Luca Manzoni, Giancarlo Mauri, Antonio E. Porreca, Claudio Zandron
2017 J jnl
popFBA: tackling intratumour heterogeneity with Flux Balance Analysis.
Bioinform.
Chiara Damiani, Marzia Di Filippo, Dario Pescini, Davide Maspero, Riccardo Colombo, Giancarlo Mauri
2016 J jnl
A Support Vector Machine Classification of Thyroid Bioptic Specimens Using MALDI-MSI Data.
Adv. Bioinformatics
Manuel Galli, Italo Zoppis, Gabriele De Sio, Clizia Chinello, Fabio Pagni, Fulvio Magni, Giancarlo Mauri
2016 C ed.
Algorithmic Aspects in Information and Management - 11th International Conference, AAIM 2016, Bergamo, Italy, July 18-20, 2016, Proceedings
AAIM
Riccardo Dondi, Guillaume Fertin, Giancarlo Mauri
2016 J jnl
BITS 2015: the annual meeting of the Italian Society of Bioinformatics.
BMC Bioinform.
Luciano Milanesi, Alessandro Guffanti, Giancarlo Mauri, Marco Masseroli
2016 J jnl
CABeRNET: a Cytoscape app for augmented Boolean models of gene regulatory NETworks.
BMC Bioinform.
Andrea Paroni, Alex Graudenzi, Giulio Caravagna, Chiara Damiani, Giancarlo Mauri, Marco Antoniotti
2016 — conf
COSYS: A Computational Infrastructure for Systems Biology.
CIBB
Fabio Cumbo, Marco S. Nobile, Chiara Damiani, Riccardo Colombo, Giancarlo Mauri, Paolo Cazzaniga
2016 — conf
Clique Editing to Support Case Versus Control Discrimination.
KES-IDT (1)
Riccardo Dondi, Giancarlo Mauri, Italo Zoppis
2016 — conf
Constraining Mechanism Based Simulations to Identify Ensembles of Parametrizations to Characterize Metabolic Features.
CIBB
Riccardo Colombo, Chiara Damiani, Giancarlo Mauri, Dario Pescini
2016 — conf
Constraint-Based Modeling and Simulation of Cell Populations.
WIVACE
Marzia Di Filippo, Chiara Damiani, Riccardo Colombo, Dario Pescini, Giancarlo Mauri
2016 — conf
DIABESITY: A Study for mHealth Integrated Solutions.
MobiHealth
Italo Zoppis, Giancarlo Mauri, Francesco Sicurello, Eugenio Santoro, Giada Pietrabissa, Gianluca Castelnuovo
2016 J jnl
Design of the TRONCO BioConductor Package for TRanslational ONCOlogy.
R J.
Marco Antoniotti, Giulio Caravagna, Luca De Sano, Alex Graudenzi, Giancarlo Mauri, Bud Mishra, Daniele Ramazzotti
2016 J jnl
How interacting pathways are regulated by miRNAs in breast cancer subtypes.
BMC Bioinform.
Claudia Cava, Antonio Colaprico, Gloria Bertoli, Gianluca Bontempi, Giancarlo Mauri, Isabella Castiglioni
2016 — conf
Linking Alterations in Metabolic Fluxes with Shifts in Metabolite Levels by Means of Kinetic Modeling.
WIVACE
Chiara Damiani, Riccardo Colombo, Marzia Di Filippo, Dario Pescini, Giancarlo Mauri
2016 J jnl
Monodirectional P systems.
Nat. Comput.
Alberto Leporati, Luca Manzoni, Giancarlo Mauri, Antonio E. Porreca, Claudio Zandron
2016 — conf
Multimodal medical image registration using Particle Swarm Optimization: A review.
SSCI
Leonardo Rundo, Andrea Tangherloni, Carmelo Militello, Maria Carla Gilardi, Giancarlo Mauri
2016 — conf
Neuro-Radiosurgery Treatments: MRI Brain Tumor Seeded Image Segmentation Based on a Cellular Automata Model.
ACRI
Leonardo Rundo, Carmelo Militello, Giorgio Russo, Pietro Pisciotta, Lucia Maria Valastro, Maria Gabriella Sabini, Salvatore Vitabile, Maria Carla Gilardi, Giancarlo Mauri
2016 J jnl
Ordering cancer mutational profiles of cross-sectional copy number alterations.
Int. J. Data Min. Bioinform.
Alex Graudenzi, Giulio Caravagna, Iuliana M. Bocicor, Claudia Cava, Marco Antoniotti, Giancarlo Mauri
2016 C conf
Parallel implementation of efficient search schemes for the inference of cancer progression models.
CIBCB
Daniele Ramazzotti, Marco S. Nobile, Paolo Cazzaniga, Giancarlo Mauri, Marco Antoniotti
2016 — conf
Shallow Non-confluent P Systems.
Int. Conf. on Membrane Computing
Alberto Leporati, Luca Manzoni, Giancarlo Mauri, Antonio E. Porreca, Claudio Zandron
2016 J jnl
TRONCO: an R package for the inference of cancer progression models from heterogeneous genomic data.
Bioinform.
Luca De Sano, Giulio Caravagna, Daniele Ramazzotti, Alex Graudenzi, Giancarlo Mauri, Bud Mishra, Marco Antoniotti
2016 C conf
Trend of FEV1 in Cystic Fibrosis patients: A telehomecare experience.
ISCC
Fabrizio Murgia, Irene Tagliente, Italo Zoppis, Giancarlo Mauri, Francesco Sicurello, Francesco Bella, Vanessa Mercuri, Eugenio Santoro, Gianluca Castelnuovo, Sergio Bella
2016 J jnl
Zooming-in on cancer metabolic rewiring with tissue specific constraint-based models.
Comput. Biol. Chem.
Marzia Di Filippo, Riccardo Colombo, Chiara Damiani, Dario Pescini, Daniela Gaglio, Marco Vanoni, Lilia Alberghina, Giancarlo Mauri
2015 J jnl
CAPRI: efficient inference of cancer progression models from cross-sectional data.
Bioinform.
Daniele Ramazzotti, Giulio Caravagna, Loes Olde Loohuis, Alex Graudenzi, Ilya Korsunsky, Giancarlo Mauri, Marco Antoniotti, Bud Mishra
2015 C conf
Complexity Classes for Membrane Systems: A Survey.
LATA
Giancarlo Mauri, Alberto Leporati, Luca Manzoni, Antonio E. Porreca, Claudio Zandron
2015 J jnl
Foreword: asynchronous behavior of cellular automata and discrete models.
Nat. Comput.
Alberto Dennunzio, Enrico Formenti, Giancarlo Mauri, Thomas Worsch
2015 J jnl
Membrane Division, Oracles, and the Counting Hierarchy.
Fundam. Informaticae
Alberto Leporati, Luca Manzoni, Giancarlo Mauri, Antonio E. Porreca, Claudio Zandron
2015 B conf
Parallelizing Biochemical Stochastic Simulations: A Comparison of GPUs and Intel Xeon Phi Processors.
PaCT
Paolo Cazzaniga, F. Ferrara, Marco S. Nobile, Daniela Besozzi, Giancarlo Mauri
2015 B conf
Proactive Particles in Swarm Optimization: A self-tuning algorithm based on Fuzzy Logic.
FUZZ-IEEE
Marco S. Nobile, Gabriella Pasi, Paolo Cazzaniga, Daniela Besozzi, Riccardo Colombo, Giancarlo Mauri
2015 J jnl
Recent complexity-theoretic results on P systems with active membranes.
J. Log. Comput.
Giancarlo Mauri, Alberto Leporati, Antonio E. Porreca, Claudio Zandron
2015 J jnl
Restricted and Swap Common Superstring: A Multivariate Algorithmic Perspective.
Algorithmica
Paola Bonizzoni, Riccardo Dondi, Giancarlo Mauri, Italo Zoppis
2015 Misc conf
Robust Conclusions in Mass Spectrometry Analysis.
ICCS
Italo Zoppis, Riccardo Dondi, Massimiliano Borsani, Erica Gianazza, Clizia Chinello, Fulvio Magni, Giancarlo Mauri
2015 — conf
Tissue P Systems Can be Simulated Efficiently with Counting Oracles.
Int. Conf. on Membrane Computing
Alberto Leporati, Luca Manzoni, Giancarlo Mauri, Antonio E. Porreca, Claudio Zandron
2014 J jnl
A local landscape mapping method for protein structure prediction in the HP model.
Nat. Comput.
Andrea G. Citrolo, Giancarlo Mauri
2014 B conf
A memetic hybrid method for the Molecular Distance Geometry Problem with incomplete information.
IEEE Congress on Evolutionary Computation
Marco S. Nobile, Andrea G. Citrolo, Paolo Cazzaniga, Daniela Besozzi, Giancarlo Mauri
2014 J jnl
A study of search algorithms' optimization speed.
J. Comb. Optim.
Andrea Valsecchi, Leonardo Vanneschi, Giancarlo Mauri
2014 J jnl
An ensemble evolutionary constraint-based approach to understand the emergence of metabolic phenotypes.
Nat. Comput.
Chiara Damiani, Dario Pescini, Riccardo Colombo, Sara Molinari, Lilia Alberghina, Marco Vanoni, Giancarlo Mauri
2014 J jnl
Combined analysis of chromosomal instabilities and gene expression for colon cancer progression inference.
J. Clin. Bioinform.
Claudia Cava, Italo Zoppis, Manuela Gariboldi, Isabella Castiglioni, Giancarlo Mauri, Marco Antoniotti
2014 J jnl
Constant-Space P Systems with Active Membranes.
Fundam. Informaticae
Alberto Leporati, Luca Manzoni, Giancarlo Mauri, Antonio E. Porreca, Claudio Zandron
2014 J jnl
GPU-accelerated simulations of mass-action kinetics models with cupSODA.
J. Supercomput.
Marco S. Nobile, Paolo Cazzaniga, Daniela Besozzi, Giancarlo Mauri
2014 J jnl
Obituary Alberto Bertoni (1946-2014).
Bull. EATCS
Giancarlo Mauri, Nicoletta Sabadini
2014 J jnl
P Systems with Active Membranes Working in Logarithmic Space.
J. Autom. Lang. Comb.
Alberto Leporati, Giancarlo Mauri, Antonio E. Porreca, Claudio Zandron
2014 — conf
P Systems with Active Membranes Working in Sublinear Space.
Int. Conf. on Membrane Computing
Claudio Zandron, Alberto Leporati, Luca Manzoni, Giancarlo Mauri, Antonio E. Porreca
2014 J jnl
Preface.
Int. J. Found. Comput. Sci.
Alberto Dennunzio, Luca Manzoni, Giancarlo Mauri, Antonio E. Porreca
2014 J jnl
Preface.
Nat. Comput.
Alex Graudenzi, Giulio Caravagna, Giancarlo Mauri
2014 — conf
Self-adaptive simulation time for sensitivity analysis of a stochastic computational model.
ECC
Carlo Maj, Claudia Raibulet, Giancarlo Mauri
2014 — conf
Simulating Elementary Active Membranes - with an Application to the P Conjecture.
Int. Conf. on Membrane Computing
Alberto Leporati, Luca Manzoni, Giancarlo Mauri, Antonio E. Porreca, Claudio Zandron
2014 C conf
Simulation and Analysis of the Blood Coagulation Cascade Accelerated on GPU.
PDP
Matteo Bellini, Daniela Besozzi, Paolo Cazzaniga, Giancarlo Mauri, Marco S. Nobile
2014 J jnl
Space complexity equivalence of P systems with active membranes and Turing machines.
Theor. Comput. Sci.
Artiom Alhazov, Alberto Leporati, Giancarlo Mauri, Antonio E. Porreca, Claudio Zandron
2014 J jnl
Stochastic Hybrid Automata with delayed transitions to model biochemical systems with delays.
Inf. Comput.
Giulio Caravagna, Alberto d'Onofrio, Marco Antoniotti, Giancarlo Mauri
2014 — ch.
Towards the Use of Genetic Programming for the Prediction of Survival in Cancer.
Evolution, Complexity and Artificial Life
Mario Giacobini, Paolo Provero, Leonardo Vanneschi, Giancarlo Mauri
2013 — conf
A Hybrid Monte Carlo Ant Colony Optimization Approach for Protein Structure Prediction in the HP Model.
WIVACE
Andrea G. Citrolo, Giancarlo Mauri
2013 — conf
An ensemble approach to the study of the emergence of metabolic and proliferative disorders via Flux Balance Analysis.
WIVACE
Chiara Damiani, Riccardo Colombo, Sara Molinari, Dario Pescini, Daniela Gaglio, Marco Vanoni, Lilia Alberghina, Giancarlo Mauri
2013 J jnl
Availability of MudPIT data for classification of biological samples.
J. Clin. Bioinform.
Dario Silvestre, Italo Zoppis, Francesca Brambilla, Valeria Bellettato, Giancarlo Mauri, Pierluigi Mauri
2013 C conf
Candidate biomarkers for response to tamoxifen in breast cancer metastatic patients.
BIBE
Claudia Cava, Gloria Bertoli, Italo Zoppis, Giancarlo Mauri, Maria Carla Gilardi, Isabella Castiglioni
2013 — conf
Combination of gene expression and genome copy number alteration has a prognostic value for breast cancer.
EMBC
Claudia Cava, Italo Zoppis, Giancarlo Mauri, M. Ripamonti, Francesca Gallivanone, Christian Salvatore, Maria Carla Gilardi, Isabella Castiglioni
2013 B conf
Copy-Number Alterations for Tumor Progression Inference.
AIME
Claudia Cava, Italo Zoppis, Manuela Gariboldi, Isabella Castiglioni, Giancarlo Mauri, Marco Antoniotti
2013 — conf
Enzymatic Numerical P Systems Using Elementary Arithmetic Operations.
Int. Conf. on Membrane Computing
Alberto Leporati, Giancarlo Mauri, Antonio E. Porreca, Claudio Zandron
2013 — conf
Evolutionary inference of biochemical reaction networks accelerated on graphics processing units.
HPCS
Marco S. Nobile, Giancarlo Mauri
2013 — conf
Flattening in (Tissue) P Systems.
Int. Conf. on Membrane Computing
Rudolf Freund, Alberto Leporati, Giancarlo Mauri, Antonio E. Porreca, Sergey Verlan, Claudio Zandron
2013 J jnl
GeStoDifferent: a Cytoscape plugin for the generation and the identification of gene regulatory networks describing a stochastic cell differentiation process.
Bioinform.
Marco Antoniotti, Gary D. Bader, Giulio Caravagna, Silvia Crippa, Alex Graudenzi, Giancarlo Mauri
2013 J jnl
Improved Universality Results for Parallel Enzymatic Numerical P Systems.
Int. J. Unconv. Comput.
Alberto Leporati, Antonio E. Porreca, Claudio Zandron, Giancarlo Mauri
2013 — conf
NoisySim: exact simulation of stochastic chemically reacting systems with extrinsic bounded noises (WIP).
SpringSim (TMS-DEVS)
Giulio Caravagna, Alberto d'Onofrio, Giancarlo Mauri
2013 — ed.
Proceedings Wivace 2013 - Italian Workshop on Artificial Life and Evolutionary Computation, Milan, Italy, July 1-2, 2013.
WIVACE
Alex Graudenzi, Giulio Caravagna, Giancarlo Mauri, Marco Antoniotti
2013 B conf
Reverse engineering of kinetic reaction networks by means of Cartesian Genetic Programming and Particle Swarm Optimization.
IEEE Congress on Evolutionary Computation
Marco S. Nobile, Daniela Besozzi, Paolo Cazzaniga, Dario Pescini, Giancarlo Mauri
2013 J jnl
Sensitivity Analysis for Studying the Relation between biochemical reactions and metabolic phenotypes.
J. Bioinform. Comput. Biol.
Carlo Maj, Ettore Mosca, Ivan Merelli, Giancarlo Mauri, Luciano Milanesi
2013 — conf
The foundation of Evolutionary Petri Nets.
BioPPN@Petri Nets
Marco S. Nobile, Daniela Besozzi, Paolo Cazzaniga, Giancarlo Mauri
2013 J jnl
The l-Diversity problem: Tractability and approximability.
Theor. Comput. Sci.
Riccardo Dondi, Giancarlo Mauri, Italo Zoppis
2013 — ed.
Unconventional Computation and Natural Computation - 12th International Conference, UCNC 2013, Milan, Italy, July 1-5, 2013. Proceedings
UCNC
Giancarlo Mauri, Alberto Dennunzio, Luca Manzoni, Antonio E. Porreca
2013 B conf
cupSODA: A CUDA-Powered Simulator of Mass-Action Kinetics.
PaCT
Marco S. Nobile, Daniela Besozzi, Paolo Cazzaniga, Giancarlo Mauri, Dario Pescini
2013 J jnl
m-Asynchronous cellular automata: from fairness to quasi-fairness.
Nat. Comput.
Alberto Dennunzio, Enrico Formenti, Luca Manzoni, Giancarlo Mauri
2012 — conf
A GPU-Based Multi-swarm PSO Method for Parameter Estimation in Stochastic Biological Systems Exploiting Discrete-Time Target Series.
EvoBIO
Marco S. Nobile, Daniela Besozzi, Paolo Cazzaniga, Giancarlo Mauri, Dario Pescini
2012 J jnl
A Unifying Framework to Characterize the Power of a Language to Express Relations
CoRR
Paola Bonizzoni, Peter J. Cameron, Gianluca Della Vedova, Alberto Leporati, Giancarlo Mauri
2012 J jnl
A distance between populations for one-point crossover in genetic algorithms.
Theor. Comput. Sci.
Luca Manzoni, Leonardo Vanneschi, Giancarlo Mauri
2012 J jnl
A new clustering approach for learning transcriptional modules.
Int. J. Data Min. Bioinform.
Francesco Archetti, Ilaria Giordani, Giancarlo Mauri, Enza Messina
2012 J jnl
A study of the neutrality of Boolean function landscapes in genetic programming.
Theor. Comput. Sci.
Leonardo Vanneschi, Yuri Pirola, Giancarlo Mauri, Marco Tomassini, Philippe Collard, Sébastien Vérel
2012 J jnl
A study on learning robustness using asynchronous 1D cellular automata rules.
Nat. Comput.
Leonardo Vanneschi, Giancarlo Mauri
2012 — ch.
An Empirical Study of Parallel and Distributed Particle Swarm Optimization.
Parallel Architectures and Bioinspired Algorithms
Leonardo Vanneschi, Daniele Codecasa, Giancarlo Mauri
2012 J jnl
An excursion in reaction systems: From computer science to biology.
Theor. Comput. Sci.
Luca Corolli, Carlo Maj, Fabrizio Marini, Daniela Besozzi, Giancarlo Mauri
2012 — conf
Analysis of Correlation Structures in Renal Cell Carcinoma Patient Data.
BIOINFORMATICS
Italo Zoppis, Massimiliano Borsani, Erica Gianazza, Clizia Chinello, Francesco Rocco, Giancarlo Albo, André M. Deelder, Yuri E. M. van der Burgt, Fulvio Magni, Marco Antoniotti, Giancarlo Mauri
2012 — conf
Effects of delayed immune-response in tumor immune-system interplay
HSB
Giulio Caravagna, Alex Graudenzi, Marco Antoniotti, Giancarlo Mauri, Alberto d'Onofrio
2012 — conf
Estimating reaction constants in stochastic biological systems with a multi-swarm PSO running on GPUs.
GECCO (Companion)
Marco S. Nobile, Daniela Besozzi, Paolo Cazzaniga, Giancarlo Mauri, Dario Pescini
2012 J jnl
Mutual Information Optimization for Mass Spectra Data Alignment.
IEEE ACM Trans. Comput. Biol. Bioinform.
Italo Zoppis, Erica Gianazza, Massimiliano Borsani, Clizia Chinello, Veronica Mainini, Carmen Galbusera, Carlo Ferrarese, Gloria Galimberti, Alessandro Sorbi, Barbara Borroni, Fulvio Magni, Marco Antoniotti, Giancarlo Mauri
2012 — conf
Poster: Characterization of distinguishing regions for Renal Cell Carcinoma discrimination.
ICCABS
Italo Zoppis, Massimiliano Borsani, Erica Gianazza, Clizia Chinello, Giancarlo Albo, Francesco Rocco, André M. Deelder, Yuri E. M. van der Burgt, Marco Antoniotti, Fulvio Magni, Giancarlo Mauri
2012 J jnl
Preface.
Int. J. Found. Comput. Sci.
Giancarlo Mauri, Alberto Leporati
2012 B conf
Restricted and Swap Common Superstring: A Parameterized View.
IPEC
Paola Bonizzoni, Riccardo Dondi, Giancarlo Mauri, Italo Zoppis
2012 J jnl
Self-Stabilization in Membrane Systems.
Comput. Sci. J. Moldova
Marco Antoniotti, Rudolf Freund, Alberto Leporati, Giancarlo Mauri
2012 — conf
Sublinear-Space P Systems with Active Membranes.
Int. Conf. on Membrane Computing
Antonio E. Porreca, Alberto Leporati, Giancarlo Mauri, Claudio Zandron
2012 J jnl
The role of feedback control mechanisms on the establishment of oscillatory regimes in the Ras/cAMP/PKA pathway in S. cerevisiae.
EURASIP J. Bioinform. Syst. Biol.
Daniela Besozzi, Paolo Cazzaniga, Dario Pescini, Giancarlo Mauri, Sonia Colombo, Enzo Martegani
2012 — conf
m-Asynchronous Cellular Automata.
ACRI
Alberto Dennunzio, Enrico Formenti, Luca Manzoni, Giancarlo Mauri
2011 J jnl
A Comparative Study of Four Parallel and Distributed PSO Methods.
New Gener. Comput.
Leonardo Vanneschi, Daniele Codecasa, Giancarlo Mauri
2011 — conf
A New Evolutionary Gene Regulatory Network Reverse Engineering Tool.
EvoBio
Antonella Farinaccio, Leonardo Vanneschi, Paolo Provero, Giancarlo Mauri, Mario Giacobini
2011 J jnl
A comparison of machine learning techniques for survival prediction in breast cancer.
BioData Min.
Leonardo Vanneschi, Antonella Farinaccio, Giancarlo Mauri, Marco Antoniotti, Paolo Provero, Mario Giacobini
2011 C ed.
Developments in Language Theory - 15th International Conference, DLT 2011, Milan, Italy, July 19-22, 2011. Proceedings
Developments in Language Theory
Giancarlo Mauri, Alberto Leporati
2011 J jnl
Elementary Active Membranes Have the Power of Counting.
Int. J. Nat. Comput. Res.
Antonio E. Porreca, Alberto Leporati, Giancarlo Mauri, Claudio Zandron
2011 B conf
Grid Computing for Sensitivity Analysis of Stochastic Biological Models.
PaCT
Ivan Merelli, Dario Pescini, Ettore Mosca, Paolo Cazzaniga, Carlo Maj, Giancarlo Mauri, Luciano Milanesi
2011 J jnl
Introduction to the Special theme - Molecular and Cellular Computing.
ERCIM News
Giancarlo Mauri
2011 J jnl
Modeling Diffusion in a Signal Transduction Pathway: the Use of Virtual Volumes in P Systems.
Int. J. Found. Comput. Sci.
Daniela Besozzi, Paolo Cazzaniga, Stefania Cocolo, Giancarlo Mauri, Dario Pescini
2011 J jnl
New Robustness Paradigms: from Nature to Computing.
ERCIM News
Giancarlo Mauri, Ion Petre
2011 B conf
On the Complexity of the l-diversity Problem.
MFCS
Riccardo Dondi, Giancarlo Mauri, Italo Zoppis
2011 — conf
P Systems Simulating Oracle Computations.
Int. Conf. on Membrane Computing
Antonio E. Porreca, Alberto Leporati, Giancarlo Mauri, Claudio Zandron
2011 J jnl
P Systems with Active Membranes Working in Polynomial Space.
Int. J. Found. Comput. Sci.
Antonio E. Porreca, Alberto Leporati, Giancarlo Mauri, Claudio Zandron
2011 J jnl
P systems with active membranes: trading time for space.
Nat. Comput.
Antonio E. Porreca, Alberto Leporati, Giancarlo Mauri, Claudio Zandron
2011 J jnl
Picture Languages Generated by Assembling Tiles.
Fundam. Informaticae
Paola Bonizzoni, Claudio Ferretti, Anthonath Roslin Sagaya Mary, Giancarlo Mauri
2010 — conf
A Study on Gene Regulatory Network Reconstruction and Simulation.
WIRN
Antonella Farinaccio, Leonardo Vanneschi, Paolo Provero, Giancarlo Mauri, Mario Giacobini
2010 — conf
A Study on the Automatic Generation of Asynchronous Cellular Automata Rules by Means of Genetic Algorithms.
ACRI
Andrea Valsecchi, Leonardo Vanneschi, Giancarlo Mauri
2010 — conf
A study of parallel and distributed particle swarm optimization methods.
BADS@ICAC
Leonardo Vanneschi, Daniele Codecasa, Giancarlo Mauri
2010 — conf
An Analysis on the Influence of Network Topologies on Local and Global Dynamics of Metapopulation Systems
AMCA-POP
Daniela Besozzi, Paolo Cazzaniga, Dario Pescini, Giancarlo Mauri
2010 J jnl
An application of kernel methods to gene cluster temporal meta-analysis.
Comput. Oper. Res.
Marco Antoniotti, Marco Carreras, Antonella Farinaccio, Giancarlo Mauri, Daniele Merico, Italo Zoppis
2010 A conf
An empirical comparison of parallel and distributed particle swarm optimization methods.
GECCO
Leonardo Vanneschi, Daniele Codecasa, Giancarlo Mauri
2010 — conf
BioSimWare: A Software for the Modeling, Simulation and Analysis of Biological Systems.
Int. Conf. on Membrane Computing
Daniela Besozzi, Paolo Cazzaniga, Giancarlo Mauri, Dario Pescini
2010 C conf
Computational Complexity Aspects in Membrane Computing.
CiE
Giancarlo Mauri, Alberto Leporati, Antonio E. Porreca, Claudio Zandron
2010 A conf
Definition of a crossover based distance for genetic algorithms.
GECCO
Luca Manzoni, Leonardo Vanneschi, Giancarlo Mauri
2010 — conf
Early-Stage Diagnosis of Endogenous Diseases by Swarms of Nanobots: An Applicative Scenario.
ANTS Conference
Paolo Amato, Massimo Masserini, Giancarlo Mauri, Gianfranco Cerofolini
2010 J jnl
Fingerprint Clustering with Bounded Number of Missing Values.
Algorithmica
Paola Bonizzoni, Gianluca Della Vedova, Riccardo Dondi, Giancarlo Mauri
2010 — conf
Identification of Individualized Feature Combinations for Survival Prediction in Breast Cancer: A Comparison of Machine Learning Techniques.
EvoBIO
Leonardo Vanneschi, Antonella Farinaccio, Mario Giacobini, Giancarlo Mauri, Marco Antoniotti, Paolo Provero
2010 — conf
Modelling Spatial Heterogeneity and Macromolecular Crowding with Membrane Systems.
Int. Conf. on Membrane Computing
Ettore Mosca, Paolo Cazzaniga, Dario Pescini, Giancarlo Mauri, Luciano Milanesi
2010 J jnl
Non-confluence in divisionless P systems with active membranes.
Theor. Comput. Sci.
Antonio E. Porreca, Giancarlo Mauri, Claudio Zandron
2010 A conf
On the use of genetic programming for the prediction of survival in cancer.
GECCO
Antonella Farinaccio, Leonardo Vanneschi, Mario Giacobini, Giancarlo Mauri, Paolo Provero
2010 A conf
Optimization speed and fair sets of functions.
GECCO
Andrea Valsecchi, Leonardo Vanneschi, Giancarlo Mauri
2010 — conf
P Systems with Elementary Active Membranes: Beyond NP and coNP.
Int. Conf. on Membrane Computing
Antonio E. Porreca, Alberto Leporati, Giancarlo Mauri, Claudio Zandron
2009 J jnl
(Tissue) P systems with cell polarity.
Math. Struct. Comput. Sci.
Daniela Besozzi, Nadia Busi, Paolo Cazzaniga, Claudio Ferretti, Alberto Leporati, Giancarlo Mauri, Dario Pescini, Claudio Zandron
2009 — conf
A Comparison of Genetic Algorithms and Particle Swarm Optimization for Parameter Estimation in Stochastic Biochemical Systems.
EvoBIO
Daniela Besozzi, Paolo Cazzaniga, Giancarlo Mauri, Dario Pescini, Leonardo Vanneschi
2009 — conf
A Multi-volume Approach to Stochastic Modeling with Membrane Systems.
Algorithmic Bioprocesses
Daniela Besozzi, Paolo Cazzaniga, Dario Pescini, Giancarlo Mauri
2009 B conf
A Mutual Information Approach to Data Integration for Alzheimer's Disease Patients.
AIME
Italo Zoppis, Erica Gianazza, Clizia Chinello, Veronica Mainini, Carmen Galbusera, Carlo Ferrarese, Gloria Galimberti, Alessandro Sorbi, Barbara Borroni, Fulvio Magni, Giancarlo Mauri
2009 — conf
A Novel Variant of P Systems for the Modelling and Simulation of Biochemical Systems.
Workshop on Membrane Computing
Paolo Cazzaniga, Giancarlo Mauri, Luciano Milanesi, Ettore Mosca, Dario Pescini
2009 — conf
A study on the combined interplay between stochastic fluctuations and the number of flagella in bacterial chemotaxis
COMPMOD
Daniela Besozzi, Paolo Cazzaniga, Matteo Dugo, Dario Pescini, Giancarlo Mauri
2009 — conf
An Efficient Simulation of Polynomial-Space Turing Machines by P Systems with Active Membranes.
Workshop on Membrane Computing
Andrea Valsecchi, Antonio E. Porreca, Alberto Leporati, Giancarlo Mauri, Claudio Zandron
2009 J jnl
Complexity aspects of polarizationless membrane systems.
Nat. Comput.
Alberto Leporati, Claudio Ferretti, Giancarlo Mauri, Mario J. Pérez-Jiménez, Claudio Zandron
2009 J jnl
Detecting Alternative Gene Structures from Spliced ESTs: A Computational Approach.
J. Comput. Biol.
Paola Bonizzoni, Giancarlo Mauri, Graziano Pesole, Ernesto Picardi, Yuri Pirola, Raffaella Rizzi
2009 — conf
Energy-Based Models of P Systems.
Workshop on Membrane Computing
Giancarlo Mauri, Alberto Leporati, Claudio Zandron
2009 J jnl
Introducing a Space Complexity Measure for P Systems.
Int. J. Comput. Commun. Control
Antonio E. Porreca, Alberto Leporati, Giancarlo Mauri, Claudio Zandron
2009 J jnl
On the Computational Power of Spiking Neural P Systems.
Int. J. Unconv. Comput.
Alberto Leporati, Claudio Zandron, Claudio Ferretti, Giancarlo Mauri
2009 J jnl
Ontological modeling at a domain interface: bridging clinical and biomolecular knowledge.
Knowl. Eng. Rev.
Gianluca Colombo, Daniele Merico, Zoltán Nagy, Flavio De Paoli, Marco Antoniotti, Giancarlo Mauri
2009 C conf
Picture Languages Generated by Assembling Tiles.
LATA
Paola Bonizzoni, Claudio Ferretti, Anthonath Roslin Sagaya Mary, Giancarlo Mauri
2009 J jnl
Special Issue on Membrane Computing, Seventh Brainstorming Week on Membrane Computing.
Int. J. Comput. Commun. Control
Giancarlo Mauri, Gheorghe Paun, Agustín Riscos-Núñez
2009 J jnl
Uniform solutions to SAT and Subset Sum by spiking neural P systems.
Nat. Comput.
Alberto Leporati, Giancarlo Mauri, Claudio Zandron, Gheorghe Paun, Mario J. Pérez-Jiménez
2008 — ed.
Fifth IFIP International Conference On Theoretical Computer Science - TCS 2008, IFIP 20th World Computer Congress, TC 1, Foundations of Computer Science, September 7-10, 2008, Milano, Italy
IFIP TCS
Giorgio Ausiello, Juhani Karhumäki, Giancarlo Mauri, C.-H. Luke Ong
2008 — conf
First Steps Towards a Wet Implementation for t-DPP.
Workshop on Membrane Computing
Dario Pescini, Paolo Cazzaniga, Claudio Ferretti, Giancarlo Mauri
2008 J jnl
Frequency Membrane Systems.
Comput. Informatics
Davide Molteni, Claudio Ferretti, Giancarlo Mauri
2008 — conf
GP Generation of Pedestrian Behavioral Rules in an Evacuation Model Based on SCA.
ACRI
Stefania Bandini, Sara Manzoni, Giancarlo Mauri, Stefano Redaelli, Leonardo Vanneschi
2008 — conf
How Redundant Is Your Universal Computation Device?.
Workshop on Membrane Computing
Alberto Leporati, Claudio Zandron, Giancarlo Mauri
2008 J jnl
Modelling metapopulations with stochastic membrane systems.
Biosyst.
Daniela Besozzi, Paolo Cazzaniga, Dario Pescini, Giancarlo Mauri
2008 J jnl
On the Computational Efficiency of Polarizationless Recognizer P Systems with Strong Division and Dissolution.
Fundam. Informaticae
Claudio Zandron, Alberto Leporati, Claudio Ferretti, Giancarlo Mauri, Mario J. Pérez-Jiménez
2008 J jnl
Simulation of a bounded symport/antiport P system with Brane calculi.
Biosyst.
Antonio Vitale, Giancarlo Mauri, Claudio Zandron
2007 B conf
A Comprehensive View of Fitness Landscapes with Neutrality and Fitness Clouds.
EuroGP
Leonardo Vanneschi, Marco Tomassini, Philippe Collard, Sébastien Vérel, Yuri Pirola, Giancarlo Mauri
2007 J jnl
Biowep: a workflow enactment portal for bioinformatics applications.
BMC Bioinform.
Paolo Romano, Ezio Bartocci, Guglielmo Bertolini, Flavio De Paoli, Domenico Marra, Giancarlo Mauri, Emanuela Merelli, Luciano Milanesi
2007 — conf
Discovering Relations Among GO-Annotated Clusters by Graph Kernel Methods.
ISBRA
Italo Zoppis, Daniele Merico, Marco Antoniotti, Bud Mishra, Giancarlo Mauri
2007 J jnl
Emergent Pattern Interpretation in Vegetable Population Dynamics.
J. Cell. Autom.
Stefania Bandini, Sara Manzoni, Giancarlo Mauri, Stefano Redaelli
2007 — conf
Evaluating Graph Kernel Methods for Relation Discovery in GO-Annotated Clusters.
KES (3)
Daniele Merico, Italo Zoppis, Marco Antoniotti, Giancarlo Mauri
2007 C conf
Membrane Systems and Their Application to Systems Biology.
CiE
Giancarlo Mauri
2007 — conf
On a Paun's Conjecture in Membrane Systems.
IWINAC (1)
Giancarlo Mauri, Mario J. Pérez-Jiménez, Claudio Zandron
2007 — conf
Ontological Modelling for Neurovascular Disease Study: Issues in the Adoption of Description Logic.
Description Logics
Gianluca Colombo, Daniele Merico, Marco Antoniotti, Flavio De Paoli, Giancarlo Mauri
2007 — conf
Reference Ontology Design for a Neurovascular Knowledge Network.
MTSR
Gianluca Colombo, Daniele Merico, Giancarlo Mauri
2007 — conf
Solving Numerical NP-Complete Problems with Spiking Neural P Systems.
Workshop on Membrane Computing
Alberto Leporati, Claudio Zandron, Claudio Ferretti, Giancarlo Mauri
2007 — conf
Support Vector Clustering of Dependencies in Microarray Data.
IMECS
Italo Zoppis, Sergio Pozzi, Giancarlo Mauri
2007 J jnl
The Genopolis Microarray Database.
BMC Bioinform.
Andrea Splendiani, Marco Brandizi, Gael Even, Ottavio Beretta, Norman Pavelka, Mattia Pelizzola, Manuel Mayhaus, Maria Foti, Giancarlo Mauri, Paola Ricciardi-Castagnoli
2006 C conf
A Decision Procedure for Reflexive Regular Splicing Languages.
Developments in Language Theory
Paola Bonizzoni, Giancarlo Mauri
2006 — conf
Communication via Mobile Vesicles in Brane Calculi.
MeCBIC@ICALP
Antonio Vitale, Giancarlo Mauri
2006 J jnl
Complexity classes for membrane systems.
RAIRO Theor. Informatics Appl.
Antonio E. Porreca, Giancarlo Mauri, Claudio Zandron
2006 J jnl
Dynamical probabilistic P systems.
Int. J. Found. Comput. Sci.
Dario Pescini, Daniela Besozzi, Giancarlo Mauri, Claudio Zandron
2006 B conf
Fingerprint Clustering with Bounded Number of Missing Values.
CPM
Paola Bonizzoni, Gianluca Della Vedova, Riccardo Dondi, Giancarlo Mauri
2006 A conf
Heterogeneous cooperative coevolution: strategies of integration between GP and GA.
GECCO
Leonardo Vanneschi, Giancarlo Mauri, Andrea Valsecchi, Stefano Cagnoni
2006 J jnl
Linear splicing and syntactic monoid.
Discret. Appl. Math.
Paola Bonizzoni, Clelia De Felice, Giancarlo Mauri, Rosalba Zizza
2006 J jnl
MoD Tools: regulatory motif discovery in nucleotide sequences from co-regulated or homologous genes.
Nucleic Acids Res.
Giulio Pavesi, Paolo Mereghetti, Federico Zambelli, Marco Stefani, Giancarlo Mauri, Graziano Pesole
2006 J jnl
Network integration of data and analysis of oncology interest.
J. Integr. Bioinform.
Paolo Romano, Guglielmo Bertolini, Flavio De Paoli, M. Fattore, Domenico Marra, Giancarlo Mauri, Emanuela Merelli, Ivan Porro, Silvia Scaglione, Luciano Milanesi
2006 — ch.
P System Models for Mechanosensitive Channels.
Applications of Membrane Computing
Ioan I. Ardelean, Daniela Besozzi, Max H. Garzon, Giancarlo Mauri, Sujoy Roy
2006 J jnl
Reversible P Systems to Simulate Fredkin Circuits.
Fundam. Informaticae
Alberto Leporati, Claudio Zandron, Giancarlo Mauri
2006 J jnl
Supporting Action-at-a-distance in Situated Cellular Agents.
Fundam. Informaticae
Stefania Bandini, Giancarlo Mauri, Giuseppe Vizzari
2006 — conf
Tau Leaping Stochastic Simulation Method in P Systems.
Workshop on Membrane Computing
Paolo Cazzaniga, Dario Pescini, Daniela Besozzi, Giancarlo Mauri
2006 B conf
Using Subtree Crossover Distance to Investigate Genetic Programming Dynamics.
EuroGP
Leonardo Vanneschi, Steven M. Gustafson, Giancarlo Mauri
2005 — conf
A Membrane Computing System Mapped on an Asynchronous, Distributed Computational Environment.
Workshop on Membrane Computing
Guido Casiraghi, Claudio Ferretti, Alberto Gallini, Giancarlo Mauri
2005 J jnl
Algorithms for pattern matching and discovery in RNA secondary structure.
Theor. Comput. Sci.
Giancarlo Mauri, Giulio Pavesi
2005 B conf
Analysis and Simulation of Dynamics in Probabilistic P Systems.
DNA
Dario Pescini, Daniela Besozzi, Claudio Zandron, Giancarlo Mauri
2005 — conf
Bio Molecular Engine: a bio-inspired environment for models of growing and evolvable computation.
GECCO Workshops
Alberto Gallini, Claudio Ferretti, Giancarlo Mauri
2005 — conf
Bio-Molecular Engine: A Simulation Environment for Bio-Inspired Architectural Models of Molecular-Scale Devices Based Machines.
MSV
Alberto Gallini, Claudio Ferretti, Giancarlo Mauri, Davide Molteni
2005 — conf
Clustering Causal Relationships in Genes Expression Data.
WIRN/NAIS
Sergio Pozzi, Italo Zoppis, Giancarlo Mauri
2005 B ed.
DNA Computing, 10th International Workshop on DNA Computing, DNA 2004, Milan, Italy, June 7-10, 2004, Revised Selected Papers
DNA
Claudio Ferretti, Giancarlo Mauri, Claudio Zandron
2005 Misc conf
Investigating Local Evolutions in Dynamical Probabilistic P Systems.
SYNASC
Dario Pescini, Daniela Besozzi, Giancarlo Mauri
2005 — ed.
Membrane Computing, 5th International Workshop, WMC 2004, Milan, Italy, June 14-16, 2004, Revised Selected and Invited Papers
Workshop on Membrane Computing
Giancarlo Mauri, Gheorghe Paun, Mario J. Pérez-Jiménez, Grzegorz Rozenberg, Arto Salomaa
2005 J jnl
On the power and size of extended gemmating P systems.
Soft Comput.
Daniela Besozzi, Erzsébet Csuhaj-Varjú, Giancarlo Mauri, Claudio Zandron
2005 J jnl
On the power of circular splicing.
Discret. Appl. Math.
Paola Bonizzoni, Clelia De Felice, Giancarlo Mauri, Rosalba Zizza
2005 J jnl
On-line construction of compact directed acyclic word graphs.
Discret. Appl. Math.
Shunsuke Inenaga, Hiromasa Hoshino, Ayumi Shinohara, Masayuki Takeda, Setsuo Arikawa, Giancarlo Mauri, Giulio Pavesi
2005 J jnl
Overview of BITS2005, the Second Annual Meeting of the Italian Bioinformatics Society.
BMC Bioinform.
Manuela Helmer-Citterich, Rita Casadio, Alessandro Guffanti, Giancarlo Mauri, Luciano Milanesi, Graziano Pesole, Giorgio Valle, Cecilia Saccone
2005 — conf
P Systems with Memory.
Workshop on Membrane Computing
Paolo Cazzaniga, Alberto Leporati, Giancarlo Mauri, Claudio Zandron
2005 — conf
Quantum Sequential P Systems with Unit Rules and Energy Assigned to Membranes.
Workshop on Membrane Computing
Alberto Leporati, Giancarlo Mauri, Claudio Zandron
2005 C conf
Recombinant DNA , Gene Splicing as Generative Devices of Formal Languages.
CiE
Paola Bonizzoni, Clelia De Felice, Giancarlo Mauri
2005 J jnl
Regular splicing languages and subclasses.
Theor. Comput. Sci.
Paola Bonizzoni, Giancarlo Mauri
2005 J jnl
Spectral-based printer modeling and characterization.
J. Electronic Imaging
Silvia Zuffi, Raimondo Schettini, Giancarlo Mauri
2004 — conf
A GA Approach to the Definition of Regulatory Signals in Genomic Sequences.
GECCO (1)
Giancarlo Mauri, Roberto Mosca, Giulio Pavesi
2004 J jnl
An Algorithm for Finding Conserved Secondary Structure Motifs in Unaligned RNA Sequences.
J. Comput. Sci. Technol.
Giulio Pavesi, Giancarlo Mauri, Graziano Pesole
2004 — conf
An Empirical Approach for Spectral Color Printers Characterization.
CGIV
Raimondo Schettini, Daniela Bianucci, Giancarlo Mauri, Silvia Zuffi
2004 — conf
An Explicit Upper Bound for the Approximation Ratio of the Maximum Gene Regulatory Network Problem.
CMSB
Sergio Pozzi, Gianluca Della Vedova, Giancarlo Mauri
2004 J jnl
Circular splicing and regularity.
RAIRO Theor. Informatics Appl.
Paola Bonizzoni, Clelia De Felice, Giancarlo Mauri, Rosalba Zizza
2004 — conf
Combinatorial and Machine Learning Approaches in Clustering Microarray Data.
WIRN
Sergio Pozzi, Italo Zoppis, Giancarlo Mauri
2004 C conf
Computing with a Distributed Reaction-Diffusion Model.
MCU
Stefania Bandini, Giancarlo Mauri, Giulio Pavesi, Carla Simone
2004 — conf
Conservative Computations in Energy-Based P Systems.
Workshop on Membrane Computing
Alberto Leporati, Claudio Zandron, Giancarlo Mauri
2004 J jnl
Hierarchies of Parallel Rewriting P Systems - A Survey.
New Gener. Comput.
Daniela Besozzi, Giancarlo Mauri, Claudio Zandron
2004 J jnl
In silico representation and discovery of transcription factor binding sites.
Briefings Bioinform.
Giulio Pavesi, Giancarlo Mauri, Graziano Pesole
2004 — ed.
Membrane Computing, International Workshop, WMC 2003, Tarragona, Spain, July 17-22, 2003, Revised Papers
Workshop on Membrane Computing
Carlos Martín-Vide, Giancarlo Mauri, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa
2004 — conf
Remarks on Relativisations and DNA Encodings.
Aspects of Molecular Computing
Claudio Ferretti, Giancarlo Mauri
2004 J jnl
Simulating the Fredkin Gate with Energy-Based P Systems.
J. Univers. Comput. Sci.
Alberto Leporati, Claudio Zandron, Giancarlo Mauri
2004 C conf
Universal Families of Reversible P Systems.
MCU
Alberto Leporati, Claudio Zandron, Giancarlo Mauri
2004 J jnl
Weeder Web: discovery of transcription factor binding sites in a set of sequences from co-regulated genes.
Nucleic Acids Res.
Giulio Pavesi, Paolo Mereghetti, Giancarlo Mauri, Graziano Pesole
2003 — conf
A Probabilistic Neural Networks System to Recognize 3D Face of People.
WIRN
Giancarlo Mauri, Italo Zoppis
2003 — conf
Collapsing Hierarchies of Parallel Rewriting P Systems without Target Conflicts.
Workshop on Membrane Computing
Daniela Besozzi, Giancarlo Mauri, György Vaszil, Claudio Zandron
2003 B conf
Deadlock Decidability in Partial Parallel P Systems.
DNA
Daniela Besozzi, Giancarlo Mauri, Claudio Zandron
2003 J jnl
Gemmating P systems: collapsing hierarchies.
Theor. Comput. Sci.
Daniela Besozzi, Giancarlo Mauri, Gheorghe Paun, Claudio Zandron
2003 B conf
On the Computational Complexity of Conservative Computing.
MFCS
Giancarlo Mauri, Alberto Leporati
2003 J jnl
On three variants of rewriting P systems.
Theor. Comput. Sci.
Claudio Ferretti, Giancarlo Mauri, Gheorghe Paun, Claudio Zandron
2003 B conf
Pattern Discovery in RNA Secondary Structure Using Affix Trees.
CPM
Giancarlo Mauri, Giulio Pavesi
2003 B conf
Predicting Conserved Hairpin Motifs in Unaligned RNA Sequences.
ICTAI
Giulio Pavesi, Giancarlo Mauri, Graziano Pesole
2003 C conf
Regular Languages Generated by Reflexive Finite Splicing Systems.
Developments in Language Theory
Paola Bonizzoni, Clelia De Felice, Giancarlo Mauri, Rosalba Zizza
2003 — conf
Spectral-Based Characterization of Inkjet Printers by Neural and Genetic Algorithms.
PICS
Silvia Zuffi, Raimondo Schettini, Giancarlo Mauri
2003 — conf
Using genetic algorithms for spectral-based printer characterization.
Color Imaging: Processing, Hardcopy, and Applications
Silvia Zuffi, Raimondo Schettini, Giancarlo Mauri
2003 B conf
Word Design for Molecular Computing: A Survey.
DNA
Giancarlo Mauri, Claudio Ferretti
2002 J jnl
A duality theorem for two connectivity-preserving parallel shrinking transformations.
Future Gener. Comput. Syst.
Hiroshi Umeo, Giancarlo Mauri
2002 J jnl
A parallel algorithm for pattern discovery in biological sequences.
Future Gener. Comput. Syst.
Giancarlo Mauri, Giulio Pavesi
2002 C conf
Decision Problems for Linear and Circular Splicing Systems.
Developments in Language Theory
Paola Bonizzoni, Clelia De Felice, Giancarlo Mauri, Rosalba Zizza
2002 B conf
Parallel Rewriting P Systems with Deadlock.
DNA
Daniela Besozzi, Claudio Ferretti, Giancarlo Mauri, Claudio Zandron
2002 — conf
Parallel Rewriting P Systems without Target Conflicts.
WMC-CdeA
Daniela Besozzi, Giancarlo Mauri, Claudio Zandron
2001 — conf
An algorithm for finding signals of unknown length in DNA sequences.
ISMB (Supplement of Bioinformatics)
Giulio Pavesi, Giancarlo Mauri, Graziano Pesole
2001 Misc conf
An approximation algorithm for the shortest common supersequence problem: an experimental analysis.
SAC
Paolo Barone, Paola Bonizzoni, Gianluca Della Vedova, Giancarlo Mauri
2001 J jnl
Cellular automata: From a theoretical parallel computational model to its application to complex systems.
Parallel Comput.
Stefania Bandini, Giancarlo Mauri, Roberto Serra
2001 J jnl
Cellular automata: From modeling to applications.
Parallel Comput.
Stefania Bandini, Giancarlo Mauri, Roberto Serra
2001 J jnl
Computing with Shapes.
J. Vis. Lang. Comput.
Paolo Bottoni, Giancarlo Mauri, Piero Mussio, Gheorghe Paun
2001 J jnl
Experimenting an approximation algorithm for the LCS.
Discret. Appl. Math.
Paola Bonizzoni, Gianluca Della Vedova, Giancarlo Mauri
2001 J jnl
Methods for Pattern Discovery in Unaligned Biological Sequences.
Briefings Bioinform.
Giulio Pavesi, Giancarlo Mauri, Graziano Pesole
2001 B conf
On-Line Construction of Compact Directed Acyclic Word Graphs.
CPM
Shunsuke Inenaga, Hiromasa Hoshino, Ayumi Shinohara, Masayuki Takeda, Setsuo Arikawa, Giancarlo Mauri, Giulio Pavesi
2001 — conf
P Systems with Gemmation of Mobile Membranes.
ICTCS
Daniela Besozzi, Claudio Zandron, Giancarlo Mauri, Nicoletta Sabadini
2001 B conf
Parallel Algorithms for the Analysis of Biological Sequences.
PaCT
Giancarlo Mauri, Giulio Pavesi
2001 B conf
Parallel Generation of Percolation Beds Based on Stochastic Cellular Automata.
PaCT
Stefania Bandini, Giancarlo Mauri, Giulio Pavesi
2001 J jnl
Parallel simulation of reaction-diffusion phenomena in percolation processes : A model based on cellular automata.
Future Gener. Comput. Syst.
Stefania Bandini, Giancarlo Mauri, Giulio Pavesi, Carla Simone
2001 J jnl
Separating some splicing models.
Inf. Process. Lett.
Paola Bonizzoni, Claudio Ferretti, Giancarlo Mauri, Rosalba Zizza
2001 — conf
Splicing systems using merge and separate operations.
Where Mathematics, Computer Science, Linguistics and Biology Meet
Claudio Zandron, Giancarlo Mauri, Claudio Ferretti, Paola Bonizzoni
2001 C conf
Two Normal Forms for Rewriting P Systems.
MCU
Claudio Zandron, Claudio Ferretti, Giancarlo Mauri
2000 — conf
A Duality in Two Connectivity-Preserving Parallel Shrinking Algorithms for Binary Images.
ACRI
Hiroshi Umeo, Giancarlo Mauri
2000 B conf
Approximating the Maximum Isomorphic Agreement Subtree Is Hard.
CPM
Paola Bonizzoni, Gianluca Della Vedova, Giancarlo Mauri
2000 J jnl
Approximating the Maximum Isomorphic Agreement Subtree is Hard.
Int. J. Found. Comput. Sci.
Paola Bonizzoni, Gianluca Della Vedova, Giancarlo Mauri
2000 — conf
Approximation Algorithms for String Folding Problems.
IFIP TCS
Giancarlo Mauri, Giulio Pavesi
2000 — conf
Bidimensional Contextual Grammars.
Recent Topics in Mathematical and Computational Linguistics
Paolo Bottoni, Giancarlo Mauri, Piero Mussio
2000 — conf
DNA and Circular Splicing.
DNA Computing
Paola Bonizzoni, Clelia De Felice, Giancarlo Mauri, Rosalba Zizza
2000 J jnl
Nine test tubes generate any RE language.
Theor. Comput. Sci.
Claudio Ferretti, Giancarlo Mauri, Claudio Zandron
2000 J jnl
On the Power of Pictorial Languages.
Int. J. Pattern Recognit. Artif. Intell.
Paolo Bottoni, Giancarlo Mauri, Piero Mussio, Gheorghe Paun
2000 J jnl
On the universality of Post and splicing systems.
Theor. Comput. Sci.
Claudio Ferretti, Giancarlo Mauri, Satoshi Kobayashi, Takashi Yokomori
2000 — conf
Solving NP-Complete Problems Using P Systems with Active Membranes.
UMC
Claudio Zandron, Claudio Ferretti, Giancarlo Mauri
1999 B conf
A Parallel Model Based on Cellular Automata for the Simulation of Pesticide Percolation in the Soil.
PaCT
Stefania Bandini, Giancarlo Mauri, Giulio Pavesi, Carla Simone
1999 A* conf
Approximation Algorithms for Protein Folding Prediction.
SODA
Giancarlo Mauri, Giulio Pavesi, Antonio Piccolboni
1999 — conf
Coordination through Group Rewriting.
Grammatical Models of Multi-Agent Systems
Paolo Bottoni, Giancarlo Mauri, Piero Mussio
1999 B conf
Implementing Cellular Automata Based Models on Parallel Architectures: The CAPP Project.
PaCT
Stefania Bandini, Giovanni Erbacci, Giancarlo Mauri
1999 J jnl
Learning fuzzy rules with tabu search-an application to control.
IEEE Trans. Fuzzy Syst.
Maurizio Denna, Giancarlo Mauri, Anna Maria Zanaboni
1999 J jnl
Multilayered Cellular Automata.
Theor. Comput. Sci.
Stefania Bandini, Giancarlo Mauri
1999 J jnl
On the Dynamical Behavior of Chaotic Cellular Automata.
Theor. Comput. Sci.
Gianpiero Cattaneo, Enrico Formenti, Luciano Margara, Giancarlo Mauri
1998 B conf
Distance space evolutionary algorithms for protein folding prediction.
SMC
Antonio Piccolboni, Giancarlo Mauri
1998 — conf
Fragment assembly system for DNA sequencing projects.
Mathematical Support for Molecular Biology
Luciano Milanesi, M. Marsilli, Giancarlo Mauri, C. Rolfi, L. Uboldi
1998 J jnl
Grammars Working on Layered Strings.
Acta Cybern.
Paolo Bottoni, Giancarlo Mauri, Piero Mussio, Gheorghe Paun
1998 — conf
Nine Test Tubes Generate any
MCU (2)
Claudio Ferretti, Giancarlo Mauri, Claudio Zandron
1998 — conf
On the Universality of Post and Splicing Systems.
MCU (2)
Claudio Ferretti, Giancarlo Mauri, Satoshi Kobayashi, Takashi Yokomori
1997 — conf
A Reduced Distributed Splicing System for RE Languages.
New Trends in Formal Languages
Claudio Zandron, Claudio Ferretti, Giancarlo Mauri
1997 — ed.
ACRI '96, Proceedings of the Second Conference on Cellular Automata for Research and Industry, Milan, Italy, 16-18 October 1996
ACRI
Stefania Bandini, Giancarlo Mauri
1997 — conf
Application of Evolutionary Algorithms to Protein Folding Prediction.
Artificial Evolution
Antonio Piccolboni, Giancarlo Mauri
1997 — conf
Application of Evolutionary Algorithms to Protein Folding Prediction.
ICONIP (2)
Antonio Piccolboni, Giancarlo Mauri
1997 — conf
On Controlling Rewriting by Properties of Strings and Symbols.
New Trends in Formal Languages
Paolo Bottoni, Giancarlo Mauri, Piero Mussio
1997 J jnl
Transformations of the One-Dimensional Cellular Automata Rule Space.
Parallel Comput.
Gianpiero Cattaneo, Enrico Formenti, Luciano Margara, Giancarlo Mauri
1996 — conf
Essential Transformations of the One Dimensional Cellular Automata Rule Space and Endomorphisms of Compact Abelian Groups.
ACRI
Gianpiero Cattaneo, Enrico Formenti, Giancarlo Mauri, A. Vaccaro, Luciano Margara
1996 J jnl
Modular Algebraic Nets to Specify Concurrent Systems.
IEEE Trans. Software Eng.
Eugenio Battiston, Fiorella de Cindio, Giancarlo Mauri
1996 — conf
Towards Multilayered Automata Networks.
ACRI
Stefania Bandini, Giancarlo Mauri
1995 — ch.
Counting Techniques for Inclusion, Equivalence and Membership Problems.
The Book of Traces
Alberto Bertoni, Massimiliano Goldwurm, Giancarlo Mauri, Nicoletta Sabadini
1995 C conf
Rule Space Transformations and One-Dimensional Cellular Automata.
Developments in Language Theory
Gianpiero Cattaneo, Enrico Formenti, Giancarlo Mauri
1994 — conf
Identifying Regular Languages over Partially-Commutative Monoids.
AII/ALT
Claudio Ferretti, Giancarlo Mauri
1994 — conf
Identifying Unrecognizable Regular Languages by Queries.
ECML
Claudio Ferretti, Giancarlo Mauri
1993 J jnl
Complex Chaotic Behavior of a Class of Subshift Cellular Automata.
Complex Syst.
G. Braga, Gianpiero Cattaneo, Paola Flocchini, Giancarlo Mauri
1993 J jnl
Evaluating Performance and Quality of Knowledge-Based Systems: Foundation and Methodology.
IEEE Trans. Knowl. Data Eng.
Giovanni Guida, Giancarlo Mauri
1993 — conf
Semantics Frameworks for a Class of Modular Algebraic Nets.
AMAST
Eugenio Battiston, V. Crespi, Fiorella de Cindio, Giancarlo Mauri
1992 J jnl
Combining Image Processing Operators and Neural Networks in A Face Recognition System.
Int. J. Pattern Recognit. Artif. Intell.
Paola Flocchini, Francesco Gardin, Giancarlo Mauri, Maria Pia Pensini, Paolo Stofella
1992 J jnl
On Automata on Infinite Trees.
Theor. Comput. Sci.
Paola Bonizzoni, Giancarlo Mauri
1992 — ch.
Recognizing sets of labelled acyclic graphs.
Tree Automata and Languages
Paola Bonizzoni, Giancarlo Mauri, Giovanni Pighizzini, Nicoletta Sabadini
1991 J jnl
Some Notes on Computational Learing Theory.
Bull. EATCS
Alberto Bertoni, Paola Campadelli, Giancarlo Mauri
1989 — conf
Flowshop and Travelling Salesman Problem.
Parallelism, Learning, Evolution
Maria Pia Pensini, Giancarlo Mauri, Francesco Gardin
1989 J jnl
Membership Problems for Regular and Context-Free Trace Languages
Inf. Comput.
Alberto Bertoni, Giancarlo Mauri, Nicoletta Sabadini
1989 — conf
UNIX-Tutor: An Experiment for the Use of Deep Knowledge for Tutoring.
IFIP Congress
Gisella Arienti, Tiziana Cazzaniga, Francesco Gardin, Giancarlo Mauri
1987 — conf
OBJSA Nets: a Class of High- level Nets Having Objects as Domains.
European Workshop on Applications and Theory of Petri Nets
Eugenio Battiston, Fiorella de Cindio, Giancarlo Mauri
1986 — conf
A Symbolic Manipulation System for Combinatorial Problems.
AAECC
Paolo Massazza, Giancarlo Mauri, P. Righi, Mauro Torelli
1986 J jnl
Evaluation of natural language processing systems: Issues and approaches.
Proc. IEEE
Giovanni Guida, Giancarlo Mauri
1986 — conf
OBJ-SAN: Towards the Definition of a Class of High-Level Nets using OBJ2.
ADT
Giancarlo Mauri
1986 — conf
Parallel Algorithms and the Classification of Problems.
WOPPLOT
Alberto Bertoni, Massimiliano Goldwurm, Giancarlo Mauri, Nicoletta Sabadini
1984 J jnl
A Formal Basis for Performance Evaluation of Natural Language Understanding Systems.
Comput. Linguistics
Giovanni Guida, Giancarlo Mauri
1984 — conf
Abstract Data Types and Their Extensions within a Constructive Logic.
Semantics of Data Types
Alberto Bertoni, Giancarlo Mauri, Pierangelo Miglioli, Mario Ornaghi
1982 A* conf
Equivalence and Membership Problems for Regular Trace Languages.
ICALP
Alberto Bertoni, Giancarlo Mauri, Nicoletta Sabadini
1981 — conf
A # P-Complete Problem over Arithmetical Trees.
CAAP
Giancarlo Mauri, Nicoletta Sabadini
1981 A* conf
A Characterization of the Class of Functions Computable in Polynomial Time on Random Access Machines
STOC
Alberto Bertoni, Giancarlo Mauri, Nicoletta Sabadini
1981 B conf
An Application of the Theory of Free Partially Commutative Monoids: Asymptotic Densities of Trace Languages.
MFCS
Alberto Bertoni, Marco Brambilla, Giancarlo Mauri, Nicoletta Sabadini
1981 J jnl
On Efficient Computation of the Coefficients of Some Polynomials with Applications to Some Enumeration Problems.
Inf. Process. Lett.
Alberto Bertoni, Giancarlo Mauri
1981 — conf
On the Logic of Concurrency and Conflict.
Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets
Giancarlo Mauri, Marco Brambilla
1980 — conf
Towards a Theory of Abstract Data Types: A Discussion on Problems and Tools.
Symposium on Programming
Alberto Bertoni, Giancarlo Mauri, Pierangelo Miglioli
1979 A* conf
A Characterization of Abstract Data as Model-Theoretic Invariants.
ICALP
Alberto Bertoni, Giancarlo Mauri, Pierangelo Miglioli
1979 A conf
Extending the Entity-Relationship Approach to Take in Account Historical Aspects of Systems.
ER
Valeria De Antonellis, G. Degli Antoni, Giancarlo Mauri, Bruna Zonta
1979 J jnl
Three Efficient Algorithms for Counting Problems.
Inf. Process. Lett.
Alberto Bertoni, Giancarlo Mauri, Mauro Torelli
1979 J jnl
Use of bipartite graphs as a notation for data bases.
Inf. Syst.
Valeria De Antonellis, Fiorella de Cindio, G. Degli Antoni, Giancarlo Mauri
1977 B conf
An Algebraic Approach to Problem Solution and Problem Semantics.
MFCS
Alberto Bertoni, Giancarlo Mauri, Mauro Torelli
1977 A* conf
Some Recursive Unsolvable Problems Relating to Isolated Cutpoints in Probabilistic Automata.
ICALP
Alberto Bertoni, Giancarlo Mauri, Mauro Torelli