dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Giancarlo Mauri Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2012
203no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLItalo 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
202Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco 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
201Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLItalo 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
200Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaola 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)
199Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLItalo 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. Biology Bioinform. 9(3): 934-939 (2012)
198Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeonardo Vanneschi, Giancarlo Mauri: A study on learning robustness using asynchronous 1D cellular automata rules. Natural Computing 11(2): 289-302 (2012)
197Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeonardo 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)
2011
196Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiancarlo Mauri, Alberto Leporati: Developments in Language Theory - 15th International Conference, DLT 2011, Milan, Italy, July 19-22, 2011. Proceedings Springer 2011
195Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonella Farinaccio, Leonardo Vanneschi, Paolo Provero, Giancarlo Mauri, Mario Giacobini: A New Evolutionary Gene Regulatory Network Reverse Engineering Tool. EvoBio 2011: 13-24
194Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonio E. Porreca, Alberto Leporati, Giancarlo Mauri, Claudio Zandron: P Systems Simulating Oracle Computations. Int. Conf. on Membrane Computing 2011: 346-358
193Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRiccardo Dondi, Giancarlo Mauri, Italo Zoppis: On the Complexity of the l-diversity Problem. MFCS 2011: 266-277
192Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIvan 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
191Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiancarlo Mauri: Introduction to the Special theme - Molecular and Cellular Computing. ERCIM News 2011(85): 11 (2011)
190Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiancarlo Mauri, Ion Petre: New Robustness Paradigms: from Nature to Computing. ERCIM News 2011(85): 33 (2011)
189Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaola Bonizzoni, Claudio Ferretti, Anthonath Roslin Sagaya Mary, Giancarlo Mauri: Picture Languages Generated by Assembling Tiles. Fundam. Inform. 110(1-4): 77-93 (2011)
188Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonio E. Porreca, Alberto Leporati, Giancarlo Mauri, Claudio Zandron: Elementary Active Membranes Have the Power of Counting. IJNCR 2(3): 35-48 (2011)
187Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonio 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)
186Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniela 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)
185Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonio E. Porreca, Alberto Leporati, Giancarlo Mauri, Claudio Zandron: P systems with active membranes: trading time for space. Natural Computing 10(1): 167-182 (2011)
184Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeonardo Vanneschi, Daniele Codecasa, Giancarlo Mauri: A Comparative Study of Four Parallel and Distributed PSO Methods. New Generation Comput. 29(2): 129-161 (2011)
2010
183Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea 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
182Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo 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
181Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiancarlo Mauri, Alberto Leporati, Antonio E. Porreca, Claudio Zandron: Computational Complexity Aspects in Membrane Computing. CiE 2010: 317-320
180Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeonardo 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
179Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Manzoni, Leonardo Vanneschi, Giancarlo Mauri: Definition of a crossover based distance for genetic algorithms. GECCO 2010: 1473-1474
178Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea Valsecchi, Leonardo Vanneschi, Giancarlo Mauri: Optimization speed and fair sets of functions. GECCO 2010: 1475-1476
177Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeonardo Vanneschi, Daniele Codecasa, Giancarlo Mauri: An empirical comparison of parallel and distributed particle swarm optimization methods. GECCO 2010: 15-22
176Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonella 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
175Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniela 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
174Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEttore 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
173Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonio 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
172Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonella Farinaccio, Leonardo Vanneschi, Paolo Provero, Giancarlo Mauri, Mario Giacobini: A Study on Gene Regulatory Network Reconstruction and Simulation. WIRN 2010: 235-242
171Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaola Bonizzoni, Gianluca Della Vedova, Riccardo Dondi, Giancarlo Mauri: Fingerprint Clustering with Bounded Number of Missing Values. Algorithmica 58(2): 282-303 (2010)
170Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniela Besozzi, Paolo Cazzaniga, Dario Pescini, Giancarlo Mauri: An Analysis on the Influence of Network Topologies on Local and Global Dynamics of Metapopulation Systems CoRR abs/1008.3304: (2010)
169Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Antoniotti, Marco Carreras, Antonella Farinaccio, Giancarlo Mauri, Daniele Merico, Italo Zoppis: An application of kernel methods to gene cluster temporal meta-analysis. Computers & OR 37(8): 1361-1368 (2010)
168Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonio E. Porreca, Giancarlo Mauri, Claudio Zandron: Non-confluence in divisionless P systems with active membranes. Theor. Comput. Sci. 411(6): 878-887 (2010)
2009
167Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLItalo 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
166Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniela 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
165Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniela 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
164Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaola Bonizzoni, Claudio Ferretti, Anthonath Roslin Sagaya Mary, Giancarlo Mauri: Picture Languages Generated by Assembling Tiles. LATA 2009: 224-235
163Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiancarlo Mauri, Alberto Leporati, Claudio Zandron: Energy-Based Models of P Systems. Workshop on Membrane Computing 2009: 104-124
162Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo 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
161Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea 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
160Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlberto Leporati, Claudio Zandron, Claudio Ferretti, Giancarlo Mauri: On the Computational Power of Spiking Neural P Systems. IJUC 5(5): 459-473 (2009)
159Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGianluca Colombo, Daniele Merico, Zoltán Nagy, Flavio De Paoli, Marco Antoniotti, Giancarlo Mauri: Ontological modeling at a domain interface: bridging clinical and biomolecular knowledge. Knowledge Eng. Review 24(3): 205-224 (2009)
158Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniela Besozzi, Nadia Busi, Paolo Cazzaniga, Claudio Ferretti, Alberto Leporati, Giancarlo Mauri, Dario Pescini, Claudio Zandron: (Tissue) P systems with cell polarity. Mathematical Structures in Computer Science 19(6): 1141-1160 (2009)
157Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlberto 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. Natural Computing 8(4): 681-702 (2009)
156Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlberto Leporati, Claudio Ferretti, Giancarlo Mauri, Mario J. Pérez-Jiménez, Claudio Zandron: Complexity aspects of polarizationless membrane systems. Natural Computing 8(4): 703-717 (2009)
2008
155no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiorgio 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 Springer 2008
154Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefania 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
153Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlberto Leporati, Claudio Zandron, Giancarlo Mauri: How Redundant Is Your Universal Computation Device?. Workshop on Membrane Computing 2008: 274-291
152Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDario Pescini, Paolo Cazzaniga, Claudio Ferretti, Giancarlo Mauri: First Steps Towards a Wet Implementation for t-DPP. Workshop on Membrane Computing 2008: 355-373
151Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniela Besozzi, Paolo Cazzaniga, Dario Pescini, Giancarlo Mauri: Modelling metapopulations with stochastic membrane systems. Biosystems 91(3): 499-514 (2008)
150Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonio Vitale, Giancarlo Mauri, Claudio Zandron: Simulation of a bounded symport/antiport P system with Brane calculi. Biosystems 91(3): 558-571 (2008)
149Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavide Molteni, Claudio Ferretti, Giancarlo Mauri: Frequency Membrane Systems. Computing and Informatics 27(3+): 467-479 (2008)
148Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLClaudio 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. Inform. 87(1): 79-91 (2008)
2007
147Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiancarlo Mauri: Membrane Systems and Their Application to Systems Biology. CiE 2007: 551-553
146Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGianluca 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
145Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeonardo 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
144no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLItalo Zoppis, Sergio Pozzi, Giancarlo Mauri: Support Vector Clustering of Dependencies in Microarray Data. IMECS 2007: 244-249
143Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLItalo Zoppis, Daniele Merico, Marco Antoniotti, Bud Mishra, Giancarlo Mauri: Discovering Relations Among GO-Annotated Clusters by Graph Kernel Methods. ISBRA 2007: 158-169
142Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiancarlo Mauri, Mario J. Pérez-Jiménez, Claudio Zandron: On a Paun's Conjecture in Membrane Systems. IWINAC (1) 2007: 180-192
141Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniele Merico, Italo Zoppis, Marco Antoniotti, Giancarlo Mauri: Evaluating Graph Kernel Methods for Relation Discovery in GO-Annotated Clusters. KES (3) 2007: 892-900
140Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGianluca Colombo, Daniele Merico, Giancarlo Mauri: Reference Ontology Design for a Neurovascular Knowledge Network. MTSR 2007: 403-414
139Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlberto Leporati, Claudio Zandron, Claudio Ferretti, Giancarlo Mauri: Solving Numerical NP-Complete Problems with Spiking Neural P Systems. Workshop on Membrane Computing 2007: 336-352
138Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo 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 Bioinformatics 8(S-1): (2007)
137Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea 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 Bioinformatics 8(S-1): (2007)
136Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonio Vitale, Giancarlo Mauri: Communication via Mobile Vesicles in Brane Calculi. Electr. Notes Theor. Comput. Sci. 171(2): 187-196 (2007)
135Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefania Bandini, Sara Manzoni, Giancarlo Mauri, Stefano Redaelli: Emergent Pattern Interpretation in Vegetable Population Dynamics. J. Cellular Automata 2(2): 103-110 (2007)
2006
134Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaola Bonizzoni, Gianluca Della Vedova, Riccardo Dondi, Giancarlo Mauri: Fingerprint Clustering with Bounded Number of Missing Values. CPM 2006: 106-116
133Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaola Bonizzoni, Giancarlo Mauri: A Decision Procedure for Reflexive Regular Splicing Languages. Developments in Language Theory 2006: 315-326
132Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeonardo Vanneschi, Steven Gustafson, Giancarlo Mauri: Using Subtree Crossover Distance to Investigate Genetic Programming Dynamics. EuroGP 2006: 238-249
131Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeonardo Vanneschi, Giancarlo Mauri, Andrea Valsecchi, Stefano Cagnoni: Heterogeneous cooperative coevolution: strategies of integration between GP and GA. GECCO 2006: 361-368
130Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Cazzaniga, Dario Pescini, Daniela Besozzi, Giancarlo Mauri: Tau Leaping Stochastic Simulation Method in P Systems. Workshop on Membrane Computing 2006: 298-313
129Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIoan I. Ardelean, Daniela Besozzi, Max H. Garzon, Giancarlo Mauri, Sujoy Roy: P System Models for Mechanosensitive Channels. Applications of Membrane Computing 2006: 43-81
128Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaola Bonizzoni, Clelia de Felice, Giancarlo Mauri, Rosalba Zizza: Linear splicing and syntactic monoid. Discrete Applied Mathematics 154(3): 452-470 (2006)
127Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefania Bandini, Giancarlo Mauri, Giuseppe Vizzari: Supporting Action-at-a-distance in Situated Cellular Agents. Fundam. Inform. 69(3): 251-271 (2006)
126Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlberto Leporati, Claudio Zandron, Giancarlo Mauri: Reversible P Systems to Simulate Fredkin Circuits. Fundam. Inform. 74(4): 529-548 (2006)
125Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonio E. Porreca, Giancarlo Mauri, Claudio Zandron: Complexity classes for membrane systems. ITA 40(2): 141-162 (2006)
124Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDario Pescini, Daniela Besozzi, Giancarlo Mauri, Claudio Zandron: Dynamical probabilistic P systems. Int. J. Found. Comput. Sci. 17(1): 183-204 (2006)
123Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo 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. Integrative Bioinformatics 3(1): (2006)
122Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiulio 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 Research 34(Web-Server-Issue): 566-570 (2006)
2005
121no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiancarlo 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 Springer 2005
120no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLClaudio Ferretti, Giancarlo Mauri, Claudio Zandron: DNA Computing, 10th International Workshop on DNA Computing, DNA 10, Milan, Italy, June 7-10, 2004, Revised Selected Papers Springer 2005
119Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaola Bonizzoni, Clelia de Felice, Giancarlo Mauri: Recombinant DNA , Gene Splicing as Generative Devices of Formal Languages. CiE 2005: 65-67
118Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDario Pescini, Daniela Besozzi, Claudio Zandron, Giancarlo Mauri: Analysis and Simulation of Dynamics in Probabilistic P Systems. DNA 2005: 236-247
117Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlberto Gallini, Claudio Ferretti, Giancarlo Mauri: Bio Molecular Engine: a bio-inspired environment for models of growing and evolvable computation. GECCO Workshops 2005: 249-256
116no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlberto 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
115Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDario Pescini, Daniela Besozzi, Giancarlo Mauri: Investigating Local Evolutions in Dynamical Probabilistic P Systems. SYNASC 2005: 440-447
114Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSergio Pozzi, Italo Zoppis, Giancarlo Mauri: Clustering Causal Relationships in Genes Expression Data. WIRN/NAIS 2005: 132-139
113Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGuido 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
112Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Cazzaniga, Alberto Leporati, Giancarlo Mauri, Claudio Zandron: P Systems with Memory. Workshop on Membrane Computing 2005: 165-180
111Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlberto Leporati, Giancarlo Mauri, Claudio Zandron: Quantum Sequential P Systems with Unit Rules and Energy Assigned to Membranes. Workshop on Membrane Computing 2005: 310-325
110Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManuela 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 Bioinformatics 6(S-4): (2005)
109Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShunsuke Inenaga, Hiromasa Hoshino, Ayumi Shinohara, Masayuki Takeda, Setsuo Arikawa, Giancarlo Mauri, Giulio Pavesi: On-line construction of compact directed acyclic word graphs. Discrete Applied Mathematics 146(2): 156-179 (2005)
108Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaola Bonizzoni, Clelia de Felice, Giancarlo Mauri, Rosalba Zizza: On the power of circular splicing. Discrete Applied Mathematics 150(1-3): 51-66 (2005)
107Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSilvia Zuffi, Raimondo Schettini, Giancarlo Mauri: Spectral-based printer modeling and characterization. J. Electronic Imaging 14(2): 023008 (2005)
106Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniela 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)
105Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiancarlo Mauri, Giulio Pavesi: Algorithms for pattern matching and discovery in RNA secondary structure. Theor. Comput. Sci. 335(1): 29-51 (2005)
104Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaola Bonizzoni, Giancarlo Mauri: Regular splicing languages and subclasses. Theor. Comput. Sci. 340(1): 349-363 (2005)
2004
103no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarlos 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 Springer 2004
102Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLClaudio Ferretti, Giancarlo Mauri: Remarks on Relativisations and DNA Encodings. Aspects of Molecular Computing 2004: 132-138
101Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSergio 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
100Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiancarlo Mauri, Roberto Mosca, Giulio Pavesi: A GA Approach to the Definition of Regulatory Signals in Genomic Sequences. GECCO (1) 2004: 380-391
99Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlberto Leporati, Claudio Zandron, Giancarlo Mauri: Universal Families of Reversible P Systems. MCU 2004: 257-268
98Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefania Bandini, Giancarlo Mauri, Giulio Pavesi, Carla Simone: Computing with a Distributed Reaction-Diffusion Model. MCU 2004: 93-103
97Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSergio Pozzi, Italo Zoppis, Giancarlo Mauri: Combinatorial and Machine Learning Approaches in Clustering Microarray Data. WIRN 2004: 63-71
96Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlberto Leporati, Claudio Zandron, Giancarlo Mauri: Conservative Computations in Energy-Based P Systems. Workshop on Membrane Computing 2004: 344-358
95Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiulio Pavesi, Giancarlo Mauri, Graziano Pesole: In silico representation and discovery of transcription factor binding sites. Briefings in Bioinformatics 5(3): 217-236 (2004)
94Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaola Bonizzoni, Clelia de Felice, Giancarlo Mauri, Rosalba Zizza: Circular splicing and regularity. ITA 38(3): 189-228 (2004)
93Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiulio 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)
92Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlberto Leporati, Claudio Zandron, Giancarlo Mauri: Simulating the Fredkin Gate with Energy-Based P Systems. J. UCS 10(5): 600-619 (2004)
91Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniela Besozzi, Giancarlo Mauri, Claudio Zandron: Hierarchies of Parallel Rewriting P Systems - A Survey. New Generation Comput. 22(4): 331-347 (2004)
90Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiulio 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 Research 32(Web-Server-Issue): 199-203 (2004)
2003
89Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiancarlo Mauri, Giulio Pavesi: Pattern Discovery in RNA Secondary Structure Using Affix Trees. CPM 2003: 278-294
88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiancarlo Mauri, Claudio Ferretti: Word Design for Molecular Computing: A Survey. DNA 2003: 37-46
87Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniela Besozzi, Giancarlo Mauri, Claudio Zandron: Deadlock Decidability in Partial Parallel P Systems. DNA 2003: 55-60
86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaola Bonizzoni, Clelia de Felice, Giancarlo Mauri, Rosalba Zizza: Regular Languages Generated by Reflexive Finite Splicing Systems. Developments in Language Theory 2003: 134-145
85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiulio Pavesi, Giancarlo Mauri, Graziano Pesole: Predicting Conserved Hairpin Motifs in Unaligned RNA Sequences. ICTAI 2003: 10-17
84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiancarlo Mauri, Alberto Leporati: On the Computational Complexity of Conservative Computing. MFCS 2003: 92-112
83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSilvia Zuffi, Raimondo Schettini, Giancarlo Mauri: Spectral-Based Characterization of Inkjet Printers by Neural and Genetic Algorithms. PICS 2003: 479-484
82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiancarlo Mauri, Italo Zoppis: A Probabilistic Neural Networks System to Recognize 3D Face of People. WIRN 2003: 158-164
81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniela 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
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLClaudio Ferretti, Giancarlo Mauri, Gheorghe Paun, Claudio Zandron: On three variants of rewriting P systems. Theor. Comput. Sci. 1-3(301): 201-215 (2003)
79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniela Besozzi, Giancarlo Mauri, Gheorghe Paun, Claudio Zandron: Gemmating P systems: collapsing hierarchies. Theor. Comput. Sci. 296(2): 253-267 (2003)
2002
78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniela Besozzi, Claudio Ferretti, Giancarlo Mauri, Claudio Zandron: Parallel Rewriting P Systems with Deadlock. DNA 2002: 302-314
77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaola Bonizzoni, Clelia de Felice, Giancarlo Mauri, Rosalba Zizza: Decision Problems for Linear and Circular Splicing Systems. Developments in Language Theory 2002: 78-92
76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniela Besozzi, Giancarlo Mauri, Claudio Zandron: Parallel Rewriting P Systems without Target Conflicts. WMC-CdeA 2002: 119-133
75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiancarlo Mauri, Giulio Pavesi: A parallel algorithm for pattern discovery in biological sequences. Future Generation Comp. Syst. 18(6): 849-854 (2002)
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHiroshi Umeo, Giancarlo Mauri: A duality theorem for two connectivity-preserving parallel shrinking transformations. Future Generation Comp. Syst. 18(7): 931-937 (2002)
2001
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShunsuke 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
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniela Besozzi, Claudio Zandron, Giancarlo Mauri, Nicoletta Sabadini: P Systems with Gemmation of Mobile Membranes. ICTCS 2001: 136-153
71no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiulio Pavesi, Giancarlo Mauri, Graziano Pesole: An algorithm for finding signals of unknown length in DNA sequences. ISMB (Supplement of Bioinformatics) 2001: 207-214
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLClaudio Zandron, Claudio Ferretti, Giancarlo Mauri: Two Normal Forms for Rewriting P Systems. MCU 2001: 153-164
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefania Bandini, Giancarlo Mauri, Giulio Pavesi: Parallel Generation of Percolation Beds Based on Stochastic Cellular Automata. PaCT 2001: 391-400
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiancarlo Mauri, Giulio Pavesi: Parallel Algorithms for the Analysis of Biological Sequences. PaCT 2001: 456-468
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Barone, Paola Bonizzoni, Gianluca Della Vedova, Giancarlo Mauri: An approximation algorithm for the shortest common supersequence problem: an experimental analysis. SAC 2001: 56-60
66no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLClaudio 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
65no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiulio Pavesi, Giancarlo Mauri, Graziano Pesole: Methods for Pattern Discovery in Unaligned Biological Sequences. Briefings in Bioinformatics 2(4): 417 (2001)
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaola Bonizzoni, Gianluca Della Vedova, Giancarlo Mauri: Experimenting an approximation algorithm for the LCS. Discrete Applied Mathematics 110(1): 13-24 (2001)
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefania Bandini, Giancarlo Mauri, Giulio Pavesi, Carla Simone: Parallel simulation of reaction-diffusion phenomena in percolation processes : A model based on cellular automata. Future Generation Comp. Syst. 17(6): 679-688 (2001)
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaola Bonizzoni, Claudio Ferretti, Giancarlo Mauri, Rosalba Zizza: Separating some splicing models. Inf. Process. Lett. 79(6): 255-259 (2001)
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Bottoni, Giancarlo Mauri, Piero Mussio, Gheorghe Paun: Computing with Shapes. J. Vis. Lang. Comput. 12(6): 601-626 (2001)
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefania Bandini, Giancarlo Mauri, Roberto Serra: Cellular automata: From modeling to applications. Parallel Computing 27(5): 537-538 (2001)
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefania Bandini, Giancarlo Mauri, Roberto Serra: Cellular automata: From a theoretical parallel computational model to its application to complex systems. Parallel Computing 27(5): 539-553 (2001)
2000
58no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHiroshi Umeo, Giancarlo Mauri: A Duality in Two Connectivity-Preserving Parallel Shrinking Algorithms for Binary Images. ACRI 2000: 144-151
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaola Bonizzoni, Gianluca Della Vedova, Giancarlo Mauri: Approximating the Maximum Isomorphic Agreement Subtree Is Hard. CPM 2000: 119-128
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaola Bonizzoni, Clelia de Felice, Giancarlo Mauri, Rosalba Zizza: DNA and Circular Splicing. DNA Computing 2000: 117-129
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiancarlo Mauri, Giulio Pavesi: Approximation Algorithms for String Folding Problems. IFIP TCS 2000: 45-58
54no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Bottoni, Giancarlo Mauri, Piero Mussio: Bidimensional Contextual Grammars. Recent Topics in Mathematical and Computational Linguistics 2000: 25-45
53no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLClaudio Zandron, Claudio Ferretti, Giancarlo Mauri: Solving NP-Complete Problems Using P Systems with Active Membranes. UMC 2000: 289-301
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Bottoni, Giancarlo Mauri, Piero Mussio, Gheorghe Paun: On the Power of Pictorial Languages. IJPRAI 14(6): 839-858 (2000)
51no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaola Bonizzoni, Gianluca Della Vedova, Giancarlo Mauri: Approximating the Maximum Isomorphic Agreement Subtree is Hard. Int. J. Found. Comput. Sci. 11(4): 579-590 (2000)
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLClaudio Ferretti, Giancarlo Mauri, Satoshi Kobayashi, Takashi Yokomori: On the universality of Post and splicing systems. Theor. Comput. Sci. 231(2): 157-170 (2000)
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLClaudio Ferretti, Giancarlo Mauri, Claudio Zandron: Nine test tubes generate any RE language. Theor. Comput. Sci. 231(2): 171-180 (2000)
1999
48no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Bottoni, Giancarlo Mauri, Piero Mussio: Coordination through Group Rewriting. Grammatical Models of Multi-Agent Systems 1999: 226-246
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefania Bandini, Giovanni Erbacci, Giancarlo Mauri: Implementing Cellular Automata Based Models on Parallel Architectures: The CAPP Project. PaCT 1999: 167-179
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefania 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
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiancarlo Mauri, Giulio Pavesi, Antonio Piccolboni: Approximation Algorithms for Protein Folding Prediction. SODA 1999: 945-946
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGianpiero Cattaneo, Enrico Formenti, Luciano Margara, Giancarlo Mauri: On the Dynamical Behavior of Chaotic Cellular Automata. Theor. Comput. Sci. 217(1): 31-51 (1999)
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefania Bandini, Giancarlo Mauri: Multilayered Cellular Automata. Theor. Comput. Sci. 217(1): 99-113 (1999)
1998
42no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLClaudio Ferretti, Giancarlo Mauri, Satoshi Kobayashi, Takashi Yokomori: On the Universality of Post and Splicing Systems. MCU (2) 1998: 12-28
41no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLClaudio Ferretti, Giancarlo Mauri, Claudio Zandron: Nine Test Tubes Generate any RE Language. MCU (2) 1998: 30-41
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Bottoni, Giancarlo Mauri, Piero Mussio, Gheorghe Paun: Grammars Working on Layered Strings. Acta Cybern. 13(4): 339-358 (1998)
1997
39no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefania 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
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonio Piccolboni, Giancarlo Mauri: Application of Evolutionary Algorithms to Protein Folding Prediction. Artificial Evolution 1997: 123-136
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLClaudio Zandron, Claudio Ferretti, Giancarlo Mauri: A Reduced Distributed Splicing System for RE Languages. New Trends in Formal Languages 1997: 319-329
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Bottoni, Giancarlo Mauri, Piero Mussio: On Controlling Rewriting by Properties of Strings and Symbols. New Trends in Formal Languages 1997: 71-94
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGianpiero Cattaneo, Enrico Formenti, Luciano Margara, Giancarlo Mauri: Transformations of the One-Dimensional Cellular Automata Rule Space. Parallel Computing 23(11): 1593-1611 (1997)
1996
34no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGianpiero 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
33no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefania Bandini, Giancarlo Mauri: Towards Multilayered Automata Networks. ACRI 1996: 99-105
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEugenio Battiston, Fiorella de Cindio, Giancarlo Mauri: Modular Algebraic Nets to Specify Concurrent Systems. IEEE Trans. Software Eng. 22(10): 689-705 (1996)
1995
31no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGianpiero Cattaneo, Enrico Formenti, Giancarlo Mauri: Rule Space Transformations and One-Dimensional Cellular Automata. Developments in Language Theory 1995: 409-419
1994
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLClaudio Ferretti, Giancarlo Mauri: Identifying Regular Languages over Partially-Commutative Monoids. AII/ALT 1994: 282-289
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLClaudio Ferretti, Giancarlo Mauri: Identifying Unrecognizable Regular Languages by Queries. ECML 1994: 355-358
1993
28no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEugenio Battiston, V. Crespi, Fiorella de Cindio, Giancarlo Mauri: Semantics Frameworks for a Class of Modular Algebraic Nets. AMAST 1993: 271-280
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiovanni Guida, Giancarlo Mauri: Evaluating Performance and Quality of Knowledge-Based Systems: Foundation and Methodology. IEEE Trans. Knowl. Data Eng. 5(2): 204-224 (1993)
1992
26no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaola Bonizzoni, Giancarlo Mauri, Giovanni Pighizzini, Nicoletta Sabadini: Recognizing sets of labelled acyclic graphs. Tree Automata and Languages 1992: 201-224
25no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaola Flocchini, Francesco Gardin, Giancarlo Mauri, Maria Pia Pensini, Paolo Stofella: Combining Image Processing Operators and Neural Networks in A Face Recognition System. IJPRAI 6(2&3): 447-467 (1992)
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaola Bonizzoni, Giancarlo Mauri: On Automata on Infinite Trees. Theor. Comput. Sci. 93(2): 227-244 (1992)
1991
23no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlberto Bertoni, Paola Campadelli, Giancarlo Mauri: Some Notes on Computational Learing Theory. Bulletin of the EATCS 43: 140-158 (1991)
1989
22no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGisella Arienti, Tiziana Cazzaniga, Francesco Gardin, Giancarlo Mauri: UNIX-Tutor: An Experiment for the Use of Deep Knowledge for Tutoring. IFIP Congress 1989: 569-574
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaria Pia Pensini, Giancarlo Mauri, Francesco Gardin: Flowshop and Travelling Salesman Problem. Parallelism, Learning, Evolution 1989: 157-182
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlberto Bertoni, Giancarlo Mauri, Nicoletta Sabadini: Membership Problems for Regular and Context-Free Trace Languages Inf. Comput. 82(2): 135-150 (1989)
1987
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEugenio 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
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Massazza, Giancarlo Mauri, P. Righi, Mauro Torelli: A Symbolic Manipulation System for Combinatorial Problems. AAECC 1986: 88-97
17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiancarlo Mauri: OBJ-SAN: Towards the Definition of a Class of High-Level Nets using OBJ2. ADT 1986
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlberto Bertoni, Massimiliano Goldwurm, Giancarlo Mauri, Nicoletta Sabadini: Parallel Algorithms and the Classification of Problems. WOPPLOT 1986: 206-226
1984
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlberto Bertoni, Giancarlo Mauri, Pierangelo Miglioli, Mario Ornaghi: Abstract Data Types and Their Extensions within a Constructive Logic. Semantics of Data Types 1984: 177-195
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiovanni Guida, Giancarlo Mauri: A Formal Basis for Performance Evaluation of Natural Language Understanding Systems. Computational Linguistics 10(1): 15-30 (1984)
1982
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlberto Bertoni, Giancarlo Mauri, Nicoletta Sabadini: Equivalence and Membership Problems for Regular Trace Languages. ICALP 1982: 61-71
1981
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiancarlo Mauri, Nicoletta Sabadini: A # P-Complete Problem over Arithmetical Trees. CAAP 1981: 308-315
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlberto Bertoni, M. Brambilla, Giancarlo Mauri, Nicoletta Sabadini: An Application of the Theory of Free Partially Commutative Monoids: Asymptotic Densities of Trace Languages. MFCS 1981: 205-215
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlberto Bertoni, Giancarlo Mauri, Nicoletta Sabadini: A Characterization of the Class of Functions Computable in Polynomial Time on Random Access Machines STOC 1981: 168-176
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiancarlo Mauri, M. 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
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlberto 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)
1980
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlberto Bertoni, Giancarlo Mauri, Pierangelo Miglioli: Towards a Theory of Abstract Data Types: A Discussion on Problems and Tools. Symposium on Programming 1980: 44-58
1979
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLValeria 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
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlberto Bertoni, Giancarlo Mauri, Pierangelo Miglioli: A Characterization of Abstract Data as Model-Theoretic Invariants. ICALP 1979: 26-37
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlberto Bertoni, Giancarlo Mauri, Mauro Torelli: Three Efficient Algorithms for Counting Problems. Inf. Process. Lett. 8(1): 50-53 (1979)
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLValeria 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)
1977
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlberto Bertoni, Giancarlo Mauri, Mauro Torelli: Some Recursive Unsolvable Problems Relating to Isolated Cutpoints in Probabilistic Automata. ICALP 1977: 87-94
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlberto Bertoni, Giancarlo Mauri, Mauro Torelli: An Algebraic Approach to Problem Solution and Problem Semantics. MFCS 1977: 253-262

Coauthor Index

1Giancarlo Albo [201] [203]
2Paolo Amato [182]
3Valeria De Antonellis [3] [6]
4G. Degli Antoni [3] [6]
5Marco Antoniotti [141] [143] [146] [159] [169] [180] [199] [201] [203]
6Ioan I. Ardelean [129]
7Gisella Arienti [22]
8Setsuo Arikawa [73] [109]
9Giorgio Ausiello [155]
10Stefania Bandini [33] [39] [43] [46] [47] [59] [60] [63] [69] [98] [127] [135] [154]
11Paolo Barone [67]
12Ezio Bartocci [138]
13Eugenio Battiston [19] [28] [32]
14Ottavio Beretta [137]
15Guglielmo Bertolini [123] [138]
16Alberto Bertoni [1] [2] [4] [5] [7] [8] [10] [11] [13] [15] [16] [20] [23]
17Daniela Besozzi [72] [76] [78] [79] [81] [87] [91] [106] [115] [118] [124] [129] [130] [151] [158] [165] [166] [170] [175] [186] [202]
18Paola Bonizzoni [24] [26] [51] [56] [57] [62] [64] [66] [67] [77] [86] [94] [104] [108] [119] [128] [133] [134] [164] [171] [189] [200]
19Barbara Borroni [167] [199]
20Massimiliano Borsani [199] [201] [203]
21Paolo Bottoni [36] [40] [48] [52] [54] [61]
22M. Brambilla [9] [11]
23Marco Brandizi [137]
24Yuri E. M. van der Burgt [201] [203]
25Nadia Busi [158]
26Stefano Cagnoni [131]
27Peter J. Cameron [200]
28Paola Campadelli [23]
29Marco Carreras [169]
30Rita Casadio [110]
31Guido Casiraghi [113]
32Gianpiero Cattaneo [31] [34] [35] [44]
33Paolo Cazzaniga [112] [130] [151] [152] [158] [162] [165] [166] [170] [174] [175] [186] [192] [202]
34Tiziana Cazzaniga [22]
35Gianfranco Cerofolini [182]
36Clizia Chinello [167] [199] [201] [203]
37Fiorella de Cindio [3] [19] [28] [32]
38Stefania Cocolo [186]
39Daniele Codecasa [177] [184]
40Philippe Collard [145] [197]
41Gianluca Colombo [140] [146] [159]
42V. Crespi [28]
43Erzsébet Csuhaj-Varjú [106]
44André M. Deelder [201] [203]
45Riccardo Dondi [134] [171] [193]
46Matteo Dugo [166]
47Giovanni Erbacci [47]
48Gael Even [137]
49Antonella Farinaccio [169] [172] [176] [180] [195]
50M. Fattore [123]
51Clelia de Felice [56] [77] [86] [94] [108] [119] [128]
52Carlo Ferrarese [167] [199]
53Claudio Ferretti [29] [30] [37] [41] [42] [49] [50] [53] [62] [66] [70] [78] [80] [88] [102] [113] [116] [117] [120] [139] [148] [149] [152] [156] [158] [160] [164] [189]
54Paola Flocchini [25]
55Enrico Formenti [31] [34] [35] [44]
56Maria Foti [137]
57Carmen Galbusera [167] [199]
58Gloria Galimberti [167] [199]
59Alberto Gallini [113] [116] [117]
60Francesco Gardin [21] [22] [25]
61Max H. Garzon [129]
62Mario Giacobini [172] [176] [180] [195]
63Erica Gianazza [167] [199] [201] [203]
64Massimiliano Goldwurm [16]
65Alessandro Guffanti [110]
66Giovanni Guida [14] [27]
67Steven Gustafson [132]
68Manuela Helmer-Citterich [110]
69Hiromasa Hoshino [73] [109]
70Shunsuke Inenaga [73] [109]
71Juhani Karhumäki [155]
72Satoshi Kobayashi [42] [50]
73Alberto Leporati [84] [92] [96] [99] [111] [112] [126] [139] [148] [153] [156] [157] [158] [160] [161] [163] [173] [181] [185] [187] [188] [194] [196] [200]
74Fulvio Magni [167] [199] [201] [203]
75Veronica Mainini [167] [199]
76Carlo Maj [192]
77Luca Manzoni [179]
78Sara Manzoni [135] [154]
79Luciano Margara [34] [35] [44]
80Domenico Marra [123] [138]
81Carlos Martín-Vide [103]
82Anthonath Roslin Sagaya Mary [164] [189]
83Paolo Massazza [18]
84Massimo Masserini [182]
85Manuel Mayhaus [137]
86Paolo Mereghetti [90] [122]
87Emanuela Merelli [123] [138]
88Ivan Merelli [192]
89Daniele Merico [140] [141] [143] [146] [159] [169]
90Pierangelo Miglioli [5] [7] [15]
91Luciano Milanesi [110] [123] [138] [162] [174] [192]
92Bud Mishra (Bhubaneswar Mishra) [143]
93Davide Molteni [116] [149]
94Ettore Mosca [162] [174] [192]
95Roberto Mosca [100]
96Piero Mussio [36] [40] [48] [52] [54] [61]
97Zoltán Nagy [159]
98Marco S. Nobile [202]
99C.-H. Luke Ong [155]
100Mario Ornaghi [15]
101Flavio De Paoli [123] [138] [146] [159]
102Gheorghe Paun [40] [52] [61] [79] [80] [103] [121] [157]
103Norman Pavelka [137]
104Giulio Pavesi [45] [46] [55] [63] [65] [68] [69] [71] [73] [75] [85] [89] [90] [93] [95] [98] [100] [105] [109] [122]
105Mattia Pelizzola [137]
106Maria Pia Pensini [21] [25]
107Mario J. Pérez-Jiménez (Mario de J. Pérez-Jiménez) [121] [142] [148] [156] [157]
108Dario Pescini [115] [118] [124] [130] [151] [152] [158] [162] [165] [166] [170] [174] [175] [186] [192] [202]
109Graziano Pesole [65] [71] [85] [90] [93] [95] [110] [122]
110Ion Petre [190]
111Antonio Piccolboni [38] [45]
112Giovanni Pighizzini [26]
113Yuri Pirola [145] [197]
114Antonio E. Porreca [125] [161] [168] [173] [181] [185] [187] [188] [194]
115Ivan Porro [123]
116Sergio Pozzi [97] [101] [114] [144]
117Paolo Provero [172] [176] [180] [195]
118Stefano Redaelli [135] [154]
119Paola Ricciardi-Castagnoli [137]
120P. Righi [18]
121Francesco Rocco [201] [203]
122Paolo Romano [123] [138]
123Sujoy Roy [129]
124Grzegorz Rozenberg [103] [121]
125Nicoletta Sabadini [10] [11] [12] [13] [16] [20] [26] [72]
126Cecilia Saccone [110]
127Arto Salomaa [103] [121]
128Silvia Scaglione [123]
129Raimondo Schettini [83] [107]
130Roberto Serra [59] [60]
131Ayumi Shinohara [73] [109]
132Carla Simone [46] [63] [98]
133Alessandro Sorbi [167] [199]
134Andrea Splendiani [137]
135Marco Stefani [122]
136Paolo Stofella [25]
137Masayuki Takeda [73] [109]
138Marco Tomassini [145] [197]
139Mauro Torelli [1] [2] [4] [18]
140Hiroshi Umeo [58] [74]
141A. Vaccaro [34]
142Giorgio Valle [110]
143Andrea Valsecchi [131] [161] [178] [183]
144Leonardo Vanneschi [131] [132] [145] [154] [165] [172] [176] [177] [178] [179] [180] [183] [184] [195] [197] [198]
145György Vaszil [81]
146Gianluca Della Vedova [51] [57] [64] [67] [101] [134] [171] [200]
147Sébastien Vérel [145] [197]
148Antonio Vitale [136] [150]
149Giuseppe Vizzari [127]
150Takashi Yokomori [42] [50]
151Federico Zambelli [122]
152Claudio Zandron [37] [41] [49] [53] [66] [70] [72] [76] [78] [79] [80] [81] [87] [91] [92] [96] [99] [106] [111] [112] [118] [120] [124] [125] [126] [139] [142] [148] [150] [153] [156] [157] [158] [160] [161] [163] [168] [173] [181] [185] [187] [188] [194]
153Rosalba Zizza [56] [62] [77] [86] [94] [108] [128]
154Bruna Zonta [6]
155Italo Zoppis [82] [97] [114] [141] [143] [144] [167] [169] [193] [199] [201] [203]
156Silvia Zuffi [83] [107]

Colors in the list of coauthors

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page