Some Topics in the Design of the Specification Language Lotos. - Vincenza Carchiolo; Alberto Faro; F. Minissale; Giuseppe Scollo (Symposium on Programming, 1984)

Specification and Implementation of the MONDAN System. - Giuseppe Scollo; Antonio Anzalone; Paolo Finocchiaro; Francesco Giustolisi; Giovanni Raciti (PSTV, 1984)

A temporal ordering specification of some session services. - Vincenza Carchiolo; Alberto Faro; Giuseppe Scollo (Comput. Commun. Rev., 1984)

On Hierarchy, Incompleteness and Exception Handling in Equational Specifications of Abstract Data Types. - Giuseppe Scollo (ADT, 1986)

Formal Specification in OSI. - Chris A. Vissers; Giuseppe Scollo (Networking in Open Systems, 1986)

Lotos in Practice. - Giuseppe Scollo; Chris A. Vissers; Antonella Di Stefano (IFIP Congress, 1986)

A LOTOS Specification of the PROWAY Highway Service. - Vincenza Carchiolo; Alberto Faro; Orazio Mirabella; Giuseppe Pappalardo; Giuseppe Scollo (IEEE Trans. Computers, 1986)

Typed-Equational Types: Pragmatics. - Giuseppe Scollo (ADT, 1988)

On the Use of LOTOS for the Formal Description of a Transport Protocol. - Jeroen van de Lagemaat; Giuseppe Scollo (FORTE, 1988)

On the Nature of TELLUS (a Typed Equational Logic Look over Uniform Specification). - Vincenzo Manca; Antonino Salibra; Giuseppe Scollo (MFCS, 1989)

On the Use of Specifiation Styles in the Design of Distributed Systems (Abstract). - Chris A. Vissers; Giuseppe Scollo; Marten van Sinderen; Ed Brinksma (TAPSOFT, Vol.2, 1989)

Equational Type Logic. - Vincenzo Manca; Antonino Salibra; Giuseppe Scollo (Theor. Comput. Sci., 1990)

A Soft Stairway to Institutions. - Antonino Salibra; Giuseppe Scollo (COMPASS/ADT, 1991)

Introduction to the PSTV-IX. - Ed Brinksma; Giuseppe Scollo; Chris A. Vissers (Comput. Networks ISDN Syst., 1991)

Specification Styles in Distributed Systems Design and Verification. - Chris A. Vissers; Giuseppe Scollo; Marten van Sinderen; Ed Brinksma (Theor. Comput. Sci., 1991)

Protocol design using LOTOS: A critical synthesis of a standardization experience. - Harro Kremer; Jeroen van de Lagemaat; Axel Rennoch; Giuseppe Scollo (FORTE, 1992)

Interpolation and Compactness in Categories of Pre-Institutions. - Antonino Salibra; Giuseppe Scollo (Math. Struct. Comput. Sci., 1996)

Specification Architecture. - Kenneth J. Turner; Giuseppe Scollo (Comput. Networks ISDN Syst., 1997)

An Institution Isomorphism for Planar Graph Colouring. - Giuseppe Scollo (RelMiCS, 2003)

Editorial. - Anton Nijholt; Giuseppe Scollo; Dirk Heylen (Theor. Comput. Sci., 2003)

Architectural Unit Testing. - Giuseppe Scollo; Silvia Zecchini (MBT, 2004)

Strategic Planning and Service Models for the ELViRA Project. - Giuseppe Scollo; Giovanni Michele Bianco; Riccardo Fattorini; Olga Forlani; Nicola Piccinini; Ugo Savardi (AICT/SAPIR/ELETE, 2005)

omega-rewriting the Collatz Problem. - Giuseppe Scollo (Fundam. Informaticae, 2005)

A Relational View of Recurrence and Attractors in State Transition Dynamics. - Giuseppe Scollo; Giuditta Franco; Vincenzo Manca (RelMiCS, 2006)

Cooperative Project-based Learning in a Web-based Software Engineering Course. - Nicola Piccinini; Giuseppe Scollo (J. Educ. Technol. Soc., 2006)

Editorial. - Anton Nijholt; Giuseppe Scollo; Uwe Mönnich (Theor. Comput. Sci., 2006)

Relational state transition dynamics. - Giuseppe Scollo; Giuditta Franco; Vincenzo Manca (J. Log. Algebraic Methods Program., 2008)

An integration of Euler's pentagonal partition - Giuseppe Scollo (CoRR, 2010)

Reducibility and Solvability of Some Classes of Kryuchkov Binary Tree Pairs. - Maria Madonia; Giuseppe Scollo (Electron. J. Comb., 2011)

On discrete models and immunological algorithms for protein structure prediction. - Vincenzo Cutello; Giuseppe Morelli; Giuseppe Nicosia; Mario Pavone; Giuseppe Scollo (Nat. Comput., 2011)

Explaining DNA structure. - Vincenzo Manca; Giuseppe Scollo (Theor. Comput. Sci., 2021)