default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDGiuseppe Scollo
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2021
[j15]Vincenzo Manca
, Giuseppe Scollo:
Explaining DNA structure. Theor. Comput. Sci. 894: 152-171 (2021)
2010 – 2019
- 2011
- [j14]Maria Madonia, Giuseppe Scollo:
Reducibility and Solvability of Some Classes of Kryuchkov Binary Tree Pairs. Electron. J. Comb. 18(2) (2011) - [j13]Vincenzo Cutello, Giuseppe Morelli, Giuseppe Nicosia, Mario Pavone, Giuseppe Scollo:
On discrete models and immunological algorithms for protein structure prediction. Nat. Comput. 10(1): 91-102 (2011) - 2010
- [i1]Giuseppe Scollo:
An integration of Euler's pentagonal partition. CoRR abs/1009.3645 (2010)
2000 – 2009
- 2008
- [j12]Giuseppe Scollo, Giuditta Franco, Vincenzo Manca:
Relational state transition dynamics. J. Log. Algebraic Methods Program. 76(1): 130-144 (2008) - 2006
- [j11]Nicola Piccinini, Giuseppe Scollo:
Cooperative Project-based Learning in a Web-based Software Engineering Course. J. Educ. Technol. Soc. 9(4): 54-62 (2006) - [j10]Anton Nijholt, Giuseppe Scollo, Uwe Mönnich:
Editorial. Theor. Comput. Sci. 354(1): 1-3 (2006) - [c15]Giuseppe Scollo, Giuditta Franco, Vincenzo Manca:
A Relational View of Recurrence and Attractors in State Transition Dynamics. RelMiCS 2006: 358-372 - 2005
- [j9]Giuseppe Scollo:
omega-rewriting the Collatz Problem. Fundam. Informaticae 64(1-4): 405-416 (2005) - [c14]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 - 2004
- [c13]Giuseppe Scollo, Silvia Zecchini:
Architectural Unit Testing. MBT 2004: 27-52 - 2003
- [j8]Anton Nijholt, Giuseppe Scollo, Dirk Heylen:
Editorial. Theor. Comput. Sci. 293(2): 237-241 (2003) - [c12]Giuseppe Scollo:
An Institution Isomorphism for Planar Graph Colouring. RelMiCS 2003: 252-264
1990 – 1999
- 1997
- [j7]Kenneth J. Turner, Giuseppe Scollo:
Specification Architecture. Comput. Networks ISDN Syst. 29(4): 393-395 (1997) - 1996
- [j6]Antonino Salibra, Giuseppe Scollo:
Interpolation and Compactness in Categories of Pre-Institutions. Math. Struct. Comput. Sci. 6(3): 261-286 (1996) - 1994
- [e3]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. Workshops in Computing, Springer 1994, ISBN 3-540-19852-0 [contents] - 1992
- [c11]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 - [e2]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. Workshops in Computing, Springer 1992, ISBN 3-540-19797-4 [contents] - 1991
- [j5]Ed Brinksma, Giuseppe Scollo, Chris A. Vissers:
Introduction to the PSTV-IX. Comput. Networks ISDN Syst. 22(1): 1-6 (1991) - [j4]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) - [c10]Antonino Salibra, Giuseppe Scollo:
A Soft Stairway to Institutions. COMPASS/ADT 1991: 310-329 - 1990
- [j3]Vincenzo Manca, Antonino Salibra, Giuseppe Scollo:
Equational Type Logic. Theor. Comput. Sci. 77(1&2): 131-159 (1990) - [e1]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, ISBN 0-444-88343-6 [contents]
1980 – 1989
- 1989
- [c9]Vincenzo Manca, Antonino Salibra, Giuseppe Scollo:
On the Nature of TELLUS (a Typed Equational Logic Look over Uniform Specification). MFCS 1989: 338-349 - [c8]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
- [c7]Giuseppe Scollo:
Typed-Equational Types: Pragmatics. ADT 1988 - [c6]Jeroen van de Lagemaat, Giuseppe Scollo:
On the Use of LOTOS for the Formal Description of a Transport Protocol. FORTE 1988: 247-261 - 1986
- [j2]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) - [c5]Giuseppe Scollo:
On Hierarchy, Incompleteness and Exception Handling in Equational Specifications of Abstract Data Types. ADT 1986 - [c4]Chris A. Vissers, Giuseppe Scollo:
Formal Specification in OSI. Networking in Open Systems 1986: 338-359 - [c3]Giuseppe Scollo, Chris A. Vissers, Antonella Di Stefano:
Lotos in Practice. IFIP Congress 1986: 869-876 - 1984
- [j1]Vincenza Carchiolo, Alberto Faro, Giuseppe Scollo:
A temporal ordering specification of some session services. Comput. Commun. Rev. 14(2): 107-114 (1984) - [c2]Vincenza Carchiolo, Alberto Faro, F. Minissale, Giuseppe Scollo:
Some Topics in the Design of the Specification Language Lotos. Symposium on Programming 1984: 47-58 - [c1]Giuseppe Scollo, Antonio Anzalone, Paolo Finocchiaro, Francesco Giustolisi, Giovanni Raciti:
Specification and Implementation of the MONDAN System. PSTV 1984: 395-422
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:19 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
