Selected recent research papers by Giuseppe Scollo

University of Catania
Department of Mathematics and Computer Science

Research articles

G. Scollo, Results and programming techniques from the CR3x+1 project, in: R. Barbera, M. Iacono Manno, M. Fargetta (Eds), Proc. Final Workshop of Grid Projects Funded by "PON Ricerca 2000-2006 - Avviso 1575", Catania (Italy), 10-12 February 2009, pp. 102-110. Preprint (PDF) .

G. Scollo, G. Franco, V. Manca, Relational state transition dynamics, Journal of Algebraic and Logic Programming 76:1 (2008) 130-144, doi:10.1016/j.jlap.2007.07.003 .

G. Scollo, Looking for Class Records in the 3x+1 Problem by means of the COMETA Grid Infrastructure, in: R. Barbera (Ed.), Proc. Symp. Grid Open Days at the University of Palermo, Palermo (Italy), 6-7 December 2007, Catania, Consorzio COMETA (2008) pp. 255-263. PDF .

G. Scollo, G. Franco, V. Manca, A relational view of recurrence and attractors in state transition dynamics, in: R. Schmidt (Ed.), Relations and Kleene Algebra in Computer Science, LNCS 4136, Springer-Verlag (2006) 358-372, doi:10.1007/11828563_24 .

N. Piccinini and G. Scollo, Cooperative Project-based Learning in a Web-based Software Engineering Course, Educational Technology & Society 9:4 (2006) 54-62, freely available on-line .

G. Scollo, ω-rewriting the Collatz problem, Fundamenta Informaticae 64 (2005) 405-416. (Revised version of DI RR 25/2004)

V. Manca, G. Franco, G. Scollo, State transition dynamics: basic concepts and molecular computing perspectives, Chapter 2 of: M. Gheorghe, M. Holcombe (Eds.), Molecular Computational Models: Unconventional Approaches, Idea Group, Hershey, PA, USA (2005).

G. Scollo and S. Zecchini, Architectural Unit Testing, Proc. Int'l Workshop on Model Based Testing (MBT 2004), Barcelona, Spain, 27-28 March 2004. (Revised version of DI RR 12/2003). Electronic Notes in Theoretical Computer Science , 111 (2005) 27-52.

G. Scollo, An institution isomorphism for planar graph colouring, in: R. Berghammer, B. Möller, G. Struth (Eds.) Relational and Kleene-Algebraic Methods in Computer Science, Lecture Notes in Computer Science 3051, Springer-Verlag, Heidelberg, (2004) 251-264. (Short version of DI RR 03/2003). On-line available via SpringerLink .

Research reports

G. Scollo, ω-rewriting the Collatz problem, U. of Verona, Dip. Informatica, DI RR 25/2004, October 2004. PDF .

G. Scollo and S. Zecchini, Architectural Unit Testing in a Robot Teleoperation Case Study, U. of Verona, Dip. Informatica, DI RR 12/2003, October 2003. PDF .

G. Scollo, Morphism-driven design of graph colouring institutions, U. of Verona, Dip. Informatica, DI RR 03/2003, March 2003: RR paper (PDF) DI seminar sheets (PostScript) DI seminar handout (PostScript).

Research abstracts

G. Franco, V. Manca and G. Scollo, Research questions in state transition models of biomolecular dynamics (extended abstract), 8th Congress SIMAI, Special Session S2 on Mathematical and Computational Modeling in Bioinformatics and Systems Biology . Baia Samuele (RG), I, 25-26 May 2006. PDF .

G. Scollo, Graph colouring institutions, in: R. Berghammer, B. Möller (Eds.), 7th Seminar RelMiCS, 2nd Workshop Kleene Algebra, Malente, Germany, 12-17 May 2003, pp. 288-297. Available from the RelMiCS 7 website .

Comments are welcome.