Publications of Gianna Cioni

This page shows all publications that appeared in the IASI annual research reports. Authors currently affiliated with the Institute are always listed with the full name.

You can browse through them using either the links of the following line or those associated with author names.

Show all publications of the year  ALL, with author Cioni G., in the category ALL (or show them all):   (Items found: 34)


2004 | 1999 | 1998 | 1997 | 1996 | 1995 | 1993 | 1991 | 1990 | 1989 | 1988 | 1987 | 1986 | 1985 | 1984 | 1982 | 1981

2004  [top]

1999  [top]

1998  [top]

1997  [top]
  • Bertoli P., Cioni G., Colagrossi A., Terlizzi P.: A Sequent Calculus Machine for Symbolic Computation Systems, in: Advanced in the Design of Symbolic Computation Systems, Miola A., Temperini M. eds., Springer-Verlag, 217-229, 1997
  • Cioni G., Colagrossi A., Miola A.: Deduction and Abduction using a Sequent Calculus, in: Advanced in the Design of Symbolic Computation Systems, Miola A., Temperini M. eds., Springer-Verlag, 198-216, 1997
  • Cioni G., Colagrossi A., Temperini M.: An environment for supporting the learning of abstract algebra, in the Proceedings of Software Quality Engineering, Udine, Italy, Tasso C., Adey R.A., Pighin M. eds., Computational Mechanics Publication, Southampton -- Boston , 15-26, 1997
  • Cioni G., Colagrossi A., Temperini M.: An approach to class reasoning in symbolic computation, IASI-CNR, R. 459, 06/1997
  • Cioni G., Colagrossi A., Temperini M.: A laboratory for teaching abstract algebra, IASI-CNR, R. 460, 07/1997
  • Cioni G., Patrizi G., Temperini M.: Automated Deduction by Connection Method in an Object Oriented Environment, in: Advanced in the Design of Symbolic Computation Systems, Miola A., Temperini M. eds., Springer-Verlag, 230-244, 1997

1996  [top]
  • Bertoli P., Cioni G., Colagrossi A., Terlizzi P.: A Sequent Calculus Machine for Symbolic Computation Systems, in: Advances in Design of Symbolic Computation Systems, Miola A., Temperini M. eds., Springer-Verlag, 218-229, 1996
  • Cioni G., Colagrossi A., Miola A.: Deduction and Abduction using a Sequent Calculus, in: Advances in Design of Symbolic Computation Systems, Miola A., Temperini M. eds., Springer-Verlag, 198-216, 1996
  • Cioni G., Colagrossi A., Temperini M.: An Approach to Class Reasoning in Symbolic Computation, in the Proceedings of Design and Implementation of Symbolic Computation Systems, Calmet J., Limongelli C. eds., Springer-Verlag, 240-251, 1996
  • Cioni G., Patrizi G., Temperini M.: Automated Deduction by Connection Method in an Object Oriented Environment, in: Advances in Design of Symbolic Computation Systems, Miola A., Temperini M. eds., Springer-Verlag, 230-244, 1996
  • Yi B., Cioni G., Colagrossi A.: Intuitive minimal abduction in sequent calculus, IASI-CNR, R. 438, 07/1996

1995  [top]
  • Cioni G., Colagrossi A., Miola A.: A Sequent Calculus for Automated Reasoning in Symbolic Computation, Journal of Symbolic Computation, 175-199, 1995
  • Cioni G., Colagrossi A., Temperini M.: Class reasoning in object oriented languages for symbolic computation, IASI-CNR, R. 416, 11/1995
  • Cioni G., Rubini S.: Communication aspects for concurrent objects: a symbolic application, IASI-CNR, R. 415, 10/1995

1993  [top]
  • Bonamico S., Cioni G., Colagrossi A.: An Enhanced Sequent Calculus for Reasoning in a given Domain, in the Proceedings of Design and Implementation of Symbolic Computation Systems, Miola A. ed., Springer-Verlag, 369-373, 1993

1991  [top]
  • Bonamico S., Cioni G., Colagrossi A.: A sequent calculus for deductive and abductive mathematical problems., IASI-CNR, R. 318, 04/1991
  • Cioni G., Miola A.: Specification and programming Methodologies for Axiomatizable Objects Manipulation: TASSO Project, in the Proceedings of Computer Algebra and Physical Research, Shirkov D.V., Rostovtsev V.A., Gerdt V.P. eds., World Scientific, 9-18, 1991

1990  [top]
  • Bonamico S., Cioni G., Colagrossi A.: A Gentzen based deduction method for mathematical problem solving, in the Proceedings of Computer Systems and Applications, Balagurusamy E., Sushila B. eds., Tata McGraw Hill Hyderabad, 1990
  • Bonamico S., Cioni G., Colagrossi A.: A Gentzen based deduction method for the propositional theory., IASI-CNR, R. 289, 04/1990

1989  [top]
  • Bonamico S., Cioni G.: Embedding flexible control strategies into object oriented languages., IASI-CNR, R. 253, 01/1989
  • Cioni G., Salwicki A. eds.: Advanced Programming Methodologies, The Apic Series, Academic Press London, 1989

1988  [top]
  • Bonamico S., Cioni G.: Embedding Flexible Control Strategies into Object oriented Languages, in the Proceedings of Applied Algebra, Algebraic Algorithms and Error Correcting Codes, Mora T. ed., Lecture Notes in Computer Science, 357, Springer-Verlag, 1988

1987  [top]
  • Arbib C., Cioni G.: Meta-reasoning and data structuring for improving Prolog programming style, in the Proceedings of Artificial Intelligence II, 1987

1986  [top]
  • Cioni G., Kreczmar A.: Solving logic problems by object oriented languages., IASI-CNR, R. 159, 06/1986
  • Cioni G., Miola A.: How to treat decision problems using different programming methodologies., IASI-CNR, R. 155, 05/1986

1985  [top]
  • Cioni G., Miola A.: How to treat decisions problems using different programming methodologies, in the Proceedings of Mathematical Problems in Computation Theory, 1985

1984  [top]
  • Cioni G., Kreczmar A.: Programmed deallocation without dangling reference, Information Processing Letters 18, 179-187, 1984

1982  [top]
  • Cioni G., Kreczmar A.: Programmed deallocation without dangling reference., IASI-CNR, R. 51, 12/1982

1981  [top]
  • Cioni G., Miola A., Truffi A.: Moving software systems to a minicomputer, in the Proceedings of Computing Environment for Mathematical Software, 1981
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -