Search the dblp DataBase
Giuseppe Scollo :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Giuseppe Scollo An Institution Isomorphism for Planar Graph Colouring. [Citation Graph (0, 0)][DBLP ] RelMiCS, 2003, pp:252-264 [Conf ] Giuseppe Scollo , Giuditta Franco , Vincenzo Manca A Relational View of Recurrence and Attractors in State Transition Dynamics. [Citation Graph (0, 0)][DBLP ] RelMiCS, 2006, pp:358-372 [Conf ] Giuseppe Scollo On Hierarchy, Incompleteness and Exception Handling in Equational Specifications of Abstract Data Types. [Citation Graph (0, 0)][DBLP ] ADT, 1986, pp:- [Conf ] Giuseppe Scollo Typed-Equational Types: Pragmatics. [Citation Graph (0, 0)][DBLP ] ADT, 1988, pp:- [Conf ] Giuseppe Scollo , Giovanni Michele Bianco , Riccardo Fattorini , Olga Forlani , Nicola Piccinini , Ugo Savardi Strategic Planning and Service Models for the ELViRA Project. [Citation Graph (0, 0)][DBLP ] AICT/SAPIR/ELETE, 2005, pp:516-522 [Conf ] Antonino Salibra , Giuseppe Scollo A Soft Stairway to Institutions. [Citation Graph (0, 0)][DBLP ] COMPASS/ADT, 1991, pp:310-329 [Conf ] Jeroen van de Lagemaat , Giuseppe Scollo On the Use of LOTOS for the Formal Description of a Transport Protocol. [Citation Graph (0, 0)][DBLP ] FORTE, 1988, pp:247-261 [Conf ] Harro Kremer , Jeroen van de Lagemaat , Axel Rennoch , Giuseppe Scollo Protocol design using LOTOS: A critical synthesis of a standardization experience. [Citation Graph (0, 0)][DBLP ] FORTE, 1992, pp:231-246 [Conf ] Chris A. Vissers , Giuseppe Scollo Formal Specification in OSI. [Citation Graph (0, 0)][DBLP ] Networking in Open Systems, 1986, pp:338-359 [Conf ] Giuseppe Scollo , Chris A. Vissers , Antonella Di Stefano Lotos in Practice. [Citation Graph (0, 0)][DBLP ] IFIP Congress, 1986, pp:869-876 [Conf ] Vincenzo Manca , Antonino Salibra , Giuseppe Scollo On the Nature of TELLUS (a Typed Equational Logic Look over Uniform Specification). [Citation Graph (0, 0)][DBLP ] MFCS, 1989, pp:338-349 [Conf ] Vincenza Carchiolo , Alberto Faro , F. Minissale , Giuseppe Scollo Some Topics in the Design of the Specification Language Lotos. [Citation Graph (0, 0)][DBLP ] Symposium on Programming, 1984, pp:47-58 [Conf ] Giuseppe Scollo , Antonio Anzalone , Paolo Finocchiaro , Francesco Giustolisi , Giovanni Raciti Specification and Implementation of the MONDAN System. [Citation Graph (0, 0)][DBLP ] PSTV, 1984, pp:395-422 [Conf ] Chris A. Vissers , Giuseppe Scollo , Marten van Sinderen , Ed Brinksma On the Use of Specifiation Styles in the Design of Distributed Systems (Abstract). [Citation Graph (0, 0)][DBLP ] TAPSOFT, Vol.2, 1989, pp:60- [Conf ] Vincenza Carchiolo , Alberto Faro , Giuseppe Scollo A temporal ordering specification of some session services. [Citation Graph (0, 0)][DBLP ] Computer Communication Review, 1984, v:14, n:2, pp:107-114 [Journal ] Ed Brinksma , Giuseppe Scollo , Chris A. Vissers Introduction to the PSTV-IX. [Citation Graph (0, 0)][DBLP ] Computer Networks and ISDN Systems, 1991, v:22, n:1, pp:1-6 [Journal ] Kenneth J. Turner , Giuseppe Scollo Specification Architecture. [Citation Graph (0, 0)][DBLP ] Computer Networks and ISDN Systems, 1997, v:29, n:4, pp:393-395 [Journal ] Giuseppe Scollo , Silvia Zecchini Architectural Unit Testing. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2005, v:111, n:, pp:27-52 [Journal ] Antonino Salibra , Giuseppe Scollo Interpolation and Compactness in Categories of Pre-Institutions. [Citation Graph (0, 0)][DBLP ] Mathematical Structures in Computer Science, 1996, v:6, n:3, pp:261-286 [Journal ] Vincenza Carchiolo , Alberto Faro , Orazio Mirabella , Giuseppe Pappalardo , Giuseppe Scollo A LOTOS Specification of the PROWAY Highway Service. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Computers, 1986, v:35, n:11, pp:949-968 [Journal ] Vincenzo Manca , Antonino Salibra , Giuseppe Scollo Equational Type Logic. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1990, v:77, n:1&2, pp:131-159 [Journal ] Anton Nijholt , Giuseppe Scollo , Dirk Heylen Editorial. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2003, v:293, n:2, pp:237-241 [Journal ] Anton Nijholt , Giuseppe Scollo , Uwe Mönnich Editorial. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2006, v:354, n:1, pp:1-3 [Journal ] Chris A. Vissers , Giuseppe Scollo , Marten van Sinderen , Ed Brinksma Specification Styles in Distributed Systems Design and Verification. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1991, v:89, n:1, pp:179-206 [Journal ] Giuseppe Scollo omega-rewriting the Collatz Problem. [Citation Graph (0, 0)][DBLP ] Fundam. Inform., 2005, v:64, n:1-4, pp:405-416 [Journal ] Search in 0.002secs, Finished in 0.304secs