Giuseppe Scollo - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 30 from 30

2021

Explaining DNA structureVincenzo Manca, Giuseppe Scollo. TCS, 894:152-171, 2021. [doi]

2012

Reducibility and Solvability of Some Classes of Kryuchkov Binary Tree PairsMaria Madonia, Giuseppe Scollo. combinatorics, 18(2), 2012. [doi]

2011

On discrete models and immunological algorithms for protein structure predictionVincenzo Cutello, Giuseppe Morelli, Giuseppe Nicosia, Mario Pavone, Giuseppe Scollo. nc, 10(1):91-102, 2011. [doi]

2008

Relational state transition dynamicsGiuseppe Scollo, Giuditta Franco, Vincenzo Manca. jlp, 76(1):130-144, 2008. [doi]

2006

EditorialAnton Nijholt, Giuseppe Scollo, Uwe Mönnich. TCS, 354(1):1-3, 2006. [doi]

Cooperative Project-based Learning in a Web-based Software Engineering CourseNicola Piccinini, Giuseppe Scollo. ETS, 9(4):54-62, 2006. [doi]

A Relational View of Recurrence and Attractors in State Transition DynamicsGiuseppe Scollo, Giuditta Franco, Vincenzo Manca. RelMiCS 2006: 358-372 [doi]

2005

Architectural Unit TestingGiuseppe Scollo, Silvia Zecchini. ENTCS, 111:27-52, 2005. [doi]

Strategic Planning and Service Models for the ELViRA ProjectGiuseppe Scollo, Giovanni Michele Bianco, Riccardo Fattorini, Olga Forlani, Nicola Piccinini, Ugo Savardi. aict 2005: 516-522 [doi]

omega-rewriting the Collatz ProblemGiuseppe Scollo. FUIN, 64(1-4):405-416, 2005. [doi]

2003

EditorialAnton Nijholt, Giuseppe Scollo, Dirk Heylen. TCS, 293(2):237-241, 2003.

An Institution Isomorphism for Planar Graph ColouringGiuseppe Scollo. RelMiCS 2004: 252-264 [doi]

1997

Specification ArchitectureKenneth J. Turner, Giuseppe Scollo. cn, 29(4):393-395, 1997. [doi]

1996

Interpolation and Compactness in Categories of Pre-InstitutionsAntonino Salibra, Giuseppe Scollo. mscs, 6(3):261-286, 1996.

1992

Protocol design using LOTOS: A critical synthesis of a standardization experienceHarro Kremer, Jeroen van de Lagemaat, Axel Rennoch, Giuseppe Scollo. forte 1993: 231-246

1991

Introduction to the PSTV-IXEd Brinksma, Giuseppe Scollo, Chris A. Vissers. cn, 22(1):1-6, 1991.

A Soft Stairway to InstitutionsAntonino Salibra, Giuseppe Scollo. compass 1993: 310-329

Specification Styles in Distributed Systems Design and VerificationChris A. Vissers, Giuseppe Scollo, Marten van Sinderen, Ed Brinksma. TCS, 89(1):179-206, 1991.

1990

Equational Type LogicVincenzo Manca, Antonino Salibra, Giuseppe Scollo. TCS, 77(1&2):131-159, 1990.

1989

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

On the Use of Specifiation Styles in the Design of Distributed Systems (Abstract)Chris A. Vissers, Giuseppe Scollo, Marten van Sinderen, Ed Brinksma. tapsoft 1989: 60

1988

Typed-Equational Types: PragmaticsGiuseppe Scollo. WADT 1988:

On the Use of LOTOS for the Formal Description of a Transport ProtocolJeroen van de Lagemaat, Giuseppe Scollo. forte 1989: 247-261

1986

A LOTOS Specification of the PROWAY Highway ServiceVincenza Carchiolo, Alberto Faro, Orazio Mirabella, Giuseppe Pappalardo, Giuseppe Scollo. TC, 35(11):949-968, 1986.

On Hierarchy, Incompleteness and Exception Handling in Equational Specifications of Abstract Data TypesGiuseppe Scollo. adt 1986:

Lotos in PracticeGiuseppe Scollo, Chris A. Vissers, Antonella Di Stefano. ifip 1986: 869-876

Formal Specification in OSIChris A. Vissers, Giuseppe Scollo. ibm 1987: 338-359

1984

Some Topics in the Design of the Specification Language LotosVincenza Carchiolo, Alberto Faro, F. Minissale, Giuseppe Scollo. programm 1984: 47-58

A temporal ordering specification of some session servicesVincenza Carchiolo, Alberto Faro, Giuseppe Scollo. ccr, 14(2):107-114, 1984. [doi]

Specification and Implementation of the MONDAN SystemGiuseppe Scollo, Antonio Anzalone, Paolo Finocchiaro, Francesco Giustolisi, Giovanni Raciti. pstv 1985: 395-422

Sign in or sign up to see more results.

runs on WebDSL