Giuseppe Scollo

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