Giuseppe Scollo

According to our database, Giuseppe Scollo authored at least 31 papers between 1984 and 2021.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2021

Explaining DNA structure.

Vincenzo Manca, Giuseppe Scollo

Theor. Comput. Sci., 2021

2011

On discrete models and immunological algorithms for protein structure prediction.

Vincenzo Cutello, Giuseppe Morelli, Giuseppe Nicosia, Mario Pavone, Giuseppe Scollo

Nat. Comput., 2011

Reducibility and Solvability of Some Classes of Kryuchkov Binary Tree Pairs.

Maria Madonia, Giuseppe Scollo

Electron. J. Comb., 2011

2010

An integration of Euler's pentagonal partition

Giuseppe Scollo

CoRR, 2010

2008

Relational state transition dynamics.

Giuseppe Scollo, Giuditta Franco, Vincenzo Manca

J. Log. Algebraic Methods Program., 2008

2006

Editorial.

Anton Nijholt, Giuseppe Scollo, Uwe Mönnich

Theor. Comput. Sci., 2006

Cooperative Project-based Learning in a Web-based Software Engineering Course.

Nicola Piccinini, Giuseppe Scollo

J. Educ. Technol. Soc., 2006

A Relational View of Recurrence and Attractors in State Transition Dynamics.

Giuseppe Scollo, Giuditta Franco, Vincenzo Manca

Proceedings of the Relations and Kleene Algebra in Computer Science, 2006

2005

omega-rewriting the Collatz Problem.

Giuseppe Scollo

Fundam. Informaticae, 2005

Strategic Planning and Service Models for the ELViRA Project.

Giuseppe Scollo, Giovanni Michele Bianco, Riccardo Fattorini, Olga Forlani, Nicola Piccinini, Ugo Savardi

Proceedings of the Telecommunications 2005: Advanced Industrial Conference on Telecommunications / Service Assurance with Partial and Intermittent Resources Conference / E-Learning on Telecommunications Workshop (AICT / SAPIR / ELETE 2005), 2005

2004

Architectural Unit Testing.

Giuseppe Scollo, Silvia Zecchini

Proceedings of the Workshop on Model Based Testing, 2004

2003

Editorial.

Anton Nijholt, Giuseppe Scollo, Dirk Heylen

Theor. Comput. Sci., 2003

An Institution Isomorphism for Planar Graph Colouring.

Giuseppe Scollo

Proceedings of the Relational and Kleene-Algebraic Methods in Computer Science: 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, 2003

1997

Specification Architecture.

Kenneth J. Turner, Giuseppe Scollo

Comput. Networks ISDN Syst., 1997

1996

Interpolation and Compactness in Categories of Pre-Institutions.

Antonino Salibra, Giuseppe Scollo

Math. Struct. Comput. Sci., 1996

1992

Protocol design using LOTOS: A critical synthesis of a standardization experience.

Harro Kremer, Jeroen van de Lagemaat, Axel Rennoch, Giuseppe Scollo

Proceedings of the Formal Description Techniques, 1992

1991

Specification Styles in Distributed Systems Design and Verification.

Chris A. Vissers, Giuseppe Scollo, Marten van Sinderen, Ed Brinksma

Theor. Comput. Sci., 1991

Introduction to the PSTV-IX.

Ed Brinksma, Giuseppe Scollo, Chris A. Vissers

Comput. Networks ISDN Syst., 1991

A Soft Stairway to Institutions.

Antonino Salibra, Giuseppe Scollo

Proceedings of the Recent Trends in Data Type Specification, 1991

1990

Equational Type Logic.

Vincenzo Manca, Antonino Salibra, Giuseppe Scollo

Theor. Comput. Sci., 1990

1989

On the Use of Specifiation Styles in the Design of Distributed Systems (Abstract).

Chris A. Vissers, Giuseppe Scollo, Marten van Sinderen, Ed Brinksma

Proceedings of the TAPSOFT'89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1989

On the Nature of TELLUS (a Typed Equational Logic Look over Uniform Specification).

Vincenzo Manca, Antonino Salibra, Giuseppe Scollo

Proceedings of the Mathematical Foundations of Computer Science 1989, 1989

1988

On the Use of LOTOS for the Formal Description of a Transport Protocol.

Jeroen van de Lagemaat, Giuseppe Scollo

Proceedings of the Formal Description Techniques, 1988

Typed-Equational Types: Pragmatics.

Giuseppe Scollo

Proceedings of the 6st Workshop on Abstract Data Type, 1988. University of Berlin, Germany, 1988

1986

A LOTOS Specification of the PROWAY Highway Service.

Vincenza Carchiolo, Alberto Faro, Orazio Mirabella, Giuseppe Pappalardo, Giuseppe Scollo

IEEE Trans. Computers, 1986

Lotos in Practice.

Giuseppe Scollo, Chris A. Vissers, Antonella Di Stefano

Proceedings of the Information Processing 86, 1986

Formal Specification in OSI.

Chris A. Vissers, Giuseppe Scollo

Proceedings of the Networking in Open Systems, 1986

On Hierarchy, Incompleteness and Exception Handling in Equational Specifications of Abstract Data Types.

Giuseppe Scollo

Proceedings of the 4st Workshop on Abstract Data Type, 1986

1984

A temporal ordering specification of some session services.

Vincenza Carchiolo, Alberto Faro, Giuseppe Scollo

Comput. Commun. Rev., 1984

Specification and Implementation of the MONDAN System.

Giuseppe Scollo, Antonio Anzalone, Paolo Finocchiaro, Francesco Giustolisi, Giovanni Raciti

Proceedings of the Protocol Specification, 1984

Some Topics in the Design of the Specification Language Lotos.

Vincenza Carchiolo, Alberto Faro, F. Minissale, Giuseppe Scollo

Proceedings of the International Symposium on Programming, 1984