| 2009 |
|---|
| 145 | EE | 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 |
| 144 | EE | Paola Bonizzoni,
Claudio Ferretti,
Anthonath Roslin Sagaya Mary,
Giancarlo Mauri:
Picture Languages Generated by Assembling Tiles.
LATA 2009: 224-235 |
| 2008 |
|---|
| 143 | | 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
Springer 2008 |
| 142 | EE | 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 |
| 141 | EE | Alberto Leporati,
Claudio Zandron,
Giancarlo Mauri:
How Redundant Is Your Universal Computation Device?.
Workshop on Membrane Computing 2008: 274-291 |
| 140 | EE | Dario Pescini,
Paolo Cazzaniga,
Claudio Ferretti,
Giancarlo Mauri:
First Steps Towards a Wet Implementation for t-DPP.
Workshop on Membrane Computing 2008: 355-373 |
| 139 | EE | 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. Inform. 87(1): 79-91 (2008) |
| 2007 |
|---|
| 138 | EE | Giancarlo Mauri:
Membrane Systems and Their Application to Systems Biology.
CiE 2007: 551-553 |
| 137 | EE | 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 |
| 136 | EE | 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 |
| 135 | | Italo Zoppis,
Sergio Pozzi,
Giancarlo Mauri:
Support Vector Clustering of Dependencies in Microarray Data.
IMECS 2007: 244-249 |
| 134 | EE | Italo Zoppis,
Daniele Merico,
Marco Antoniotti,
Bud Mishra,
Giancarlo Mauri:
Discovering Relations Among GO-Annotated Clusters by Graph Kernel Methods.
ISBRA 2007: 158-169 |
| 133 | EE | Giancarlo Mauri,
Mario J. Pérez-Jiménez,
Claudio Zandron:
On a Paun's Conjecture in Membrane Systems.
IWINAC (1) 2007: 180-192 |
| 132 | EE | Daniele Merico,
Italo Zoppis,
Marco Antoniotti,
Giancarlo Mauri:
Evaluating Graph Kernel Methods for Relation Discovery in GO-Annotated Clusters.
KES (3) 2007: 892-900 |
| 131 | EE | Gianluca Colombo,
Daniele Merico,
Giancarlo Mauri:
Reference Ontology Design for a Neurovascular Knowledge Network.
MTSR 2007: 403-414 |
| 130 | EE | 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 |
| 129 | EE | Antonio Vitale,
Giancarlo Mauri:
Communication via Mobile Vesicles in Brane Calculi.
Electr. Notes Theor. Comput. Sci. 171(2): 187-196 (2007) |
| 2006 |
|---|
| 128 | EE | Paola Bonizzoni,
Gianluca Della Vedova,
Riccardo Dondi,
Giancarlo Mauri:
Fingerprint Clustering with Bounded Number of Missing Values.
CPM 2006: 106-116 |
| 127 | EE | Paola Bonizzoni,
Giancarlo Mauri:
A Decision Procedure for Reflexive Regular Splicing Languages.
Developments in Language Theory 2006: 315-326 |
| 126 | EE | Leonardo Vanneschi,
Steven Gustafson,
Giancarlo Mauri:
Using Subtree Crossover Distance to Investigate Genetic Programming Dynamics.
EuroGP 2006: 238-249 |
| 125 | EE | Leonardo Vanneschi,
Giancarlo Mauri,
Andrea Valsecchi,
Stefano Cagnoni:
Heterogeneous cooperative coevolution: strategies of integration between GP and GA.
GECCO 2006: 361-368 |
| 124 | EE | Paolo Cazzaniga,
Dario Pescini,
Daniela Besozzi,
Giancarlo Mauri:
Tau Leaping Stochastic Simulation Method in P Systems.
Workshop on Membrane Computing 2006: 298-313 |
| 123 | EE | 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 |
| 122 | EE | Paola Bonizzoni,
Clelia de Felice,
Giancarlo Mauri,
Rosalba Zizza:
Linear splicing and syntactic monoid.
Discrete Applied Mathematics 154(3): 452-470 (2006) |
| 121 | EE | Stefania Bandini,
Giancarlo Mauri,
Giuseppe Vizzari:
Supporting Action-at-a-distance in Situated Cellular Agents.
Fundam. Inform. 69(3): 251-271 (2006) |
| 120 | EE | Alberto Leporati,
Claudio Zandron,
Giancarlo Mauri:
Reversible P Systems to Simulate Fredkin Circuits.
Fundam. Inform. 74(4): 529-548 (2006) |
| 119 | EE | Dario Pescini,
Daniela Besozzi,
Giancarlo Mauri,
Claudio Zandron:
Dynamical probabilistic P systems.
Int. J. Found. Comput. Sci. 17(1): 183-204 (2006) |
| 118 | EE | P. Romano,
G. 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) |
| 117 | EE | 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 Research 34(Web-Server-Issue): 566-570 (2006) |
| 2005 |
|---|
| 116 | | 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
Springer 2005 |
| 115 | | 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
Springer 2005 |
| 114 | EE | Paola Bonizzoni,
Clelia de Felice,
Giancarlo Mauri:
Recombinant DNA , Gene Splicing as Generative Devices of Formal Languages.
CiE 2005: 65-67 |
| 113 | EE | Dario Pescini,
Daniela Besozzi,
Claudio Zandron,
Giancarlo Mauri:
Analysis and Simulation of Dynamics in Probabilistic P Systems.
DNA 2005: 236-247 |
| 112 | EE | 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 |
| 111 | | 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 |
| 110 | EE | Dario Pescini,
Daniela Besozzi,
Giancarlo Mauri:
Investigating Local Evolutions in Dynamical Probabilistic P Systems.
SYNASC 2005: 440-447 |
| 109 | EE | Sergio Pozzi,
Italo Zoppis,
Giancarlo Mauri:
Clustering Causal Relationships in Genes Expression Data.
WIRN/NAIS 2005: 132-139 |
| 108 | EE | 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 |
| 107 | EE | Paolo Cazzaniga,
Alberto Leporati,
Giancarlo Mauri,
Claudio Zandron:
P Systems with Memory.
Workshop on Membrane Computing 2005: 165-180 |
| 106 | EE | 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 |
| 105 | EE | Shunsuke 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) |
| 104 | EE | Paola Bonizzoni,
Clelia de Felice,
Giancarlo Mauri,
Rosalba Zizza:
On the power of circular splicing.
Discrete Applied Mathematics 150(1-3): 51-66 (2005) |
| 103 | EE | 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) |
| 102 | EE | Giancarlo Mauri,
Giulio Pavesi:
Algorithms for pattern matching and discovery in RNA secondary structure.
Theor. Comput. Sci. 335(1): 29-51 (2005) |
| 101 | EE | Paola Bonizzoni,
Giancarlo Mauri:
Regular splicing languages and subclasses.
Theor. Comput. Sci. 340(1): 349-363 (2005) |
| 2004 |
|---|
| 100 | | 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
Springer 2004 |
| 99 | EE | Claudio Ferretti,
Giancarlo Mauri:
Remarks on Relativisations and DNA Encodings.
Aspects of Molecular Computing 2004: 132-138 |
| 98 | EE | 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 |
| 97 | EE | Giancarlo Mauri,
Roberto Mosca,
Giulio Pavesi:
A GA Approach to the Definition of Regulatory Signals in Genomic Sequences.
GECCO (1) 2004: 380-391 |
| 96 | EE | Alberto Leporati,
Claudio Zandron,
Giancarlo Mauri:
Universal Families of Reversible P Systems.
MCU 2004: 257-268 |
| 95 | EE | Stefania Bandini,
Giancarlo Mauri,
Giulio Pavesi,
Carla Simone:
Computing with a Distributed Reaction-Diffusion Model.
MCU 2004: 93-103 |
| 94 | EE | Alberto Leporati,
Claudio Zandron,
Giancarlo Mauri:
Conservative Computations in Energy-Based P Systems.
Workshop on Membrane Computing 2004: 344-358 |
| 93 | | Giulio Pavesi,
Giancarlo Mauri,
Graziano Pesole:
In silico representation and discovery of transcription factor binding sites.
Briefings in Bioinformatics 5(3): 217-236 (2004) |
| 92 | EE | 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) |
| 91 | EE | Alberto Leporati,
Claudio Zandron,
Giancarlo Mauri:
Simulating the Fredkin Gate with Energy-Based P Systems.
J. UCS 10(5): 600-619 (2004) |
| 90 | EE | Daniela Besozzi,
Giancarlo Mauri,
Claudio Zandron:
Hierarchies of Parallel Rewriting P Systems - A Survey.
New Generation Comput. 22(4): (2004) |
| 89 | | 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 Research 32(Web-Server-Issue): 199-203 (2004) |
| 2003 |
|---|
| 88 | EE | Giancarlo Mauri,
Giulio Pavesi:
Pattern Discovery in RNA Secondary Structure Using Affix Trees.
CPM 2003: 278-294 |
| 87 | EE | Giancarlo Mauri,
Claudio Ferretti:
Word Design for Molecular Computing: A Survey.
DNA 2003: 37-46 |
| 86 | EE | Daniela Besozzi,
Giancarlo Mauri,
Claudio Zandron:
Deadlock Decidability in Partial Parallel P Systems.
DNA 2003: 55-60 |
| 85 | EE | Paola Bonizzoni,
Clelia de Felice,
Giancarlo Mauri,
Rosalba Zizza:
Regular Languages Generated by Reflexive Finite Splicing Systems.
Developments in Language Theory 2003: 134-145 |
| 84 | EE | Giulio Pavesi,
Giancarlo Mauri,
Graziano Pesole:
Predicting Conserved Hairpin Motifs in Unaligned RNA Sequences.
ICTAI 2003: 10-17 |
| 83 | EE | Giancarlo Mauri,
Alberto Leporati:
On the Computational Complexity of Conservative Computing.
MFCS 2003: 92-112 |
| 82 | EE | Silvia Zuffi,
Raimondo Schettini,
Giancarlo Mauri:
Spectral-Based Characterization of Inkjet Printers by Neural and Genetic Algorithms.
PICS 2003: 479-484 |
| 81 | EE | Giancarlo Mauri,
Italo Zoppis:
A Probabilistic Neural Networks System to Recognize 3D Face of People.
WIRN 2003: 158-164 |
| 80 | EE | 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 |
| 79 | EE | Claudio Ferretti,
Giancarlo Mauri,
Gheorghe Paun,
Claudio Zandron:
On three variants of rewriting P systems.
Theor. Comput. Sci. 1-3(301): 201-215 (2003) |
| 78 | EE | Daniela Besozzi,
Giancarlo Mauri,
Gheorghe Paun,
Claudio Zandron:
Gemmating P systems: collapsing hierarchies.
Theor. Comput. Sci. 296(2): 253-267 (2003) |
| 2002 |
|---|
| 77 | EE | Daniela Besozzi,
Claudio Ferretti,
Giancarlo Mauri,
Claudio Zandron:
Parallel Rewriting P Systems with Deadlock.
DNA 2002: 302-314 |
| 76 | EE | Paola Bonizzoni,
Clelia de Felice,
Giancarlo Mauri,
Rosalba Zizza:
Decision Problems for Linear and Circular Splicing Systems.
Developments in Language Theory 2002: 78-92 |
| 75 | EE | Daniela Besozzi,
Giancarlo Mauri,
Claudio Zandron:
Parallel Rewriting P Systems without Target Conflicts.
WMC-CdeA 2002: 119-133 |
| 74 | EE | Giancarlo Mauri,
Giulio Pavesi:
A parallel algorithm for pattern discovery in biological sequences.
Future Generation Comp. Syst. 18(6): 849-854 (2002) |
| 73 | EE | Hiroshi Umeo,
Giancarlo Mauri:
A duality theorem for two connectivity-preserving parallel shrinking transformations.
Future Generation Comp. Syst. 18(7): 931-937 (2002) |
| 2001 |
|---|
| 72 | EE | 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 |
| 71 | EE | Daniela Besozzi,
Claudio Zandron,
Giancarlo Mauri,
Nicoletta Sabadini:
P Systems with Gemmation of Mobile Membranes.
ICTCS 2001: 136-153 |
| 70 | | Giulio Pavesi,
Giancarlo Mauri,
Graziano Pesole:
An algorithm for finding signals of unknown length in DNA sequences.
ISMB (Supplement of Bioinformatics) 2001: 207-214 |
| 69 | EE | Claudio Zandron,
Claudio Ferretti,
Giancarlo Mauri:
Two Normal Forms for Rewriting P Systems.
MCU 2001: 153-164 |
| 68 | EE | Stefania Bandini,
Giancarlo Mauri,
Giulio Pavesi:
Parallel Generation of Percolation Beds Based on Stochastic Cellular Automata.
PaCT 2001: 391-400 |
| 67 | EE | Giancarlo Mauri,
Giulio Pavesi:
Parallel Algorithms for the Analysis of Biological Sequences.
PaCT 2001: 456-468 |
| 66 | EE | 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 |
| 65 | | Giulio Pavesi,
Giancarlo Mauri,
Graziano Pesole:
Methods for Pattern Discovery in Unaligned Biological Sequences.
Briefings in Bioinformatics 2(4): 417 (2001) |
| 64 | | Paola Bonizzoni,
Gianluca Della Vedova,
Giancarlo Mauri:
Experimenting an approximation algorithm for the LCS.
Discrete Applied Mathematics 110(1): 13-24 (2001) |
| 63 | EE | Stefania 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) |
| 62 | EE | Paola Bonizzoni,
Claudio Ferretti,
Giancarlo Mauri,
Rosalba Zizza:
Separating some splicing models.
Inf. Process. Lett. 79(6): 255-259 (2001) |
| 61 | | Paolo Bottoni,
Giancarlo Mauri,
Piero Mussio,
Gheorghe Paun:
Computing with Shapes.
J. Vis. Lang. Comput. 12(6): 601-626 (2001) |
| 60 | | Stefania Bandini,
Giancarlo Mauri,
Roberto Serra:
Cellular automata: From modeling to applications.
Parallel Computing 27(5): 537-538 (2001) |
| 59 | | Stefania 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 |
|---|
| 58 | | Hiroshi Umeo,
Giancarlo Mauri:
A Duality in Two Connectivity-Preserving Parallel Shrinking Algorithms for Binary Images.
ACRI 2000: 144-151 |
| 57 | EE | Paola Bonizzoni,
Gianluca Della Vedova,
Giancarlo Mauri:
Approximating the Maximum Isomorphic Agreement Subtree Is Hard.
CPM 2000: 119-128 |
| 56 | EE | Paola Bonizzoni,
Clelia de Felice,
Giancarlo Mauri,
Rosalba Zizza:
DNA and Circular Splicing.
DNA Computing 2000: 117-129 |
| 55 | EE | Giancarlo Mauri,
Giulio Pavesi:
Approximation Algorithms for String Folding Problems.
IFIP TCS 2000: 45-58 |
| 54 | | Paolo Bottoni,
Giancarlo Mauri,
Piero Mussio:
Bidimensional Contextual Grammars.
Recent Topics in Mathematical and Computational Linguistics 2000: 25-45 |
| 53 | | Claudio Zandron,
Claudio Ferretti,
Giancarlo Mauri:
Solving NP-Complete Problems Using P Systems with Active Membranes.
UMC 2000: 289-301 |
| 52 | EE | Paolo Bottoni,
Giancarlo Mauri,
Piero Mussio,
Gheorghe Paun:
On the Power of Pictorial Languages.
IJPRAI 14(6): 839-858 (2000) |
| 51 | | 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) |
| 50 | EE | Claudio Ferretti,
Giancarlo Mauri,
Satoshi Kobayashi,
Takashi Yokomori:
On the universality of Post and splicing systems.
Theor. Comput. Sci. 231(2): 157-170 (2000) |
| 49 | EE | Claudio Ferretti,
Giancarlo Mauri,
Claudio Zandron:
Nine test tubes generate any RE language.
Theor. Comput. Sci. 231(2): 171-180 (2000) |
| 1999 |
|---|
| 48 | | Paolo Bottoni,
Giancarlo Mauri,
Piero Mussio:
Coordination through Group Rewriting.
Grammatical Models of Multi-Agent Systems 1999: 226-246 |
| 47 | EE | Stefania Bandini,
Giovanni Erbacci,
Giancarlo Mauri:
Implementing Cellular Automata Based Models on Parallel Architectures: The CAPP Project.
PaCT 1999: 167-179 |
| 46 | EE | 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 |
| 45 | EE | Giancarlo Mauri,
Giulio Pavesi,
Antonio Piccolboni:
Approximation Algorithms for Protein Folding Prediction.
SODA 1999: 945-946 |
| 44 | EE | Gianpiero Cattaneo,
Enrico Formenti,
Luciano Margara,
Giancarlo Mauri:
On the Dynamical Behavior of Chaotic Cellular Automata.
Theor. Comput. Sci. 217(1): 31-51 (1999) |
| 43 | EE | Stefania Bandini,
Giancarlo Mauri:
Multilayered Cellular Automata.
Theor. Comput. Sci. 217(1): 99-113 (1999) |
| 1998 |
|---|
| 42 | | Claudio Ferretti,
Giancarlo Mauri,
Satoshi Kobayashi,
Takashi Yokomori:
On the Universality of Post and Splicing Systems.
MCU (2) 1998: 12-28 |
| 41 | | Claudio Ferretti,
Giancarlo Mauri,
Claudio Zandron:
Nine Test Tubes Generate any RE Language.
MCU (2) 1998: 30-41 |
| 40 | EE | Paolo Bottoni,
Giancarlo Mauri,
Piero Mussio,
Gheorghe Paun:
Grammars Working on Layered Strings.
Acta Cybern. 13(4): 339-358 (1998) |
| 1997 |
|---|
| 39 | | 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 |
| 38 | EE | Antonio Piccolboni,
Giancarlo Mauri:
Application of Evolutionary Algorithms to Protein Folding Prediction.
Artificial Evolution 1997: 123-136 |
| 37 | | Claudio Zandron,
Claudio Ferretti,
Giancarlo Mauri:
A Reduced Distributed Splicing System for RE Languages.
New Trends in Formal Languages 1997: 319-329 |
| 36 | | Paolo Bottoni,
Giancarlo Mauri,
Piero Mussio:
On Controlling Rewriting by Properties of Strings and Symbols.
New Trends in Formal Languages 1997: 71-94 |
| 35 | | Gianpiero Cattaneo,
Enrico Formenti,
Luciano Margara,
Giancarlo Mauri:
Transformations of the One-Dimensional Cellular Automata Rule Space.
Parallel Computing 23(11): 1593-1611 (1997) |
| 1996 |
|---|
| 34 | | 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 |
| 33 | | Stefania Bandini,
Giancarlo Mauri:
Towards Multilayered Automata Networks.
ACRI 1996: 99-105 |
| 32 | EE | Eugenio Battiston,
Fiorella de Cindio,
Giancarlo Mauri:
Modular Algebraic Nets to Specify Concurrent Systems.
IEEE Trans. Software Eng. 22(10): 689-705 (1996) |
| 1995 |
|---|
| 31 | | Gianpiero Cattaneo,
Enrico Formenti,
Giancarlo Mauri:
Rule Space Transformations and One-Dimensional Cellular Automata.
Developments in Language Theory 1995: 409-419 |
| 1994 |
|---|
| 30 | | Claudio Ferretti,
Giancarlo Mauri:
Identifying Regular Languages over Partially-Commutative Monoids.
AII/ALT 1994: 282-289 |
| 29 | | Claudio Ferretti,
Giancarlo Mauri:
Identifying Unrecognizable Regular Languages by Queries.
ECML 1994: 355-358 |
| 1993 |
|---|
| 28 | | Eugenio Battiston,
V. Crespi,
Fiorella de Cindio,
Giancarlo Mauri:
Semantics Frameworks for a Class of Modular Algebraic Nets.
AMAST 1993: 271-280 |
| 27 | EE | 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) |
| 1992 |
|---|
| 26 | | Paola Bonizzoni,
Giancarlo Mauri,
Giovanni Pighizzini,
Nicoletta Sabadini:
Recognizing sets of labelled acyclic graphs.
Tree Automata and Languages 1992: 201-224 |
| 25 | | Paola 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) |
| 24 | | Paola Bonizzoni,
Giancarlo Mauri:
On Automata on Infinite Trees.
Theor. Comput. Sci. 93(2): 227-244 (1992) |
| 1991 |
|---|
| 23 | | Alberto Bertoni,
Paola Campadelli,
Giancarlo Mauri:
Some Notes on Computational Learing Theory.
Bulletin of the EATCS 43: 140-158 (1991) |
| 1989 |
|---|
| 22 | | 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 |
| 21 | | Maria Pia Pensini,
Giancarlo Mauri,
Francesco Gardin:
Flowshop and Travelling Salesman Problem.
Parallelism, Learning, Evolution 1989: 157-182 |
| 20 | | Alberto Bertoni,
Giancarlo Mauri,
Nicoletta Sabadini:
Membership Problems for Regular and Context-Free Trace Languages
Inf. Comput. 82(2): 135-150 (1989) |
| 1987 |
|---|
| 19 | | 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 |
|---|
| 18 | | Paolo Massazza,
Giancarlo Mauri,
P. Righi,
Mauro Torelli:
A Symbolic Manipulation System for Combinatorial Problems.
AAECC 1986: 88-97 |
| 17 | | Giancarlo Mauri:
OBJ-SAN: Towards the Definition of a Class of High-Level Nets using OBJ2.
ADT 1986 |
| 16 | | Alberto Bertoni,
Massimiliano Goldwurm,
Giancarlo Mauri,
Nicoletta Sabadini:
Parallel Algorithms and the Classification of Problems.
WOPPLOT 1986: 206-226 |
| 1984 |
|---|
| 15 | | 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 |
| 14 | | Giovanni Guida,
Giancarlo Mauri:
A Formal Basis for Performance Evaluation of Natural Language Understanding Systems.
Computational Linguistics 10(1): 15-30 (1984) |
| 1982 |
|---|
| 13 | | Alberto Bertoni,
Giancarlo Mauri,
Nicoletta Sabadini:
Equivalence and Membership Problems for Regular Trace Languages.
ICALP 1982: 61-71 |
| 1981 |
|---|
| 12 | | Giancarlo Mauri,
Nicoletta Sabadini:
A # P-Complete Problem over Arithmetical Trees.
CAAP 1981: 308-315 |
| 11 | | Alberto 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 |
| 10 | | 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 |
| 9 | | Giancarlo 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 |
| 8 | | 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) |
| 1980 |
|---|
| 7 | | 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 |
| 1979 |
|---|
| 6 | EE | 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 |
| 5 | | Alberto Bertoni,
Giancarlo Mauri,
Pierangelo Miglioli:
A Characterization of Abstract Data as Model-Theoretic Invariants.
ICALP 1979: 26-37 |
| 4 | | Alberto Bertoni,
Giancarlo Mauri,
Mauro Torelli:
Three Efficient Algorithms for Counting Problems.
Inf. Process. Lett. 8(1): 50-53 (1979) |
| 3 | | 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) |
| 1977 |
|---|
| 2 | | Alberto Bertoni,
Giancarlo Mauri,
Mauro Torelli:
Some Recursive Unsolvable Problems Relating to Isolated Cutpoints in Probabilistic Automata.
ICALP 1977: 87-94 |
| 1 | | Alberto Bertoni,
Giancarlo Mauri,
Mauro Torelli:
An Algebraic Approach to Problem Solution and Problem Semantics.
MFCS 1977: 253-262 |
