Giuseppe Scollo

Publication Activity (10 Years)

Years Active: 1984-2021
Publications (10 Years): 1

Top Topics

Image Structure

Multiresolution

Graphical Models

Top Venues

Theor. Comput. Sci.

Publications

Vincenzo Manca, Giuseppe Scollo
Explaining DNA structure. Theor. Comput. Sci. 894 (2021)
Vincenzo Cutello, Giuseppe Morelli, Giuseppe Nicosia, Mario Pavone, Giuseppe Scollo
On discrete models and immunological algorithms for protein structure prediction. Nat. Comput. 10 (1) (2011)
Maria Madonia, Giuseppe Scollo
Reducibility and Solvability of Some Classes of Kryuchkov Binary Tree Pairs. Electron. J. Comb. 18 (2) (2011)
Giuseppe Scollo
An integration of Euler's pentagonal partition CoRR (2010)
Giuseppe Scollo, Giuditta Franco, Vincenzo Manca
Relational state transition dynamics. J. Log. Algebraic Methods Program. 76 (1) (2008)
Giuseppe Scollo, Giuditta Franco, Vincenzo Manca
A Relational View of Recurrence and Attractors in State Transition Dynamics. RelMiCS (2006)
Anton Nijholt, Giuseppe Scollo, Uwe Mönnich
Editorial. Theor. Comput. Sci. 354 (1) (2006)
Nicola Piccinini, Giuseppe Scollo
Cooperative Project-based Learning in a Web-based Software Engineering Course. J. Educ. Technol. Soc. 9 (4) (2006)
Giuseppe Scollo, Giovanni Michele Bianco, Riccardo Fattorini, Olga Forlani, Nicola Piccinini, Ugo Savardi
Strategic Planning and Service Models for the ELViRA Project. AICT/SAPIR/ELETE (2005)
Giuseppe Scollo
omega-rewriting the Collatz Problem. Fundam. Informaticae 64 (1-4) (2005)
Giuseppe Scollo, Silvia Zecchini
Architectural Unit Testing. Electron. Notes Theor. Comput. Sci. 111 (2005)
Giuseppe Scollo
An Institution Isomorphism for Planar Graph Colouring. RelMiCS (2003)
Anton Nijholt, Giuseppe Scollo, Dirk Heylen
Editorial. Theor. Comput. Sci. 293 (2) (2003)
Kenneth J. Turner, Giuseppe Scollo
Specification Architecture. Comput. Networks ISDN Syst. 29 (4) (1997)
Antonino Salibra, Giuseppe Scollo
Interpolation and Compactness in Categories of Pre-Institutions. Math. Struct. Comput. Sci. 6 (3) (1996)
Harro Kremer, Jeroen van de Lagemaat, Axel Rennoch, Giuseppe Scollo
Protocol design using LOTOS: A critical synthesis of a standardization experience. FORTE (1992)
Chris A. Vissers, Giuseppe Scollo, Marten van Sinderen, Ed Brinksma
Specification Styles in Distributed Systems Design and Verification. Theor. Comput. Sci. 89 (1) (1991)
Ed Brinksma, Giuseppe Scollo, Chris A. Vissers
Introduction to the PSTV-IX. Comput. Networks ISDN Syst. 22 (1) (1991)
Antonino Salibra, Giuseppe Scollo
A Soft Stairway to Institutions. COMPASS/ADT (1991)
Vincenzo Manca, Antonino Salibra, Giuseppe Scollo
Equational Type Logic. Theor. Comput. Sci. 77 (1&2) (1990)
Chris A. Vissers, Giuseppe Scollo, Marten van Sinderen, Ed Brinksma
On the Use of Specifiation Styles in the Design of Distributed Systems (Abstract). TAPSOFT, Vol.2 (1989)
Vincenzo Manca, Antonino Salibra, Giuseppe Scollo
On the Nature of TELLUS (a Typed Equational Logic Look over Uniform Specification). MFCS (1989)
Giuseppe Scollo
Typed-Equational Types: Pragmatics. ADT (1988)
Jeroen van de Lagemaat, Giuseppe Scollo
On the Use of LOTOS for the Formal Description of a Transport Protocol. FORTE (1988)
Giuseppe Scollo, Chris A. Vissers, Antonella Di Stefano
Lotos in Practice. IFIP Congress (1986)
Vincenza Carchiolo, Alberto Faro, Orazio Mirabella, Giuseppe Pappalardo, Giuseppe Scollo
A LOTOS Specification of the PROWAY Highway Service. IEEE Trans. Computers 35 (11) (1986)
Giuseppe Scollo
On Hierarchy, Incompleteness and Exception Handling in Equational Specifications of Abstract Data Types. ADT (1986)
Chris A. Vissers, Giuseppe Scollo
Formal Specification in OSI. Networking in Open Systems (1986)
Giuseppe Scollo, Antonio Anzalone, Paolo Finocchiaro, Francesco Giustolisi, Giovanni Raciti
Specification and Implementation of the MONDAN System. PSTV (1984)
Vincenza Carchiolo, Alberto Faro, F. Minissale, Giuseppe Scollo
Some Topics in the Design of the Specification Language Lotos. Symposium on Programming (1984)
Vincenza Carchiolo, Alberto Faro, Giuseppe Scollo
A temporal ordering specification of some session services. Comput. Commun. Rev. 14 (2) (1984)