Titolo	Data di pubblicazione	Autore(i)	File
A LOTOS Specification of the PROWAY Highway Service	1-gen-1986	Carchiolo, Vincenza; Faro, A.; Mirabella, Orazio; Pappalardo, Giuseppe; Scollo, Giuseppe	file da validare
A Measurement System for the European Informatics Network Implemented on the Multi-microprocessor Interface with Euronet	1-gen-1979	Alfonzetti, Salvatore; Casale, S; Faro, A; Saletti, V; Scollo, Giuseppe	file da validare
A reduction scheme by pre-institution transformations	1-gen-1993	Salibra, A; Scollo, Giuseppe	file da validare
A relational view of recurrence and attractors in state transition dynamics	1-gen-2006	Scollo, Giuseppe; Franco, G; Manca, V.	file da validare
A soft stairway to institutions	1-gen-1993	Salibra, A; Scollo, Giuseppe	file da validare
A temporal ordering specification of some session services	1-gen-1984	Carchiolo, Vincenza; Faro, A; Scollo, Giuseppe	file da validare
Algebraic Methods in Language Processing. Editorial	1-gen-2003	Nijholt, A; Scollo, Giuseppe; Heylen, D.	file da validare
Algebraic Methods in Language Processing. Editorial	1-gen-1998	Nijholt, A.; Scollo, Giuseppe	file da validare
Algebraic Methods in Language Processing. Editorial	1-gen-2006	Nijholt, A; Scollo, Giuseppe; Moennich, U.	file da validare
An institution isomorphism for planar graph colouring	1-gen-2004	Scollo, Giuseppe	file da validare
An integration of Euler's pentagonal partition	1-gen-2010	Scollo, Giuseppe	file da validare
Architectural Unit Testing	1-gen-2005	Scollo, Giuseppe; Zecchini, S.
Architecture and Specification Style in Formal Descriptions of Distributed Systems	1-gen-1989	Vissers, C. A.; Scollo, Giuseppe; van Sinderen, M.	file da validare
Architettura degli elaboratori A.A. 2011-2012	1-gen-2012	Scollo, Giuseppe	file da validare
Attualità didattica dell'aritmetica Maya	1-gen-2004	Scollo, Giuseppe	file da validare
Attualità e pratica dell'aritmetica Maya	1-gen-1997	D'Agata, A; Radelli, B; Scollo, Giuseppe	file da validare
Compactness and Loewenheim-Skolem properties in categories of pre-institutions	1-gen-1993	Salibra, A; Scollo, Giuseppe	file da validare
Cooperative Project-based Learning in a Web-based Software Engineering Course	1-gen-2006	Piccinini, N; Scollo, Giuseppe	file da validare
Distributed processing in a nuclear data acquisition system	1-gen-1981	Anzalone, A; Giustolisi, F; Scollo, Giuseppe	file da validare
Equational type logic	1-gen-1990	Manca, V; Salibra, A; Scollo, Giuseppe	file da validare