G. Scollo

Algebraic Methods in Language Processing-AMILP 2003 (2003)

Spoto, F., Scollo, G., Nijholt, A.

Algebraic Methods in Language Processing: Editorial (2003)

Nijholt, A., Scollo, G., Heylen, D.K.J.

Eds. Algebraic Methods in Language Processing. Proceedings 2nd AMiLP workshop (TWLT 16) (2000)

Heylen, D.K.J., Nijholt, A., Scollo, G.

Foreword to this issue. In: Algebraic Methods in Language Processing. Special Issue (1998)

Nijholt, A., Scollo, G.

Algebraic Methods in Language Processing. Special Issue (1998)

Nijholt, A., Scollo, G.

Specification architecture (1997)

Turner, K.J., Scollo, G.

Specification architecture (1997)

Turner, K.J., Scollo, G.

Specification architecture (1997)

Turner, K.J., Scollo, G.

Interpolation and compactness in categories of pre-institutions (1996)

Salibra, A., Scollo, G.

Algebraic Methods in Language Processing. Proceedings 1st AMAST Workshop on Language Processing (AMiLP/TWLT10) (1995)

Nijholt, A., Scollo, G., Steetskamp, R.

Special Issue dedicated to AMAST'93 (1995)

Scollo, G., Rus, T.

Interpolation and compactness in categories of pre-institutions (1994)

Salibra, A., Scollo, G.

Algebra in the new UT Informatica curriculum (1993)

Scollo, G.

Compactness and Loewenheim-Skolem properties in categories of pre-institutions (1993)

Salibra, A., Scollo, G.

Algebraic Methodology and Software Technology (AMAST'93), Proceedings Third International Conference AMAST'93, held at the University of Twente. (1993)

Nivat, M., Rattray, C.M.I., Rus, T., Scollo, G.

A soft stairway to institutions (1993)

Salibra, A., Scollo, G.

A reduction scheme by pre-institution transformations (1993)

Salibra, A., Scollo, G.

On the engineering of logics (1993)

Scollo, G.

Protocol design usign LOTOS: A critical synthesis of a standardization experience (1993)

Kremer, H., Lagemaat, J., Rennoch, A., Scollo, G.

Compactness and Loewenheim-Skolem properties in pre-institution categories (1992)

Salibra, A., Scollo, G.

Protocol design using LOTOS: a critical synthesis of a standardization experience. (1992)

Kremer, H.H.C., Lagemaat, J. Van De, Rennoch, A., Scollo, G.

Compactness and Loewenheim properties in categories of pre-institutions (1992)

Salibra, A., Scollo, G.

Formal description of ISO 8073 (transport protocol)(classes 0,1,2,3) in LOTOS (1992)

Kremer, H.H.C., Lagemaat, J. Van De, Rennoch, A., Scollo, G.

Formal description of ISO 8072 (transport service) in LOTOS. (1992)

Kremer, H.H.C., Lagemaat, J. Van De, Rennoch, A., Scollo, G.

On the Expressiveness of equational type logic (1992)

Manca, V., Salibra, A., Scollo, G.

AMAST '91, Algebraic Methodology and Software Technology (1992)

Nivat, M., Rattray, C.M.I., Rus, T., Scollo, G.

colloe expressiveness of equational type logic (1991)

Manca, V., Salibra, A., Scollo, G.

Introduction to the PSTV-XI (1991)

Brinksma, H., Scollo, G., Vissers, C.A.

A soft stairway to institutions (1991)

Scollo, G., Salibra, A.

Specification styles in distributed systems design and verification (1991)

Vissers, C.A., Scollo, G., Sinderen, M.J. Van, Brinksma, H.

Substantial experience with the use of formal specification languages in the design of distributed systems has shown that finding appropriate structures for formal specifications presents a serious,...

Guest editorial: Introduction to the PSTV-IX (1991)

Brinksma, E., Scollo, G., Vissers, C.A.

Guest editorial: Introduction to the PSTV-IX (1991)

Brinksma, E., Scollo, G., Vissers, C.A.

Guest editorial: Introduction to the PSTV-IX (1991)

Brinksma, E., Scollo, G., Vissers, C.A.

Specification styles in distributed systems design and verification (1991)

Vissers, C.A., Scollo, G., Sinderen Van, M.J., Brinksma, H.

Substantial experience with the use of formal specification languages in the design of distributed systems has shown that finding appropriate structures for formal specifications presents a serious,...

On the Expressiveness of Equational Type Logic (1990)

Manca, V., Salibra, A., Scollo, G.

Specification Styles in Distributed Systems Design and Verifications (1990)

Vissers, C.A., Scollo, G., Sinderen, M.J. Van, Brinksma, H.

Specification styles in distributed systems design and verification (1990)

Vissers, C.A., Scollo, G., Sinderen, M.J. Van, Brinksma, H.

Equational Type Logic (1990)

Manca, V., Salibra, A., Scollo, G.