Author Publications

Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Date | Item Type
Jump to: 2006 | 2003 | 1998 | 1997 | 1995 | 1993 | 1991 | 1990
Number of items: 10.

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, Marten van 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

This list was generated on Mon Sep 1 05:29:29 2014 CEST.