The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Giuseppe Scollo: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Giuseppe Scollo
    An Institution Isomorphism for Planar Graph Colouring. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2003, pp:252-264 [Conf]
  2. 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]
  3. Giuseppe Scollo
    On Hierarchy, Incompleteness and Exception Handling in Equational Specifications of Abstract Data Types. [Citation Graph (0, 0)][DBLP]
    ADT, 1986, pp:- [Conf]
  4. Giuseppe Scollo
    Typed-Equational Types: Pragmatics. [Citation Graph (0, 0)][DBLP]
    ADT, 1988, pp:- [Conf]
  5. 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]
  6. Antonino Salibra, Giuseppe Scollo
    A Soft Stairway to Institutions. [Citation Graph (0, 0)][DBLP]
    COMPASS/ADT, 1991, pp:310-329 [Conf]
  7. 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]
  8. 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]
  9. Chris A. Vissers, Giuseppe Scollo
    Formal Specification in OSI. [Citation Graph (0, 0)][DBLP]
    Networking in Open Systems, 1986, pp:338-359 [Conf]
  10. Giuseppe Scollo, Chris A. Vissers, Antonella Di Stefano
    Lotos in Practice. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1986, pp:869-876 [Conf]
  11. 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]
  12. 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]
  13. 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]
  14. 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]
  15. 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]
  16. 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]
  17. 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]
  18. 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]
  19. 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]
  20. 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]
  21. 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]
  22. Anton Nijholt, Giuseppe Scollo, Dirk Heylen
    Editorial. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2003, v:293, n:2, pp:237-241 [Journal]
  23. 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]
  24. 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]
  25. 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.077secs, Finished in 0.079secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002