| 2001 |
|---|
| 14 | The Prospect for Answer Sets Computation by a Genetic Model. Alberto Bertoni, Giuliano Grossi, Alessandro Provetti, Vladik Kreinovich, Luis Tari. Answer Set Programming 2001. Web SearchBibTeXDownload |
| 1991 |
|---|
| 13 | Some Notes on Computational Learing Theory. Alberto Bertoni, Paola Campadelli, Giancarlo Mauri. Bulletin of the EATCS (43): 140-158 (1991). Web SearchBibTeX |
| 1989 |
|---|
| 12 | Membership Problems for Regular and Context-Free Trace Languages. Alberto Bertoni, Giancarlo Mauri, Nicoletta Sabadini. Inf. Comput. (82): 135-150 (1989). Web SearchBibTeXDownload |
| 1986 |
|---|
| 11 | Parallel Algorithms and the Classification of Problems. Alberto Bertoni, Massimiliano Goldwurm, Giancarlo Mauri, Nicoletta Sabadini. WOPPLOT 1986, 206-226. Web SearchBibTeXDownload |
| 1984 |
|---|
| 10 | Abstract Data Types and Their Extensions within a Constructive Logic. Alberto Bertoni, Giancarlo Mauri, Pierangelo Miglioli, Mario Ornaghi. Semantics of Data Types 1984, 177-195. Web SearchBibTeXDownload |
| 1982 |
|---|
| 9 | Equivalence and Membership Problems for Regular Trace Languages. Alberto Bertoni, Giancarlo Mauri, Nicoletta Sabadini. ICALP 1982, 61-71. Web SearchBibTeXDownload |
| 1981 |
|---|
| 8 | On Efficient Computation of the Coefficients of Some Polynomials with Applications to Some Enumeration Problems. Alberto Bertoni, Giancarlo Mauri. Inf. Process. Lett. (12): 142-145 (1981). Web SearchBibTeXDownload |
| 7 | An Application of the Theory of Free Partially Commutative Monoids: Asymptotic Densities of Trace Languages. Alberto Bertoni, M. Brambilla, Giancarlo Mauri, Nicoletta Sabadini. MFCS 1981, 205-215. Web SearchBibTeXDownload |
| 6 | A Characterization of the Class of Functions Computable in Polynomial Time on Random Access Machines. Alberto Bertoni, Giancarlo Mauri, Nicoletta Sabadini. STOC 1981, 168-176. Web SearchBibTeXDownload |
| 1980 |
|---|
| 5 | Towards a Theory of Abstract Data Types: A Discussion on Problems and Tools. Alberto Bertoni, Giancarlo Mauri, Pierangelo Miglioli. Symposium on Programming 1980, 44-58. Web SearchBibTeXDownload |
| 1979 |
|---|
| 4 | A Characterization of Abstract Data as Model-Theoretic Invariants. Alberto Bertoni, Giancarlo Mauri, Pierangelo Miglioli. ICALP 1979, 26-37. Web SearchBibTeXDownload |
| 3 | Three Efficient Algorithms for Counting Problems. Alberto Bertoni, Giancarlo Mauri, Mauro Torelli. Inf. Process. Lett. (8): 50-53 (1979). Web SearchBibTeXDownload |
| 1977 |
|---|
| 2 | Some Recursive Unsolvable Problems Relating to Isolated Cutpoints in Probabilistic Automata. Alberto Bertoni, Giancarlo Mauri, Mauro Torelli. ICALP 1977, 87-94. Web SearchBibTeXDownload |
| 1 | An Algebraic Approach to Problem Solution and Problem Semantics. Alberto Bertoni, Giancarlo Mauri, Mauro Torelli. MFCS 1977, 253-262. Web SearchBibTeXDownload |
