Author Publications
2006
Nijholt, A. and Scollo, G. and Mönnich, U. (2006) Editorial. Theoretical Computer Science, 354 (1-3). pp. 1-3. ISSN 0304-3975
2003
Nijholt, A. and Scollo, G. and Heylen, D. (2003) Editorial. Theoretical Computer Science, 293 (2). pp. 237-241. ISSN 0304-3975
1998
Nijholt, A. and Scollo, G. (1998) Editorial. Theoretical Computer Science, 199 (1-3). pp. 1-3. ISSN 0304-3975
1997
Turner, K.J. and Scollo, G. (1997) Specification architecture. Computer Networks and ISDN Systems, 29 (4). pp. 393-395. ISSN 0169-7552
1995
Nijholt, A. and Scollo, G. and Steetskamp, R., eds. (1995) Algebraic Methods in Language Processing : proceedings of the Tenth Twente Workshop on Language Technology joint with First AMAST Workshop on Language Processing. Twente Workshop on Language Technology 10 . University of Twente, Enschede, the Netherlands.
(1995) Preface. In: Nijholt, Anton and Scollo, Giuseppe and Steetskamp, Rene, (eds.) Algebraic Methods in Language Processing : proceedings of the Tenth Twente Workshop on Language Technology joint with First AMAST Workshop on Language Processing. Twente Workshop on Language Technology 10 . University of Twente, Enschede, the Netherlands.
1993
Nivat, M. and Rattray, C. and Rus, T. and Scollo, G., eds. (1993) Algebraic Methodology and Software Technology (AMAST’93) : proceedings of the Third International Conference on Algebraic Methodology and Software Technology, University of Twente, Enschede, The Netherlands 21–25 June 1993. Workshops in computing . Springer, Berlin, Germany. ISBN 9783540198529
1991
Brinksma, Ed and Scollo, Giuseppe and Vissers, Chris A. (1991) Guest editorial: Introduction to the PSTV-IX. Computer Networks and ISDN Systems, 22 (1). pp. 1-6. ISSN 0169-7552
Vissers, Chris A. and Scollo, Giuseppe and Sinderen van, Marten and Brinksma, Ed (1991) Specification styles in distributed systems design and verification. Theoretical Computer Science, 89 (1). pp. 179-206. ISSN 0304-3975
1990
Manca, V. and Salibra, A. and Scollo, G. (1990) Equational type logic. Theoretical Computer Science, 77 (1-2). pp. 131-159. ISSN 0304-3975