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

Giancarlo Mauri Vis

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

*2009
150EEItalo 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
149EEDaniela 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
148EEPaola Bonizzoni, Claudio Ferretti, Anthonath Roslin Sagaya Mary, Giancarlo Mauri: Picture Languages Generated by Assembling Tiles. LATA 2009: 224-235
147EEDaniela 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 CoRR abs/0910.1415: (2009)
2008
146 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
145EEStefania 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
144EEAlberto Leporati, Claudio Zandron, Giancarlo Mauri: How Redundant Is Your Universal Computation Device?. Workshop on Membrane Computing 2008: 274-291
143EEDario Pescini, Paolo Cazzaniga, Claudio Ferretti, Giancarlo Mauri: First Steps Towards a Wet Implementation for t-DPP. Workshop on Membrane Computing 2008: 355-373
142EEClaudio 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
141EEGiancarlo Mauri: Membrane Systems and Their Application to Systems Biology. CiE 2007: 551-553
140EEGianluca 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
139EELeonardo 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
138 Italo Zoppis, Sergio Pozzi, Giancarlo Mauri: Support Vector Clustering of Dependencies in Microarray Data. IMECS 2007: 244-249
137EEItalo Zoppis, Daniele Merico, Marco Antoniotti, Bud Mishra, Giancarlo Mauri: Discovering Relations Among GO-Annotated Clusters by Graph Kernel Methods. ISBRA 2007: 158-169
136EEGiancarlo Mauri, Mario J. Pérez-Jiménez, Claudio Zandron: On a Paun's Conjecture in Membrane Systems. IWINAC (1) 2007: 180-192
135EEDaniele Merico, Italo Zoppis, Marco Antoniotti, Giancarlo Mauri: Evaluating Graph Kernel Methods for Relation Discovery in GO-Annotated Clusters. KES (3) 2007: 892-900
134EEGianluca Colombo, Daniele Merico, Giancarlo Mauri: Reference Ontology Design for a Neurovascular Knowledge Network. MTSR 2007: 403-414
133EEAlberto Leporati, Claudio Zandron, Claudio Ferretti, Giancarlo Mauri: Solving Numerical NP-Complete Problems with Spiking Neural P Systems. Workshop on Membrane Computing 2007: 336-352
132EEPaolo 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)
131EEAndrea 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)
130EEAntonio Vitale, Giancarlo Mauri: Communication via Mobile Vesicles in Brane Calculi. Electr. Notes Theor. Comput. Sci. 171(2): 187-196 (2007)
2006
129EEPaola Bonizzoni, Gianluca Della Vedova, Riccardo Dondi, Giancarlo Mauri: Fingerprint Clustering with Bounded Number of Missing Values. CPM 2006: 106-116
128EEPaola Bonizzoni, Giancarlo Mauri: A Decision Procedure for Reflexive Regular Splicing Languages. Developments in Language Theory 2006: 315-326
127EELeonardo Vanneschi, Steven Gustafson, Giancarlo Mauri: Using Subtree Crossover Distance to Investigate Genetic Programming Dynamics. EuroGP 2006: 238-249
126EELeonardo Vanneschi, Giancarlo Mauri, Andrea Valsecchi, Stefano Cagnoni: Heterogeneous cooperative coevolution: strategies of integration between GP and GA. GECCO 2006: 361-368
125EEPaolo Cazzaniga, Dario Pescini, Daniela Besozzi, Giancarlo Mauri: Tau Leaping Stochastic Simulation Method in P Systems. Workshop on Membrane Computing 2006: 298-313
124EEIoan I. Ardelean, Daniela Besozzi, Max H. Garzon, Giancarlo Mauri, Sujoy Roy: P System Models for Mechanosensitive Channels. Applications of Membrane Computing 2006: 43-81
123EEPaola Bonizzoni, Clelia de Felice, Giancarlo Mauri, Rosalba Zizza: Linear splicing and syntactic monoid. Discrete Applied Mathematics 154(3): 452-470 (2006)
122EEStefania Bandini, Giancarlo Mauri, Giuseppe Vizzari: Supporting Action-at-a-distance in Situated Cellular Agents. Fundam. Inform. 69(3): 251-271 (2006)
121EEAlberto Leporati, Claudio Zandron, Giancarlo Mauri: Reversible P Systems to Simulate Fredkin Circuits. Fundam. Inform. 74(4): 529-548 (2006)
120EEDario Pescini, Daniela Besozzi, Giancarlo Mauri, Claudio Zandron: Dynamical probabilistic P systems. Int. J. Found. Comput. Sci. 17(1): 183-204 (2006)
119EEPaolo 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)
118EEGiulio 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
117 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
116 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
115EEPaola Bonizzoni, Clelia de Felice, Giancarlo Mauri: Recombinant DNA , Gene Splicing as Generative Devices of Formal Languages. CiE 2005: 65-67
114EEDario Pescini, Daniela Besozzi, Claudio Zandron, Giancarlo Mauri: Analysis and Simulation of Dynamics in Probabilistic P Systems. DNA 2005: 236-247
113EEAlberto Gallini, Claudio Ferretti, Giancarlo Mauri: Bio Molecular Engine: a bio-inspired environment for models of growing and evolvable computation. GECCO Workshops 2005: 249-256
112 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
111EEDario Pescini, Daniela Besozzi, Giancarlo Mauri: Investigating Local Evolutions in Dynamical Probabilistic P Systems. SYNASC 2005: 440-447
110EESergio Pozzi, Italo Zoppis, Giancarlo Mauri: Clustering Causal Relationships in Genes Expression Data. WIRN/NAIS 2005: 132-139
109EEGuido 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
108EEPaolo Cazzaniga, Alberto Leporati, Giancarlo Mauri, Claudio Zandron: P Systems with Memory. Workshop on Membrane Computing 2005: 165-180
107EEAlberto Leporati, Giancarlo Mauri, Claudio Zandron: Quantum Sequential P Systems with Unit Rules and Energy Assigned to Membranes. Workshop on Membrane Computing 2005: 310-325
106EEManuela 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)
105EEShunsuke 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)
104EEPaola Bonizzoni, Clelia de Felice, Giancarlo Mauri, Rosalba Zizza: On the power of circular splicing. Discrete Applied Mathematics 150(1-3): 51-66 (2005)
103EEDaniela 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)
102EEGiancarlo Mauri, Giulio Pavesi: Algorithms for pattern matching and discovery in RNA secondary structure. Theor. Comput. Sci. 335(1): 29-51 (2005)
101EEPaola 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
99EEClaudio Ferretti, Giancarlo Mauri: Remarks on Relativisations and DNA Encodings. Aspects of Molecular Computing 2004: 132-138
98EESergio 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
97EEGiancarlo Mauri, Roberto Mosca, Giulio Pavesi: A GA Approach to the Definition of Regulatory Signals in Genomic Sequences. GECCO (1) 2004: 380-391
96EEAlberto Leporati, Claudio Zandron, Giancarlo Mauri: Universal Families of Reversible P Systems. MCU 2004: 257-268
95EEStefania Bandini, Giancarlo Mauri, Giulio Pavesi, Carla Simone: Computing with a Distributed Reaction-Diffusion Model. MCU 2004: 93-103
94EEAlberto 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)
92EEGiulio 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)
91EEAlberto Leporati, Claudio Zandron, Giancarlo Mauri: Simulating the Fredkin Gate with Energy-Based P Systems. J. UCS 10(5): 600-619 (2004)
90EEDaniela 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
88EEGiancarlo Mauri, Giulio Pavesi: Pattern Discovery in RNA Secondary Structure Using Affix Trees. CPM 2003: 278-294
87EEGiancarlo Mauri, Claudio Ferretti: Word Design for Molecular Computing: A Survey. DNA 2003: 37-46
86EEDaniela Besozzi, Giancarlo Mauri, Claudio Zandron: Deadlock Decidability in Partial Parallel P Systems. DNA 2003: 55-60
85EEPaola Bonizzoni, Clelia de Felice, Giancarlo Mauri, Rosalba Zizza: Regular Languages Generated by Reflexive Finite Splicing Systems. Developments in Language Theory 2003: 134-145
84EEGiulio Pavesi, Giancarlo Mauri, Graziano Pesole: Predicting Conserved Hairpin Motifs in Unaligned RNA Sequences. ICTAI 2003: 10-17
83EEGiancarlo Mauri, Alberto Leporati: On the Computational Complexity of Conservative Computing. MFCS 2003: 92-112
82EESilvia Zuffi, Raimondo Schettini, Giancarlo Mauri: Spectral-Based Characterization of Inkjet Printers by Neural and Genetic Algorithms. PICS 2003: 479-484
81EEGiancarlo Mauri, Italo Zoppis: A Probabilistic Neural Networks System to Recognize 3D Face of People. WIRN 2003: 158-164
80EEDaniela 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
79EEClaudio Ferretti, Giancarlo Mauri, Gheorghe Paun, Claudio Zandron: On three variants of rewriting P systems. Theor. Comput. Sci. 1-3(301): 201-215 (2003)
78EEDaniela Besozzi, Giancarlo Mauri, Gheorghe Paun, Claudio Zandron: Gemmating P systems: collapsing hierarchies. Theor. Comput. Sci. 296(2): 253-267 (2003)
2002
77EEDaniela Besozzi, Claudio Ferretti, Giancarlo Mauri, Claudio Zandron: Parallel Rewriting P Systems with Deadlock. DNA 2002: 302-314
76EEPaola Bonizzoni, Clelia de Felice, Giancarlo Mauri, Rosalba Zizza: Decision Problems for Linear and Circular Splicing Systems. Developments in Language Theory 2002: 78-92
75EEDaniela Besozzi, Giancarlo Mauri, Claudio Zandron: Parallel Rewriting P Systems without Target Conflicts. WMC-CdeA 2002: 119-133
74EEGiancarlo Mauri, Giulio Pavesi: A parallel algorithm for pattern discovery in biological sequences. Future Generation Comp. Syst. 18(6): 849-854 (2002)
73EEHiroshi Umeo, Giancarlo Mauri: A duality theorem for two connectivity-preserving parallel shrinking transformations. Future Generation Comp. Syst. 18(7): 931-937 (2002)
2001
72EEShunsuke 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
71EEDaniela 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
69EEClaudio Zandron, Claudio Ferretti, Giancarlo Mauri: Two Normal Forms for Rewriting P Systems. MCU 2001: 153-164
68EEStefania Bandini, Giancarlo Mauri, Giulio Pavesi: Parallel Generation of Percolation Beds Based on Stochastic Cellular Automata. PaCT 2001: 391-400
67EEGiancarlo Mauri, Giulio Pavesi: Parallel Algorithms for the Analysis of Biological Sequences. PaCT 2001: 456-468
66EEPaolo 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)
63EEStefania 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)
62EEPaola 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
57EEPaola Bonizzoni, Gianluca Della Vedova, Giancarlo Mauri: Approximating the Maximum Isomorphic Agreement Subtree Is Hard. CPM 2000: 119-128
56EEPaola Bonizzoni, Clelia de Felice, Giancarlo Mauri, Rosalba Zizza: DNA and Circular Splicing. DNA Computing 2000: 117-129
55EEGiancarlo 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
52EEPaolo 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)
50EEClaudio Ferretti, Giancarlo Mauri, Satoshi Kobayashi, Takashi Yokomori: On the universality of Post and splicing systems. Theor. Comput. Sci. 231(2): 157-170 (2000)
49EEClaudio 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
47EEStefania Bandini, Giovanni Erbacci, Giancarlo Mauri: Implementing Cellular Automata Based Models on Parallel Architectures: The CAPP Project. PaCT 1999: 167-179
46EEStefania 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
45EEGiancarlo Mauri, Giulio Pavesi, Antonio Piccolboni: Approximation Algorithms for Protein Folding Prediction. SODA 1999: 945-946
44EEGianpiero Cattaneo, Enrico Formenti, Luciano Margara, Giancarlo Mauri: On the Dynamical Behavior of Chaotic Cellular Automata. Theor. Comput. Sci. 217(1): 31-51 (1999)
43EEStefania 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
40EEPaolo 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
38EEAntonio 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
32EEEugenio 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
29EEClaudio 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
27EEGiovanni 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
19EEEugenio 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
18EEPaolo 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
13EEAlberto Bertoni, Giancarlo Mauri, Nicoletta Sabadini: Equivalence and Membership Problems for Regular Trace Languages. ICALP 1982: 61-71
1981
12EEGiancarlo Mauri, Nicoletta Sabadini: A # P-Complete Problem over Arithmetical Trees. CAAP 1981: 308-315
11EEAlberto 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
6EEValeria 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
5EEAlberto 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
2EEAlberto Bertoni, Giancarlo Mauri, Mauro Torelli: Some Recursive Unsolvable Problems Relating to Isolated Cutpoints in Probabilistic Automata. ICALP 1977: 87-94
1EEAlberto Bertoni, Giancarlo Mauri, Mauro Torelli: An Algebraic Approach to Problem Solution and Problem Semantics. MFCS 1977: 253-262

Coauthor Index

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)