default search action
Giancarlo Mauri
Person information
- affiliation: University of Milano-Bicocca, Milan, Italy
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j177]Stefania Bandini, Bastien Chopard, Giancarlo Mauri:
Preface. Nat. Comput. 23(1): 1-3 (2024) - 2023
- [j176]Roberto Marangoni, Vitoantonio Bevilacqua, Mario Cannataro, Bruno Hay Mele, Giancarlo Mauri, Anna Marabotti:
An overview of bioinformatics courses delivered at the academic level in Italy: Reflections and recommendations from BITS. PLoS Comput. Biol. 19(2) (2023) - [j175]Alberto Leporati, Luca Manzoni, Giancarlo Mauri, Gloria Pietropolli, Claudio Zandron:
Inferring P systems from their computing steps: An evolutionary approach. Swarm Evol. Comput. 76: 101223 (2023) - 2022
- [j174]Riccardo Dondi, Giancarlo Mauri, Italo Zoppis:
On the complexity of approximately matching a string to a directed graph. Inf. Comput. 288: 104748 (2022) - [j173]Artiom Alhazov, Alberto Leporati, Luca Manzoni, Giancarlo Mauri, Claudio Zandron:
Evaluating space measures in P systems. J. Membr. Comput. 4(3): 251-260 (2022) - [j172]Tomasz M. Gwizdalla, Luca Manzoni, Giancarlo Mauri:
Preface. Nat. Comput. 21(3): 359-360 (2022) - [j171]Alberto Leporati, Giancarlo Mauri, Claudio Zandron:
Spiking neural P systems: main ideas and results. Nat. Comput. 21(4): 629-649 (2022) - [j170]Alberto Leporati, Luca Manzoni, Giancarlo Mauri, Claudio Zandron:
Depth-two P systems can simulate Turing machines with NP oracles. Theor. Comput. Sci. 908: 43-55 (2022) - 2021
- [j169]Riccardo Dondi, Mohammad Mehdi Hosseinzadeh, Giancarlo Mauri, Italo Zoppis:
Top-k overlapping densest subgraphs: approximation algorithms and computational complexity. J. Comb. Optim. 41(1): 80-104 (2021) - [j168]Artiom Alhazov, Alberto Leporati, Luca Manzoni, Giancarlo Mauri, Claudio Zandron:
Alternative space definitions for P systems with active membranes. J. Membr. Comput. 3(2): 87-96 (2021) - [j167]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:
A framework for validating AI in precision medicine: considerations from the European ITFoC consortium. BMC Medical Informatics Decis. Mak. 21(1): 274 (2021) - [j166]Andrea Tangherloni, Marco S. Nobile, Paolo Cazzaniga, Giulia Capitoli, Simone Spolaor, Leonardo Rundo, Giancarlo Mauri, Daniela Besozzi:
FiCoS: A fine-grained and coarse-grained GPU-powered deterministic simulator for biochemical networks. PLoS Comput. Biol. 17(9) (2021) - [j165]Leonardo Rundo, Andrea Tangherloni, Paolo Cazzaniga, Matteo Mistri, Simone Galimberti, Ramona Woitek, Evis Sala, Giancarlo Mauri, Marco S. Nobile:
A CUDA-powered method for the feature extraction and unsupervised analysis of medical images. J. Supercomput. 77(8): 8514-8531 (2021) - 2020
- [j164]Marco S. Nobile, Giuseppina Votta, Roberta Palorini, Simone Spolaor, Humberto De Vitto, Paolo Cazzaniga, Francesca Ricciardiello, Giancarlo Mauri, Lilia Alberghina, Ferdinando Chiaradonna, Daniela Besozzi:
Fuzzy modeling and global optimization to predict novel therapeutic targets in cancer cells. Bioinform. 36(7): 2181-2188 (2020) - [j163]Luca Manzoni, Daniele M. Papetti, Paolo Cazzaniga, Simone Spolaor, Giancarlo Mauri, Daniela Besozzi, Marco S. Nobile:
Surfing on Fitness Landscapes: A Boost on Optimization by Fourier Surrogate Modeling. Entropy 22(3): 285 (2020) - [j162]Samira El Yacoubi, Stefania Bandini, Giancarlo Mauri:
Preface. J. Cell. Autom. 15(1-2): 1-2 (2020) - [j161]Alberto Leporati, Luca Manzoni, Giancarlo Mauri, Antonio E. Porreca, Claudio Zandron:
Shallow laconic P systems can count. J. Membr. Comput. 2(1): 49-58 (2020) - [j160]Alberto Leporati, Luca Manzoni, Giancarlo Mauri, Antonio E. Porreca, Claudio Zandron:
A Turing machine simulation by P systems without charges. J. Membr. Comput. 2(2): 71-79 (2020) - [j159]Alberto Leporati, Luca Manzoni, Giancarlo Mauri, Antonio E. Porreca, Claudio Zandron:
Simulating counting oracles with cooperation. J. Membr. Comput. 2(4): 303-310 (2020) - [j158]Alberto Leporati, Luca Manzoni, Giancarlo Mauri, Antonio E. Porreca, Claudio Zandron:
Subroutines in P systems and closure properties of their complexity classes. Theor. Comput. Sci. 805: 193-205 (2020) - [j157]Simone Spolaor, Marco S. Nobile, Giancarlo Mauri, Paolo Cazzaniga, Daniela Besozzi:
Coupling Mechanistic Approaches and Fuzzy Logic to Model and Simulate Complex Systems. IEEE Trans. Fuzzy Syst. 28(8): 1748-1759 (2020) - [j156]Marco S. Nobile, Eric Nisoli, Thalia Vlachou, Simone Spolaor, Paolo Cazzaniga, Giancarlo Mauri, Pier Giuseppe Pelicci, Daniela Besozzi:
cuProCell: GPU-Accelerated Analysis of Cell Proliferation With Flow Cytometry Data. IEEE J. Biomed. Health Informatics 24(11): 3173-3181 (2020) - [c192]Luca Marconi, Ricardo Anibal Matamoros Aragon, Italo Zoppis, Sara Manzoni, Giancarlo Mauri, Francesco Epifania:
Explainable Attentional Neural Recommendations for Personalized Social Learning. AI*IA 2020: 67-79 - [c191]Luca Marconi, Ricardo Anibal Matamoros Aragon, Italo Zoppis, Sara Manzoni, Giancarlo Mauri, Francesco Epifania:
Approaching Explainable Recommendations for Personalized Social Learning: the Current Stage in the Educational Platform "WhoTeach". XAI.it@AI*IA 2020: 104-111 - [c190]Italo Zoppis, Alessio Zanga, Sara Manzoni, Giulia Cisotto, Angela Morreale, Fabio Stella, Giancarlo Mauri:
An Attention-based Architecture for EEG Classification. BIOSIGNALS 2020: 214-219 - [c189]Italo Zoppis, Sara Manzoni, Giancarlo Mauri, Ricardo Anibal Matamoros Aragon, Luca Marconi, Francesco Epifania:
Attentional Neural Mechanisms for Social Recommendations in Educational Platforms. CSEDU (1) 2020: 111-117 - [c188]Riccardo Dondi, Giancarlo Mauri, Italo Zoppis:
Complexity Issues of String to Graph Approximate Matching. LATA 2020: 248-259 - [p10]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:
CNN-Based Prostate Zonal Segmentation on T2-Weighted MR Images: A Cross-Dataset Study. Neural Approaches to Dynamics of Signal Exchanges 2020: 269-280 - [p9]Changhee Han, Leonardo Rundo, Ryosuke Araki, Yujiro Furukawa, Giancarlo Mauri, Hideki Nakayama, Hideaki Hayashi:
Infinite Brain MR Images: PGGAN-Based Data Augmentation for Tumor Detection. Neural Approaches to Dynamics of Signal Exchanges 2020: 291-303 - [i15]Riccardo Dondi, Giancarlo Mauri, Italo Zoppis:
Complexity Issues of String to Graph Approximate Matching. CoRR abs/2001.01961 (2020)
2010 – 2019
- 2019
- [j155]Changhee Han, Leonardo Rundo, Ryosuke Araki, Yudai Nagano, Yujiro Furukawa, Giancarlo Mauri, Hideki Nakayama, Hideaki Hayashi:
Combining Noise-to-Image and Image-to-Image GANs: Brain MR Image Augmentation for Tumor Detection. IEEE Access 7: 156966-156977 (2019) - [j154]Andrea Tangherloni, Simone Spolaor, Paolo Cazzaniga, Daniela Besozzi, Leonardo Rundo, Giancarlo Mauri, Marco S. Nobile:
Biochemical parameter estimation vs. benchmark functions: A comparative study of optimization performance and representation design. Appl. Soft Comput. 81 (2019) - [j153]Marco S. Nobile, Thalia Vlachou, Simone Spolaor, Daniela Bossi, Paolo Cazzaniga, Luisa Lanfrancone, Giancarlo Mauri, Pier Giuseppe Pelicci, Daniela Besozzi:
Modeling cell proliferation in human acute myeloid leukemia xenografts. Bioinform. 35(18): 3378-3386 (2019) - [j152]Andrea Tangherloni, Simone Spolaor, Leonardo Rundo, Marco S. Nobile, Paolo Cazzaniga, Giancarlo Mauri, Pietro Liò, Ivan Merelli, Daniela Besozzi:
GenHap: a novel computational method based on genetic algorithms for haplotype assembly. BMC Bioinform. 20-S(4): 172:1-172:14 (2019) - [j151]Leonardo Rundo, Andrea Tangherloni, Paolo Cazzaniga, Marco S. Nobile, Giorgio Russo, Maria Carla Gilardi, Salvatore Vitabile, Giancarlo Mauri, Daniela Besozzi, Carmelo Militello:
A novel framework for MR image segmentation and quantification by using MedGA. Comput. Methods Programs Biomed. 176: 159-172 (2019) - [j150]Leonardo Rundo, Andrea Tangherloni, Marco S. Nobile, Carmelo Militello, Daniela Besozzi, Giancarlo Mauri, Paolo Cazzaniga:
MedGA: A novel evolutionary method for image enhancement in medical imaging systems. Expert Syst. Appl. 119: 387-399 (2019) - [j149]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:
USE-Net: Incorporating Squeeze-and-Excitation blocks into U-Net for prostate zonal segmentation of multi-institutional MRI datasets. Neurocomputing 365: 31-43 (2019) - [j148]Riccardo Dondi, Giancarlo Mauri, Florian Sikora, Italo Zoppis:
Covering a Graph with Clubs. J. Graph Algorithms Appl. 23(2): 271-292 (2019) - [j147]Alberto Leporati, Luca Manzoni, Giancarlo Mauri, Antonio E. Porreca, Claudio Zandron:
Characterizing PSPACE with shallow non-confluent P systems. J. Membr. Comput. 1(2): 75-84 (2019) - [j146]Giancarlo Mauri, Samira El Yacoubi, Stefania Bandini:
Preface. Nat. Comput. 18(4): 825-826 (2019) - [j145]Chiara Damiani, Davide Maspero, Marzia Di Filippo, Riccardo Colombo, Dario Pescini, Alex Graudenzi, Hans V. Westerhoff, Lilia Alberghina, Marco Vanoni, Giancarlo Mauri:
Integration of single-cell RNA-seq data into population models to characterize cancer metabolism. PLoS Comput. Biol. 15(2) (2019) - [j144]Riccardo Dondi, Giancarlo Mauri, Italo Zoppis:
On the tractability of finding disjoint clubs in a network. Theor. Comput. Sci. 777: 243-251 (2019) - [j143]Mauro Castelli, Riccardo Dondi, Giancarlo Mauri, Italo Zoppis:
Comparing incomplete sequences via longest common subsequence. Theor. Comput. Sci. 796: 272-285 (2019) - [j142]Marco S. Nobile, Paolo Cazzaniga, Daniela Besozzi, Giancarlo Mauri:
ginSODA: massive parallel integration of stiff ODE systems on GPUs. J. Supercomput. 75(12): 7844-7856 (2019) - [c187]Italo Zoppis, Sara Manzoni, Giancarlo Mauri:
A Computational Model for Promoting Targeted Communication and Supplying Social Explainable Recommendations. CBMS 2019: 429-434 - [c186]Davide Maspero, Marzia Di Filippo, Fabrizio Angaroni, Dario Pescini, Giancarlo Mauri, Marco Vanoni, Alex Graudenzi, Chiara Damiani:
Integration of Single-Cell RNA-Sequencing Data into Flux Balance Cellular Automata. CIBB 2019: 207-215 - [c185]Marco S. Nobile, Thalia Vlachou, Simone Spolaor, Paolo Cazzaniga, Giancarlo Mauri, Pier Giuseppe Pelicci, Daniela Besozzi:
ProCell: Investigating cell proliferation with Swarm Intelligence. CIBCB 2019: 1-8 - [c184]Italo Zoppis, Riccardo Dondi, Sara Manzoni, Giancarlo Mauri, Luca Marconi, Francesco Epifania:
Optimized Social Explanation for Educational Platforms. CSEDU (1) 2019: 85-91 - [c183]Mauro Castelli, Riccardo Dondi, Sara Manzoni, Giancarlo Mauri, Italo Zoppis:
Top k 2-Clubs in a Network: A Genetic Algorithm. ICCS (5) 2019: 656-663 - [c182]Riccardo Dondi, Mohammad Mehdi Hosseinzadeh, Giancarlo Mauri, Italo Zoppis:
Top-k Overlapping Densest Subgraphs: Approximation and Complexity. ICTCS 2019: 110-121 - [c181]Italo Zoppis, Sara Manzoni, Giancarlo Mauri, Giada Pietrabissa, Andrea Trentini, Daniela Micucci, Gianluca Castelnuovo:
Nudges Driven Networks: Towards More Acceptable Recommendations for Inducing Targeted Social Communities. INSCI 2019: 348-355 - [c180]Giada Pietrabissa, Italo Zoppis, Giancarlo Mauri, Roberta Ghiretti, Emanuele Maria Giusti, Roberto Cattivelli, Chiara Spatola, Gian Mauro Manzoni, Gianluca Castelnuovo:
System of Nudge Theory-Based ICT Applications for Older Citizens: The SENIOR Project. MindCare 2019: 29-42 - [c179]Leonardo Rundo, Andrea Tangherloni, Simone Galimberti, Paolo Cazzaniga, Ramona Woitek, Evis Sala, Marco S. Nobile, Giancarlo Mauri:
HaraliCU: GPU-Powered Haralick Feature Extraction on Medical Images Exploiting the Full Dynamics of Gray-Scale Levels. PaCT 2019: 304-318 - [p8]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:
Towards Human Cell Simulation. High-Performance Modelling and Simulation for Big Data Applications 2019: 221-249 - [p7]Leonardo Rundo, Carmelo Militello, Andrea Tangherloni, Giorgio Russo, Roberto Lagalla, Giancarlo Mauri, Maria Carla Gilardi, Salvatore Vitabile:
Computer-Assisted Approaches for Uterine Fibroid Segmentation in MRgFUS Treatments: Quantitative Evaluation and Clinical Feasibility Analysis. Quantifying and Processing Biomedical and Behavioral Signals 2019: 229-241 - [r5]Italo Zoppis, Giancarlo Mauri, Riccardo Dondi:
Kernel Machines: Introduction. Encyclopedia of Bioinformatics and Computational Biology (1) 2019: 495-502 - [r4]Italo Zoppis, Giancarlo Mauri, Riccardo Dondi:
Kernel Methods: Support Vector Machines. Encyclopedia of Bioinformatics and Computational Biology (1) 2019: 503-510 - [r3]Italo Zoppis, Giancarlo Mauri, Riccardo Dondi:
Kernel Machines: Applications. Encyclopedia of Bioinformatics and Computational Biology (1) 2019: 511-518 - [r2]Riccardo Dondi, Giancarlo Mauri, Italo Zoppis:
Graph Isomorphism. Encyclopedia of Bioinformatics and Computational Biology (1) 2019: 933-939 - [r1]Riccardo Dondi, Giancarlo Mauri, Italo Zoppis:
Graph Algorithms. Encyclopedia of Bioinformatics and Computational Biology (1) 2019: 940-949 - [i14]Alberto Leporati, Luca Manzoni, Giancarlo Mauri, Antonio E. Porreca, Claudio Zandron:
Solving QSAT in sublinear depth. CoRR abs/1902.03879 (2019) - [i13]Alberto Leporati, Luca Manzoni, Giancarlo Mauri, Antonio E. Porreca, Claudio Zandron:
A Turing machine simulation by P systems without charges. CoRR abs/1902.03883 (2019) - [i12]Alberto Leporati, Luca Manzoni, Giancarlo Mauri, Antonio E. Porreca, Claudio Zandron:
Characterizing PSPACE with shallow non-confluent P systems. CoRR abs/1902.09523 (2019) - [i11]Changhee Han, Leonardo Rundo, Ryosuke Araki, Yujiro Furukawa, Giancarlo Mauri, Hideki Nakayama, Hideaki Hayashi:
Infinite Brain MR Images: PGGAN-based Data Augmentation for Tumor Detection. CoRR abs/1903.12564 (2019) - [i10]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:
CNN-based Prostate Zonal Segmentation on T2-weighted MR Images: A Cross-dataset Study. CoRR abs/1903.12571 (2019) - [i9]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:
USE-Net: incorporating Squeeze-and-Excitation blocks into U-Net for prostate zonal segmentation of multi-institutional MRI datasets. CoRR abs/1904.08254 (2019) - [i8]Changhee Han, Leonardo Rundo, Ryosuke Araki, Yudai Nagano, Yujiro Furukawa, Giancarlo Mauri, Hideki Nakayama, Hideaki Hayashi:
Combining Noise-to-Image and Image-to-Image GANs: Brain MR Image Augmentation for Tumor Detection. CoRR abs/1905.13456 (2019) - 2018
- [j141]Riccardo Colombo, Chiara Damiani, David R. Gilbert, Monika Heiner, Giancarlo Mauri, Dario Pescini:
Emerging ensembles of kinetic parameters to characterize observed metabolic phenotypes. BMC Bioinform. 19-S(7): 45-59 (2018) - [j140]Leonardo Rundo, Carmelo Militello, Andrea Tangherloni, Giorgio Russo, Salvatore Vitabile, Maria Carla Gilardi, Giancarlo Mauri:
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. 28(1): 21-37 (2018) - [j139]Alex Graudenzi, Davide Maspero, Marzia Di Filippo, Marco Gnugnoli, Claudio Isella, Giancarlo Mauri, Enzo Medico, Marco Antoniotti, Chiara Damiani:
Integration of transcriptomic data and metabolic networks in cancer samples reveals highly significant prognostic power. J. Biomed. Informatics 87: 37-49 (2018) - [j138]Stefania Bandini, Samira El Yacoubi, Giancarlo Mauri, Jaroslaw Was:
Preface. Nat. Comput. 17(3): 439-440 (2018) - [j137]Leonardo Rundo, Carmelo Militello, Giorgio Russo, Salvatore Vitabile, Maria Carla Gilardi, Giancarlo Mauri:
GTVcut for neuro-radiosurgery treatment planning: an MRI brain cancer seeded image segmentation method based on a cellular automata model. Nat. Comput. 17(3): 521-536 (2018) - [j136]Marco S. Nobile, Paolo Cazzaniga, Daniela Besozzi, Riccardo Colombo, Giancarlo Mauri, Gabriella Pasi:
Fuzzy Self-Tuning PSO: A settings-free algorithm for global optimization. Swarm Evol. Comput. 39: 70-85 (2018) - [j135]Riccardo Dondi, Guillaume Fertin, Giancarlo Mauri:
Editorial. Theor. Comput. Sci. 717: 1 (2018) - [c178]Italo Zoppis, Riccardo Dondi, Sara Manzoni, Giancarlo Mauri:
Patient Engagement: Theoretical and Heuristic Approaches for Supporting the Clinical Practice. AI*AAL@AI*IA 2018: 51-66 - [c177]Italo Zoppis, Riccardo Dondi, Eugenio Santoro, Gianluca Castelnuovo, Francesco Sicurello, Giancarlo Mauri:
Optimizing Social Interaction - A Computational Approach to Support Patient Engagement. HEALTHINF 2018: 651-657 - [c176]Alberto Leporati, Luca Manzoni, Giancarlo Mauri, Antonio E. Porreca, Claudio Zandron:
Open Problems in Membrane Computing and How Not to Solve Them. Enjoying Natural Computing 2018: 182-191 - [c175]Marco S. Nobile, Andrea Tangherloni, Leonardo Rundo, Simone Spolaor, Daniela Besozzi, Giancarlo Mauri, Paolo Cazzaniga:
Computational Intelligence for Parameter Estimation of Biochemical Systems. CEC 2018: 1-8 - [c174]Andrea Tangherloni, Leonardo Rundo, Simone Spolaor, Marco S. Nobile, Ivan Merelli, Daniela Besozzi, Giancarlo Mauri, Paolo Cazzaniga, Pietro Liò:
High Performance Computing for Haplotyping: Models and Platforms. Euro-Par Workshops 2018: 650-661 - [c173]Changhee Han, Hideaki Hayashi, Leonardo Rundo, Ryosuke Araki, Wataru Shimoda, Shinichi Muramatsu, Yujiro Furukawa, Giancarlo Mauri, Hideki Nakayama:
GAN-based synthetic brain MR image generation. ISBI 2018: 734-738 - [c172]Riccardo Dondi, Giancarlo Mauri, Florian Sikora, Italo Zoppis:
Covering with Clubs: Complexity and Approximability. IWOCA 2018: 153-164 - [c171]Alberto Leporati, Luca Manzoni, Giancarlo Mauri, Antonio E. Porreca, Claudio Zandron:
Solving QSAT in Sublinear Depth. Int. Conf. on Membrane Computing 2018: 188-201 - [c170]Italo Zoppis, Riccardo Dondi, Davide Coppetti, Alessandro Beltramo, Giancarlo Mauri:
Distributed Heuristics for Optimizing Cohesive Groups: A Support for Clinical Patient Engagement in Social Network Analysis. PDP 2018: 259-266 - [c169]Davide Maspero, Alex Graudenzi, Satwinder Singh, Dario Pescini, Giancarlo Mauri, Marco Antoniotti, Chiara Damiani:
Synchronization Effects in a Metabolism-Driven Model of Multi-cellular System. WIVACE 2018: 115-126 - [p6]Leonardo Rundo, Carmelo Militello, Giorgio Russo, Davide D'Urso, Lucia Maria Valastro, Antonio Garufi, Giancarlo Mauri, Salvatore Vitabile, Maria Carla Gilardi:
Fully Automatic Multispectral MR Image Segmentation of Prostate Gland Based on the Fuzzy C-Means Clustering Algorithm. Multidisciplinary Approaches to Neural Computing 2018: 23-37 - [e10]Giancarlo Mauri, Samira El Yacoubi, Alberto Dennunzio, Katsuhiro Nishinari, Luca Manzoni:
Cellular Automata - 13th International Conference on Cellular Automata for Research and Industry, ACRI 2018, Como, Italy, September 17-21, 2018, Proceedings. Lecture Notes in Computer Science 11115, Springer 2018, ISBN 978-3-319-99812-1 [contents] - [i7]Riccardo Dondi, Giancarlo Mauri, Florian Sikora, Italo Zoppis:
Covering with Clubs: Complexity and Approximability. CoRR abs/1806.01119 (2018) - [i6]Riccardo Dondi, Mohammad Mehdi Hosseinzadeh, Giancarlo Mauri, Italo Zoppis:
Top-k Overlapping Densest Subgraphs: Approximation and Complexity. CoRR abs/1809.02434 (2018) - 2017
- [j134]Chiara Damiani, Marzia Di Filippo, Dario Pescini, Davide Maspero, Riccardo Colombo, Giancarlo Mauri:
popFBA: tackling intratumour heterogeneity with Flux Balance Analysis. Bioinform. 33(14): i311-i318 (2017) - [j133]Leonard A. Harris, Marco S. Nobile, James C. Pino, Alexander L. R. Lubbock, Daniela Besozzi, Giancarlo Mauri, Paolo Cazzaniga, Carlos F. Lopez:
GPU-powered model analysis with PySB/cupSODA. Bioinform. 33(21): 3492-3494 (2017) - [j132]Andrea Tangherloni, Marco S. Nobile, Daniela Besozzi, Giancarlo Mauri, Paolo Cazzaniga:
LASSIE: simulating large-scale models of biochemical systems on GPUs. BMC Bioinform. 18(1): 246 (2017) - [j131]Carmelo Militello, Leonardo Rundo, Vincenzo Conti, Luigi Minafra, Francesco Paolo Cammarata, Giancarlo Mauri, Maria Carla Gilardi, Nunziatina Porcino:
Area-based cell colony surviving fraction evaluation: A novel fully automatic approach using general-purpose acquisition hardware. Comput. Biol. Medicine 89: 454-465 (2017) - [j130]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:
A fully automatic approach for multimodal PET and MR image segmentation in gamma knife treatment planning. Comput. Methods Programs Biomed. 144: 77-96 (2017) - [j129]Danila Vella, Italo Zoppis, Giancarlo Mauri, Pierluigi Mauri, Dario Silvestre:
From protein-protein interactions to protein co-expression networks: a new perspective to evaluate large-scale proteomic data. EURASIP J. Bioinform. Syst. Biol. 2017: 6 (2017) - [j128]Alberto Leporati, Luca Manzoni, Giancarlo Mauri, Antonio E. Porreca, Claudio Zandron:
Tissue P Systems with Small Cell Volume. Fundam. Informaticae 154(1-4): 261-275 (2017) - [j127]Marco S. Nobile, Antonio E. Porreca, Simone Spolaor, Luca Manzoni, Paolo Cazzaniga, Giancarlo Mauri, Daniela Besozzi:
Efficient Simulation of Reaction Systems on Graphics Processing Units. Fundam. Informaticae 154(1-4): 307-321 (2017) - [j126]Leonardo Rundo, Carmelo Militello, Giorgio Russo, Antonio Garufi, Salvatore Vitabile, Maria Carla Gilardi, Giancarlo Mauri:
Automated Prostate Gland Segmentation Based on an Unsupervised Fuzzy C-Means Clustering Technique Using Multispectral T1w and T2w MR Imaging. Inf. 8(2): 49 (2017) - [j125]Alberto Leporati, Luca Manzoni, Giancarlo Mauri, Antonio E. Porreca, Claudio Zandron:
Characterising the complexity of tissue P systems with fission rules. J. Comput. Syst. Sci. 90: 115-128 (2017) - [j124]Vincenzo Conti, Leonardo Rundo, Carmelo Militello, Giancarlo Mauri, Salvatore Vitabile:
Resource-Efficient Hardware Implementation of a Neural-based Node for Automatic Fingerprint Classification. J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl. 8(4): 19-36 (2017) - [j123]Chiara Damiani, Riccardo Colombo, Daniela Gaglio, Fabrizia Mastroianni, Dario Pescini, Hans V. Westerhoff, Giancarlo Mauri, Marco Vanoni, Lilia Alberghina:
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) (2017) - [j122]Alberto Dennunzio, Enrico Formenti, Luca Manzoni, Giancarlo Mauri, Antonio E. Porreca:
Computational complexity of finite asynchronous cellular automata. Theor. Comput. Sci. 664: 131-143 (2017) - [j121]Alberto Leporati, Luca Manzoni, Giancarlo Mauri, Antonio E. Porreca, Claudio Zandron:
A toolbox for simpler active membrane algorithms. Theor. Comput. Sci. 673: 42-57 (2017) - [j120]Alberto Leporati, Luca Manzoni, Giancarlo Mauri, Antonio E. Porreca, Claudio Zandron:
The counting power of P systems with antimatter. Theor. Comput. Sci. 701: 161-173 (2017) - [j119]Andrea Tangherloni, Marco S. Nobile, Paolo Cazzaniga, Daniela Besozzi, Giancarlo Mauri:
Gillespie's Stochastic Simulation Algorithm on MIC coprocessors. J. Supercomput. 73(2): 676-686 (2017) - [c168]Mauro Castelli, Riccardo Dondi, Giancarlo Mauri, Italo Zoppis:
The Longest Filled Common Subsequence Problem. CPM 2017: 14:1-14:13 - [c167]Riccardo Dondi, Giancarlo Mauri, Italo Zoppis:
Orthology Correction for Gene Tree Reconstruction: Theoretical and Experimental Results. ICCS 2017: 1115-1124 - [c166]Alberto Leporati, Luca Manzoni, Giancarlo Mauri, Antonio E. Porreca, Claudio Zandron:
Solving a Special Case of the P Conjecture Using Dependency Graphs with Dissolution. Int. Conf. on Membrane Computing 2017: 196-213 - [c165]Marco S. Nobile, Giancarlo Mauri:
Accelerated Analysis of Biological Parameters Space Using GPUs. PaCT 2017: 70-81 - [i5]Daniele Ramazzotti, Marco S. Nobile, Paolo Cazzaniga, Giancarlo Mauri, Marco Antoniotti:
Parallel Implementation of Efficient Search Schemes for the Inference of Cancer Progression Models. CoRR abs/1703.03038 (2017) - [i4]Andrea Tangherloni, Simone Spolaor, Leonardo Rundo, Marco S. Nobile, Ivan Merelli, Paolo Cazzaniga, Daniela Besozzi, Giancarlo Mauri, Pietro Liò:
GenHap: A novel computational method based on genetic algorithms for haplotype assembly. PeerJ Prepr. 5: e3246 (2017) - 2016
- [j118]Manuel Galli, Italo Zoppis, Gabriele De Sio, Clizia Chinello, Fabio Pagni, Fulvio Magni, Giancarlo Mauri:
A Support Vector Machine Classification of Thyroid Bioptic Specimens Using MALDI-MSI Data. Adv. Bioinformatics 2016: 3791214:1-3791214:7 (2016) - [j117]Luca De Sano, Giulio Caravagna, Daniele Ramazzotti, Alex Graudenzi, Giancarlo Mauri, Bud Mishra, Marco Antoniotti:
TRONCO: an R package for the inference of cancer progression models from heterogeneous genomic data. Bioinform. 32(12): 1911-1913 (2016) - [j116]Luciano Milanesi, Alessandro Guffanti, Giancarlo Mauri, Marco Masseroli:
BITS 2015: the annual meeting of the Italian Society of Bioinformatics. BMC Bioinform. 17(S-12): 1-4 (2016) - [j115]Andrea Paroni, Alex Graudenzi, Giulio Caravagna, Chiara Damiani, Giancarlo Mauri, Marco Antoniotti:
CABeRNET: a Cytoscape app for augmented Boolean models of gene regulatory NETworks. BMC Bioinform. 17: 64 (2016) - [j114]Claudia Cava, Antonio Colaprico, Gloria Bertoli, Gianluca Bontempi, Giancarlo Mauri, Isabella Castiglioni:
How interacting pathways are regulated by miRNAs in breast cancer subtypes. BMC Bioinform. 17(S-12): 111-133 (2016) - [j113]Marzia Di Filippo, Riccardo Colombo, Chiara Damiani, Dario Pescini, Daniela Gaglio, Marco Vanoni, Lilia Alberghina, Giancarlo Mauri:
Zooming-in on cancer metabolic rewiring with tissue specific constraint-based models. Comput. Biol. Chem. 62: 60-69 (2016) - [j112]Alex Graudenzi, Giulio Caravagna, Iuliana M. Bocicor, Claudia Cava, Marco Antoniotti, Giancarlo Mauri:
Ordering cancer mutational profiles of cross-sectional copy number alterations. Int. J. Data Min. Bioinform. 15(1): 59-83 (2016) - [j111]Alberto Leporati, Luca Manzoni, Giancarlo Mauri, Antonio E. Porreca, Claudio Zandron:
Monodirectional P systems. Nat. Comput. 15(4): 551-564 (2016) - [j110]Marco Antoniotti, Giulio Caravagna, Luca De Sano, Alex Graudenzi, Giancarlo Mauri, Bud Mishra, Daniele Ramazzotti:
Design of the TRONCO BioConductor Package for TRanslational ONCOlogy. R J. 8(2): 39 (2016) - [c164]Leonardo Rundo, Carmelo Militello, Giorgio Russo, Pietro Pisciotta, Lucia Maria Valastro, Maria Gabriella Sabini, Salvatore Vitabile, Maria Carla Gilardi, Giancarlo Mauri:
Neuro-Radiosurgery Treatments: MRI Brain Tumor Seeded Image Segmentation Based on a Cellular Automata Model. ACRI 2016: 323-333 - [c163]Fabio Cumbo, Marco S. Nobile, Chiara Damiani, Riccardo Colombo, Giancarlo Mauri, Paolo Cazzaniga:
COSYS: A Computational Infrastructure for Systems Biology. CIBB 2016: 82-92 - [c162]Riccardo Colombo, Chiara Damiani, Giancarlo Mauri, Dario Pescini:
Constraining Mechanism Based Simulations to Identify Ensembles of Parametrizations to Characterize Metabolic Features. CIBB 2016: 107-117 - [c161]Daniele Ramazzotti, Marco S. Nobile, Paolo Cazzaniga, Giancarlo Mauri, Marco Antoniotti:
Parallel implementation of efficient search schemes for the inference of cancer progression models. CIBCB 2016: 1-6 - [c160]Fabrizio Murgia, Irene Tagliente, Italo Zoppis, Giancarlo Mauri, Francesco Sicurello, Francesco Bella, Vanessa Mercuri, Eugenio Santoro, Gianluca Castelnuovo, Sergio Bella:
Trend of FEV1 in Cystic Fibrosis patients: A telehomecare experience. ISCC 2016: 271-273 - [c159]Riccardo Dondi, Giancarlo Mauri, Italo Zoppis:
Clique Editing to Support Case Versus Control Discrimination. KES-IDT (1) 2016: 27-36 - [c158]Alberto Leporati, Luca Manzoni, Giancarlo Mauri, Antonio E. Porreca, Claudio Zandron:
Shallow Non-confluent P Systems. Int. Conf. on Membrane Computing 2016: 307-316 - [c157]Italo Zoppis, Giancarlo Mauri, Francesco Sicurello, Eugenio Santoro, Giada Pietrabissa, Gianluca Castelnuovo:
DIABESITY: A Study for mHealth Integrated Solutions. MobiHealth 2016: 195-199 - [c156]Leonardo Rundo, Andrea Tangherloni, Carmelo Militello, Maria Carla Gilardi, Giancarlo Mauri:
Multimodal medical image registration using Particle Swarm Optimization: A review. SSCI 2016: 1-8 - [c155]Marzia Di Filippo, Chiara Damiani, Riccardo Colombo, Dario Pescini, Giancarlo Mauri:
Constraint-Based Modeling and Simulation of Cell Populations. WIVACE 2016: 126-137 - [c154]Chiara Damiani, Riccardo Colombo, Marzia Di Filippo, Dario Pescini, Giancarlo Mauri:
Linking Alterations in Metabolic Fluxes with Shifts in Metabolite Levels by Means of Kinetic Modeling. WIVACE 2016: 138-148 - [e9]Riccardo Dondi, Guillaume Fertin, Giancarlo Mauri:
Algorithmic Aspects in Information and Management - 11th International Conference, AAIM 2016, Bergamo, Italy, July 18-20, 2016, Proceedings. Lecture Notes in Computer Science 9778, Springer 2016, ISBN 978-3-319-41167-5 [contents] - 2015
- [j109]Paola Bonizzoni, Riccardo Dondi, Giancarlo Mauri, Italo Zoppis:
Restricted and Swap Common Superstring: A Multivariate Algorithmic Perspective. Algorithmica 72(4): 914-939 (2015) - [j108]Daniele Ramazzotti, Giulio Caravagna, Loes Olde Loohuis, Alex Graudenzi, Ilya Korsunsky, Giancarlo Mauri, Marco Antoniotti, Bud Mishra:
CAPRI: efficient inference of cancer progression models from cross-sectional data. Bioinform. 31(18): 3016-3026 (2015) - [j107]Alberto Leporati, Luca Manzoni, Giancarlo Mauri, Antonio E. Porreca, Claudio Zandron:
Membrane Division, Oracles, and the Counting Hierarchy. Fundam. Informaticae 138(1-2): 97-111 (2015) - [j106]Giancarlo Mauri, Alberto Leporati, Antonio E. Porreca, Claudio Zandron:
Recent complexity-theoretic results on P systems with active membranes. J. Log. Comput. 25(4): 1047-1071 (2015) - [j105]Alberto Dennunzio, Enrico Formenti, Giancarlo Mauri, Thomas Worsch:
Foreword: asynchronous behavior of cellular automata and discrete models. Nat. Comput. 14(4): 505-506 (2015) - [c153]Marco S. Nobile, Gabriella Pasi, Paolo Cazzaniga, Daniela Besozzi, Riccardo Colombo, Giancarlo Mauri:
Proactive Particles in Swarm Optimization: A self-tuning algorithm based on Fuzzy Logic. FUZZ-IEEE 2015: 1-8 - [c152]Italo Zoppis, Riccardo Dondi, Massimiliano Borsani, Erica Gianazza, Clizia Chinello, Fulvio Magni, Giancarlo Mauri:
Robust Conclusions in Mass Spectrometry Analysis. ICCS 2015: 683-692 - [c151]Giancarlo Mauri, Alberto Leporati, Luca Manzoni, Antonio E. Porreca, Claudio Zandron:
Complexity Classes for Membrane Systems: A Survey. LATA 2015: 56-69 - [c150]Alberto Leporati, Luca Manzoni, Giancarlo Mauri, Antonio E. Porreca, Claudio Zandron:
Tissue P Systems Can be Simulated Efficiently with Counting Oracles. Int. Conf. on Membrane Computing 2015: 251-261 - [c149]Paolo Cazzaniga, F. Ferrara, Marco S. Nobile, Daniela Besozzi, Giancarlo Mauri:
Parallelizing Biochemical Stochastic Simulations: A Comparison of GPUs and Intel Xeon Phi Processors. PaCT 2015: 363-374 - 2014
- [j104]Giancarlo Mauri, Nicoletta Sabadini:
Obituary Alberto Bertoni (1946-2014). Bull. EATCS 113 (2014) - [j103]Alberto Leporati, Luca Manzoni, Giancarlo Mauri, Antonio E. Porreca, Claudio Zandron:
Constant-Space P Systems with Active Membranes. Fundam. Informaticae 134(1-2): 111-128 (2014) - [j102]Giulio Caravagna, Alberto d'Onofrio, Marco Antoniotti, Giancarlo Mauri:
Stochastic Hybrid Automata with delayed transitions to model biochemical systems with delays. Inf. Comput. 236: 19-34 (2014) - [j101]Alberto Dennunzio, Luca Manzoni, Giancarlo Mauri, Antonio E. Porreca:
Preface. Int. J. Found. Comput. Sci. 25(4): 369-372 (2014) - [j100]Alberto Leporati, Giancarlo Mauri, Antonio E. Porreca, Claudio Zandron:
P Systems with Active Membranes Working in Logarithmic Space. J. Autom. Lang. Comb. 19(1-4): 173-184 (2014) - [j99]Claudia Cava, Italo Zoppis, Manuela Gariboldi, Isabella Castiglioni, Giancarlo Mauri, Marco Antoniotti:
Combined analysis of chromosomal instabilities and gene expression for colon cancer progression inference. J. Clin. Bioinform. 4: 2 (2014) - [j98]Andrea Valsecchi, Leonardo Vanneschi, Giancarlo Mauri:
A study of search algorithms' optimization speed. J. Comb. Optim. 27(2): 256-270 (2014) - [j97]Alex Graudenzi, Giulio Caravagna, Giancarlo Mauri:
Preface. Nat. Comput. 13(3): 285-286 (2014) - [j96]Andrea G. Citrolo, Giancarlo Mauri:
A local landscape mapping method for protein structure prediction in the HP model. Nat. Comput. 13(3): 309-319 (2014) - [j95]Chiara Damiani, Dario Pescini, Riccardo Colombo, Sara Molinari, Lilia Alberghina, Marco Vanoni, Giancarlo Mauri:
An ensemble evolutionary constraint-based approach to understand the emergence of metabolic phenotypes. Nat. Comput. 13(3): 321-331 (2014) - [j94]Artiom Alhazov, Alberto Leporati, Giancarlo Mauri, Antonio E. Porreca, Claudio Zandron:
Space complexity equivalence of P systems with active membranes and Turing machines. Theor. Comput. Sci. 529: 69-81 (2014) - [j93]Marco S. Nobile, Paolo Cazzaniga, Daniela Besozzi, Giancarlo Mauri:
GPU-accelerated simulations of mass-action kinetics models with cupSODA. J. Supercomput. 69(1): 17-24 (2014) - [c148]Marco S. Nobile, Andrea G. Citrolo, Paolo Cazzaniga, Daniela Besozzi, Giancarlo Mauri:
A memetic hybrid method for the Molecular Distance Geometry Problem with incomplete information. IEEE Congress on Evolutionary Computation 2014: 1014-1021 - [c147]Carlo Maj, Claudia Raibulet, Giancarlo Mauri:
Self-adaptive simulation time for sensitivity analysis of a stochastic computational model. ECC 2014: 2072-2077 - [c146]Claudio Zandron, Alberto Leporati, Luca Manzoni, Giancarlo Mauri, Antonio E. Porreca:
P Systems with Active Membranes Working in Sublinear Space. Int. Conf. on Membrane Computing 2014: 35-47 - [c145]Alberto Leporati, Luca Manzoni, Giancarlo Mauri, Antonio E. Porreca, Claudio Zandron:
Simulating Elementary Active Membranes - with an Application to the P Conjecture. Int. Conf. on Membrane Computing 2014: 284-299 - [c144]Matteo Bellini, Daniela Besozzi, Paolo Cazzaniga, Giancarlo Mauri, Marco S. Nobile:
Simulation and Analysis of the Blood Coagulation Cascade Accelerated on GPU. PDP 2014: 590-593 - [p5]Mario Giacobini, Paolo Provero, Leonardo Vanneschi, Giancarlo Mauri:
Towards the Use of Genetic Programming for the Prediction of Survival in Cancer. Evolution, Complexity and Artificial Life 2014: 177-192 - 2013
- [j92]Marco Antoniotti, Gary D. Bader, Giulio Caravagna, Silvia Crippa, Alex Graudenzi, Giancarlo Mauri:
GeStoDifferent: a Cytoscape plugin for the generation and the identification of gene regulatory networks describing a stochastic cell differentiation process. Bioinform. 29(4): 513-514 (2013) - [j91]Alberto Leporati, Antonio E. Porreca, Claudio Zandron, Giancarlo Mauri:
Improved Universality Results for Parallel Enzymatic Numerical P Systems. Int. J. Unconv. Comput. 9(5-6): 385-404 (2013) - [j90]Carlo Maj, Ettore Mosca, Ivan Merelli, Giancarlo Mauri, Luciano Milanesi:
Sensitivity Analysis for Studying the Relation between biochemical reactions and metabolic phenotypes. J. Bioinform. Comput. Biol. 11(1) (2013) - [j89]Dario Silvestre, Italo Zoppis, Francesca Brambilla, Valeria Bellettato, Giancarlo Mauri, Pierluigi Mauri:
Availability of MudPIT data for classification of biological samples. J. Clin. Bioinform. 3: 1 (2013) - [j88]Alberto Dennunzio, Enrico Formenti, Luca Manzoni, Giancarlo Mauri:
m-Asynchronous cellular automata: from fairness to quasi-fairness. Nat. Comput. 12(4): 561-572 (2013) - [j87]Riccardo Dondi, Giancarlo Mauri, Italo Zoppis:
The l-Diversity problem: Tractability and approximability. Theor. Comput. Sci. 511: 159-171 (2013) - [c143]Claudia Cava, Italo Zoppis, Manuela Gariboldi, Isabella Castiglioni, Giancarlo Mauri, Marco Antoniotti:
Copy-Number Alterations for Tumor Progression Inference. AIME 2013: 104-109 - [c142]Marco S. Nobile, Daniela Besozzi, Paolo Cazzaniga, Giancarlo Mauri:
The foundation of Evolutionary Petri Nets. BioPPN@Petri Nets 2013: 60-74 - [c141]Claudia Cava, Gloria Bertoli, Italo Zoppis, Giancarlo Mauri, Maria Carla Gilardi, Isabella Castiglioni:
Candidate biomarkers for response to tamoxifen in breast cancer metastatic patients. BIBE 2013: 1-4 - [c140]Marco S. Nobile, Daniela Besozzi, Paolo Cazzaniga, Dario Pescini, Giancarlo Mauri:
Reverse engineering of kinetic reaction networks by means of Cartesian Genetic Programming and Particle Swarm Optimization. IEEE Congress on Evolutionary Computation 2013: 1594-1601 - [c139]Claudia Cava, Italo Zoppis, Giancarlo Mauri, M. Ripamonti, Francesca Gallivanone, Christian Salvatore, Maria Carla Gilardi, Isabella Castiglioni:
Combination of gene expression and genome copy number alteration has a prognostic value for breast cancer. EMBC 2013: 608-611 - [c138]Marco S. Nobile, Giancarlo Mauri:
Evolutionary inference of biochemical reaction networks accelerated on graphics processing units. HPCS 2013: 668-670 - [c137]Rudolf Freund, Alberto Leporati, Giancarlo Mauri, Antonio E. Porreca, Sergey Verlan, Claudio Zandron:
Flattening in (Tissue) P Systems. Int. Conf. on Membrane Computing 2013: 173-188 - [c136]Alberto Leporati, Giancarlo Mauri, Antonio E. Porreca, Claudio Zandron:
Enzymatic Numerical P Systems Using Elementary Arithmetic Operations. Int. Conf. on Membrane Computing 2013: 249-264 - [c135]Marco S. Nobile, Daniela Besozzi, Paolo Cazzaniga, Giancarlo Mauri, Dario Pescini:
cupSODA: A CUDA-Powered Simulator of Mass-Action Kinetics. PaCT 2013: 344-357 - [c134]Giulio Caravagna, Alberto d'Onofrio, Giancarlo Mauri:
NoisySim: exact simulation of stochastic chemically reacting systems with extrinsic bounded noises (WIP). SpringSim (TMS-DEVS) 2013: 12 - [c133]Andrea G. Citrolo, Giancarlo Mauri:
A Hybrid Monte Carlo Ant Colony Optimization Approach for Protein Structure Prediction in the HP Model. WIVACE 2013: 61-69 - [c132]Chiara Damiani, Riccardo Colombo, Sara Molinari, Dario Pescini, Daniela Gaglio, Marco Vanoni, Lilia Alberghina, Giancarlo Mauri:
An ensemble approach to the study of the emergence of metabolic and proliferative disorders via Flux Balance Analysis. WIVACE 2013: 92-97 - [e8]Giancarlo Mauri, Alberto Dennunzio, Luca Manzoni, Antonio E. Porreca:
Unconventional Computation and Natural Computation - 12th International Conference, UCNC 2013, Milan, Italy, July 1-5, 2013. Proceedings. Lecture Notes in Computer Science 7956, Springer 2013, ISBN 978-3-642-39073-9 [contents] - [e7]Alex Graudenzi, Giulio Caravagna, Giancarlo Mauri, Marco Antoniotti:
Proceedings Wivace 2013 - Italian Workshop on Artificial Life and Evolutionary Computation, Milan, Italy, July 1-2, 2013. EPTCS 130, 2013 [contents] - 2012
- [j86]Marco Antoniotti, Rudolf Freund, Alberto Leporati, Giancarlo Mauri:
Self-Stabilization in Membrane Systems. Comput. Sci. J. Moldova 20(2): 133-146 (2012) - [j85]Daniela Besozzi, Paolo Cazzaniga, Dario Pescini, Giancarlo Mauri, Sonia Colombo, Enzo Martegani:
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. 2012: 10 (2012) - [j84]Francesco Archetti, Ilaria Giordani, Giancarlo Mauri, Enza Messina:
A new clustering approach for learning transcriptional modules. Int. J. Data Min. Bioinform. 6(3): 304-323 (2012) - [j83]Giancarlo Mauri, Alberto Leporati:
Preface. Int. J. Found. Comput. Sci. 23(5): 965-968 (2012) - [j82]Leonardo Vanneschi, Giancarlo Mauri:
A study on learning robustness using asynchronous 1D cellular automata rules. Nat. Comput. 11(2): 289-302 (2012) - [j81]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:
Mutual Information Optimization for Mass Spectra Data Alignment. IEEE ACM Trans. Comput. Biol. Bioinform. 9(3): 934-939 (2012) - [j80]Leonardo Vanneschi, Yuri Pirola, Giancarlo Mauri, Marco Tomassini, Philippe Collard, Sébastien Vérel:
A study of the neutrality of Boolean function landscapes in genetic programming. Theor. Comput. Sci. 425: 34-57 (2012) - [j79]Luca Manzoni, Leonardo Vanneschi, Giancarlo Mauri:
A distance between populations for one-point crossover in genetic algorithms. Theor. Comput. Sci. 429: 213-221 (2012) - [j78]Luca Corolli, Carlo Maj, Fabrizio Marini, Daniela Besozzi, Giancarlo Mauri:
An excursion in reaction systems: From computer science to biology. Theor. Comput. Sci. 454: 95-108 (2012) - [c131]Alberto Dennunzio, Enrico Formenti, Luca Manzoni, Giancarlo Mauri:
m-Asynchronous Cellular Automata. ACRI 2012: 653-662 - [c130]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:
Analysis of Correlation Structures in Renal Cell Carcinoma Patient Data. BIOINFORMATICS 2012: 251-256 - [c129]Marco S. Nobile, Daniela Besozzi, Paolo Cazzaniga, Giancarlo Mauri, Dario Pescini:
A GPU-Based Multi-swarm PSO Method for Parameter Estimation in Stochastic Biological Systems Exploiting Discrete-Time Target Series. EvoBIO 2012: 74-85 - [c128]Marco S. Nobile, Daniela Besozzi, Paolo Cazzaniga, Giancarlo Mauri, Dario Pescini:
Estimating reaction constants in stochastic biological systems with a multi-swarm PSO running on GPUs. GECCO (Companion) 2012: 1421-1422 - [c127]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:
Poster: Characterization of distinguishing regions for Renal Cell Carcinoma discrimination. ICCABS 2012: 1 - [c126]Paola Bonizzoni, Riccardo Dondi, Giancarlo Mauri, Italo Zoppis:
Restricted and Swap Common Superstring: A Parameterized View. IPEC 2012: 49-60 - [c125]Antonio E. Porreca, Alberto Leporati, Giancarlo Mauri, Claudio Zandron:
Sublinear-Space P Systems with Active Membranes. Int. Conf. on Membrane Computing 2012: 342-357 - [c124]Giulio Caravagna, Alex Graudenzi, Marco Antoniotti, Giancarlo Mauri, Alberto d'Onofrio:
Effects of delayed immune-response in tumor immune-system interplay. HSB 2012: 106-121 - [p4]Leonardo Vanneschi, Daniele Codecasa, Giancarlo Mauri:
An Empirical Study of Parallel and Distributed Particle Swarm Optimization. Parallel Architectures and Bioinspired Algorithms 2012: 125-150 - [i3]Paola Bonizzoni, Peter J. Cameron, Gianluca Della Vedova, Alberto Leporati, Giancarlo Mauri:
A Unifying Framework to Characterize the Power of a Language to Express Relations. CoRR abs/1203.4732 (2012) - 2011
- [j77]Leonardo Vanneschi, Antonella Farinaccio, Giancarlo Mauri, Marco Antoniotti, Paolo Provero, Mario Giacobini:
A comparison of machine learning techniques for survival prediction in breast cancer. BioData Min. 4: 12 (2011) - [j76]Paola Bonizzoni, Claudio Ferretti, Anthonath Roslin Sagaya Mary, Giancarlo Mauri:
Picture Languages Generated by Assembling Tiles. Fundam. Informaticae 110(1-4): 77-93 (2011) - [j75]Antonio E. Porreca, Alberto Leporati, Giancarlo Mauri, Claudio Zandron:
P Systems with Active Membranes Working in Polynomial Space. Int. J. Found. Comput. Sci. 22(1): 65-73 (2011) - [j74]Daniela Besozzi, Paolo Cazzaniga, Stefania Cocolo, Giancarlo Mauri, Dario Pescini:
Modeling Diffusion in a Signal Transduction Pathway: the Use of Virtual Volumes in P Systems. Int. J. Found. Comput. Sci. 22(1): 89-96 (2011) - [j73]Antonio E. Porreca, Alberto Leporati, Giancarlo Mauri, Claudio Zandron:
Elementary Active Membranes Have the Power of Counting. Int. J. Nat. Comput. Res. 2(3): 35-48 (2011) - [j72]Antonio E. Porreca, Alberto Leporati, Giancarlo Mauri, Claudio Zandron:
P systems with active membranes: trading time for space. Nat. Comput. 10(1): 167-182 (2011) - [j71]Leonardo Vanneschi, Daniele Codecasa, Giancarlo Mauri:
A Comparative Study of Four Parallel and Distributed PSO Methods. New Gener. Comput. 29(2): 129-161 (2011) - [c123]Antonella Farinaccio, Leonardo Vanneschi, Paolo Provero, Giancarlo Mauri, Mario Giacobini:
A New Evolutionary Gene Regulatory Network Reverse Engineering Tool. EvoBio 2011: 13-24 - [c122]Antonio E. Porreca, Alberto Leporati, Giancarlo Mauri, Claudio Zandron:
P Systems Simulating Oracle Computations. Int. Conf. on Membrane Computing 2011: 346-358 - [c121]Riccardo Dondi, Giancarlo Mauri, Italo Zoppis:
On the Complexity of the l-diversity Problem. MFCS 2011: 266-277 - [c120]Ivan Merelli, Dario Pescini, Ettore Mosca, Paolo Cazzaniga, Carlo Maj, Giancarlo Mauri, Luciano Milanesi:
Grid Computing for Sensitivity Analysis of Stochastic Biological Models. PaCT 2011: 62-73 - [e6]Giancarlo Mauri, Alberto Leporati:
Developments in Language Theory - 15th International Conference, DLT 2011, Milan, Italy, July 19-22, 2011. Proceedings. Lecture Notes in Computer Science 6795, Springer 2011, ISBN 978-3-642-22320-4 [contents] - [i2]Giancarlo Mauri:
Introduction to the Special theme - Molecular and Cellular Computing. ERCIM News 2011(85): 11 (2011) - [i1]Giancarlo Mauri, Ion Petre:
New Robustness Paradigms: from Nature to Computing. ERCIM News 2011(85): 33 (2011) - 2010
- [j70]Paola Bonizzoni, Gianluca Della Vedova, Riccardo Dondi, Giancarlo Mauri:
Fingerprint Clustering with Bounded Number of Missing Values. Algorithmica 58(2): 282-303 (2010) - [j69]Marco Antoniotti, Marco Carreras, Antonella Farinaccio, Giancarlo Mauri, Daniele Merico, Italo Zoppis:
An application of kernel methods to gene cluster temporal meta-analysis. Comput. Oper. Res. 37(8): 1361-1368 (2010) - [j68]Antonio E. Porreca, Giancarlo Mauri, Claudio Zandron:
Non-confluence in divisionless P systems with active membranes. Theor. Comput. Sci. 411(6): 878-887 (2010) - [c119]Andrea Valsecchi, Leonardo Vanneschi, Giancarlo Mauri:
A Study on the Automatic Generation of Asynchronous Cellular Automata Rules by Means of Genetic Algorithms. ACRI 2010: 429-438 - [c118]Paolo Amato, Massimo Masserini, Giancarlo Mauri, Gianfranco Cerofolini:
Early-Stage Diagnosis of Endogenous Diseases by Swarms of Nanobots: An Applicative Scenario. ANTS Conference 2010: 408-415 - [c117]Giancarlo Mauri, Alberto Leporati, Antonio E. Porreca, Claudio Zandron:
Computational Complexity Aspects in Membrane Computing. CiE 2010: 317-320 - [c116]Leonardo Vanneschi, Antonella Farinaccio, Mario Giacobini, Giancarlo Mauri, Marco Antoniotti, Paolo Provero:
Identification of Individualized Feature Combinations for Survival Prediction in Breast Cancer: A Comparison of Machine Learning Techniques. EvoBIO 2010: 110-121 - [c115]Leonardo Vanneschi, Daniele Codecasa, Giancarlo Mauri:
An empirical comparison of parallel and distributed particle swarm optimization methods. GECCO 2010: 15-22 - [c114]Antonella Farinaccio, Leonardo Vanneschi, Mario Giacobini, Giancarlo Mauri, Paolo Provero:
On the use of genetic programming for the prediction of survival in cancer. GECCO 2010: 163-170 - [c113]Luca Manzoni, Leonardo Vanneschi, Giancarlo Mauri:
Definition of a crossover based distance for genetic algorithms. GECCO 2010: 1473-1474 - [c112]Andrea Valsecchi, Leonardo Vanneschi, Giancarlo Mauri:
Optimization speed and fair sets of functions. GECCO 2010: 1475-1476 - [c111]Leonardo Vanneschi, Daniele Codecasa, Giancarlo Mauri:
A study of parallel and distributed particle swarm optimization methods. BADS@ICAC 2010: 9-16 - [c110]Daniela Besozzi, Paolo Cazzaniga, Giancarlo Mauri, Dario Pescini:
BioSimWare: A Software for the Modeling, Simulation and Analysis of Biological Systems. Int. Conf. on Membrane Computing 2010: 119-143 - [c109]Ettore Mosca, Paolo Cazzaniga, Dario Pescini, Giancarlo Mauri, Luciano Milanesi:
Modelling Spatial Heterogeneity and Macromolecular Crowding with Membrane Systems. Int. Conf. on Membrane Computing 2010: 285-304 - [c108]Antonio E. Porreca, Alberto Leporati, Giancarlo Mauri, Claudio Zandron:
P Systems with Elementary Active Membranes: Beyond NP and coNP. Int. Conf. on Membrane Computing 2010: 338-347 - [c107]Antonella Farinaccio, Leonardo Vanneschi, Paolo Provero, Giancarlo Mauri, Mario Giacobini:
A Study on Gene Regulatory Network Reconstruction and Simulation. WIRN 2010: 235-242 - [c106]Daniela Besozzi, Paolo Cazzaniga, Dario Pescini, Giancarlo Mauri:
An Analysis on the Influence of Network Topologies on Local and Global Dynamics of Metapopulation Systems. AMCA-POP 2010: 1-17
2000 – 2009
- 2009
- [j67]Giancarlo Mauri, Gheorghe Paun, Agustín Riscos-Núñez:
Special Issue on Membrane Computing, Seventh Brainstorming Week on Membrane Computing. Int. J. Comput. Commun. Control 4(3): 204-205 (2009) - [j66]Antonio E. Porreca, Alberto Leporati, Giancarlo Mauri, Claudio Zandron:
Introducing a Space Complexity Measure for P Systems. Int. J. Comput. Commun. Control 4(3): 301-310 (2009) - [j65]Alberto Leporati, Claudio Zandron, Claudio Ferretti, Giancarlo Mauri:
On the Computational Power of Spiking Neural P Systems. Int. J. Unconv. Comput. 5(5): 459-473 (2009) - [j64]Paola Bonizzoni, Giancarlo Mauri, Graziano Pesole, Ernesto Picardi, Yuri Pirola, Raffaella Rizzi:
Detecting Alternative Gene Structures from Spliced ESTs: A Computational Approach. J. Comput. Biol. 16(1): 43-66 (2009) - [j63]Gianluca Colombo, Daniele Merico, Zoltán Nagy, Flavio De Paoli, Marco Antoniotti, Giancarlo Mauri:
Ontological modeling at a domain interface: bridging clinical and biomolecular knowledge. Knowl. Eng. Rev. 24(3): 205-224 (2009) - [j62]Daniela Besozzi, Nadia Busi, Paolo Cazzaniga, Claudio Ferretti, Alberto Leporati, Giancarlo Mauri, Dario Pescini, Claudio Zandron:
(Tissue) P systems with cell polarity. Math. Struct. Comput. Sci. 19(6): 1141-1160 (2009) - [j61]Alberto Leporati, Giancarlo Mauri, Claudio Zandron, Gheorghe Paun, Mario J. Pérez-Jiménez:
Uniform solutions to SAT and Subset Sum by spiking neural P systems. Nat. Comput. 8(4): 681-702 (2009) - [j60]Alberto Leporati, Claudio Ferretti, Giancarlo Mauri, Mario J. Pérez-Jiménez, Claudio Zandron:
Complexity aspects of polarizationless membrane systems. Nat. Comput. 8(4): 703-717 (2009) - [c105]Italo Zoppis, Erica Gianazza, Clizia Chinello, Veronica Mainini, Carmen Galbusera, Carlo Ferrarese, Gloria Galimberti, Alessandro Sorbi, Barbara Borroni, Fulvio Magni, Giancarlo Mauri:
A Mutual Information Approach to Data Integration for Alzheimer's Disease Patients. AIME 2009: 431-435 - [c104]Daniela Besozzi, Paolo Cazzaniga, Dario Pescini, Giancarlo Mauri:
A Multi-volume Approach to Stochastic Modeling with Membrane Systems. Algorithmic Bioprocesses 2009: 519-542 - [c103]Daniela Besozzi, Paolo Cazzaniga, Giancarlo Mauri, Dario Pescini, Leonardo Vanneschi:
A Comparison of Genetic Algorithms and Particle Swarm Optimization for Parameter Estimation in Stochastic Biochemical Systems. EvoBIO 2009: 116-127 - [c102]Paola Bonizzoni, Claudio Ferretti, Anthonath Roslin Sagaya Mary, Giancarlo Mauri:
Picture Languages Generated by Assembling Tiles. LATA 2009: 224-235 - [c101]Giancarlo Mauri, Alberto Leporati, Claudio Zandron:
Energy-Based Models of P Systems. Workshop on Membrane Computing 2009: 104-124 - [c100]Paolo Cazzaniga, Giancarlo Mauri, Luciano Milanesi, Ettore Mosca, Dario Pescini:
A Novel Variant of P Systems for the Modelling and Simulation of Biochemical Systems. Workshop on Membrane Computing 2009: 210-226 - [c99]Andrea Valsecchi, Antonio E. Porreca, Alberto Leporati, Giancarlo Mauri, Claudio Zandron:
An Efficient Simulation of Polynomial-Space Turing Machines by P Systems with Active Membranes. Workshop on Membrane Computing 2009: 461-478 - [c98]Daniela Besozzi, Paolo Cazzaniga, Matteo Dugo, Dario Pescini, Giancarlo Mauri:
A study on the combined interplay between stochastic fluctuations and the number of flagella in bacterial chemotaxis. COMPMOD 2009: 47-62 - 2008
- [j59]Daniela Besozzi, Paolo Cazzaniga, Dario Pescini, Giancarlo Mauri:
Modelling metapopulations with stochastic membrane systems. Biosyst. 91(3): 499-514 (2008) - [j58]Antonio Vitale, Giancarlo Mauri, Claudio Zandron:
Simulation of a bounded symport/antiport P system with Brane calculi. Biosyst. 91(3): 558-571 (2008) - [j57]Davide Molteni, Claudio Ferretti, Giancarlo Mauri:
Frequency Membrane Systems. Comput. Informatics 27(3+): 467-479 (2008) - [j56]Claudio Zandron, Alberto Leporati, Claudio Ferretti, Giancarlo Mauri, Mario J. Pérez-Jiménez:
On the Computational Efficiency of Polarizationless Recognizer P Systems with Strong Division and Dissolution. Fundam. Informaticae 87(1): 79-91 (2008) - [c97]Stefania Bandini, Sara Manzoni, Giancarlo Mauri, Stefano Redaelli, Leonardo Vanneschi:
GP Generation of Pedestrian Behavioral Rules in an Evacuation Model Based on SCA. ACRI 2008: 409-416 - [c96]Alberto Leporati, Claudio Zandron, Giancarlo Mauri:
How Redundant Is Your Universal Computation Device?. Workshop on Membrane Computing 2008: 274-291 - [c95]Dario Pescini, Paolo Cazzaniga, Claudio Ferretti, Giancarlo Mauri:
First Steps Towards a Wet Implementation for t-DPP. Workshop on Membrane Computing 2008: 355-373 - [e5]Giorgio Ausiello, Juhani Karhumäki, Giancarlo Mauri, C.-H. Luke Ong:
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 273, Springer 2008, ISBN 978-0-387-09679-7 [contents] - 2007
- [j55]Paolo Romano, Ezio Bartocci, Guglielmo Bertolini, Flavio De Paoli, Domenico Marra, Giancarlo Mauri, Emanuela Merelli, Luciano Milanesi:
Biowep: a workflow enactment portal for bioinformatics applications. BMC Bioinform. 8(S-1) (2007) - [j54]Andrea Splendiani, Marco Brandizi, Gael Even, Ottavio Beretta, Norman Pavelka, Mattia Pelizzola, Manuel Mayhaus, Maria Foti, Giancarlo Mauri, Paola Ricciardi-Castagnoli:
The Genopolis Microarray Database. BMC Bioinform. 8(S-1) (2007) - [j53]Stefania Bandini, Sara Manzoni, Giancarlo Mauri, Stefano Redaelli:
Emergent Pattern Interpretation in Vegetable Population Dynamics. J. Cell. Autom. 2(2): 103-110 (2007) - [c94]Giancarlo Mauri:
Membrane Systems and Their Application to Systems Biology. CiE 2007: 551-553 - [c93]Gianluca Colombo, Daniele Merico, Marco Antoniotti, Flavio De Paoli, Giancarlo Mauri:
Ontological Modelling for Neurovascular Disease Study: Issues in the Adoption of Description Logic. Description Logics 2007 - [c92]Leonardo Vanneschi, Marco Tomassini, Philippe Collard, Sébastien Vérel, Yuri Pirola, Giancarlo Mauri:
A Comprehensive View of Fitness Landscapes with Neutrality and Fitness Clouds. EuroGP 2007: 241-250 - [c91]Italo Zoppis, Sergio Pozzi, Giancarlo Mauri:
Support Vector Clustering of Dependencies in Microarray Data. IMECS 2007: 244-249 - [c90]Italo Zoppis, Daniele Merico, Marco Antoniotti, Bud Mishra, Giancarlo Mauri:
Discovering Relations Among GO-Annotated Clusters by Graph Kernel Methods. ISBRA 2007: 158-169 - [c89]Giancarlo Mauri, Mario J. Pérez-Jiménez, Claudio Zandron:
On a Paun's Conjecture in Membrane Systems. IWINAC (1) 2007: 180-192 - [c88]Daniele Merico, Italo Zoppis, Marco Antoniotti, Giancarlo Mauri:
Evaluating Graph Kernel Methods for Relation Discovery in GO-Annotated Clusters. KES (3) 2007: 892-900 - [c87]Alberto Leporati, Claudio Zandron, Claudio Ferretti, Giancarlo Mauri:
Solving Numerical NP-Complete Problems with Spiking Neural P Systems. Workshop on Membrane Computing 2007: 336-352 - [c86]Gianluca Colombo, Daniele Merico, Giancarlo Mauri:
Reference Ontology Design for a Neurovascular Knowledge Network. MTSR 2007: 403-414 - 2006
- [j52]Paola Bonizzoni, Clelia de Felice, Giancarlo Mauri, Rosalba Zizza:
Linear splicing and syntactic monoid. Discret. Appl. Math. 154(3): 452-470 (2006) - [j51]Stefania Bandini, Giancarlo Mauri, Giuseppe Vizzari:
Supporting Action-at-a-distance in Situated Cellular Agents. Fundam. Informaticae 69(3): 251-271 (2006) - [j50]Alberto Leporati, Claudio Zandron, Giancarlo Mauri:
Reversible P Systems to Simulate Fredkin Circuits. Fundam. Informaticae 74(4): 529-548 (2006) - [j49]Dario Pescini, Daniela Besozzi, Giancarlo Mauri, Claudio Zandron:
Dynamical probabilistic P systems. Int. J. Found. Comput. Sci. 17(1): 183-204 (2006) - [j48]Antonio E. Porreca, Giancarlo Mauri, Claudio Zandron:
Complexity classes for membrane systems. RAIRO Theor. Informatics Appl. 40(2): 141-162 (2006) - [j47]Paolo Romano, Guglielmo Bertolini, Flavio De Paoli, M. Fattore, Domenico Marra, Giancarlo Mauri, Emanuela Merelli, Ivan Porro, Silvia Scaglione, Luciano Milanesi:
Network integration of data and analysis of oncology interest. J. Integr. Bioinform. 3(1) (2006) - [j46]Giulio Pavesi, Paolo Mereghetti, Federico Zambelli, Marco Stefani, Giancarlo Mauri, Graziano Pesole:
MoD Tools: regulatory motif discovery in nucleotide sequences from co-regulated or homologous genes. Nucleic Acids Res. 34(Web-Server-Issue): 566-570 (2006) - [c85]Paola Bonizzoni, Gianluca Della Vedova, Riccardo Dondi, Giancarlo Mauri:
Fingerprint Clustering with Bounded Number of Missing Values. CPM 2006: 106-116 - [c84]Paola Bonizzoni, Giancarlo Mauri:
A Decision Procedure for Reflexive Regular Splicing Languages. Developments in Language Theory 2006: 315-326 - [c83]Leonardo Vanneschi, Steven M. Gustafson, Giancarlo Mauri:
Using Subtree Crossover Distance to Investigate Genetic Programming Dynamics. EuroGP 2006: 238-249 - [c82]Leonardo Vanneschi, Giancarlo Mauri, Andrea Valsecchi, Stefano Cagnoni:
Heterogeneous cooperative coevolution: strategies of integration between GP and GA. GECCO 2006: 361-368 - [c81]Paolo Cazzaniga, Dario Pescini, Daniela Besozzi, Giancarlo Mauri:
Tau Leaping Stochastic Simulation Method in P Systems. Workshop on Membrane Computing 2006: 298-313 - [c80]Antonio Vitale, Giancarlo Mauri:
Communication via Mobile Vesicles in Brane Calculi. MeCBIC@ICALP 2006: 187-196 - [p3]Ioan I. Ardelean, Daniela Besozzi, Max H. Garzon, Giancarlo Mauri, Sujoy Roy:
P System Models for Mechanosensitive Channels. Applications of Membrane Computing 2006: 43-81 - 2005
- [j45]Manuela Helmer-Citterich, Rita Casadio, Alessandro Guffanti, Giancarlo Mauri, Luciano Milanesi, Graziano Pesole, Giorgio Valle, Cecilia Saccone:
Overview of BITS2005, the Second Annual Meeting of the Italian Bioinformatics Society. BMC Bioinform. 6(S-4) (2005) - [j44]Shunsuke Inenaga, Hiromasa Hoshino, Ayumi Shinohara, Masayuki Takeda, Setsuo Arikawa, Giancarlo Mauri, Giulio Pavesi:
On-line construction of compact directed acyclic word graphs. Discret. Appl. Math. 146(2): 156-179 (2005) - [j43]Paola Bonizzoni, Clelia de Felice, Giancarlo Mauri, Rosalba Zizza:
On the power of circular splicing. Discret. Appl. Math. 150(1-3): 51-66 (2005) - [j42]Silvia Zuffi, Raimondo Schettini, Giancarlo Mauri:
Spectral-based printer modeling and characterization. J. Electronic Imaging 14(2): 023008 (2005) - [j41]Daniela Besozzi, Erzsébet Csuhaj-Varjú, Giancarlo Mauri, Claudio Zandron:
On the power and size of extended gemmating P systems. Soft Comput. 9(9): 650-656 (2005) - [j40]Giancarlo Mauri, Giulio Pavesi:
Algorithms for pattern matching and discovery in RNA secondary structure. Theor. Comput. Sci. 335(1): 29-51 (2005) - [j39]Paola Bonizzoni, Giancarlo Mauri:
Regular splicing languages and subclasses. Theor. Comput. Sci. 340(1): 349-363 (2005) - [c79]Paola Bonizzoni, Clelia de Felice, Giancarlo Mauri:
Recombinant DNA , Gene Splicing as Generative Devices of Formal Languages. CiE 2005: 65-67 - [c78]Dario Pescini, Daniela Besozzi, Claudio Zandron, Giancarlo Mauri:
Analysis and Simulation of Dynamics in Probabilistic P Systems. DNA 2005: 236-247 - [c77]Alberto Gallini, Claudio Ferretti, Giancarlo Mauri:
Bio Molecular Engine: a bio-inspired environment for models of growing and evolvable computation. GECCO Workshops 2005: 249-256 - [c76]Guido Casiraghi, Claudio Ferretti, Alberto Gallini, Giancarlo Mauri:
A Membrane Computing System Mapped on an Asynchronous, Distributed Computational Environment. Workshop on Membrane Computing 2005: 159-164 - [c75]Paolo Cazzaniga, Alberto Leporati, Giancarlo Mauri, Claudio Zandron:
P Systems with Memory. Workshop on Membrane Computing 2005: 165-180 - [c74]Alberto Leporati, Giancarlo Mauri, Claudio Zandron:
Quantum Sequential P Systems with Unit Rules and Energy Assigned to Membranes. Workshop on Membrane Computing 2005: 310-325 - [c73]Alberto Gallini, Claudio Ferretti, Giancarlo Mauri, Davide Molteni:
Bio-Molecular Engine: A Simulation Environment for Bio-Inspired Architectural Models of Molecular-Scale Devices Based Machines. MSV 2005: 100-106 - [c72]Dario Pescini, Daniela Besozzi, Giancarlo Mauri:
Investigating Local Evolutions in Dynamical Probabilistic P Systems. SYNASC 2005: 440-447 - [c71]Sergio Pozzi, Italo Zoppis, Giancarlo Mauri:
Clustering Causal Relationships in Genes Expression Data. WIRN/NAIS 2005: 132-139 - [e4]Claudio Ferretti, Giancarlo Mauri, Claudio Zandron:
DNA Computing, 10th International Workshop on DNA Computing, DNA 10, Milan, Italy, June 7-10, 2004, Revised Selected Papers. Lecture Notes in Computer Science 3384, Springer 2005, ISBN 3-540-26174-5 [contents] - [e3]Giancarlo Mauri, Gheorghe Paun, Mario J. Pérez-Jiménez, Grzegorz Rozenberg, Arto Salomaa:
Membrane Computing, 5th International Workshop, WMC 2004, Milan, Italy, June 14-16, 2004, Revised Selected and Invited Papers. Lecture Notes in Computer Science 3365, Springer 2005, ISBN 3-540-25080-8 [contents] - 2004
- [j38]Giulio Pavesi, Giancarlo Mauri, Graziano Pesole:
In silico representation and discovery of transcription factor binding sites. Briefings Bioinform. 5(3): 217-236 (2004) - [j37]Paola Bonizzoni, Clelia de Felice, Giancarlo Mauri, Rosalba Zizza:
Circular splicing and regularity. RAIRO Theor. Informatics Appl. 38(3): 189-228 (2004) - [j36]Giulio Pavesi, Giancarlo Mauri, Graziano Pesole:
An Algorithm for Finding Conserved Secondary Structure Motifs in Unaligned RNA Sequences. J. Comput. Sci. Technol. 19(1): 2-12 (2004) - [j35]Alberto Leporati, Claudio Zandron, Giancarlo Mauri:
Simulating the Fredkin Gate with Energy-Based P Systems. J. Univers. Comput. Sci. 10(5): 600-619 (2004) - [j34]Giulio Pavesi, Paolo Mereghetti, Giancarlo Mauri, Graziano Pesole:
Weeder Web: discovery of transcription factor binding sites in a set of sequences from co-regulated genes. Nucleic Acids Res. 32(Web-Server-Issue): 199-203 (2004) - [j33]Daniela Besozzi, Giancarlo Mauri, Claudio Zandron:
Hierarchies of Parallel Rewriting P Systems - A Survey. New Gener. Comput. 22(4): 331-347 (2004) - [c70]Claudio Ferretti, Giancarlo Mauri:
Remarks on Relativisations and DNA Encodings. Aspects of Molecular Computing 2004: 132-138 - [c69]Raimondo Schettini, Daniela Bianucci, Giancarlo Mauri, Silvia Zuffi:
An Empirical Approach for Spectral Color Printers Characterization. CGIV 2004: 393-397 - [c68]Sergio Pozzi, Gianluca Della Vedova, Giancarlo Mauri:
An Explicit Upper Bound for the Approximation Ratio of the Maximum Gene Regulatory Network Problem. CMSB 2004: 1-8 - [c67]Giancarlo Mauri, Roberto Mosca, Giulio Pavesi:
A GA Approach to the Definition of Regulatory Signals in Genomic Sequences. GECCO (1) 2004: 380-391 - [c66]Stefania Bandini, Giancarlo Mauri, Giulio Pavesi, Carla Simone:
Computing with a Distributed Reaction-Diffusion Model. MCU 2004: 93-103 - [c65]Alberto Leporati, Claudio Zandron, Giancarlo Mauri:
Universal Families of Reversible P Systems. MCU 2004: 257-268 - [c64]Alberto Leporati, Claudio Zandron, Giancarlo Mauri:
Conservative Computations in Energy-Based P Systems. Workshop on Membrane Computing 2004: 344-358 - [c63]Sergio Pozzi, Italo Zoppis, Giancarlo Mauri:
Combinatorial and Machine Learning Approaches in Clustering Microarray Data. WIRN 2004: 63-71 - [e2]Carlos Martín-Vide, Giancarlo Mauri, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa:
Membrane Computing, International Workshop, WMC 2003, Tarragona, Spain, July 17-22, 2003, Revised Papers. Lecture Notes in Computer Science 2933, Springer 2004, ISBN 3-540-20895-X [contents] - 2003
- [j32]Daniela Besozzi, Giancarlo Mauri, Gheorghe Paun, Claudio Zandron:
Gemmating P systems: collapsing hierarchies. Theor. Comput. Sci. 296(2): 253-267 (2003) - [j31]Claudio Ferretti, Giancarlo Mauri, Gheorghe Paun, Claudio Zandron:
On three variants of rewriting P systems. Theor. Comput. Sci. 301(1-3): 201-215 (2003) - [c62]Silvia Zuffi, Raimondo Schettini, Giancarlo Mauri:
Using genetic algorithms for spectral-based printer characterization. Color Imaging: Processing, Hardcopy, and Applications 2003: 268-275 - [c61]Giancarlo Mauri, Giulio Pavesi:
Pattern Discovery in RNA Secondary Structure Using Affix Trees. CPM 2003: 278-294 - [c60]Paola Bonizzoni, Clelia de Felice, Giancarlo Mauri, Rosalba Zizza:
Regular Languages Generated by Reflexive Finite Splicing Systems. Developments in Language Theory 2003: 134-145 - [c59]Giancarlo Mauri, Claudio Ferretti:
Word Design for Molecular Computing: A Survey. DNA 2003: 37-46 - [c58]Daniela Besozzi, Giancarlo Mauri, Claudio Zandron:
Deadlock Decidability in Partial Parallel P Systems. DNA 2003: 55-60 - [c57]Giulio Pavesi, Giancarlo Mauri, Graziano Pesole:
Predicting Conserved Hairpin Motifs in Unaligned RNA Sequences. ICTAI 2003: 10-17 - [c56]Daniela Besozzi, Giancarlo Mauri, György Vaszil, Claudio Zandron:
Collapsing Hierarchies of Parallel Rewriting P Systems without Target Conflicts. Workshop on Membrane Computing 2003: 55-69 - [c55]Giancarlo Mauri, Alberto Leporati:
On the Computational Complexity of Conservative Computing. MFCS 2003: 92-112 - [c54]Silvia Zuffi, Raimondo Schettini, Giancarlo Mauri:
Spectral-Based Characterization of Inkjet Printers by Neural and Genetic Algorithms. PICS 2003: 479-484 - [c53]Giancarlo Mauri, Italo Zoppis:
A Probabilistic Neural Networks System to Recognize 3D Face of People. WIRN 2003: 158-164 - 2002
- [j30]Giancarlo Mauri, Giulio Pavesi:
A parallel algorithm for pattern discovery in biological sequences. Future Gener. Comput. Syst. 18(6): 849-854 (2002) - [j29]Hiroshi Umeo, Giancarlo Mauri:
A duality theorem for two connectivity-preserving parallel shrinking transformations. Future Gener. Comput. Syst. 18(7): 931-937 (2002) - [c52]Paola Bonizzoni, Clelia de Felice, Giancarlo Mauri, Rosalba Zizza:
Decision Problems for Linear and Circular Splicing Systems. Developments in Language Theory 2002: 78-92 - [c51]Daniela Besozzi, Claudio Ferretti, Giancarlo Mauri, Claudio Zandron:
Parallel Rewriting P Systems with Deadlock. DNA 2002: 302-314 - [c50]Daniela Besozzi, Giancarlo Mauri, Claudio Zandron:
Parallel Rewriting P Systems without Target Conflicts. WMC-CdeA 2002: 119-133 - 2001
- [j28]Giulio Pavesi, Giancarlo Mauri, Graziano Pesole:
Methods for Pattern Discovery in Unaligned Biological Sequences. Briefings Bioinform. 2(4): 417 (2001) - [j27]Paola Bonizzoni, Gianluca Della Vedova, Giancarlo Mauri:
Experimenting an approximation algorithm for the LCS. Discret. Appl. Math. 110(1): 13-24 (2001) - [j26]Stefania Bandini, Giancarlo Mauri, Giulio Pavesi, Carla Simone:
Parallel simulation of reaction-diffusion phenomena in percolation processes : A model based on cellular automata. Future Gener. Comput. Syst. 17(6): 679-688 (2001) - [j25]Paola Bonizzoni, Claudio Ferretti, Giancarlo Mauri, Rosalba Zizza:
Separating some splicing models. Inf. Process. Lett. 79(6): 255-259 (2001) - [j24]Stefania Bandini, Giancarlo Mauri, Roberto Serra:
Cellular automata: From modeling to applications. Parallel Comput. 27(5): 537-538 (2001) - [j23]Stefania Bandini, Giancarlo Mauri, Roberto Serra:
Cellular automata: From a theoretical parallel computational model to its application to complex systems. Parallel Comput. 27(5): 539-553 (2001) - [j22]Paolo Bottoni, Giancarlo Mauri, Piero Mussio, Gheorghe Paun:
Computing with Shapes. J. Vis. Lang. Comput. 12(6): 601-626 (2001) - [c49]Claudio Zandron, Giancarlo Mauri, Claudio Ferretti, Paola Bonizzoni:
Splicing systems using merge and separate operations. Where Mathematics, Computer Science, Linguistics and Biology Meet 2001: 435-446 - [c48]Shunsuke Inenaga, Hiromasa Hoshino, Ayumi Shinohara, Masayuki Takeda, Setsuo Arikawa, Giancarlo Mauri, Giulio Pavesi:
On-Line Construction of Compact Directed Acyclic Word Graphs. CPM 2001: 169-180 - [c47]Daniela Besozzi, Claudio Zandron, Giancarlo Mauri, Nicoletta Sabadini:
P Systems with Gemmation of Mobile Membranes. ICTCS 2001: 136-153 - [c46]Giulio Pavesi, Giancarlo Mauri, Graziano Pesole:
An algorithm for finding signals of unknown length in DNA sequences. ISMB (Supplement of Bioinformatics) 2001: 207-214 - [c45]Claudio Zandron, Claudio Ferretti, Giancarlo Mauri:
Two Normal Forms for Rewriting P Systems. MCU 2001: 153-164 - [c44]Stefania Bandini, Giancarlo Mauri, Giulio Pavesi:
Parallel Generation of Percolation Beds Based on Stochastic Cellular Automata. PaCT 2001: 391-400 - [c43]Giancarlo Mauri, Giulio Pavesi:
Parallel Algorithms for the Analysis of Biological Sequences. PaCT 2001: 456-468 - [c42]Paolo Barone, Paola Bonizzoni, Gianluca Della Vedova, Giancarlo Mauri:
An approximation algorithm for the shortest common supersequence problem: an experimental analysis. SAC 2001: 56-60 - 2000
- [j21]Paola Bonizzoni, Gianluca Della Vedova, Giancarlo Mauri:
Approximating the Maximum Isomorphic Agreement Subtree is Hard. Int. J. Found. Comput. Sci. 11(4): 579-590 (2000) - [j20]Paolo Bottoni, Giancarlo Mauri, Piero Mussio, Gheorghe Paun:
On the Power of Pictorial Languages. Int. J. Pattern Recognit. Artif. Intell. 14(6): 839-858 (2000) - [j19]Claudio Ferretti, Giancarlo Mauri, Satoshi Kobayashi, Takashi Yokomori:
On the universality of Post and splicing systems. Theor. Comput. Sci. 231(2): 157-170 (2000) - [j18]Claudio Ferretti, Giancarlo Mauri, Claudio Zandron:
Nine test tubes generate any RE language. Theor. Comput. Sci. 231(2): 171-180 (2000) - [c41]Hiroshi Umeo, Giancarlo Mauri:
A Duality in Two Connectivity-Preserving Parallel Shrinking Algorithms for Binary Images. ACRI 2000: 144-151 - [c40]Paolo Bottoni, Giancarlo Mauri, Piero Mussio:
Bidimensional Contextual Grammars. Recent Topics in Mathematical and Computational Linguistics 2000: 25-45 - [c39]Paola Bonizzoni, Gianluca Della Vedova, Giancarlo Mauri:
Approximating the Maximum Isomorphic Agreement Subtree Is Hard. CPM 2000: 119-128 - [c38]Paola Bonizzoni, Clelia de Felice, Giancarlo Mauri, Rosalba Zizza:
DNA and Circular Splicing. DNA Computing 2000: 117-129 - [c37]Giancarlo Mauri, Giulio Pavesi:
Approximation Algorithms for String Folding Problems. IFIP TCS 2000: 45-58 - [c36]Claudio Zandron, Claudio Ferretti, Giancarlo Mauri:
Solving NP-Complete Problems Using P Systems with Active Membranes. UMC 2000: 289-301
1990 – 1999
- 1999
- [j17]Gianpiero Cattaneo, Enrico Formenti, Luciano Margara, Giancarlo Mauri:
On the Dynamical Behavior of Chaotic Cellular Automata. Theor. Comput. Sci. 217(1): 31-51 (1999) - [j16]Stefania Bandini, Giancarlo Mauri:
Multilayered Cellular Automata. Theor. Comput. Sci. 217(1): 99-113 (1999) - [j15]Maurizio Denna, Giancarlo Mauri, Anna Maria Zanaboni:
Learning fuzzy rules with tabu search-an application to control. IEEE Trans. Fuzzy Syst. 7(3): 295-318 (1999) - [c35]Paolo Bottoni, Giancarlo Mauri, Piero Mussio:
Coordination through Group Rewriting. Grammatical Models of Multi-Agent Systems 1999: 226-246 - [c34]Stefania Bandini, Giovanni Erbacci, Giancarlo Mauri:
Implementing Cellular Automata Based Models on Parallel Architectures: The CAPP Project. PaCT 1999: 167-179 - [c33]Stefania Bandini, Giancarlo Mauri, Giulio Pavesi, Carla Simone:
A Parallel Model Based on Cellular Automata for the Simulation of Pesticide Percolation in the Soil. PaCT 1999: 383-394 - [c32]Giancarlo Mauri, Giulio Pavesi, Antonio Piccolboni:
Approximation Algorithms for Protein Folding Prediction. SODA 1999: 945-946 - 1998
- [j14]Paolo Bottoni, Giancarlo Mauri, Piero Mussio, Gheorghe Paun:
Grammars Working on Layered Strings. Acta Cybern. 13(4): 339-358 (1998) - [c31]Luciano Milanesi, M. Marsilli, Giancarlo Mauri, C. Rolfi, L. Uboldi:
Fragment assembly system for DNA sequencing projects. Mathematical Support for Molecular Biology 1998: 241-258 - [c30]Claudio Ferretti, Giancarlo Mauri, Satoshi Kobayashi, Takashi Yokomori:
On the Universality of Post and Splicing Systems. MCU (2) 1998: 12-28 - [c29]Claudio Ferretti, Giancarlo Mauri, Claudio Zandron:
Nine Test Tubes Generate any RE Language. MCU (2) 1998: 30-41 - [c28]Antonio Piccolboni, Giancarlo Mauri:
Distance space evolutionary algorithms for protein folding prediction. SMC 1998: 2768-2773 - 1997
- [j13]Gianpiero Cattaneo, Enrico Formenti, Luciano Margara, Giancarlo Mauri:
Transformations of the One-Dimensional Cellular Automata Rule Space. Parallel Comput. 23(11): 1593-1611 (1997) - [c27]Antonio Piccolboni, Giancarlo Mauri:
Application of Evolutionary Algorithms to Protein Folding Prediction. Artificial Evolution 1997: 123-136 - [c26]Paolo Bottoni, Giancarlo Mauri, Piero Mussio:
On Controlling Rewriting by Properties of Strings and Symbols. New Trends in Formal Languages 1997: 71-94 - [c25]Claudio Zandron, Claudio Ferretti, Giancarlo Mauri:
A Reduced Distributed Splicing System for RE Languages. New Trends in Formal Languages 1997: 319-329 - [c24]Antonio Piccolboni, Giancarlo Mauri:
Application of Evolutionary Algorithms to Protein Folding Prediction. ICONIP (2) 1997: 1352- - [e1]Stefania Bandini, Giancarlo Mauri:
ACRI '96, Proceedings of the Second Conference on Cellular Automata for Research and Industry, Milan, Italy, 16-18 October 1996. Springer 1997, ISBN 3-540-76091-1 [contents] - 1996
- [j12]Eugenio Battiston, Fiorella de Cindio, Giancarlo Mauri:
Modular Algebraic Nets to Specify Concurrent Systems. IEEE Trans. Software Eng. 22(10): 689-705 (1996) - [c23]Gianpiero Cattaneo, Enrico Formenti, Giancarlo Mauri, A. Vaccaro, Luciano Margara:
Essential Transformations of the One Dimensional Cellular Automata Rule Space and Endomorphisms of Compact Abelian Groups. ACRI 1996: 42-56 - [c22]Stefania Bandini, Giancarlo Mauri:
Towards Multilayered Automata Networks. ACRI 1996: 99-105 - 1995
- [c21]Gianpiero Cattaneo, Enrico Formenti, Giancarlo Mauri:
Rule Space Transformations and One-Dimensional Cellular Automata. Developments in Language Theory 1995: 409-419 - [p2]Alberto Bertoni, Massimiliano Goldwurm, Giancarlo Mauri, Nicoletta Sabadini:
Counting Techniques for Inclusion, Equivalence and Membership Problems. The Book of Traces 1995: 131-163 - 1994
- [c20]Claudio Ferretti, Giancarlo Mauri:
Identifying Regular Languages over Partially-Commutative Monoids. AII/ALT 1994: 282-289 - [c19]Claudio Ferretti, Giancarlo Mauri:
Identifying Unrecognizable Regular Languages by Queries. ECML 1994: 355-358 - 1993
- [j11]G. Braga, Gianpiero Cattaneo, Paola Flocchini, Giancarlo Mauri:
Complex Chaotic Behavior of a Class of Subshift Cellular Automata. Complex Syst. 7(4) (1993) - [j10]Giovanni Guida, Giancarlo Mauri:
Evaluating Performance and Quality of Knowledge-Based Systems: Foundation and Methodology. IEEE Trans. Knowl. Data Eng. 5(2): 204-224 (1993) - [c18]Eugenio Battiston, V. Crespi, Fiorella de Cindio, Giancarlo Mauri:
Semantics Frameworks for a Class of Modular Algebraic Nets. AMAST 1993: 271-280 - 1992
- [j9]Paola Flocchini, Francesco Gardin, Giancarlo Mauri, Maria Pia Pensini, Paolo Stofella:
Combining Image Processing Operators and Neural Networks in A Face Recognition System. Int. J. Pattern Recognit. Artif. Intell. 6(2&3): 447-467 (1992) - [j8]Paola Bonizzoni, Giancarlo Mauri:
On Automata on Infinite Trees. Theor. Comput. Sci. 93(2): 227-244 (1992) - [p1]Paola Bonizzoni, Giancarlo Mauri, Giovanni Pighizzini, Nicoletta Sabadini:
Recognizing sets of labelled acyclic graphs. Tree Automata and Languages 1992: 201-224 - 1991
- [j7]Alberto Bertoni, Paola Campadelli, Giancarlo Mauri:
Some Notes on Computational Learing Theory. Bull. EATCS 43: 140-158 (1991)
1980 – 1989
- 1989
- [j6]Alberto Bertoni, Giancarlo Mauri, Nicoletta Sabadini:
Membership Problems for Regular and Context-Free Trace Languages. Inf. Comput. 82(2): 135-150 (1989) - [c17]Gisella Arienti, Tiziana Cazzaniga, Francesco Gardin, Giancarlo Mauri:
UNIX-Tutor: An Experiment for the Use of Deep Knowledge for Tutoring. IFIP Congress 1989: 569-574 - [c16]Maria Pia Pensini, Giancarlo Mauri, Francesco Gardin:
Flowshop and Travelling Salesman Problem. Parallelism, Learning, Evolution 1989: 157-182 - 1987
- [c15]Eugenio Battiston, Fiorella de Cindio, Giancarlo Mauri:
OBJSA Nets: a Class of High- level Nets Having Objects as Domains. European Workshop on Applications and Theory of Petri Nets 1987: 20-43 - 1986
- [j5]Giovanni Guida, Giancarlo Mauri:
Evaluation of natural language processing systems: Issues and approaches. Proc. IEEE 74(7): 1026-1035 (1986) - [c14]Paolo Massazza, Giancarlo Mauri, P. Righi, Mauro Torelli:
A Symbolic Manipulation System for Combinatorial Problems. AAECC 1986: 88-97 - [c13]Giancarlo Mauri:
OBJ-SAN: Towards the Definition of a Class of High-Level Nets using OBJ2. ADT 1986 - [c12]Alberto Bertoni, Massimiliano Goldwurm, Giancarlo Mauri, Nicoletta Sabadini:
Parallel Algorithms and the Classification of Problems. WOPPLOT 1986: 206-226 - 1984
- [j4]Giovanni Guida, Giancarlo Mauri:
A Formal Basis for Performance Evaluation of Natural Language Understanding Systems. Comput. Linguistics 10(1): 15-30 (1984) - [c11]Alberto Bertoni, Giancarlo Mauri, Pierangelo Miglioli, Mario Ornaghi:
Abstract Data Types and Their Extensions within a Constructive Logic. Semantics of Data Types 1984: 177-195 - 1982
- [c10]Alberto Bertoni, Giancarlo Mauri, Nicoletta Sabadini:
Equivalence and Membership Problems for Regular Trace Languages. ICALP 1982: 61-71 - 1981
- [j3]Alberto Bertoni, Giancarlo Mauri:
On Efficient Computation of the Coefficients of Some Polynomials with Applications to Some Enumeration Problems. Inf. Process. Lett. 12(3): 142-145 (1981) - [c9]Giancarlo Mauri, Marco Brambilla:
On the Logic of Concurrency and Conflict. Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets 1981: 258-268 - [c8]Giancarlo Mauri, Nicoletta Sabadini:
A # P-Complete Problem over Arithmetical Trees. CAAP 1981: 308-315 - [c7]Alberto Bertoni, Marco Brambilla, Giancarlo Mauri, Nicoletta Sabadini:
An Application of the Theory of Free Partially Commutative Monoids: Asymptotic Densities of Trace Languages. MFCS 1981: 205-215 - [c6]Alberto Bertoni, Giancarlo Mauri, Nicoletta Sabadini:
A Characterization of the Class of Functions Computable in Polynomial Time on Random Access Machines. STOC 1981: 168-176 - 1980
- [c5]Alberto Bertoni, Giancarlo Mauri, Pierangelo Miglioli:
Towards a Theory of Abstract Data Types: A Discussion on Problems and Tools. Symposium on Programming 1980: 44-58
1970 – 1979
- 1979
- [j2]Alberto Bertoni, Giancarlo Mauri, Mauro Torelli:
Three Efficient Algorithms for Counting Problems. Inf. Process. Lett. 8(1): 50-53 (1979) - [j1]Valeria De Antonellis, Fiorella de Cindio, G. Degli Antoni, Giancarlo Mauri:
Use of bipartite graphs as a notation for data bases. Inf. Syst. 4(2): 137-141 (1979) - [c4]Valeria De Antonellis, G. Degli Antoni, Giancarlo Mauri, Bruna Zonta:
Extending the Entity-Relationship Approach to Take in Account Historical Aspects of Systems. ER 1979: 231-236 - [c3]Alberto Bertoni, Giancarlo Mauri, Pierangelo Miglioli:
A Characterization of Abstract Data as Model-Theoretic Invariants. ICALP 1979: 26-37 - 1977
- [c2]Alberto Bertoni, Giancarlo Mauri, Mauro Torelli:
Some Recursive Unsolvable Problems Relating to Isolated Cutpoints in Probabilistic Automata. ICALP 1977: 87-94 - [c1]Alberto Bertoni, Giancarlo Mauri, Mauro Torelli:
An Algebraic Approach to Problem Solution and Problem Semantics. MFCS 1977: 253-262
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:23 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint