Publications

Franchi P; Lagioni C; Succi G; Vercelli G, M-Language: a Language for Distributing Neural Analogic Simulators onto a Transputer Network, in: The Transputer in Australasia 2, Proceedings of the 4th Australian Transputer and OCCAM User Group1991 Conference, IOS Press, 1991, pp. 185 - 190 (atti di: 4th Australian Transputer and OCCAM User Group 1991 Conference, Canberra, Australia, September, 1991) [Contribution to conference proceedings]

Cambiaso M; Delfino S; Succi G, Near Real Time Unix Measures, in: Proceedings of the EurOpen Fall 1991 Conference, 1991, pp. 79 - 89 (atti di: Proceedings of the EurOpen Fall 1991 Conference, Budapest, Hungary, September, 1991) [Contribution to conference proceedings]

Succi G; Marino G, Data Parallelism in Logic Programming, in: Lecture Notes in Computer Science, 1991, pp. 173 - 184 (atti di: Proceedings of theICLP'91 Pre-Conference Workshop, Paris, France, June, 1991) [Contribution to conference proceedings]

Marino G; Succi G, A New Approach to Parallel Functional Programming, in: Proceedings of the 1991 Third IEEE Symposium on Parallel and Distributed Processing, 1991, pp. 95 - 102 (atti di: Proc. of the 3 IEEE Symposium on Parallel and Distributed Processing, Dallas, Texas USA, December) [Contribution to conference proceedings]

Franchi P; Lagioni C; Succi G; Vercelli G, An Environment for the Parallel Simulation of Kinematics Structures on Transputer, in: Applications of Transputers 3, Proceedings of the Third International Conference on Applications of Transputer, 1991, pp. 301 - 306 (atti di: Proceedings of the Third International Conference on Applications of Transputer, Glasgow, Scotland, August) [Contribution to conference proceedings]

SPADA G.; D. A. YUEN; R. SABADINI; P.J. MORIN; P. GASPERINI, A computer-aided, algebraic approach to the post-glacial rebound problem, «THE MATHEMATICA JOURNAL», 1990, 1, pp. 65 - 69 [Scientific article]

Succi G; Sandini G; Grosso E; Tistarelli M, 3D Feature Extraction from Sequences of Range Data, in: The Fifth International Symposium on Robotics Research, 1990, pp. 116 - 127 (atti di: Proceedings of 5th Intl. Symposium on Robotics Research, Tokyo, Japan, August, 1990) [Contribution to conference proceedings]

Ciaccia P.; Scalas M.R., Optimization Strategies for Relational Disjunctive Queries, «IEEE TRANSACTIONS ON SOFTWARE ENGINEERING», 1989, 15, pp. 1217 - 1235 [Scientific article]

Ciaccia P.; Maio D.; Tiberio P., A method for hierarchy processing in relational systems, «INFORMATION SYSTEMS», 1989, 14, pp. 93 - 105 [Scientific article]

Marino G; Succi G, Data Structure for the Parallel Execution of Functional Languages, in: Proceedings of the Parallel Architectures and Languages Europe, Volume II: Parallel Languages, 1989, pp. 346 - 356 (atti di: Proceedings of PARLE '89, Eindhoven, The Netherland, June, 1989) [Contribution to conference proceedings]

Fantechi A.; Gnesi S.; Laneve C., Two standards means problems: A case study on formal protocol descriptions, «COMPUTER STANDARDS & INTERFACES», 1989, 9, pp. 11 - 19 [Scientific article]

Ciaccia P.; Maio D.; Tiberio P., A unifying approach to evaluating block accesses in database organizations, «INFORMATION PROCESSING LETTERS», 1988, 28, pp. 253 - 257 [Scientific article]

Martini S., Bounded quantifiers have Interval Models, in: Proceedings of the 1988 ACM Conference on LISP and Functional Programming, LFP 1988, Association for Computing Machinery, Inc, 1988, pp. 164 - 173 (atti di: 1988 ACM Conference on LISP and Functional Programming, LFP 1988, usa, 1988) [Contribution to conference proceedings]

Garibbo A; Regoli L; Succi G, UNO: Usenet News on Optical disk, in: Proceedings of the Spring '88 EUUG Conference, 1988, pp. 97 - 103 (atti di: Proceedings of the Spring '88 EUUG Conference, London, UK, April, 1988) [Contribution to conference proceedings]

MARTINI, S, AN INTERVAL MODEL FOR 2ND ORDER LAMBDA-CALCULUS, in: Category theory and Computer Science, 175 FIFTH AVE, NEW YORK, NY 10010, SPRINGER VERLAG, «LECTURE NOTES IN COMPUTER SCIENCE», 1987, 283, pp. 219 - 237 (atti di: Conference on Category theory and Computer Science, Edinburgo, 1987) [Contribution to conference proceedings]