Matching and Unification for the Object-Oriented Symbolic Computation System AlgBench. - Georgios Grivas; Roman Maeder (DISCO, 1993)

Efficient Integration of Declarative Paradigms into Symbolic Computation Systems. - Georgios Grivas (ICLP Workshop: Integration of Declarative Paradigms, 1994)

Towards a Constraint Functional Logic Compiler for Symbolic Computation Systems. - Georgios Grivas (PLILP, 1994)

Enhancing air quality data from multiple platforms towards geospatial health-related information in the intra-urban environment. - Eleni Athanasopoulou; Anastasia Kakouri; Dimitris Karagiannis; Orestis Speyer; Georgios Grivas; Evangelos Gerasopoulos (JURSE, 2023)