Giovanni Gallo

Full Professor

Giovanni Gallo

Full Professor

Publications

Dario Allegra, Sebastiano Battiato, Vincenzo Cutello, Giovanni Maria Farinella, Giovanni Gallo, Antonino Furnari, Daniela Giordano, Alessandro Ortis, Simone Palazzo, Mario. Pavone, Concetto Spampinato, Filippo Stanco. AI per l'Industria presso Università degli Studi di Catania. . 2022.

G Catanuto, W.Taher, N Rocco, F Catalano, D Allegra, F L Milotta, F Stanco, G Gallo, M B Nava. Breast shape analysis with curvature estimates and principal component analysis for cosmetic and reconstructive breast surgery. Aesthetic surgery journal. 2018.

. Smart Tools and Apps for Graphics - Eurographics Italian Chapter Conference 2016. . 2016.

Caccamo M, Guarnera G C, Licitra G, Azzaro G., Petriglieri R., GALLO G.. Estimation of cow's body condition score through statistical shape analysis and regression machines from images acquired using low-cost digital cameras. 7th European Conference on Precision Livestock Farming. 2015.

Ortis A, Farinella GM, D'Amico, V, Addesso L, Torrisi G, BATTIATO S.. RECfusion: Automatic video curation driven by visual content popularity. MM 2015 - Proceedings of the 2015 ACM Multimedia Conference. 2015.

Rustico E, Bilotta G, Herault A, Del Negro C, GALLO G.. Advances in Multi-GPU Smoothed Particle Hydrodynamics Simulations. IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS. 2014.

GALLO G.. Il decreto Art Bonus e la riproducibilità dei beni culturali. AEDON. 2014.

Di Silvestro L, Burch M, Caccamo M, Weiskopf D, Beck F, GALLO G.. Visual Analysis of Time-Dependent Multivariate Data from Dairy Farming Industry.. Proceedings of the 5th International Conference on Information Visualization Theory and Applications, IVAPP 2014, Lisbon, Portugal, 5-8 January, 2014. 2014.

. – Proceedings of Digital Photography IX (Spie Vol.8660) – SPIE Electronic Imaging 2013.. . 2013.

. Advanced Topics in Computer Vision. ADVANCES IN COMPUTER VISION AND PATTERN RECOGNITION. 2013.

Caccamo M, Di Silvestro L, Burch M, Weiskopf D, GALLO G.. Analysis of test-day milk and milk components yield records by using an interactive system to visualize multivariate data. European Conference on Precision Livestock Farming ‘13. 2013.

. Proceedings of International Conference on Computer Vision Theory and Applications (VISAPP) 2013. . 2013.

De Felice D, Di SilvestroL, GALLO G., Giuffrida G. Information Extraction and Social Network Analysis of Criminal Sentences. Proc. Social Media: Risks and Opportunities in Military Applications (HFM-201), 11pp. [2012]. 2012.

GALLO G., Torrisi A. Lumen Detection in Endoscopic Images: a Boosting Classification Approach. INTERNATIONAL JOURNAL ON ADVANCES IN INTELLIGENT SYSTEMS. 2012.

. Machine Learning for Computer Vision. STUDIES IN COMPUTATIONAL INTELLIGENCE. 2012.

. Multimedia in Forensics, Security and Intelligence edito da IEEE Multimedia Magazine. . 2012.

. Proceedings of Digital Photography VIII (Spie Vol.8299) – SPIE Electronic Imaging 2012.. . 2012.

GALLO G., Torrisi A. Random Forests based WCE frames classification. Proc. of The 25th IEEE International Symposium on Computer-Based Medical System, CBMS'12, June 22-24, 2012, Rome. 2012.

Rustico E, Bilotta G, GALLO G., Hérault A, Del Negro C. Smoothed particle hydrodynamics simulations on multi-GPU systems. Proceedings - 20th Euromicro International Conference on Parallel, Distributed and Network-Based Processing, PDP 2012. 2012.

Cappello A, Neri M, Acocella V, GALLO G., Vicari A, Del Negro C. Spatial vent opening probability map of Etna volcano (Sicily, Italy). BULLETIN OF VOLCANOLOGY. 2012.

GALLO G., Livatino S, Torrisi A. 3d reconstruction and augmented reality in bronchoscopic intervention. Proc. of The Eurographics Italian Chapter Conference, 2011. 2011.

Gangi G, Vicari A, Bonfiglio S, GALLO G., Del Negro C. A texton-based cloud detection algorithm for MSG-SEVIRI multispectral images. GEOMATICS, NATURAL HAZARDS & RISK. 2011.

. Digital Imaging For Cultural Heritage Preservation - Analysis, Restoration and Reconstruction of Ancient Artworks. . 2011.

BATTIATO S., G. DI BLASI, G. GALLO, G. PUGLISI. Digital Imaging for Cultural Heritage Preservation: Analysis, Restoration and Reconstruction of Ancient Artworks. . 2011.

DiSilvestro L, Giuffrida G, Zarba C, GALLO G.. Information Visualization on Organized Crime Trials. Proc. Eurographics Italian Chapter Conference 2011. 2011.

A. VICARI G. BILOTTA, S. BONFIGLIO, A. CAPPELLO, G. GANCI, A, HÉRAULT, E. RUSTICO, GALLO G., C. DEL NEGRO. LAV@HAZARD: A web-gis interface for volcanic hazard assessment. ANNALS OF GEOPHYSICS. 2011.

GALLO G., Granata E. LBP based detection of intestinal motility in WCE images. MEDICAL IMAGING 2011: PHYSICS OF MEDICAL IMAGING. 2011.

G. BILOTTA, E. RUSTICO, A. HÉRAULT, A. VICARI, RUSSO G., C. DEL NEGRO, GALLO G.. Porting MAGFLOW to CUDA. ANNALS OF GEOPHYSICS. 2011.

. Proceedings of the third ACM International Workshop on Multimedia in Forensics and Intelligence (MiFor 2011) – Satellite Event of ACM Multimedia 2011 – November 2011.. . 2011.

Rustico E., Bilotta G., Hérault A., del Negro C., GALLO G.. Scalable multi-gpu implementation of the magflow simulator. ANNALS OF GEOPHYSICS. 2011.

. Computer Vision: Detection, Recognition and Reconstruction. . 2010.

BATTIATO S., G. M. FARINELLA, G. GALLO, D. RAVÌ. Exploiting Textons Distributions on Spatial Hierarchy for Scene Classification. EURASIP JOURNAL ON IMAGE AND VIDEO PROCESSING. 2010.

. Image Processing for Embedded Devices. . 2010.

GALLO G., Granata E, Torrisi A. Information Theory Based WCE Video Summarization,. Proc. Pattern Recognition (ICPR), 2010 20th International Conference. 2010.

. Proceedings of the second ACM International Workshop on Multimedia in Forensics, Security and Intelligence (MiFor 2010) – Satellite Event of ACM Multimedia 2010 - October 2010.. . 2010.

. Special Issue on "Emerging Methods for Color Image and Video Quality Enhancement". . 2010.

BATTIATO S., G. GALLO, G. PUGLISI, S. SCELLATO. Improved Feature-Points Tracking for Video Stabilization. In Proceedings of SPIE Electronic Imaging 2009 System Analysis for Digital Photography V EI-7250 - San Jose' (CA, USA) - January 2009.. 2009.

BATTIATO S., G.M. FARINELLA, G. GALLO, E. MESSINA. Naturalness Classification of Images into DCT Domain. Proceedings of SPIE Electronic Imaging 2009 - System Analysis for Digital Photography V EI-7250 - San Jose' (CA, USA) - January 2009;. 2009.

BATTIATO S., G. M. FARINELLA, G. GALLO, D. RAVÌ. Spatial Hierarchy of Textons Distributions for Scene Classification. n Proceedings of Eurocom Multimedia Modeling 2009 – MMM’09 - Sophia Antipolis, France, March 2009 - Lecture Notes in Computer Science, Vol. 5371, 2009;. 2009.

G. CATANUTO, A. SPANO, A. PENNATI, E. RIGGIO, G. M. FARINELLA, G. IMPOCO, S. SPOTO, GALLO G., M. B. NAVA. Experimental Methodology for Digital Breast Shape Analysis and Objective Surgical Outcome Evaluation. JOURNAL OF PLASTIC, RECONSTRUCTIVE & AESTHETIC SURGERY. 2008.

S Battiato, G M Farinella, G Gallo, G C Guarnera. Neurofuzzy segmentation of microarray images. 19th International Conference on Pattern Recognition (ICPR). 2008.

. Proceedings of Quinto Congresso Annuale di Archeometria: Scienza e Beni Culturali – Siracusa (Italy), 26-29 febbraio 2008.. . 2008.

G. M. FARINELLA, GALLO G., G. MATTIOLO. Ricostruzione semi-automatica di Modelli 3D di Edifici a partire da fotografie. V Congresso Nazionale di Archeometria, Scienza e Beni Culturali. 2008.

BATTIATO S., G. GALLO, G. PUGLISI, S. SCELLATO. SIFT Features Tracking for Video Stabilization. IEEE Proceedings of ICIAP 2007. 2007.

BATTIATO S., G. DI BLASI, G. GALLO, S. PATTI. Ramses: a Visual Steganographic System. Proceedings of 5th Conference Eurographics Italian Chapter 2007. 2007.

BATTIATO S., G. DI BLASI, G.M. FARINELLA, G. GALLO, G.C. GUARNERA. Adaptive Techniques for Microarray Image Analysis with Related Quality Assessment. JOURNAL OF ELECTRONIC IMAGING. 2007.

BATTIATO S., G. DI BLASI, G.M. FARINELLA, G. GALLO. Digital Mosaic Framework: an Overview. COMPUTER GRAPHICS FORUM. 2007.

BATTIATO S., G. DI BLASI, G.M. FARINELLA, G. GALLO, G. IMPOCO. Medical Imaging Applications: Three Case Studies. Proceedings of CISI’06 – Conferenza Italiana sui Sistemi Intelligenti. 2006.

BATTIATO S., G. DI BLASI, G. M. FARINELLA, G. GALLO. A Novel Technique for Opus Vermiculatum Mosaic Rendering. Proceedings of 14-th International Conference in Central Europe on Computer Graphics, Visualization and Computer Vision. 2006.

BATTIATO S., G. DI BLASI, G.M. FARINELLA, G. GALLO. A Survey of Digital Mosaic Techniques. Proceedings of 4° Conference Eurographics Italian Chapter. 2006.

BATTIATO S., G. DI BLASI, G. FARINELLA, G. GALLO, G. C. GUARNERA. Ad Hoc Segmentation Pipeline for Microarray Image Analysis. Proceedings of SPIE Electronic Imaging 2006. 2006.

G. CATANUTO, A. SPANO, A. PENNATI, G. M. FARINELLA, S. SPOTO, G. IMPOCO, GALLO G., M. B. NAVA. Curvature mapping and outcome evaluation in breast plastic and reconstructive surgery. EUROPEAN JOURNAL OF SURGICAL ONCOLOGY. 2006.

DOMENICO CANTONE, GIANLUCA CINCOTTI, GALLO G.. Decision algorithms for fragments of real analysis. I. Continuous functions with strict convexity and concavity predicates. JOURNAL OF SYMBOLIC COMPUTATION. 2006.

G. M. FARINELLA, G. IMPOCO, GALLO G., S. SPOTO, G. CATANUTO, M. B. NAVA. Objective Outcome Evaluation of Breast Surgery. Medical Image Computing and Computer-Assisted Intervention – MICCAI 2006. 2006.

. Proceedings of Fourth Conference Eurographics Italian Chapter. . 2006.

GALLO G., DI BLASI, PETRALIA. Smart Ideas for Photomosaic Rendering. Eurographics Italian Chapter 2006. 2006.

Campisi V, Di Blasi G, GALLO G.. Tradition and virtuality: The Caltagirone staircase. 4th Eurographics Italian Chapter Conference 2006 - Proceedings. 2006.

G. M. FARINELLA, G. IMPOCO, GALLO G., S. SPOTO, G. CATANUTO. Unambiguous Analysis of Woman Breast Shape for Plastic Surgery Outcome Evaluation. th Conference Eurographics Italian Chapter. 2006.

BATTIATO S., G. DI BLASI, G. GALLO, P. A. BERTACCHINI, E. BILOTTA, P. PANTANO. 3D Facial Animation for Virtual Theatre. Proceedings of EMPG'05. 2005.

BATTIATO S., G. DI BLASI, G. GALLO, E. MESSINA. Firemark: a Java Tool for SVG Watermarking. Proceedings of SVGOpen 2005. 2005.

BATTIATO S., G. DI BLASI, G. GALLO, S. GRECO. Theme Mountain: a SVG-based Visual Data Mining Tool. Proceedings of SVGOpen 2005. 2005.

BATTIATO S., G. DI BLASI, G. GALLO, G.MESSINA, S. NICOTRA. SVG Rendering for Internet Imaging. Proceedings of IEEE CAMP 2005. 2005.

BATTIATO S., G. DI BLASI, G. GALLO, G. MESSINA, S. NICOTRA. SVG Rendering of Digital Images:An overview. Procedings of 13-th International Conference in Central Europe on Computer Graphics, Visualization and Computer Vision. 2005.

BATTIATO S., G. BARBERA, G. DI BLASI, G. GALLO, G. MESSINA. Advanced SVG Triangulation/Polygonalization of Digital Images. Proceedings of SPIE Electronic Imaging 2005. 2005.

DI BLASI G, GALLO G.. Artificial mosaics. THE VISUAL COMPUTER. 2005.

G. CATANUTO, GALLO G., G. M. FARINELLA, G. IMPOCO, A. SPANO, A. PENNATI, M. B. NAVA. Breast Shape Analysis. Plastic and Reconstructive Surgery of the Breast: Third European Conference 2005. 2005.

G Catanuto, G Gallo, G M Farinella, G Impoco, M B Nava, A Pennati, A Spano. Breast shape analysis on three-dimensional models. Third European Conference on Plastic and Reconstructive Surgery of the Breast. 2005.

DI BLASI, GALLO G., PETRALIA. Fast Techniques for Mosaic Rendering. Eurographics Workshop on Computational Aesthetics. 2005.

GALLO G., Lo Giuoco A. Image zooming and edge enhancement: A blending algorithm. Proceedings of SPIE - The International Society for Optical Engineering. 2005.

DI BLASI, GALLO G.. Mosaici Artificiali. Matematica, Arte e Industria Culturale. 2005.

DI BLASI, GALLO G., PETRALIA. Puzzle Image Mosaic. IASTED VIIP. 2005.

BATTIATO S., A. COSTANZO, G. DI BLASI, G. GALLO, S. NICOTRA. SVG Rendering by Watershed Decomposition. Proceedings of SPIE Electronic Imaging 2005. 2005.

BATTIATO S., G. DI BLASI, G. GALLO, A. LOGIUOCO, M. MADONIA, S. NICOTRA, F. STANCO. Digital Image Analysis and Enhancement. . 2004.

BATTIATO S., GALLO G, IMPOCO G, STANCO F. An Efficient Re-indexing Algorithm for Colour-Mapped Images. IEEE TRANSACTIONS ON IMAGE PROCESSING. 2004.

BATTIATO S., G. GALLO, S. NICOTRA. Perceptive Visual Texture Classification and Retrieval. Proceedings of IEEE ICIAP’03 International Conference on Image Analysis and Processing. 2003.

N. ALESSI, BATTIATO S., G. GALLO, M. MANCUSO, F. STANCO. Low Level Feature’s Set for Text Image Discrimination. Proceedings of IEEE-EURASIP Workshop on Non Linear Signal and Image Processing – NSIP 2003. 2003.

A.M.ANILE, P.FURNO, GALLO G., A.MASSOLO. A fuzzy approach to visibility maps creation over digital terrains. FUZZY SETS AND SYSTEMS. 2003.

BATTIATO S., G. GALLO, M. MANCUSO, G. MESSINA, F. STANCO. Analysis and Characterization of Super-Resolution Reconstruction Methods. In Proceedings of SPIE Electronic Imaging 2003 - Sensors, Cameras, and Applications for Digital Photography. 2003.

N. ALESSI, BATTIATO S., G. GALLO, M. MANCUSO, F. STANCO. Automatic Discrimination of Text Images. Proceedings of SPIE Electronic Imaging 2003 - Sensors, Cameras, and Applications for Digital Photography. 2003.

GALLO G., ALESSANDRO LO GIUOCO. Offset Smoothing Using the USAN's Principle. CAIP -Computer Analysis of Images and Patterns. 2003.

BATTIATO S., GALLO G., NICOTRA S. Glyph Representation of Directional Texture Properties. JOURNAL OF WSCG. 2002.

GALLO G., Giuoco A L. Multiscale corner detection and classification using local properties and semantic patterns. Proceedings of SPIE - The International Society for Optical Engineering. 2002.

BATTIATO S., G. GALLO, S. NICOTRA. Image Compression with Function Trees. Proceedings of IASTED Signal Processing, Pattern Recognition And Applications SPPRA. 2001.

BATTIATO S., G. GALLO, G. IMPOCO, F. STANCO. A Color Reindexing Algorithm for Lossless Compression of Digital Images. Proceedings of IEEE Spring Conference on Computer Graphic SCCG. 2001.

ALFREDO FERRO, GALLO G., ROSALBA GIUGNO, ALFREDO PULVIRENTI. Best-Match Retrieval for Structured Images. IEEE TRANSACTIONS ON IMAGE PROCESSING. 2001.

GALLO G, GIUGNO R, FERRO A, GALLO G.. Efficient approximate retrieval in databases of structured images. IEEE TRANSACTIONS ON PATTERN ANALYSIS AND MACHINE INTELLIGENCE. 2001.

GALLO G., Grasso G, Nicotra S, Pulvirenti A. Remote sensed images segmentation through shape refinement. Proceedings - 11th International Conference on Image Analysis and Processing, ICIAP 2001. 2001.

BATTIATO S., D. CATALANO, G. GALLO, R. GENNARO. A Color Opponency Watermarking Scheme for Digital Images. Proceedings of IST/SPIE International Symposium - Electronic Imaging 2000 - Science & Technology, Security and Watermarking of Multimedia Contents II. 2000.

BATTIATO S., G. GALLO, F. STANCO. A New Edge-Adaptive Algorithm for Zooming of Digital Images. Proceedings of IASTED Signal Processing and Communications SPC 2000. 2000.

BATTIATO S., C. GUARNERA, G. DI BLASI, G. GALLO, G. PUGLISI. A Novel Artificial Mosaic Generation Technique Driven by Local Gradient Analysis. International Conference on Computational Science ICCS 2008. 2000.

CAPPELLO A, BONFIGLIO S, VICARI A, GANCI G, BILOTTA G, RUSTICO E, HÈRAULT A, GALLO G., DEL NEGRO C. A web interface for volcanic hazard on mount Etna. Computer Graphics Forum, Proceedings of EUROVIS 2010, Bordeaux France June 2010. 2000.

Ferro A, GALLO G., Giugno R. Approximate search in image database. Proceedings of SPIE - The International Society for Optical Engineering. 2000.

BATTIATO S., G. DI BLASI, G. GALLO, G. C. GUARNERA, G. PUGLISI. Artificial Mosaic by Gradient Vector Flow. Eurographics 2008 (Short Papers). 2000.

Farinella, GM, Farioli, G, BATTIATO S., Leonardi S, Gallo G. Face re-identification for digital signage applications. LECTURE NOTES IN COMPUTER SCIENCE. 2000.

GALLO G., Spagnuolo M, Spinello S. Fuzzy-B-splines: a surface model encapsulating uncertainty. GRAPHICAL MODELS. 2000.

Santarcangelo, V, Farinella, GM, BATTIATO S.. Gender recognition: Methods, datasets and results. 2015 IEEE International Conference on Multimedia and Expo Workshops, ICMEW 2015. 2000.

GALLO G., G.C.GUARNERA, G.CATANUTO. Human breast shape analysis using PCA. Proceedings of the Third International Conference on Bio-inspired Systems and Signal Processing. 2000.

ANILE A.M, FALCIDIENO B, GALLO G., SPAGNUOLO M, SPINELLO S. Modeling Uncertain Data with Fuzzy B-splines. FUZZY SETS AND SYSTEMS. 2000.

G.M. FARINELLA, BATTIATO S., G. GALLO, R. CIPOLLA. Natural Versus Artificial Scene Classification by Ordering Discrete Fourier Power Spectra. 12th International Workshop on Structural and Syntactic Pattern Recognition, SSPR 2008 - Satellite event of the 19th International Conference of Pattern Recognition, ICPR 2008. 2000.

BATTIATO S., G. M. FARINELLA, G. GALLO, O. GARRETTO, C. PRIVITERA. Objective Analysis of Simple Kidney Cysts from CT Images. In IEEE Proceedings of MeMea09 - International Workshop on Medical Measurement and Applications - Special Section on Image Analysis for Medical Measurements. 2000.

GALLO G., GUARNERA G, CATANUTO G, PANE F. Parametric Representation of Human Breast Shapes. proceedings of IEEE International Workshop on Medical Measurements and Applications, 2009. 2000.

BATTIATO S., G. DI BLASI, G. GALLO, A. MILONE. Realizzazione di Mosaici Artificiali in Ambiente 3D. Proceedings of V Convegno AIAR – Associazione Italiana di Archeometria – Siracusa, February 2008. 2000.

. Registration, Recognition in Images and Video. STUDIES IN COMPUTATIONAL INTELLIGENCE. 2000.

BATTIATO S., D. CATALANO, G. GALLO, R. GENNARO. Robust watermarking for Images Based on Colors Manipulation. Lecture Notes in Computer Science. 2000.

BATTIATO S., G. M. FARINELLA, G. GALLO, D. RAVÌ. Scene Categorization Using Bag Of Textons On Spatial Hierarchy. n Proceedings of IEEE ICIP 2008 - International Conference on Image Processing. 2000.

BATTIATO S., G. GALLO, F. STANCO. Smart Interpolation by Anisotropic Diffusion. Proceedings of IEEE ICIAP’03 International Conference on Image Analysis and Processing. 2000.

BATTIATO S., C. BOSCO, A. BRUNA, G. DI BLASI, G. GALLO. Statistical Modeling of Huffman Tables Coding. Lecture Notes in Computer Science. 2000.

GALLO G., E. GRANATA, G. SCARPULLA. Sudden Change Detection in WCE Video. International Conference on Image Analysis and Processing. 2000.

GALLO G., SPINELLO S. Thresholding and iso-contour extraction with fuzzy arithmetics. PATTERN RECOGNITION LETTERS. 2000.

GALLO G., E.GRANATA. WCE Video Segmentation using textons. Medical Imaging 2010: Image Processing (Proceedings Volume) Proceedings of SPIE Volume: 7623 Editor(s): Benoit M. Dawant; David R. Haynor. 2000.

GALLO G., E. GRANATA, G. SCARPULLA. Wireless Capsule Endoscopy Video Segmentation. IEEE International Workshop on Medical Measurements and Applications. 2000.

FERRO A., GALLO G., GIUGNO R.. Error tolerant database for structured images. LECTURE NOTES IN COMPUTER SCIENCE. 1999.

GALLO G., PERFILIEVA I., SPAGNUOLO M., SPINELLO S.. Geographical data analysis via mountain function. INTERNATIONAL JOURNAL OF INTELLIGENT SYSTEMS. 1999.

GALLO G., Spagnuolo M. Modeling bathimetric data using possibilistic distribution. Atti conferenza SIMAI 1998. 1998.

GALLO G., Granata E. Nonlinear smoothing: sieve-filters and a fuzzy rules approach. Proc.SIP'98 Conference. 1998.

GALLO G., Spinello S. Pixel classification in noisy digital pictures using fuzzy arithmetics. Proc. WSCG 98. 1998.

GALLO G., Spmapinato D. Graph-Trees: an efficient data structure for compact binary pictures. Proceedings WSCG 97. 1997.

Ferro G C, GALLO G., Gennaro R. Probabilistic verification of elementary geometry statements. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1997.

GALLO G., Zingale R, Zingale F. Detection of MRI brain contour using nonlinear anisotropic diffusion filter. proceeding of: Engineering in Medicine and Biology Society, 1996. Bridging Disciplines for Biomedicine. Proceedings of the 18th Annual International Conference of the IEEE, Volume: 3. 1996.

GALLO G., Mishra B. A solution to Kronecker's problem. APPLICABLE ALGEBRA IN ENGINEERING COMMUNICATION AND COMPUTING. 1994.

GALLO G., MIshra B. Complexity of resolvent resolved. Proceeding SODA '94 Proceedings of the fifth annual ACM-SIAM symposium on Discrete algorithms. 1994.

Ferro A, GALLO G.. Automated theorem proving in geometry: a survey. LE MATEMATICHE. 1991.

Carra G, GALLO G.. A procedure to prove statements in differential geometry. JOURNAL OF AUTOMATED REASONING. 1990.

Carra' G, GALLO G.. A procedure to prove geometrical statements. Proceedings of the 5th international conference, AAECC-5 on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes. 1987.

Ferro A, GALLO G.. Grobner bases, Wu-Ritt algorithm and logical theories. Proceedings of the 5th international conference, AAECC-5 on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes. 1987.