Giuseppe Scollo Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2008
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiuseppe Scollo, Giuditta Franco, Vincenzo Manca: Relational state transition dynamics. J. Log. Algebr. Program. 76(1): 130-144 (2008)
2006
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiuseppe Scollo, Giuditta Franco, Vincenzo Manca: A Relational View of Recurrence and Attractors in State Transition Dynamics. RelMiCS 2006: 358-372
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNicola Piccinini, Giuseppe Scollo: Cooperative Project-based Learning in a Web-based Software Engineering Course. Educational Technology & Society 9(4): 54-62 (2006)
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnton Nijholt, Giuseppe Scollo, Uwe Mönnich: Editorial. Theor. Comput. Sci. 354(1): 1-3 (2006)
2005
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiuseppe 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
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiuseppe Scollo, Silvia Zecchini: Architectural Unit Testing. Electr. Notes Theor. Comput. Sci. 111: 27-52 (2005)
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiuseppe Scollo: omega-rewriting the Collatz Problem. Fundam. Inform. 64(1-4): 405-416 (2005)
2003
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiuseppe Scollo: An Institution Isomorphism for Planar Graph Colouring. RelMiCS 2003: 252-264
22no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnton Nijholt, Giuseppe Scollo, Dirk Heylen: Editorial. Theor. Comput. Sci. 293(2): 237-241 (2003)
1997
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKenneth J. Turner, Giuseppe Scollo: Specification Architecture. Computer Networks and ISDN Systems 29(4): 393-395 (1997)
1996
20no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonino Salibra, Giuseppe Scollo: Interpolation and Compactness in Categories of Pre-Institutions. Mathematical Structures in Computer Science 6(3): 261-286 (1996)
1994
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaurice 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
18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaurice 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
17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHarro 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
16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonino Salibra, Giuseppe Scollo: A Soft Stairway to Institutions. COMPASS/ADT 1991: 310-329
15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEd Brinksma, Giuseppe Scollo, Chris A. Vissers: Introduction to the PSTV-IX. Computer Networks and ISDN Systems 22(1): 1-6 (1991)
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChris 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
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEd 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
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVincenzo Manca, Antonino Salibra, Giuseppe Scollo: Equational Type Logic. Theor. Comput. Sci. 77(1&2): 131-159 (1990)
1989
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVincenzo Manca, Antonino Salibra, Giuseppe Scollo: On the Nature of TELLUS (a Typed Equational Logic Look over Uniform Specification). MFCS 1989: 338-349
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChris 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
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiuseppe Scollo: Typed-Equational Types: Pragmatics. ADT 1988
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeroen van de Lagemaat, Giuseppe Scollo: On the Use of LOTOS for the Formal Description of a Transport Protocol. FORTE 1988: 247-261
1986
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiuseppe Scollo: On Hierarchy, Incompleteness and Exception Handling in Equational Specifications of Abstract Data Types. ADT 1986
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiuseppe Scollo, Chris A. Vissers, Antonella Di Stefano: Lotos in Practice. IFIP Congress 1986: 869-876
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChris A. Vissers, Giuseppe Scollo: Formal Specification in OSI. Networking in Open Systems 1986: 338-359
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVincenza 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
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiuseppe Scollo, Antonio Anzalone, Paolo Finocchiaro, Francesco Giustolisi, Giovanni Raciti: Specification and Implementation of the MONDAN System. PSTV 1984: 395-422
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVincenza Carchiolo, Alberto Faro, F. Minissale, Giuseppe Scollo: Some Topics in the Design of the Specification Language Lotos. Symposium on Programming 1984: 47-58
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVincenza Carchiolo, Alberto Faro, Giuseppe Scollo: A temporal ordering specification of some session services. Computer Communication Review 14(2): 107-114 (1984)

Coauthor Index

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

Colors in the list of coauthors

Copyright © Mon Mar 15 21:39:48 2010 by Michael Ley (ley@uni-trier.de)