Giuseppe Scollo

2008
29	EE	Giuseppe Scollo, Giuditta Franco, Vincenzo Manca: Relational state transition dynamics. J. Log. Algebr. Program. 76(1): 130-144 (2008)
2006
28	EE	Giuseppe Scollo, Giuditta Franco, Vincenzo Manca: A Relational View of Recurrence and Attractors in State Transition Dynamics. RelMiCS 2006: 358-372
27	EE	Anton Nijholt, Giuseppe Scollo, Uwe Mönnich: Editorial. Theor. Comput. Sci. 354(1): 1-3 (2006)
2005
26	EE	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: 516-522
25	EE	Giuseppe Scollo, Silvia Zecchini: Architectural Unit Testing. Electr. Notes Theor. Comput. Sci. 111: 27-52 (2005)
24	EE	Giuseppe Scollo: omega-rewriting the Collatz Problem. Fundam. Inform. 64(1-4): 405-416 (2005)
2003
23	EE	Giuseppe Scollo: An Institution Isomorphism for Planar Graph Colouring. RelMiCS 2003: 252-264
22		Anton Nijholt, Giuseppe Scollo, Dirk Heylen: Editorial. Theor. Comput. Sci. 293(2): 237-241 (2003)
1997
21	EE	Kenneth J. Turner, Giuseppe Scollo: Specification Architecture. Computer Networks and ISDN Systems 29(4): 393-395 (1997)
1996
20		Antonino Salibra, Giuseppe Scollo: Interpolation and Compactness in Categories of Pre-Institutions. Mathematical Structures in Computer Science 6(3): 261-286 (1996)
1994
19		Maurice Nivat, Charles Rattray, Teodor Rus, Giuseppe Scollo: 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 Springer 1994
1992
18		Maurice Nivat, Charles Rattray, Teodor Rus, Giuseppe Scollo: 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 Springer 1992
17		Harro Kremer, Jeroen van de Lagemaat, Axel Rennoch, Giuseppe Scollo: Protocol design using LOTOS: A critical synthesis of a standardization experience. FORTE 1992: 231-246
1991
16		Antonino Salibra, Giuseppe Scollo: A Soft Stairway to Institutions. COMPASS/ADT 1991: 310-329
15		Ed Brinksma, Giuseppe Scollo, Chris A. Vissers: Introduction to the PSTV-IX. Computer Networks and ISDN Systems 22(1): 1-6 (1991)
14		Chris A. Vissers, Giuseppe Scollo, Marten van Sinderen, Ed Brinksma: Specification Styles in Distributed Systems Design and Verification. Theor. Comput. Sci. 89(1): 179-206 (1991)
1990
13		Ed Brinksma, Giuseppe Scollo, Chris A. Vissers: 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 North-Holland 1990
12		Vincenzo Manca, Antonino Salibra, Giuseppe Scollo: Equational Type Logic. Theor. Comput. Sci. 77(1&2): 131-159 (1990)
1989
11		Vincenzo Manca, Antonino Salibra, Giuseppe Scollo: On the Nature of TELLUS (a Typed Equational Logic Look over Uniform Specification). MFCS 1989: 338-349
10		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: 60
1988
9		Giuseppe Scollo: Typed-Equational Types: Pragmatics. ADT 1988
8		Jeroen van de Lagemaat, Giuseppe Scollo: On the Use of LOTOS for the Formal Description of a Transport Protocol. FORTE 1988: 247-261
1986
7		Giuseppe Scollo: On Hierarchy, Incompleteness and Exception Handling in Equational Specifications of Abstract Data Types. ADT 1986
6		Giuseppe Scollo, Chris A. Vissers, Antonella Di Stefano: Lotos in Practice. IFIP Congress 1986: 869-876
5		Chris A. Vissers, Giuseppe Scollo: Formal Specification in OSI. Networking in Open Systems 1986: 338-359
4		Vincenza Carchiolo, Alberto Faro, Orazio Mirabella, Giuseppe Pappalardo, Giuseppe Scollo: A LOTOS Specification of the PROWAY Highway Service. IEEE Trans. Computers 35(11): 949-968 (1986)
1984
3		Giuseppe Scollo, Antonio Anzalone, Paolo Finocchiaro, Francesco Giustolisi, Giovanni Raciti: Specification and Implementation of the MONDAN System. PSTV 1984: 395-422
2		Vincenza Carchiolo, Alberto Faro, F. Minissale, Giuseppe Scollo: Some Topics in the Design of the Specification Language Lotos. Symposium on Programming 1984: 47-58
1	EE	Vincenza Carchiolo, Alberto Faro, Giuseppe Scollo: A temporal ordering specification of some session services. Computer Communication Review 14(2): 107-114 (1984)

Coauthor Index

1	Antonio Anzalone	[3]
2	Giovanni Michele Bianco	[26]
3	Ed Brinksma	[10] [13] [14] [15]
4	Vincenza Carchiolo	[1] [2] [4]
5	Alberto Faro	[1] [2] [4]
6	Riccardo Fattorini	[26]
7	Paolo Finocchiaro	[3]
8	Olga Forlani	[26]
9	Giuditta Franco	[28] [29]
10	Francesco Giustolisi	[3]
11	Dirk Heylen	[22]
12	Harro Kremer	[17]
13	Jeroen van de Lagemaat	[8] [17]
14	Vincenzo Manca	[11] [12] [28] [29]
15	F. Minissale	[2]
16	Orazio Mirabella	[4]
17	Uwe Mönnich	[27]
18	Anton Nijholt	[22] [27]
19	Maurice Nivat	[18] [19]
20	Giuseppe Pappalardo	[4]
21	Nicola Piccinini	[26]
22	Giovanni Raciti	[3]
23	Charles Rattray	[18] [19]
24	Axel Rennoch	[17]
25	Teodor Rus	[18] [19]
26	Antonino Salibra	[11] [12] [16] [20]
27	Ugo Savardi	[26]
28	Marten van Sinderen	[10] [14]
29	Antonella Di Stefano	[6]
30	Kenneth J. Turner	[21]
31	Chris A. Vissers	[5] [6] [10] [13] [14] [15]
32	Silvia Zecchini	[25]

Colors in the list of coauthors